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