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
basic.lean%23L353
basic.lean%23L353
https://github.com/leanprover-community/mathlib/blob/937199a/src/ring_theory/polynomial/basic.lean%23L353
Hilbert's basis theorem
Link from a Wikipage to an external page
basic.lean%23L353
https://github.com/leanprover-community/mathlib/blob/937199a/src/ring_theory/polynomial/basic.lean%23L353