Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Lego_(proof_assistant)> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- Lego_(proof_assistant) wikiPageID "35983074".
- Lego_(proof_assistant) wikiPageLength "68".
- Lego_(proof_assistant) wikiPageOutDegree "1".
- Lego_(proof_assistant) wikiPageRedirects LEGO_(proof_assistant).
- Lego_(proof_assistant) wikiPageRevisionID "527296680".
- Lego_(proof_assistant) wikiPageWikiLink LEGO_(proof_assistant).
- Lego_(proof_assistant) wikiPageUsesTemplate Template:R_from_other_capitalisation.
- Lego_(proof_assistant) label "Lego (proof assistant)".
- Lego_(proof_assistant) sameAs m.0h63b2_.
- Lego_(proof_assistant) wasDerivedFrom Lego_(proof_assistant)?oldid=527296680.
- Lego_(proof_assistant) isPrimaryTopicOf Lego_(proof_assistant).