{"entities":{"Q4923290":{"pageid":6952872,"ns":120,"title":"Item:Q4923290","lastrevid":51731987,"modified":"2026-01-19T17:57:39Z","type":"item","id":"Q4923290","labels":{"en":{"language":"en","value":"On the edge of decidability in complexity analysis of loop programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171175"}},"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":"Q4923290$D8AF68E1-C8BA-4156-A40C-A1D4453D5399","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"187f2a63fe8ae35c06d48be75aeab0b78dde9214","datavalue":{"value":{"text":"ON THE EDGE OF DECIDABILITY IN COMPLEXITY ANALYSIS OF LOOP PROGRAMS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4923290$9030BB9D-3B51-4B88-ADB8-A417795002F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0146a116ad7013481c85b2cca5965444ec113ca6","datavalue":{"value":"1266.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923290$3268A8C1-C9FB-41FA-8101-663B29F74A7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97739888cfaf85195e515b896c87fcc6d603ecac","datavalue":{"value":"10.1142/S0129054112400588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923290$1DDD3220-D9CB-4BEB-81BC-2EF5C0DC8CF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f0d13e4b2542710912219f7d7417306d0cfcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":207724,"id":"Q207724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923290$831C61E1-5583-42EC-A4D9-82E1AE2423D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7451b1685ab310bbd75f08ab9f181e107023a28","datavalue":{"value":{"entity-type":"item","numeric-id":418007,"id":"Q418007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923290$6E5A7546-45CF-493F-850F-713B7836775C","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":"Q4923290$A89CA55A-7929-4CA9-9830-985A323E3EAE","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":"Q4923290$E103A90D-152E-4E8E-B7EC-C0F172B29A7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923290$25996441-31C7-4A01-8549-557B1EF9DD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923290$EF00DA45-4DE9-4C61-AE75-FE404488F453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923290$D3035422-3ED4-4FF6-AA2A-CF34CBB10BB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"645389906f556827e7ef1558c5c5de78c245d365","datavalue":{"value":"6171175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923290$CBF39F4F-3A32-4BFB-B182-0A51C089C672","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923290$042E140D-6569-4566-A308-284982E6CD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6245ba3be2f9460caec983ce2fe2a00ff9b5eb73","datavalue":{"value":"loop programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923290$6E0FC921-CF31-476E-9874-786AB0BCA78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"848875daff051125b8355cdc2b4bca6d0013f652","datavalue":{"value":"subrecursive programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923290$08649A3E-5F1A-4340-ACE6-68E16D32ED35","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":"Q4923290$492F7675-BE9D-4F90-8100-896D0E01CD97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923290$FF4EE4DB-D7E9-4252-B8D0-7311974F1008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff5e5ed9a47676d1f71c039408d4e7152ada392","datavalue":{"value":{"entity-type":"item","numeric-id":3912019,"id":"Q3912019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923290$81A18D93-87E3-49A2-8E35-3A4636AF868A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a92f45363c3ae0e6efa2126d5098c043e8f28f7","datavalue":{"value":{"entity-type":"item","numeric-id":3766814,"id":"Q3766814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923290$D87D37B7-FCFF-4348-9BBB-F1C7F0638D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3295f9b721f2088b41229e5ae133d83d9dfb5c42","datavalue":{"value":{"entity-type":"item","numeric-id":2946585,"id":"Q2946585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923290$2903D670-42EB-4450-9E19-968CD21F9488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440ab4fbdb360439f643f558ce6b709b490cf1e1","datavalue":{"value":{"entity-type":"item","numeric-id":1137991,"id":"Q1137991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923290$6262A6E8-D40E-4999-A16C-9B29B9EB20B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6254e9b5341acf40bf37cf670d05df47c4deb3ce","datavalue":{"value":{"entity-type":"item","numeric-id":1827396,"id":"Q1827396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923290$CF88C599-F5B0-4313-9D9D-E9527F8E7857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e42f0028eb276733b0205f8d462592e23f52066","datavalue":{"value":{"entity-type":"item","numeric-id":1401309,"id":"Q1401309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923290$CD3D779A-AE80-4467-8133-BB6595285338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f78933cefffdf95bb4831289120895ba58f5ef8c","datavalue":{"value":{"entity-type":"item","numeric-id":5470728,"id":"Q5470728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923290$03B889CB-B376-49C1-8FD9-14C50D31924D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafb225ff1a1521cdfa086c2196aa154fa518299","datavalue":{"value":{"entity-type":"item","numeric-id":5609377,"id":"Q5609377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923290$7F2DA0BF-6F55-445B-A459-E8E9ED060BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1991f4b547e2ff1c1f581afcf8dbd3668dd60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4062612,"id":"Q4062612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923290$66F71ABD-7082-4C99-BBCF-8DA07D9457F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12e2d07fed965fe7dda8bd47e4112d7a8e643eb","datavalue":{"value":{"entity-type":"item","numeric-id":3217582,"id":"Q3217582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0542f5329c568f70f63df03d0d1a44840f9c824","datavalue":{"value":{"amount":"+0.7146356701850891","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":"Q4923290$637C6BEC-E78E-47A6-B203-ED45C384555D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a3b90626cd9f864c262c45698573772dcf659a","datavalue":{"value":{"entity-type":"item","numeric-id":3694664,"id":"Q3694664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d73de61de0b9b4821422a7c62b61d3eddfa8a791","datavalue":{"value":{"amount":"+0.7036309242248535","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":"Q4923290$46989437-3B68-4833-8FD4-9EE9625A84F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5678091b5cd253364fa8ee3d5562d3f4aa8434ae","datavalue":{"value":{"entity-type":"item","numeric-id":2487118,"id":"Q2487118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d898d1b93ca5ee82280ce8b7286230d474c5895","datavalue":{"value":{"amount":"+0.7014672160148621","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":"Q4923290$21BBF6D7-1FFA-4C00-9096-B933669A2F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ab94c6810b68d2e34ffbb221501ae07f7e73cd","datavalue":{"value":{"entity-type":"item","numeric-id":3507419,"id":"Q3507419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f060d5992e81fe7439f8ec6cf5503e0c821373d","datavalue":{"value":{"amount":"+0.695593535900116","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":"Q4923290$C2502AED-403E-421E-B5B9-C0B969366625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac55623476f8bade5e16f4aa5f7f23c17aa73145","datavalue":{"value":{"entity-type":"item","numeric-id":2891402,"id":"Q2891402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b94efd410fc9efb8c299090fc801102695ec3f2","datavalue":{"value":{"amount":"+0.6927469968795776","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":"Q4923290$10816ECB-0794-4594-9F5A-37A6D8A84E90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4923290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4923290"}}}}}