{"entities":{"Q3734384":{"pageid":5764290,"ns":120,"title":"Item:Q3734384","lastrevid":50868734,"modified":"2026-01-15T12:21:04Z","type":"item","id":"Q3734384","labels":{"en":{"language":"en","value":"Register machine proof of the theorem on exponential diophantine representation of enumerable sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3966053"}},"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":"Q3734384$A278A683-716C-4F60-A3E6-3EE86AF97716","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cabdc8bd48ee3cfa112b289266a2069f00da6ec","datavalue":{"value":{"text":"Register machine proof of the theorem on exponential diophantine representation of enumerable sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3734384$ABBD2379-E392-43DE-9EB8-45A84431F318","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4417f5c5a20c1555956a08ef9557f3925c5c29f1","datavalue":{"value":"0599.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734384$A34B6921-48C9-4BD7-A0A7-BAD5B884C16D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9ea42d7796e46759391d3b3e96dbf4a51e44d23","datavalue":{"value":"10.2307/2274135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734384$28A306E0-7AE2-47A5-92E0-A73B8A183DC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734384$E48A8602-F9D8-49DE-AA38-7A429F953ECB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3734384$9A52FED2-F88F-4306-91BE-56AD44061F3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734384$57FB1CA7-D097-452F-B4DD-247C5A4E5AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734384$E85177A8-47C4-45FD-BFC1-AAF5B8EE1020","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee576e1e0531670d59fe42c32dcb0235e475d4c8","datavalue":{"value":"3966053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734384$015C46FF-125B-4EF8-8571-E4B8652DC39D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1df7ff348e3e198bd06643ba67c638994551eb","datavalue":{"value":"recursively enumerable relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734384$33DB7390-77EB-4679-BD72-FD735A8250F3","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":"Q3734384$CC8C7AA7-625C-4F1A-AF02-37F7FF5D4C07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e2cd77f6afd615d8c52acfe844c8faa96af9edf","datavalue":{"value":"https://doi.org/10.2307/2274135","type":"string"},"datatype":"url"},"type":"statement","id":"Q3734384$E140394F-678B-4C92-B0E6-B60E78FB1824","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbd876cfc499d2da01a235def20c0c33602a33a5","datavalue":{"value":"W1997517079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734384$7A2A8F12-5544-4F59-A031-923BE10C64D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"197321586b52697dc5005c2bf7b5e782bc94762d","datavalue":{"value":{"entity-type":"item","numeric-id":1131250,"id":"Q1131250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734384$4E87AB01-73BF-4D0E-98BE-BFD2A1CF3687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734384$346C84F9-068E-4726-9A59-E1B527E0B625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04643079bb03672b8a1dbe12aa7b0f8cb6861ad","datavalue":{"value":{"entity-type":"item","numeric-id":5729305,"id":"Q5729305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734384$734DB426-BB6A-4163-AE94-ACC51308E8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012b1d6c0f10a6942b99540dd3ba9e03f65c4e47","datavalue":{"value":{"entity-type":"item","numeric-id":5820550,"id":"Q5820550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734384$23E48366-B501-436F-9DEF-20B88F2E8494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef6f1f4c86d0c1f77e2c24803c43c817ff00e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5613888,"id":"Q5613888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734384$3125C7A4-47A6-443A-81CE-82DBEA1156B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76221697bb54072b250b2c6834bbb82b997b3737","datavalue":{"value":{"entity-type":"item","numeric-id":4090320,"id":"Q4090320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734384$5654E97E-8D3F-453F-B10D-AA6B3C26DDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9250fbe87a12ff3cd4c41a0b8a262c53f528f1","datavalue":{"value":{"entity-type":"item","numeric-id":4404870,"id":"Q4404870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734384$6313397B-001C-426B-8376-B77BC2C32BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f920f7f2a9036df943bab0b00b312c81738e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4748201,"id":"Q4748201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734384$6C266A70-FCC1-40AD-8D7D-5C364EB7B6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734384$9846AD41-B9AF-4B87-BFE5-93DD8F8D4344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734384$C880E49D-8152-44A1-88D9-AC1BF24308E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d428d34c276a69e6f32f8c584cf0fff9f86ce16","datavalue":{"value":{"entity-type":"item","numeric-id":5719672,"id":"Q5719672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734384$C0FE598C-C4A5-4FCD-9290-4A6F9D2AF6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1950b2f7ea4f55b053fe30cb31fae70c4ce589d","datavalue":{"value":{"entity-type":"item","numeric-id":3848975,"id":"Q3848975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734384$20D0E976-F840-41E0-BC09-6BCB3C4BF82F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e88d09dfc3fc49faf039dec03c167fe7133f484","datavalue":{"value":{"entity-type":"item","numeric-id":1326783,"id":"Q1326783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48ae756bcd7ea6dad0b9279542b5cdeb189efef","datavalue":{"value":{"amount":"+0.8425062894821167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3734384$15A9F83B-6A13-44F6-B7D7-E68B4322CADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e42b34c2688d2d880848370dffb67bed95049f4","datavalue":{"value":{"entity-type":"item","numeric-id":393229,"id":"Q393229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c225571c0d16cb749325d7d006b0cf4d9e492979","datavalue":{"value":{"amount":"+0.8229053020477295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3734384$AFC23328-8A94-42FF-B4A8-EDD5D842A4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573dbeaf356e422c29591c3b0fd2b616380e6da9","datavalue":{"value":{"entity-type":"item","numeric-id":3835450,"id":"Q3835450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3776c62d7aebefd9b3d8f0e0cfa17dff7a7cb20","datavalue":{"value":{"amount":"+0.8028496503829956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3734384$49553FFF-E09E-40E4-9595-AE6035B70990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ce20a28b00d80cb8494de1cea695b606c5be6b0","datavalue":{"value":{"entity-type":"item","numeric-id":1807463,"id":"Q1807463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a2b0666873a0b57ce7948e87385b1d5f9c587a","datavalue":{"value":{"amount":"+0.8003647923469543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3734384$912DBF4B-860E-4D8E-9800-2FC3C8694EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e41ac0e7bebd8943828ecb4d53f1789c31a3320","datavalue":{"value":{"entity-type":"item","numeric-id":3312213,"id":"Q3312213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b119df732e378fa3970fac524f1fe4dc54722d5","datavalue":{"value":{"amount":"+0.7995929718017578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3734384$69EBD45E-4BF5-4E40-AE37-D71E1643348B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3734384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3734384"}}}}}