Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF (Quad):
N-Quads
TriG
CSV
RDF (Triple):
N-Triples
N3/Turtle
JSON
XML
CSV
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
About:
theorem
Head noun: theorem
Same concepts
http://dbpedia.org/resource/Theorem
Broader concepts
label
provenance
confidence
result
isap:
267382279
0.795702
classical result
isap:
267382281
0.448417
mathematical result
isap:
267382284
0.394162
concept
isap:
437780531
0.373223
thing
isap:
38002944
0.364304
statement
isap:
318941972
0.355411
time
isap:
74935609
0.341798
topic
isap:
37224825
0.332493
important result
isap:
267382282
0.331356
result in the foundation
isap:
267382280
0.300230
application
isap:
65066712
0.296711
problem
isap:
436189735
0.293688
environment
isap:
66028873
0.285501
know result
isap:
267382294
0.282682
consequence
isap:
65606169
0.276664
point
isap:
36665356
0.265108
paragraph
isap:
316658761
0.253173
proof
isap:
36757414
0.249859
unique solution
isap:
46094926
0.224929
infinite number of prime
isap:
274493162
0.210051
group
isap:
38758411
0.196873
line
isap:
75622092
0.192452
method
isap:
267388306
0.187784
change
isap:
266110944
0.187013
generalization of result
isap:
124147837
0.186955
subset
isap:
267409732
0.186189
mathematician
isap:
145479973
0.186181
number of prime number
isap:
274493163
0.186008
algorithm
isap:
318271601
0.185027
theory
isap:
267099221
0.167345
theorem
isap:
430697239
0.164724
proposition
isap:
65115471
0.161467
inequality
isap:
242221931
0.159643
tool
isap:
74951775
0.156958
logic
isap:
39058001
0.149404
red herring
isap:
431549831
0.135279
characterization
isap:
508548009
0.119251
reference
isap:
316235002
0.107254
rule
isap:
74390182
0.101083
fact
isap:
73315533
0.100699
question
isap:
45694193
0.099850
ive
isap:
511167983
0.095026
function
isap:
49288699
0.092759
one
isap:
511189665
0.089672
map
isap:
511193608
0.085395
interest
isap:
46714692
0.081488
example
isap:
437345601
0.078550
test
isap:
74286963
0.077943
solution
isap:
46094924
0.077279
effort
isap:
271683438
0.076078
way
isap:
511201844
0.058331
mathematical structure
isap:
320161139
0.052734
Narrower concepts
label
provenance
confidence
result
isap:
448534330
0.540356
pythagorean theorem
isap:
430697241
0.506852
prime number theorem
isap:
430697249
0.465474
euclid
isap:
445964634
0.429960
last theorem
isap:
430697254
0.428058
metatheorem
isap:
139239939
0.420147
main result
isap:
448534331
0.412487
other word
isap:
10204494
0.411012
law of large number
isap:
234582694
0.328545
axiom
isap:
222835081
0.309598
theorem 1
isap:
430697250
0.305234
theorem 2
isap:
430697252
0.305234
corollary
isap:
28810336
0.294780
a
isap:
299116349
0.290096
constitution
isap:
109423514
0.270447
name
isap:
3604214
0.256659
definition
isap:
219847159
0.235070
conjecture
isap:
220638278
0.230945
something
isap:
24797508
0.218648
sss
isap:
235674102
0.215213
lemma
isap:
225916778
0.210368
question
isap:
346995174
0.210214
postulate
isap:
27713140
0.206558
theory
isap:
449009267
0.204265
necessity
isap:
27512006
0.200419
law
isap:
234582691
0.193690
then
isap:
9429775
0.188784
type
isap:
12091565
0.187458
order
isap:
228214918
0.177603
fact
isap:
9847398
0.176024
logic
isap:
224718950
0.175961
following
isap:
28517541
0.169736
math
isap:
10195971
0.166032
addition
isap:
346434054
0.165482
theorem
isap:
430697239
0.164724
existence
isap:
25228479
0.157493
anyone
isap:
443128328
0.151320
well
isap:
9455601
0.151034
f
isap:
299456897
0.144974
first
isap:
227782111
0.137427
hypothesis
isap:
218771380
0.135688
one
isap:
234069324
0.132026
time
isap:
10003832
0.124485
problem
isap:
431861584
0.121747
example
isap:
436886320
0.120556
proof
isap:
221875385
0.120527
topology
isap:
347630894
0.110815
reader
isap:
441448224
0.109849
function
isap:
347118774
0.106130
http
isap:
5333078
0.105013
textbook
isap:
346297111
0.103050
place
isap:
227057810
0.101643
answer
isap:
440407174
0.099622
method
isap:
449348527
0.096717
case
isap:
6651602
0.096574
particular
isap:
219802544
0.096533
system
isap:
440779806
0.089388
statement
isap:
25582559
0.086007
point
isap:
228408532
0.083116
object
isap:
444669543
0.081035
analysis
isap:
342646590
0.076628
group
isap:
228469740
0.075372
new
isap:
233824359
0.071739
is
isap:
30292504
0.070879
however
isap:
438519798
0.070057