SHMARQL

constructive proof

<http://www.wikidata.org/entity/Q3044470>

method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object
rdfs:label
"constructive proof"@en
skos:altLabel
"prueba de existencia"@es
schema:description
"method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object"@en
schema:dateModified "2026-11-02T06:50:59+00:00"^^xsd:dateTime
schema:version 2563767761
wikibase:identifiers 6
wikibase:sitelinks 16
wikibase:statements 11
p:P10283 wd:statement/Q3044470-47269ED1-DAAF-4C72-BB2E-696C986B526A
p:P10376 wd:statement/Q3044470-7a1a4461-48d0-71e3-329d-b9290c65c467
p:P1269 wd:statement/Q3044470-5bb3de72-4070-f958-38e3-1970d703bf83
p:P279 wd:statement/Q3044470-a72926ac-4689-d0f0-5fe9-d201742b961c
wd:statement/Q3044470-ef4f227e-4676-31e5-eeac-34f7f82bc4b7
p:P2812 wd:statement/Q3044470-0ff384cb-43fb-5bcb-7fe0-4e9ea8797d94
p:P461 wd:statement/Q3044470-fb9375d2-436a-35ce-beda-2c53c5e265df
p:P6104 wd:statement/Q3044470-6867D5CB-A571-4E01-AD3A-14E032D82221
p:P6366 wd:statement/Q3044470-74010513-0C4F-477C-8CB8-D72461503B72
p:P646 wd:statement/Q3044470-1802B4BD-E3B0-4848-B9B8-B6B8C6D95CAB
p:P7033 wd:statement/Q3044470-A2E3546E-CC4C-43E9-BAD8-E5A42F63475B
p:direct-normalized/P6366 <https://makg.org/entity/202854965>
p:direct-normalized/P7033 <http://vocabulary.curriculum.edu.au/scot/15512>
wdt:P10283 "C202854965"
wdt:P10376 "computer-science/constructive-proof"
wdt:P1269 constructivism
wdt:P279 mathematical proof
algorithm
wdt:P2812 "ConstructiveProof"
wdt:P461 non-constructive proof
wdt:P6104 WikiProject Mathematics
wdt:P6366 "202854965"
wdt:P646 "/m/01_bk0"
wdt:P7033 "scot/15512"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata