{"entities":{"Q4029613":{"pageid":6059353,"ns":120,"title":"Item:Q4029613","lastrevid":55217269,"modified":"2026-02-04T22:41:17Z","type":"item","id":"Q4029613","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139633"}},"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":"Q4029613$C90A033D-2F99-492F-9600-63B29F6918C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"490954c2bcf1dfe0520a05a2fb2d3c63570d2166","datavalue":{"value":"0759.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029613$B542CCE3-A054-4171-9D87-C43C402AD49D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b43082865ac286defa1400cfb80fbddfaad145b2","datavalue":{"value":{"entity-type":"item","numeric-id":792993,"id":"Q792993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4029613$977447AE-B013-4A37-AFEA-164891555221","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4029613$9C0C8EF5-0F77-4096-A12D-1F5ED04924EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029613$8C83D435-CD36-468A-80FB-75C4660802B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029613$03C99847-63F9-4773-8B97-B8E02FD06066","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"337a386d120f69be470fe04c6519badf17c4e068","datavalue":{"value":"139633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029613$8775AE3C-7757-407A-A4EA-FF70F85ABD22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4150cc071af573389b0f153adc216861cd5e3ba6","datavalue":{"value":"algorithmic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029613$C79450AF-5823-4DBC-A486-255E0924BD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6318d1939e6692120464c39bf180e5d8271a155c","datavalue":{"value":"fair-wellfoundedness of while-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029613$26EF58A3-93C6-485A-BCF8-F0346E22FDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a01e7b9206163efeac886f504f21d73c78505d","datavalue":{"value":"nondeterministic assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029613$95AB13BB-5075-406D-8509-F0693873BB07","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":"Q4029613$4584F3C5-A92E-401D-824B-BEB7B22D2C8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed808b35386c6f74f44ba1898b4cef97c46ddf2c","datavalue":{"value":{"entity-type":"item","numeric-id":1082808,"id":"Q1082808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9199ccd10a493f844f8d2a37a87fe6de6c3fd248","datavalue":{"value":{"amount":"+0.90783036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029613$16A9301B-B702-428F-98C0-DDB4C780C936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a09c0be4d7a4a92c2e796fa551f9f1e4acd8a75","datavalue":{"value":{"entity-type":"item","numeric-id":3735075,"id":"Q3735075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0391302fa17c875e9fbea4082a2e132bad68690f","datavalue":{"value":{"amount":"+0.8921542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029613$0AE5380D-00B8-48E2-9FD2-C998029891FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44084c8d4dcc70d5af88014c2c28bd30faf78ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4204136,"id":"Q4204136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb02d7fed490e813afa59b916079efa39fc386a0","datavalue":{"value":{"amount":"+0.8650879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029613$AA8C21E0-52C4-4612-90C5-BD671900B0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f2203811f135838207bc277e09b30b696bbe4d","datavalue":{"value":{"entity-type":"item","numeric-id":3726088,"id":"Q3726088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21feef10234ff5bb0991c6e99278945167a522ce","datavalue":{"value":{"amount":"+0.86506176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029613$12D8D551-94B9-490F-B066-38969EEA91FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3615db0c14cee2afc9933a562c6c4c4724aabad","datavalue":{"value":{"entity-type":"item","numeric-id":5287526,"id":"Q5287526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2613a8364078172716d748879c6521bfbf1f0405","datavalue":{"value":{"amount":"+0.8529607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029613$EE53CE91-0940-4D97-A13C-38106A4C8FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40985376da7b1e94294f68498d0761890141b60b","datavalue":{"value":{"entity-type":"item","numeric-id":702093,"id":"Q702093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209263b8bb21d7156b8913e46cfae4cbddc4675f","datavalue":{"value":{"amount":"+0.8505586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029613$1861F84F-7E4F-4570-ADAF-858599B8933E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d166c4c642241a0290d95ef22732c6f4971ea0","datavalue":{"value":{"entity-type":"item","numeric-id":3709863,"id":"Q3709863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9083a7d69810b0a610ca5948b2e2c3363a67ba36","datavalue":{"value":{"amount":"+0.85036427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029613$6DAA04A8-5DFC-467E-9696-C47BF86229C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3631f452966398c4fd0ee80df6824638d931703","datavalue":{"value":{"entity-type":"item","numeric-id":3719799,"id":"Q3719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bec010a39b760916c26dc746119bb1f55705279","datavalue":{"value":{"amount":"+0.849674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029613$BE914A79-D1B0-40E4-BDBB-409D0F1754DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb8b6cbbf2365260b44b2d79bc2d3d823ba56056","datavalue":{"value":{"entity-type":"item","numeric-id":5046723,"id":"Q5046723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e02e9368791cdd0aeaa059080fcad3edaf82d8","datavalue":{"value":{"amount":"+0.84935707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029613$BEB3D26D-114C-4D57-BB4C-9777257E995E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097255582358de7b07b5d72887d6c6f4a4d27ccc","datavalue":{"value":{"amount":"+0.8488946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029613$0B64969D-46C7-43E3-B182-9CD24E7EEA23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4029613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4029613"}}}}}