Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Theorem_Proving_in_Higher-Order_Logics> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- Theorem_Proving_in_Higher-Order_Logics wikiPageID "6544592".
- Theorem_Proving_in_Higher-Order_Logics wikiPageRedirects Interactive_Theorem_Proving_(conference).
- Theorem_Proving_in_Higher-Order_Logics wikiPageRevisionID "503783188".
- Theorem_Proving_in_Higher-Order_Logics type Abstraction100002137.
- Theorem_Proving_in_Higher-Order_Logics type Conference108308497.
- Theorem_Proving_in_Higher-Order_Logics type Gathering107975026.
- Theorem_Proving_in_Higher-Order_Logics type Group100031264.
- Theorem_Proving_in_Higher-Order_Logics type LogicConferences.
- Theorem_Proving_in_Higher-Order_Logics type Meeting108307589.
- Theorem_Proving_in_Higher-Order_Logics type SocialGroup107950920.
- Theorem_Proving_in_Higher-Order_Logics type TheoreticalComputerScienceConferences.
- Theorem_Proving_in_Higher-Order_Logics label "Theorem Proving in Higher-Order Logics".
- Theorem_Proving_in_Higher-Order_Logics sameAs m.0g9npq.
- Theorem_Proving_in_Higher-Order_Logics sameAs Theorem_Proving_in_Higher-Order_Logics.
- Theorem_Proving_in_Higher-Order_Logics wasDerivedFrom Theorem_Proving_in_Higher-Order_Logics?oldid=503783188.
- Theorem_Proving_in_Higher-Order_Logics isPrimaryTopicOf Theorem_Proving_in_Higher-Order_Logics.