{"entities":{"Q1799102":{"pageid":1809844,"ns":120,"title":"Item:Q1799102","lastrevid":68987337,"modified":"2026-04-13T03:33:33Z","type":"item","id":"Q1799102","labels":{"en":{"language":"en","value":"A FOOLish encoding of the next state relations of imperative programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958113"}},"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":"Q1799102$7DB04CA6-AAFF-42B8-BAAE-BDC1CE229866","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"593f231f08ce76fd7c11c1787e99535744e8de52","datavalue":{"value":{"text":"A FOOLish encoding of the next state relations of imperative programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799102$F7831F34-D1B7-45F1-917E-C89B0E52C28D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ae9459e5859eddee5195094216fbef8e9ebad81","datavalue":{"value":"10.1007/978-3-319-94205-6_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799102$CD6334B3-9AE6-4A03-ADAB-15EE4B2D94AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3448e39e323f842b0a27722b725cbda75130212e","datavalue":{"value":{"entity-type":"item","numeric-id":1799101,"id":"Q1799101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799102$2F3A3A6E-33C9-4D01-9D45-30B9B4CC8087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799102$E521B0B9-3D4D-49D0-970C-8C6087406E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799102$881BF6DB-452C-4E36-B947-EBB2B9FD9622","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799102$12CC6DE2-FAE7-4C7F-96CC-8AE054D1AFAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799102$A53E3D4D-7679-4F6E-9F36-F255D6722FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799102$703BAC75-3379-4777-A2A5-23B2D1BC67B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799102$84B3A8CD-911A-4132-B7BB-5D95563A1690","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1ee1dffe4fde331ef2b7f79a9e11964bd565eab","datavalue":{"value":"6958113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799102$7E838F5C-2695-4337-AD71-98DB41F17795","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799102$61E5FD41-55F4-46C1-AECB-AF72241389FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799102$435C6154-11A8-4849-85BC-2A7154567BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799102$D4FC624C-8AEB-4099-99D6-5DD7516944AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799102$6A2D756F-EC32-4C76-9CBB-F05DC6FEE315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799102$7F8295CB-E7D3-4156-BEB6-BC6A7ADA812F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799102$2F04C0C4-7BE1-401A-AAA7-DEDD71A5C460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799102$E77D1346-E303-4AB4-94AE-A74DDBDF7F74","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":"Q1799102$60013C64-5225-4DBF-B578-42A90732A210","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09e016869e129631d34bb45f1c2ee5dac9ffe4a1","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94205-6_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799102$5B7A5ED7-2235-45D3-AA6D-64026E4C70B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e817c471b828a6ea52b8c3d6438b7104fb1e6cc1","datavalue":{"value":"W2802944976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799102$4FE4DE51-15CF-49F4-9E16-5AFA51B2028B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22bf379c5d8ed4a183ca0eaafadda34e2fcd3361","datavalue":{"value":{"entity-type":"item","numeric-id":3453107,"id":"Q3453107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de2f2ad6a28d8344e7ceb6d66ce581f378c1a15","datavalue":{"value":{"amount":"+0.6847984790802002","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":"Q1799102$DDD544F9-CE4D-47BA-99C1-B2113BAE7847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"221a2bd66eeaacc20466f0cb8c2d0117f06e7b29","datavalue":{"value":{"entity-type":"item","numeric-id":274400,"id":"Q274400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"003fe842c00c14321acbca7a647549b5a51db4c9","datavalue":{"value":{"amount":"+0.6829871535301208","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":"Q1799102$542CD10E-723B-4600-A862-592F91864ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd98f2abb2e6d695d1a88d96506627a8bad2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3575262,"id":"Q3575262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0666aaa01508b31f2acaf6bf2a617afe2935ac82","datavalue":{"value":{"amount":"+0.6828498840332031","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":"Q1799102$F667346D-BF5D-4821-941D-4A80ECE26013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a8ddad44f130e239145cecc78679d30c11836a","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862ba668e6d742141331a486b91cfb357fb35b7c","datavalue":{"value":{"amount":"+0.6780936121940613","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":"Q1799102$C2BD7912-5A96-4498-A994-6CC389D21856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed58649527b45a30c8bf0f209a9b2229e7451a53","datavalue":{"value":{"entity-type":"item","numeric-id":1267030,"id":"Q1267030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46bf86db6eec90603504a4ec1cdb242873748f2a","datavalue":{"value":{"amount":"+0.6778351664543152","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":"Q1799102$D36D38DE-275A-464B-A207-C35430C33D5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A FOOLish encoding of the next state relations of imperative programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_FOOLish_encoding_of_the_next_state_relations_of_imperative_programs"}}}}}