{"entities":{"Q3503760":{"pageid":5533664,"ns":120,"title":"Item:Q3503760","lastrevid":50377346,"modified":"2026-01-13T22:27:16Z","type":"item","id":"Q3503760","labels":{"en":{"language":"en","value":"Generic complexity of undecidable problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5285667"}},"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":"Q3503760$6F4ABD18-ED09-4DFF-AA65-25F72F4E8A63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67d4441b919eb8879c6265c32f44d1a14b984398","datavalue":{"value":{"text":"Generic complexity of undecidable problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503760$578D0D57-F4C2-457A-B129-9A7763160D1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81699f9d6ac3a3b2a45b407c3291ce0555833363","datavalue":{"value":"1140.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503760$642B1C3E-21F0-4738-92CC-8BD095622D45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"131a03240a96d8a43afa3dc4fe75ccf4a3545045","datavalue":{"value":{"entity-type":"item","numeric-id":285910,"id":"Q285910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503760$D69D4C69-9CBB-4AD9-B60C-CFAB2927F45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b1843ff51384642f69cbb6cac945664c66fbeb9","datavalue":{"value":{"entity-type":"item","numeric-id":639687,"id":"Q639687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503760$754D9CB3-AA7B-4185-A893-DA0CDCD58E8D","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":"Q3503760$39DCA294-B558-4275-B2BA-2C4777893D35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b40c1fb6fb86126601bc66a29a8d163d5cbd35","datavalue":{"value":{"time":"+2008-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3503760$D66E0BB1-F1E9-4363-A6FE-3478F235392B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503760$39791458-FBE2-415E-8CE5-AA02DB5A2999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503760$1DBC8A25-AB3F-4B46-AAF8-B0566F347361","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ac5ff92259cb71402265774ac3263845590095a","datavalue":{"value":"5285667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503760$37A9C9AA-406B-49CB-9181-2097B8C0A395","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b06ae428a6d0e11546eb1c2055365a83d939b3a9","datavalue":{"value":"strong undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503760$ABB3187C-8E11-4276-B3E7-BFC4B9059135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9201a29b9e8acbcaaade01cfec6bc3c510840ca2","datavalue":{"value":"Rice theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503760$71278A87-DE3A-424B-A6A1-FEBCE9745FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a567e4c3b9101d84ba7294ca8467de80eae6769","datavalue":{"value":"super-undecidable problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503760$F648611A-3960-4BB2-BAAF-5D99A8232AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c259e919dcf60113aaba27be5e244aed52c4ea98","datavalue":{"value":"finitely presented semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503760$B4AE72DB-8FCA-42CC-A620-81EF032B0E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503760$A3841D87-72E1-43F1-9BB0-BD38D4D14BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2962e4b79795ac1b6452c673525ef04d17fb337","datavalue":{"value":"generic amplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503760$8248ABF1-B360-438E-8305-9CE9DEC4A9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3370c1939163928a6350b2173c3e46a65663324","datavalue":{"value":"absolutely undecidable problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503760$C23BE5C2-370A-41C8-B586-888602B8F466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be685d3ee7451e4995b74e20fde10bb7789e6642","datavalue":{"value":"generic immune sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503760$23C2F03A-FE81-473B-9201-8A908CA50F18","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":"Q3503760$BC56F39A-A91A-4557-8D90-7BD38D46A8D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"351480adb7987ff1f7a27e623b8c15f97ac313ed","datavalue":{"value":"https://doi.org/10.2178/jsl/1208359065","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503760$6240809A-3224-4EFB-8581-CEF88CE53E16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67cd1e02cc4570820db04b7c2cd7e2134e866dc3","datavalue":{"value":"W2120230527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503760$8E1D4B77-64BE-4ABF-8E61-BA68E4EC05E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9649bb35950bb7c226813470b8085926566c5","datavalue":{"value":{"entity-type":"item","numeric-id":4469600,"id":"Q4469600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503760$449DA085-6562-49E2-A013-A40BEA1C5575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6648a8bea81dfc9ce6e809b9e08a114b0770e785","datavalue":{"value":{"entity-type":"item","numeric-id":884482,"id":"Q884482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503760$54F0426B-EED3-430B-8573-DA15366251C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84339eb1b9200fd0bfaec4876ec88a12251ced16","datavalue":{"value":{"entity-type":"item","numeric-id":4919632,"id":"Q4919632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503760$E1E00065-1C5A-4F75-A9FB-A0BA7811412A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503760$B2E914B8-E68D-47C7-A199-CA415BF1ED70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd268f69949c0347feabc15314f5a9283442809","datavalue":{"value":{"entity-type":"item","numeric-id":703812,"id":"Q703812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503760$FBCD67F9-A1B2-499C-B02F-5F2B505CE7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d7ca8b0234359bc7dff84ba74f7b4aa6a580a1","datavalue":{"value":{"entity-type":"item","numeric-id":1399190,"id":"Q1399190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503760$FDB1DB70-A443-408D-A2F9-85DCB7069AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba05b6b2105bb1fc3fb671c077db1793db29bbfb","datavalue":{"value":{"entity-type":"item","numeric-id":2372684,"id":"Q2372684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503760$6F5B9AD7-8640-4365-BB9C-A796FF1B4515","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"079671438e0f891cf9e9bcb74b304f578d6a43b2","datavalue":{"value":"10.2178/JSL/1208359065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503760$F4C06140-8036-43FF-A9CF-FAAF12DAF7B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c9580bdb8d94cdabff94d4079f0782debadc05","datavalue":{"value":{"entity-type":"item","numeric-id":3499790,"id":"Q3499790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c11c6d81aeb599be778b1f4fe92163a30785a02","datavalue":{"value":{"amount":"+0.9681780338287354","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":"Q3503760$94295802-F6D5-4096-AD4E-BF50C5E9D61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0929dbd645ef3de8b518e6b4d0506097dc6ba62f","datavalue":{"value":{"entity-type":"item","numeric-id":884482,"id":"Q884482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63523c0fc61e6145812cc3aa86e3693cfcee0974","datavalue":{"value":{"amount":"+0.8579670190811157","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":"Q3503760$C1CF872F-E781-49CF-8E6B-A1F5FD60C7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b3c6a5e062a47a55b9b2e545999f9a3f3814f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2334766,"id":"Q2334766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc21606557cec576dd62d1d7e3a626473f19fbfc","datavalue":{"value":{"amount":"+0.8012348413467407","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":"Q3503760$125439F3-04A4-4CA0-AC76-70790F63A715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dcfbd13ba97db24423e5d69b2fd1e23b5be0af9","datavalue":{"value":{"entity-type":"item","numeric-id":1731522,"id":"Q1731522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561c728ad32c02c5ebc5b8106e70fdf8b7813f1c","datavalue":{"value":{"amount":"+0.7860047817230225","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":"Q3503760$BB4A42A5-AFFD-46D1-A848-FCA3FDCDB83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e801e5c934ec265ad13759d1fd4d4e1e3d1b35be","datavalue":{"value":{"entity-type":"item","numeric-id":2805471,"id":"Q2805471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47199de6a6be4de8227af8f0f8a991b316248742","datavalue":{"value":{"amount":"+0.7494950294494629","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":"Q3503760$3CB5023D-DBC6-4C1C-ACD2-8788C0A61201","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3503760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3503760"}}}}}