Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Minimal counterexample
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Smallest example which falsifies a claim
Property
Value
dbo:
description
Smallest example which falsifies a claim
(en)
dbo:
wikiPageWikiLink
dbr
:Classification_of_finite_simple_groups
dbr
:Solvable_group
dbr
:Cyclic_group
dbr
:Counterexample
dbc
:Mathematical_proofs
dbc
:Mathematical_terminology
dbr
:Mathematics
dbr
:Fundamental_theorem_of_arithmetic
dbr
:Proof_by_infinite_descent
dbr
:Mathematical_induction
dbr
:Feit–Thompson_theorem
dbr
:Proof_by_contradiction
dbr
:Natural_number
dbr
:Well-ordered_induction
dbr
:Well-ordering
dbr
:Proof_By_Induction
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:Redirect
dbt
:Short_description
dct:
subject
dbc
:Mathematical_proofs
dbc
:Mathematical_terminology
rdfs:
label
Minimal counterexample
(en)
owl:
sameAs
yago-res
:Minimal counterexample
freebase
:Minimal counterexample
wikidata
:Minimal counterexample
dbpedia-global
:Minimal counterexample
prov:
wasDerivedFrom
wikipedia-en
:Minimal_counterexample?oldid=1279625783&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Minimal_counterexample
is
dbo:
wikiPageRedirects
of
dbr
:Minimal_criminal
is
dbo:
wikiPageWikiLink
of
dbr
:Counterexample
dbr
:Proof_by_infinite_descent
dbr
:Feit–Thompson_theorem
dbr
:Minimal_criminal
is
foaf:
primaryTopic
of
wikipedia-en
:Minimal_counterexample
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International