{"entities":{"Q1163015":{"pageid":1173764,"ns":120,"title":"Item:Q1163015","lastrevid":70028379,"modified":"2026-04-13T11:57:03Z","type":"item","id":"Q1163015","labels":{"en":{"language":"en","value":"A note on natural complete sets and Goedel numberings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3758314"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163015$22A6E0E9-925B-45C1-A2A5-728DEE4E71E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25925208900540daab3effe8c815ba9fe1fcd705","datavalue":{"value":{"text":"A note on natural complete sets and Goedel numberings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1163015$E9C732E9-0715-4E9D-A1BD-D4778FF95475","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0077153586fc1001ad2254cb5dd901e5d2b0df63","datavalue":{"value":"0483.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163015$67683F46-36FE-43FD-9B45-08A61F0669F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5fb288597023b3704c13df4b3d286f6285a85a2","datavalue":{"value":"10.1016/0304-3975(82)90132-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163015$DF4C42A0-67AD-449F-91B3-8BD5E06CCBB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163015$B914E00A-7BE4-417F-8FFE-10D5885C7086","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1163015$5575A8A6-7446-4A7B-AFE2-2D24D89078D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163015$7FD3E0A8-EC88-4DF6-9311-D0652535F16F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6c623148f42469cfb9523db73d71402ba66704d","datavalue":{"value":"3758314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163015$BC466AF8-D044-4DB5-8689-682034863409","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fa8f8645d494b031265fae36d5dcf1dd18fb981","datavalue":{"value":"complete recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163015$5A17A0D0-5CA7-40E0-82D6-F1039E95838C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11ed97b2d2672c9a0c2cdd364e05f43a5e1b3d2e","datavalue":{"value":"computationally simple reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163015$5716BAD0-1E60-4CA3-9248-70EA0FD8C4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916f61e967774b08bde7f623435718dbb741da7e","datavalue":{"value":"natural complete sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163015$AB7791A9-42ED-4664-B639-74565277253E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8461f2c862aaa6213f49645971b5c85781761493","datavalue":{"value":"computationally simple mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163015$91A5F843-9518-47A2-98AE-A5E49FC6B9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07cf438278ec7ba499f27ee6a7dd3652878b02e4","datavalue":{"value":"natural Goedel numberings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163015$5E2518CA-8B41-4B4D-BC81-E7E797592036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f351915bf319906e7cace0e9af594457fb7b6a1","datavalue":{"value":"natural creative sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163015$FBE990BE-9A0C-4703-9F7B-B214FBA69394","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f24581060e1fc674d2a5c7705dc19743c7374ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1071499,"id":"Q1071499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163015$30DA8FF7-2A5C-4F4D-93C5-DF49E6D9D56A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163015$3B3F6A5C-6D19-43B7-9EED-322866D2BB98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d265f621bb254332a93edf6f481e311d206b33f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(82)90132-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1163015$8BE78D5F-F033-4C1D-AB12-0D71BC8303A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b65895d2a21c821ca58b81aa9cd489bd5877ead","datavalue":{"value":"W2092992954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163015$1236966C-6590-4A6A-8239-0745A2C2FE48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45543575358fa9f936229ea1980f01498db37989","datavalue":{"value":{"entity-type":"item","numeric-id":4128010,"id":"Q4128010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163015$473CA6E2-5283-4292-8471-380ADFBE0381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891f00d58aa1508cdc3fb80ddfb5ae33a36d09d7","datavalue":{"value":{"entity-type":"item","numeric-id":1249940,"id":"Q1249940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163015$1D7A78E7-798A-48C8-89D0-B228E980D9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16224d4d737bf6a907fd00473a3903d2f3777c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5180402,"id":"Q5180402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163015$78A9ABF5-1DC4-49CA-B11C-FF004B621470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b654d3d6b090646e55f1e1b7791b8d40e28fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4198487,"id":"Q4198487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163015$76EB8015-D98F-48E5-B0F3-FD8FC1DA0079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cc858e204245d49f72b64a4aeb12c67d57861e0","datavalue":{"value":{"entity-type":"item","numeric-id":4055150,"id":"Q4055150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163015$A908A450-F6B7-4F19-A99A-68CAD9FEA98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163015$E88AB1CC-4DD4-46DD-BCBB-BD18BEBE5480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62decd6aef1b530104bc159f5e2acd57c4acfc08","datavalue":{"value":{"entity-type":"item","numeric-id":4075448,"id":"Q4075448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163015$DB504037-E3F9-48CB-A83E-B93A4336C93C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on natural complete sets and Goedel numberings","badges":[]}}}}}