{"entities":{"Q3766814":{"pageid":5796720,"ns":120,"title":"Item:Q3766814","lastrevid":51900986,"modified":"2026-01-20T12:22:58Z","type":"item","id":"Q3766814","labels":{"en":{"language":"en","value":"Decidable problems for powerful programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4024751"}},"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":"Q3766814$AE87D8A3-496F-45B8-95B6-ECF62808D7B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a425c647f2404f6de4733f9bd80b8a3718f894a1","datavalue":{"value":{"text":"Decidable problems for powerful programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3766814$F58B12BA-88E6-4899-8B45-4B87054D9354","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52dc9c3474d1937e7fe3f8954ecbeff19552befb","datavalue":{"value":"0629.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766814$92DD39ED-5F21-4447-B97A-571D8D9FDA40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5153921e83f6f37d76c5e2fe8328ca189c79a291","datavalue":{"value":"10.1145/3149.3157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766814$0DCD4821-A08D-426E-BA96-ABD1B0473A35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42d88a098c329c4a16c44d18696c91c9790885d9","datavalue":{"value":{"entity-type":"item","numeric-id":1136222,"id":"Q1136222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3766814$3733AED6-58EB-497F-A3E4-A3E4E149F4D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3766814$A878A427-AC5A-4379-8EF8-00F51C39DC63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3766814$5C14B5DF-DB37-440C-B88D-0F69F41B8FE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766814$104DE8A0-07C8-45FF-AF5C-363A1D1EB901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766814$6834839A-0CC4-461B-8490-DDAF96C05BBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92fb3dff0c0554f57aab0b24cab1d44aa4dace78","datavalue":{"value":"4024751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766814$E3AF3EA8-735D-46B0-8949-0D0A20C14B96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766814$C07FC4C7-3D0B-444A-B60B-7F626AC8563F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766814$30ED827F-0ADC-49BF-B449-D6CB91961840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766814$DECBD7FB-8D45-4539-B7D4-CCF3DFB2A55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b884a0bcefb471b2b05f1ea3f40afa632382a9c","datavalue":{"value":"Presburger sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766814$E6274BF7-0CA7-4FAE-828F-F8FD4914BB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4567dfcdca2a16710dfa78fc6c9ca84fdc95530e","datavalue":{"value":"counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766814$33F69CB0-1A82-4D62-8C3D-3F15A5A69EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caaea48f8e522a3ad4c1a237f76e6cf18c422edd","datavalue":{"value":"finite-memory programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766814$EC66643E-ECEC-4B1B-A11D-AB67F172A086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac07c74b6ded17dc532af7dea98eaab4001df91a","datavalue":{"value":"solvable decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766814$B211310E-F5FF-4FCD-82FC-BA64A9FE367F","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":"Q3766814$89B839C0-F047-457E-A9E6-9FE2FD73EE1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c95f6d630c1cfc4ce07fe8af536b42c5ef1c49e3","datavalue":{"value":"https://doi.org/10.1145/3149.3157","type":"string"},"datatype":"url"},"type":"statement","id":"Q3766814$A877A922-FF75-43B7-9E17-3CB78ECD80F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"767c42e2b8fcf9d49bb04b87098fe6b76bc86e42","datavalue":{"value":"W2056964218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766814$7754A3EF-EAF6-4BAA-AFB0-1D146BD37AAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3c49add65936359282bedbce48434af69813e7","datavalue":{"value":{"entity-type":"item","numeric-id":2686649,"id":"Q2686649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3664cbf2034127804d6798d8dbf7c2c28e06403e","datavalue":{"value":{"amount":"+0.88273656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3766814$155B436A-93DF-4FE5-A805-B02A6E465A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"674c8d2e483ad4c9ff34046d000855fef47dd3cf","datavalue":{"value":{"entity-type":"item","numeric-id":1399975,"id":"Q1399975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"041ce954fac71d210e862a4571ff3a08d83d1edb","datavalue":{"value":{"amount":"+0.867825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3766814$20195F7A-E8F1-47E6-A291-492540FB79FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3961881daedb1be6dbd20244f964d63eb204b8","datavalue":{"value":{"entity-type":"item","numeric-id":3773319,"id":"Q3773319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a550b2cbee361c7b0792c069d3cf3e639283e1","datavalue":{"value":{"amount":"+0.8660183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3766814$63278E12-C8D5-4DDE-8655-A55580AF8063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf75a94c2cfec39c8e4da4ccca61102c8171da78","datavalue":{"value":{"entity-type":"item","numeric-id":1900317,"id":"Q1900317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf3c219d5fe8f3436e2437c1b30b7524fc77ab9","datavalue":{"value":{"amount":"+0.86539775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3766814$7798D9A1-5DF9-4B34-83B6-6F810877F853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69dd44470c1d3c4edbb207956a27fcec32945fea","datavalue":{"value":{"entity-type":"item","numeric-id":3585163,"id":"Q3585163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f3748aa197d91b3293f0c6fd3f141f265c00c1","datavalue":{"value":{"amount":"+0.8645426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3766814$4AD8C0A3-1124-49CA-9C09-35479F58A2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35428fc5eb9bbc7852d769eadcc8ee6dd95b1279","datavalue":{"value":{"entity-type":"item","numeric-id":2880785,"id":"Q2880785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728f1d059fa4ac0057c50801a80f6dc46c2e71ac","datavalue":{"value":{"amount":"+0.85682046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3766814$CA8168E4-1463-428D-AB6E-AF17BF165B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2450356d0cb12929148807aef08bbb3358b38856","datavalue":{"value":{"entity-type":"item","numeric-id":3032240,"id":"Q3032240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82386a6277df066f6827d5b37f4ce789986cae0","datavalue":{"value":{"amount":"+0.85651594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3766814$57659058-B877-4E6C-ACDD-1BC2F0F1A6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d987af9dec212e5538dfd6e2d95d52c0d073d19","datavalue":{"value":{"entity-type":"item","numeric-id":1703280,"id":"Q1703280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb5e24876a4fbb24d17b149a234d36aa66208a9","datavalue":{"value":{"amount":"+0.8538041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3766814$FB2DFBFA-6DED-4D47-8E6E-348A2E82214C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfefcfa4423e0e21b681bd1c62794fff0ec4c14a","datavalue":{"value":{"entity-type":"item","numeric-id":3032237,"id":"Q3032237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e928ae8cde01f63290b815e0f127a040eeb35530","datavalue":{"value":{"amount":"+0.8536695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3766814$D10089C4-E80C-475F-840F-E06F51FE2239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7461aedad43fc189edc0c1952fcf4a60d1569a","datavalue":{"value":{"entity-type":"item","numeric-id":5210802,"id":"Q5210802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e761f0c6813b4bbf085f66e32b4e40073df55649","datavalue":{"value":{"amount":"+0.853428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3766814$BBD8EF72-49FE-40C9-83B3-46CE5BC51974","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3766814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3766814"}}}}}