{"entities":{"Q4923291":{"pageid":6952873,"ns":120,"title":"Item:Q4923291","lastrevid":51731990,"modified":"2026-01-19T17:57:40Z","type":"item","id":"Q4923291","labels":{"en":{"language":"en","value":"Decidability and universality in the axiomatic theory of computability and algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171176"}},"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":"Q4923291$A8D553D0-DECA-41A7-8589-0F6CAFC1B5F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7acee3408b7a30104fd4a4a919d0cb066a1c609f","datavalue":{"value":{"text":"DECIDABILITY AND UNIVERSALITY IN THE AXIOMATIC THEORY OF COMPUTABILITY AND ALGORITHMS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4923291$02BD977E-DDF9-4431-8D9C-B5A7474BDF4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92e33dcb99de56e8821c77f3f25fe5d7501b2054","datavalue":{"value":"1279.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923291$2FBDA4B1-71A5-4905-A526-D4AC95BF9656","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a99a6a6504ab22c4e7450b2cb8ef6115a87085d0","datavalue":{"value":"10.1142/S012905411240059X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923291$715E5858-E1F5-4CD4-A53E-5252C53049C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923291$76F748AD-09E9-493B-8399-8B2CDE20049B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4923291$AD163B82-60CD-4B14-A480-8DDEC6CC72D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923291$F060A410-3191-4639-B6D2-77DD7D942B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923291$4F8EC150-85C2-4039-923A-1B41C0D1F052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923291$362F1624-08D7-4B9B-868B-1A183D495C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923291$C1504170-CDA5-4790-96AF-E82A5E601234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923291$B404263D-2977-4D22-9114-024338602A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923291$8F62A417-7BA7-48FD-B48A-757F764487F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923291$A96FD2AD-F4FB-412B-8CCC-EBC665787BCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e89c76789bd6759e12b2d4f50cd37dfe2dd4df60","datavalue":{"value":"6171176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923291$4E15FF73-44F4-456F-96F0-CDDC32BDA29A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923291$FAB33EEB-FD26-463F-9CC7-2F3E6BB93408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce83b1053073b7f40b03d648c2f3334bcbff5cc","datavalue":{"value":"universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923291$687B01FD-B1BB-4111-A5BB-2A650C2A1560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7986e8b1ee465f1adb8dade39716da3aeb5cf581","datavalue":{"value":"axiomatic theory of computability, automata and algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923291$F065DEDA-419E-4084-9BDD-CF2CFF992364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da39f9a642116178352acca0fab6466bf6e63f84","datavalue":{"value":"undecidability of algorithmic problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923291$1A0A1515-C312-4FE1-AB75-96D744B24C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923291$2FD1CF05-C5D1-478B-96C9-C9C35A93DE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923291$365600CB-DB84-4985-BE48-9C840CBE9B7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ee58b454192e0bbe9bd9756cccb78c6ae1a5858","datavalue":{"value":{"entity-type":"item","numeric-id":1684626,"id":"Q1684626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923291$5D71245D-DBE2-4EFE-B51D-3FB7C93D7480","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":"Q4923291$52D4E3DA-0AF9-4969-9CC6-EC13DCECB3A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acf2dac6923aa3dca80d850f282b11acceea246c","datavalue":{"value":{"entity-type":"item","numeric-id":3675513,"id":"Q3675513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923291$779D1506-C541-4A1B-8F64-B86BA1205B3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30f5c940725028c0bad154418feb9b408125e9f2","datavalue":{"value":"https://doi.org/10.1142/s012905411240059x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4923291$45934BC0-4039-4FD8-B367-75194D243135","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f652d7bf5aa5c82f992d49e0639c6e491fcfec54","datavalue":{"value":"W2139765337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923291$E93D9F13-2691-4B76-B2AB-205F8C101D48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d18e01e0898852e96b5635b0697b283bd4b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":2383595,"id":"Q2383595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356d355bfe2371aff93334732b103b860d3db55d","datavalue":{"value":{"amount":"+0.7481235861778259","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":"Q4923291$66D161B1-9A3B-45C6-9F30-CC1BD51A9A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c803ed1439973ed68f18c5917c9b4c82d0304d3f","datavalue":{"value":{"entity-type":"item","numeric-id":2776606,"id":"Q2776606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0cbf43129fdd03e633254e532f929fde24ef0b9","datavalue":{"value":{"amount":"+0.7417030334472656","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":"Q4923291$0A27F23F-1B23-4D7D-B140-7B386AD786B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9faab66f8cfc13360de999fb991daf559216810e","datavalue":{"value":{"entity-type":"item","numeric-id":4376062,"id":"Q4376062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c70613ce0d0ecb105825669647e605a2e7506fc","datavalue":{"value":{"amount":"+0.7416208982467651","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":"Q4923291$FB3A65F1-2FC2-44C3-9F3F-F8965B9693B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3819bbe0db92d940552ef46802d8a29d3ad26e3","datavalue":{"value":{"entity-type":"item","numeric-id":5926254,"id":"Q5926254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681c79e9b57a0cf62576595b444a784ae6114f76","datavalue":{"value":{"amount":"+0.7303047776222229","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":"Q4923291$4766F843-B7BD-4E8A-9D32-9053AD9FF4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7990baa1e72db2537ad35a857531a48cd415b57","datavalue":{"value":{"entity-type":"item","numeric-id":3043796,"id":"Q3043796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a666088451fe3672c390f6a771af6728eb11fd13","datavalue":{"value":{"amount":"+0.7253105044364929","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":"Q4923291$81FC9124-790D-431B-97E1-E4FE5F96570F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4923291","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4923291"}}}}}