DBpedia-association
/
snapshot-2021-06
/
Login
Register
TriplyDB
Snapshot of core data from en.wikipedia.org 2021-06
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Computer-assisted proofs
Computer-assisted proofs
Concept
http://dbpedia.org/resource/Category:Computer-assisted_proofs
Boolean Pythagorean triples problem
Computer-assisted proof
Four color theorem
Kepler conjecture
Minimum-weight triangulation
Optimal solutions for Rubik's Cube
Robbins algebra
Sign sequence
Link from a Wikipage to another Wikipage
Boolean Pythagorean triples problem
Computer-assisted proof
Four color theorem
Kepler conjecture
Minimum-weight triangulation
Optimal solutions for Rubik's Cube
Robbins algebra
Sign sequence
subject
Computer-assisted proofs
Concept
http://dbpedia.org/resource/Category:Computer-assisted_proofs
Wikipage page ID
50,650,300
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
722,340,787
http://www.w3.org/2001/XMLSchema#integer
wikiPageUsesTemplate
Template:Cat_main
type
Concept
label
Computer-assisted proofs
@en
broader
Mathematical proofs
prefLabel
Computer-assisted proofs
@en
related
Automated theorem proving
wasDerivedFrom
Category:Computer-assisted_proofs?oldid=722340787&ns=14