About: Finite model property

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Model_(mathematical_logic) dbr:Signature_(logic) dbr:First-order_logic dbr:Universal_quantification dbr:Decidability_(logic) dbr:If_and_only_if dbr:Craig's_theorem dbr:Well-formed_formula dbr:Kripke_semantics dbr:Alasdair_Urquhart dbc:Logic dbr:Isomorphism dbr:Maarten_de_Rijke dbc:Modal_logic dbr:Mathematical_logic dbr:Theorem dbr:Existential_quantification dbr:Journal_of_Philosophical_Logic dbr:Recursive dbr:Inference_rule
dbp:wikiPageUsesTemplate	dbt:Reflist
dct:subject	dbc:Logic dbc:Provability_logic
gold:hypernym	dbr:M
rdfs:label	Finite model property (en) Propriedade do modelo finito (pt)
owl:sameAs	freebase:Finite model property wikidata:Finite model property dbpedia-pt:Finite model property dbpedia-global:Finite model property dbr:Finite model property
prov:wasDerivedFrom	wikipedia-en:Finite_model_property?oldid=1191608934&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Finite_model_property
is dbo:wikiPageDisambiguates of	dbr:FMP
is dbo:wikiPageWikiLink of	dbr:Saul_Kripke dbr:FMP dbr:Satisfiability dbr:Kripke_semantics dbr:Index_of_logic_articles dbr:List_of_unsolved_problems_in_mathematics
is foaf:primaryTopic of	wikipedia-en:Finite_model_property

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International