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/lean4> ?g. }
Showing items 1 to 2 of
2
with
100
items per page.
Q6509476
P1324
lean4
@default
.
Q6509476-28d34a0a-4415-f4e4-89eb-0fe458ab4a43
P1324
lean4
@default
.
