Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Theorem_Proving_in_Higher-Order_Logics> }
Showing triples 1 to 5 of
5
with 100 triples per page.
- Astronomical_acronyms wikiPageWikiLink Theorem_Proving_in_Higher-Order_Logics.
- Federated_Logic_Conference wikiPageWikiLink Theorem_Proving_in_Higher-Order_Logics.
- Higher-order_abstract_syntax wikiPageWikiLink Theorem_Proving_in_Higher-Order_Logics.
- List_of_computer_science_conference_acronyms wikiPageWikiLink Theorem_Proving_in_Higher-Order_Logics.
- Theorem_Proving_in_Higher-Order_Logics primaryTopic Theorem_Proving_in_Higher-Order_Logics.