Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/First-order_predicate_logic> }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Description_logic wikiPageWikiLink First-order_predicate_logic.
- Formal_semantics_(logic) wikiPageWikiLink First-order_predicate_logic.
- LePUS3 wikiPageWikiLink First-order_predicate_logic.
- Notation wikiPageWikiLink First-order_predicate_logic.
- SETL wikiPageWikiLink First-order_predicate_logic.
- Semantic_reasoner wikiPageWikiLink First-order_predicate_logic.
- Willard_Van_Orman_Quine wikiPageWikiLink First-order_predicate_logic.
- Z_notation wikiPageWikiLink First-order_predicate_logic.
- First-order_predicate_logic primaryTopic First-order_predicate_logic.