query-7d8ce715dcf355dc29e6b2ba12545a32
Relations between theorems fetched from Wikidata
Use at
- https://query.wikidata.org/sparql
PREFIX wikibase: <http://wikiba.se/ontology#>
PREFIX wdt: <http://www.wikidata.org/prop/direct/>
PREFIX wd: <http://www.wikidata.org/entity/>
PREFIX bd: <http://www.bigdata.com/rdf#>
#defaultView:Graph
SELECT ?item1 ?item1Label ?prop ?propLabel ?aLabel ?item2 ?item2Label {
{
?item1 ?prop ?item2.
?item1 wdt:P31 wd:Q65943.
?item2 wdt:P31 wd:Q65943.
?a wikibase:directClaim ?prop .
}
SERVICE wikibase:label { bd:serviceParam wikibase:language "en". }
}
Query found at
- https://www.wikidata.org/wiki/Wikidata:WikiProject_Mathematics/1000%2BTheorems
- https://www.wikidata.org/wiki/Wikidata:WikiProject_Mathematics/1000%2BTheorems/TheoremRelations
graph TD
classDef projected fill:lightgreen;
classDef literal fill:orange;
classDef iri fill:yellow;
v4("?a")
v1("?item1"):::projected
v3("?item2"):::projected
v2("?prop"):::projected
c2(["wd:Q65943"]):::iri
c5(["bd:serviceParam"]):::iri
c7(["en"]):::literal
v1 -->v2--> v3
v1 --"wdt:P31"--> c2
v3 --"wdt:P31"--> c2
v4 --"wikibase:directClaim"--> v2
subgraph s1["http://wikiba.se/ontology#label"]
style s1 stroke-width:4px;
c5 --"wikibase:language"--> c7
end