Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

http://dbpedia.org/resource/First-order_language

http://dbpedia.org/ontology/wikiPageID	1013685
http://dbpedia.org/ontology/wikiPageLength	31
http://dbpedia.org/ontology/wikiPageRedirects	http://dbpedia.org/resource/First-order_logic +
http://dbpedia.org/ontology/wikiPageRevisionID	16793991
http://dbpedia.org/ontology/wikiPageWikiLink	http://dbpedia.org/resource/First-order_logic +
http://www.w3.org/ns/prov#wasDerivedFrom	http://en.wikipedia.org/wiki/First-order_language?oldid=16793991&ns=0 +
http://xmlns.com/foaf/0.1/isPrimaryTopicOf	http://en.wikipedia.org/wiki/First-order_language +
owl:sameAs	http://dbpedia.org/resource/First-order_language +
rdfs:label	First-order language

http://dbpedia.org/resource/First-order +	http://dbpedia.org/ontology/wikiPageDisambiguates
http://dbpedia.org/resource/Definable_set + , http://dbpedia.org/resource/Signature_%28logic%29 + , http://dbpedia.org/resource/Boolean-valued_model + , http://dbpedia.org/resource/Quantifier_rank + , http://dbpedia.org/resource/Diagram_%28mathematical_logic%29 + , http://dbpedia.org/resource/Craig%27s_theorem + , http://dbpedia.org/resource/Saturated_model + , http://dbpedia.org/resource/Axiom + , http://dbpedia.org/resource/First-order + , http://dbpedia.org/resource/Ground_expression + , http://dbpedia.org/resource/Mohr%E2%80%93Mascheroni_theorem + , http://dbpedia.org/resource/Simon_Saunders + , http://dbpedia.org/resource/List_of_mathematical_abbreviations +	http://dbpedia.org/ontology/wikiPageWikiLink
http://en.wikipedia.org/wiki/First-order_language +	http://xmlns.com/foaf/0.1/primaryTopic
http://dbpedia.org/resource/First-order_language +	owl:sameAs

Navigation menu