{"entities":{"Q5153715":{"pageid":7183286,"ns":120,"title":"Item:Q5153715","lastrevid":54105776,"modified":"2026-01-26T06:28:52Z","type":"item","id":"Q5153715","labels":{"en":{"language":"en","value":"Computability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7405176"}},"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":"Q5153715$A74EC3F7-EDD9-4CB0-94B2-6E7B96E6012C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"632f982f0aa20deda5c7c2d7930eb75cb0ff2bb8","datavalue":{"value":{"text":"Computability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5153715$1AC54F4E-D9C9-4A98-9EE5-A0750E5591CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2960053447bbdacdeea95b83b14112d924582dcd","datavalue":{"value":"10.1007/978-3-030-83202-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5153715$91DDF60E-DEFF-46CC-8E38-50431004FAAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7a0151a14226acc3fb9d907c9d99437783ef464","datavalue":{"value":{"entity-type":"item","numeric-id":622626,"id":"Q622626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5153715$338C5CE0-CD39-4765-9F9A-22000309BC82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1506349fe5b846d0a7f2cc7f39e04da28b9b4a6c","datavalue":{"value":{"time":"+2021-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5153715$16D434F7-742D-40A3-A9B8-5207D2BF216A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5153715$8A30D46E-825B-4457-9737-D003D736EC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5153715$BC5446E7-716B-47E5-9E55-D6ED4FF7C0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5153715$82133823-9D9C-4118-9AD5-4D94B6415038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5153715$DF35D6DF-8E3E-4A0E-AE26-03600075BDF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbf880d1d99849c5b8c0504740e266ee0d6d5a74","datavalue":{"value":"7405176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5153715$020ABB43-E966-49E1-ABAC-F5CBCAD7D729","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$63C5D4F5-03C4-4C45-BC84-01ECD7A0D4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$E18E794E-1605-4F46-BA3F-F3711B0344B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$23C71134-7592-4156-8BCF-87794C76FFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc86f63fe1098dbc31c9ce39bff3551b474b42d9","datavalue":{"value":"arithmetization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$35CE8A55-959A-4032-994D-5A62B5BA930F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88063ce57740f66ff89bf29c150c4e8d013b19e9","datavalue":{"value":"recursiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$9460C4F4-95FC-4626-ACB2-183C215E5A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fdd2a44f3f88ca815bb1529dbeb919ca5eef6ec","datavalue":{"value":"semi-recursiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$3822978E-7E72-48AD-B0DB-EEB32EF1536B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43893d5d64746664e118f56a0c06a6724f1206d0","datavalue":{"value":"unsolvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$5FD87B8A-0497-4073-A785-3C964C403BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165ce6b89d239d3b72506ffdb6b6a560c896187a","datavalue":{"value":"effective enumerability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$0CDB194B-7691-4BF3-BD07-DFBA105FF44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc1cc50e8d4b517f651118878724606a4faacd","datavalue":{"value":"reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$DD51A66C-B443-421C-8A25-798F8B551497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90c97efdf12da1b2b2375adb29647e6b5a84305d","datavalue":{"value":"relativized computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$C90F004F-0C24-4B5B-9CF3-1834FA170A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a874de5fdc5eeecb422f561084462c8e330b89a9","datavalue":{"value":"recursion theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$37AFB70E-68E3-4694-BF75-022DA4EF7DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$BD7AB8AC-70CC-41FF-B264-917EAB2B5703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$49837058-9524-47A6-ADED-59BF86F30DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a966af23592156087b1c150d4af3a65966a84a54","datavalue":{"value":"G\u00f6del's incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5153715$2B75457F-F3BE-4693-B521-214675B9047A","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":"Q5153715$DE5CC0B7-72B8-4438-91D3-5B825E99034D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf03e51c8afdcd215ddba6a081f5e7d7732a26b8","datavalue":{"value":"https://doi.org/10.1007/978-3-030-83202-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5153715$36930A6E-D856-4E26-9130-F11D18B664C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af345f9b82c0e83f2cc9d1e2b40f856c31d86a28","datavalue":{"value":"W4289536253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5153715$4C6496EF-72E2-4A5E-9E13-8DAE30350193","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efad3039bb08f793f39a138e42e4cc3e05b171aa","datavalue":{"value":{"entity-type":"item","numeric-id":3698786,"id":"Q3698786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ade19ad00f73900e3fea529c03cb20d57d586e","datavalue":{"value":{"amount":"+0.8397026062011719","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":"Q5153715$D10094A5-76CD-475C-A3F5-9F51DB01BFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca39089dea10051c602a87c0833d50000d7cbcc","datavalue":{"value":{"entity-type":"item","numeric-id":5390085,"id":"Q5390085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c4407e058d248d948a648f35a5665ead9776f6","datavalue":{"value":{"amount":"+0.8386887311935425","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":"Q5153715$9DD3AAF6-5EC3-4F76-A5CB-9605BB68F71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b748a803ea12a66918cdbb390d52a838325b7deb","datavalue":{"value":{"entity-type":"item","numeric-id":3582626,"id":"Q3582626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"069bd8c1798e61e6a60f8964e4a3a9e15b13f273","datavalue":{"value":{"amount":"+0.8220987319946289","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":"Q5153715$870FE5F2-3707-4325-8DD6-4F992E929C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe1d9f9c7d792249df1b4b6b8822fc78296a3ae","datavalue":{"value":{"entity-type":"item","numeric-id":1911231,"id":"Q1911231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a237c60870803fdbb3b21471e36025b291ac5c","datavalue":{"value":{"amount":"+0.8175485134124756","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":"Q5153715$18DC1E44-5EB3-4329-A97F-36880D4435C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acef74485359b9315d301d83768966d9a89dd588","datavalue":{"value":{"entity-type":"item","numeric-id":2891272,"id":"Q2891272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e2501615fff02e31b3cf90d3b42aaec70e5474","datavalue":{"value":{"amount":"+0.8163486123085022","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":"Q5153715$F5273ADD-D198-49F2-883A-B5890AD8339C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5153715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5153715"}}}}}