{"entities":{"Q2474055":{"pageid":2484798,"ns":120,"title":"Item:Q2474055","lastrevid":50293292,"modified":"2026-01-13T18:46:13Z","type":"item","id":"Q2474055","labels":{"en":{"language":"en","value":"Third-order Idealized Algol with iteration is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5242675"}},"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":"Q2474055$A885AD56-E99E-43F3-BD61-4ECDA1FF54B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52f48caabbe1971307fc3b88011b5109e0f9e267","datavalue":{"value":{"text":"Third-order Idealized Algol with iteration is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2474055$E289F125-5FF8-4B11-81A0-055C67DED889","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"621d28ee4fcae9fd640ffdad33b7489fbbbbb5d6","datavalue":{"value":"1134.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474055$E01F7068-D67E-470C-8229-ED2CDD934D40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88574cc1a9da512fbd3fbfee15ad2279e5bf0f96","datavalue":{"value":{"entity-type":"item","numeric-id":388210,"id":"Q388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474055$D1A0179A-F70A-44A9-9FD1-BBFF22D6CAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474055$F0240860-D572-4A73-917D-DED5C19DD6AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474055$857B50CD-BEF3-42A8-AC8F-FC981FEF48C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"320775bc8330b9df723b904d964cd89baad4e710","datavalue":{"value":{"time":"+2008-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2474055$27DAF982-FCB9-4939-94E9-9C390692E02D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dec50fe8e58357548cc29a4e36c48e0af444a7f1","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:ba456bc7-50bb-40ec-bd89-e9b255e1fffa","type":"string"},"datatype":"url"},"type":"statement","id":"Q2474055$51F5EE9F-DC1A-4B50-AB50-699172865B3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474055$26F6A897-745F-4923-8B66-68C9941D6C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474055$0F7BBFEB-36E7-4598-9709-73BCC106D61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474055$9DF6BF0D-BEE7-48AB-9B10-67146EAE73F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474055$8CB3B6A4-3742-43D6-B9C9-BCBAD6DDFCD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac9f13dd28dea057b4a87f3c4593d49015869590","datavalue":{"value":"5242675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474055$A0319A66-64F0-4878-A3D5-5B6DF12285D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474055$206924FB-E5F5-4270-A0A9-3147A20BEFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474055$B2E5CE3D-A888-4BBA-8093-186C08296DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474055$4F5E8C29-BA10-43A9-86FE-D3FFD1BF066C","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":"Q2474055$66773E07-3641-485A-A2D8-AEA12CC32DE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ecedd7ca43efd5cf15924ef64479b3dc02b6a34","datavalue":{"value":"W3193221559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474055$0574D435-CC1A-4148-AAC1-3BB3D9C5C3C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea27c2074b50bb307d13b5988cbec7e603c4989b","datavalue":{"value":{"entity-type":"item","numeric-id":5308424,"id":"Q5308424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474055$B8CECA0E-BF94-476B-A1D6-1313109A22A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474055$1CB2A9AC-07D6-4F07-833C-DFCED0355FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a57ad67cddac85a1ec8508c32d92cfd4c3ce3a","datavalue":{"value":{"entity-type":"item","numeric-id":2754137,"id":"Q2754137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474055$BFD3FBD3-3F0D-4C97-8D2D-186D91508AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d96cb56c140da2882fd57eb4c7b6a8de70b39b1","datavalue":{"value":{"entity-type":"item","numeric-id":2570133,"id":"Q2570133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474055$48030AEB-8E73-44F9-8B5F-835F559271CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4f4844a0a47622670efa8447716336e8b1d7f8","datavalue":{"value":{"entity-type":"item","numeric-id":5716839,"id":"Q5716839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474055$A7A811D4-0B19-4BF1-893C-C7C52145A67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474055$8F584C5B-A7D2-4A65-9EFC-605F16309F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068ff9bc22782d1999dd390113545d9fb239fc9c","datavalue":{"value":{"entity-type":"item","numeric-id":3477969,"id":"Q3477969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474055$C33B2948-0614-452A-8C29-EDAE35921876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bcfabc22212d3db2a4fa41c3566844e5ecdda6","datavalue":{"value":{"entity-type":"item","numeric-id":3668859,"id":"Q3668859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474055$C5CC7AEA-BA22-4031-BD3D-BB73C0D5818B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"632b725ae8715228378602c9e918c6c186cb1eb8","datavalue":{"value":"10.1016/J.TCS.2007.09.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474055$D1031660-6553-418D-A180-A0A91892B5AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9b547ab95fca7dc9ee72e6ded9711adbf9019c","datavalue":{"value":{"entity-type":"item","numeric-id":5705875,"id":"Q5705875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c354919824df4ae906c994d7d28a8eec84e52c3","datavalue":{"value":{"amount":"+0.9971060752868652","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":"Q2474055$70202C79-EFA6-4654-A3FF-3E4821F2D988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09916efe34d5d8230b8119d3d340bb83ab8674d","datavalue":{"value":{"entity-type":"item","numeric-id":5716839,"id":"Q5716839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535aa0f7a23b3cf477be6d9d9f5c3edb1957f9e2","datavalue":{"value":{"amount":"+0.8366696238517761","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":"Q2474055$DF2FCB3B-AE50-4730-BFF4-42829C333788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a586d780bca522d34ad688d1e33520f4130ded61","datavalue":{"value":{"entity-type":"item","numeric-id":1886322,"id":"Q1886322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c3386aa5de8aee5de58378002719cdab66c7be","datavalue":{"value":{"amount":"+0.8316876292228699","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":"Q2474055$095E75A9-F08E-40FD-AFC0-EFBABC2134B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5814da78762780bf21c6bf8a454afa7a7fd56cf","datavalue":{"value":{"entity-type":"item","numeric-id":2811338,"id":"Q2811338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a1513278b5f0e0960f15ad7c77492a2dea14a6","datavalue":{"value":{"amount":"+0.8025878071784973","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":"Q2474055$75E6B72E-45ED-4615-8EF4-95E9A1766CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663f7f7fd93e2b2721179d71de6f0e2e1879e096","datavalue":{"value":{"entity-type":"item","numeric-id":2754137,"id":"Q2754137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7fd42f5a0554dc66ce6d5c37e2c5be5e918102","datavalue":{"value":{"amount":"+0.7301949262619019","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":"Q2474055$B85FADE8-13D7-4982-B3E9-D711A2EA50DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2474055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2474055"}}}}}