DBpedia – Linked Data Fragments

DBpedia 2016-04

Query DBpedia 2016-04 by triple pattern

subject
predicate
object

Matches in DBpedia 2016-04 for { ?s ?p <http://www.cs.cmu.edu/~fp/lfs-impl.html> }

Showing triples 1 to 4 of 4 with 100 triples per page.

Logical_framework wikiPageExternalLink lfs-impl.html.
Proof_assistant wikiPageExternalLink lfs-impl.html.
Q11387554 wikiPageExternalLink lfs-impl.html.
Q6667502 wikiPageExternalLink lfs-impl.html.

About DBpedia 2016-04

DBpedia 2016-04 – The English language version of DBpedia 2016-04
The DBpedia dataset is Open Knowledge.
Creative Commons Attribution-ShareAlike 3.0

Powered by a Linked Data Fragments Server ©2013–2025 Ghent University – imec