Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/ALF_(theorem_prover)> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- ALF_(theorem_prover) wikiPageID "33079424".
- ALF_(theorem_prover) wikiPageLength "35".
- ALF_(theorem_prover) wikiPageOutDegree "1".
- ALF_(theorem_prover) wikiPageRedirects ALF_(proof_assistant).
- ALF_(theorem_prover) wikiPageRevisionID "450388729".
- ALF_(theorem_prover) wikiPageWikiLink ALF_(proof_assistant).
- ALF_(theorem_prover) wikiPageWikiLinkText "ALF (theorem prover)".
- ALF_(theorem_prover) wikiPageWikiLinkText "ALF".
- ALF_(theorem_prover) label "ALF (theorem prover)".
- ALF_(theorem_prover) wasDerivedFrom ALF_(theorem_prover)?oldid=450388729.
- ALF_(theorem_prover) isPrimaryTopicOf ALF_(theorem_prover).