SHMARQL

recursive set

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

Set where an algorithm can take a number as an input and can decide whether the number belongs to the set
rdfs:label
"recursive set"@en
skos:altLabel
"decidability theory"@en
schema:description
"Set where an algorithm can take a number as an input and can decide whether the number belongs to the set"@en
schema:dateModified "2026-06-05T17:30:13+00:00"^^xsd:dateTime
schema:version 2502300851
wikibase:identifiers 6
wikibase:sitelinks 23
wikibase:statements 12
p:P1382 wd:statement/Q877945-0f68becf-4eb4-6709-fd37-2a898e6e7d33
wd:statement/Q877945-ca2679a1-45ab-92c2-fbe9-5675fbe78923
p:P227 wd:statement/Q877945-a21afcc0-4327-0625-179d-8bfe13b3805a
p:P279 wd:statement/Q877945-96bfc4ae-428a-3f3f-7760-74f433acee1b
p:P2812 wd:statement/Q877945-AD970016-C717-417E-A17F-EBD421D8B4FF
p:P31 wd:statement/Q877945-3bbcd6d4-4a60-2b87-7907-4eea86cb7a95
p:P361 wd:statement/Q877945-D084BC0A-7A91-4AE6-B561-C53D9EFE68F5
p:P4215 wd:statement/Q877945-C1AC6F79-2E72-4F3B-82A0-80E37802E53E
p:P6104 wd:statement/Q877945-E96842A0-4B0B-48A2-A46A-DC0AFC2690DD
p:P6366 wd:statement/Q877945-8CE30867-4E76-44D9-9F47-B771C4CA6786
p:P646 wd:statement/Q877945-E9E1AC08-4AD3-4515-8180-3CBB8C26D6AA
p:P7726 wd:statement/Q877945-5f5e78dd-4e1e-013e-111e-36c8f59fa6b0
p:direct-normalized/P227 <https://d-nb.info/gnd/4152398-2>
p:direct-normalized/P6366 <https://makg.org/entity/199767532>
wdt:P1382 wd:Q424547
decidability
wdt:P227 "4152398-2"
wdt:P279 subset
wdt:P2812 "RecursiveSet"
wdt:P31 quality
wdt:P361 list of types of sets
wdt:P4215 "recursive set"
wdt:P6104 WikiProject Mathematics
wdt:P6366 "199767532"
wdt:P646 "/m/01x179"
wdt:P7726 "RecursiveSet"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata