FRINK Linked Data Fragments server
Wikidata
Search Wikidata by triple/quad pattern
subject
predicate
object
graph
Matches in Wikidata for
{ ?s ?p <https://github.com/leanprover/lean> ?g. }
Showing items 1 to 2 of
2
with
100
items per page.
Q6509476
P1324
lean
@default
.
Q6509476-2100c469-4fe0-7d6f-5d7b-2e268d364b4f
P1324
lean
@default
.
