Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Theorem_Proving_in_Higher_Order_Logics> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Theorem_Proving_in_Higher_Order_Logics wikiPageID "6544612".
- Theorem_Proving_in_Higher_Order_Logics wikiPageRedirects Interactive_Theorem_Proving_(conference).
- Theorem_Proving_in_Higher_Order_Logics wikiPageRevisionID "503789562".
- 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 wasDerivedFrom Theorem_Proving_in_Higher_Order_Logics?oldid=503789562.
- Theorem_Proving_in_Higher_Order_Logics isPrimaryTopicOf Theorem_Proving_in_Higher_Order_Logics.