{"entities":{"Q929964":{"pageid":931812,"ns":120,"title":"Item:Q929964","lastrevid":65421672,"modified":"2026-04-12T02:29:33Z","type":"item","id":"Q929964","labels":{"en":{"language":"en","value":"Local variable scoping and Kleene algebra with tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5290916"}},"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":"Q929964$05565686-53F9-4A9E-9C64-B2EDD196AA68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb6cac865670ba9d7a1e04bf5b43c8f4d1edde9f","datavalue":{"value":{"text":"Local variable scoping and Kleene algebra with tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q929964$B5DD6069-26D9-4151-A768-F522002A5A0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"173e9d3fdfa2e4184b0303f780204a696c5cd009","datavalue":{"value":"1148.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929964$57219107-888C-4E3F-AF0A-5C4BDC944A13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c7820dbb9aa5f32252212fdee1d6fc5aebfeeb4","datavalue":{"value":{"entity-type":"item","numeric-id":929963,"id":"Q929963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$B60DB104-C408-4CE5-8094-454FFFEF4627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$03A469B4-E82E-495F-B417-8A65DD4E98CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$E8F2871C-AB25-4E22-B250-1F8A7D883B42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94adc6da8cc08e29523a0a31b3af6d1a94363069","datavalue":{"value":{"time":"+2008-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q929964$5940DA7D-84BF-4F52-ACDB-F736CB75B67E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929964$480B57F7-CE46-4B27-91FC-24F693B70E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929964$E53726B1-4CF7-46A7-83C7-B07FDCA181B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929964$DF61EC53-E739-48BB-8E40-F82AC9E13B67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"713a169d56c4028954132d9aa06d0252e4430c40","datavalue":{"value":"5290916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929964$43A42A4C-7399-40EB-BB17-DBEDCBC38291","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q929964$93592D2B-D8B3-4464-B650-8970A802B5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q929964$EDF6BA43-673B-415C-8DD6-767C04428762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q929964$AF58C49C-3AB0-4C05-B446-36654E50770D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"028dfb415c01dff264122a0f3103b356ff5f34b9","datavalue":{"value":"variable scoping","type":"string"},"datatype":"string"},"type":"statement","id":"Q929964$84AC80A9-729A-4B34-B81F-CA3D82D0303C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d3122c49782f40052b33f9a1e799292cd0b8cfe","datavalue":{"value":"programming with state","type":"string"},"datatype":"string"},"type":"statement","id":"Q929964$74D38A3B-23AA-4A21-8512-C996A693A294","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9853a577315411544eb2c427f41ef798142f45e3","datavalue":{"value":{"entity-type":"item","numeric-id":20515,"id":"Q20515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$86AA4C8E-78A4-44A8-BF1D-01A6D4ABE237","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":"Q929964$5FAE8200-D3A5-4E84-A3AC-23044EB73FAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc46dfaa34a6943661def83c42fc37ad8fd3503a","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2007.10.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q929964$A664FA1C-7F33-48A5-918F-B71DD7EA34ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e1dfc44b023320f044ba2774d0b7e45e97474b5","datavalue":{"value":"W2038553844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929964$F58359BA-CA3D-4B28-9FD2-FF933266A97C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c97feb0fb20cf2c33ac764032afe8b1961737a13","datavalue":{"value":"Q114851555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929964$B98CE75F-7D2F-4834-B1D5-E5AE3C0809EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40927a655fc9f8cb06119a5f319fa6f7548dec3a","datavalue":{"value":{"entity-type":"item","numeric-id":3647254,"id":"Q3647254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$B9D8CED5-9BD4-4200-8D5B-D132F4EE6AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d3dec74a07427fda4d038d18e6477d742821ab","datavalue":{"value":{"entity-type":"item","numeric-id":3618813,"id":"Q3618813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$914F097B-0220-4B7A-BC4D-75AFB5F74CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f38c139f8c492dec370418023cbf8c9fd1ef84a","datavalue":{"value":{"entity-type":"item","numeric-id":4222822,"id":"Q4222822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$12D224E2-1695-47A4-B85C-62DCF8F5A74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$C6AE589E-5CBD-44CE-BD1A-FCC96CD7A4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$D050305A-40C7-4E76-B82B-6F21028447F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$4CA3F26B-F720-4F25-AE7F-F1324A78FB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bcc6b1890845105e030767a72e8bcc67295f265","datavalue":{"value":{"entity-type":"item","numeric-id":4250362,"id":"Q4250362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$18F2F0AF-C74E-48C0-ABEE-584B61C94DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e451b0339876f0a92875e49346cdc0622e878095","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$A96E8113-B093-4DD1-BA54-43D2E0442FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$84F12419-D53E-4BD4-AB09-ED4686798C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$333074B1-A935-4CEC-B90A-C741A6AC2BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$77AA5578-1BE0-4E76-84DD-9BE81889339B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1358697765dcf85a758449b77a558fb086c297ee","datavalue":{"value":{"entity-type":"item","numeric-id":5267434,"id":"Q5267434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$EF072E2F-0324-4F74-A945-AA09EA3F9BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16f978b19ff461de1876c12ebfad350cb92104f","datavalue":{"value":{"entity-type":"item","numeric-id":5308457,"id":"Q5308457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$3DB0337E-7040-4F80-A878-B6FE830633DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28698953c4e8520dc78875a42ac214e8f43cd564","datavalue":{"value":{"entity-type":"item","numeric-id":5753940,"id":"Q5753940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$89470DFE-C753-4997-9F77-53EF0880763A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$F725DCDE-21BC-48F0-BE83-7CFD2857F536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$F8F84138-D5A3-4918-9F0A-7FA67965DCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70942afe338cfaeabf37590d23945eca62151c21","datavalue":{"value":{"entity-type":"item","numeric-id":3138545,"id":"Q3138545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$E7143EAD-56DD-43D4-A448-29E9A507812B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e0c3c86e3aec9fee9f178f9b1d4bf86c170c73","datavalue":{"value":{"entity-type":"item","numeric-id":578898,"id":"Q578898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$13FDA112-D0F8-4D70-8945-FEB5B3347BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232426b4a336ce9f56636b166cfd296a7cb0f2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$61A47167-691C-478E-9A37-4F2CF8DC05B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2421034b2e5b8c9a4605f25882b5ef4d7bb9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2704328,"id":"Q2704328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$39354A19-ED97-45E3-9D04-6421DDD3F033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q929964$1E89723D-EA3D-4ED6-9B2D-18C431D34E40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c058544d570f5deb8843c2de88b64be5983e0ac1","datavalue":{"value":"10.1016/J.JLAP.2007.10.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q929964$041677C0-2245-4B6A-880C-33E0ED9E3DDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f9a610a3f6c7ae22bd51c19a8731c28f479903","datavalue":{"value":{"entity-type":"item","numeric-id":5459174,"id":"Q5459174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q929964$B4460C5E-9A21-45E3-A076-379C69E65810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6af22908464467ddc86195f2f536efd040d94f1f","datavalue":{"value":{"entity-type":"item","numeric-id":6164436,"id":"Q6164436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2ece65c65a14a19081a57a46a9039ec1809a3d","datavalue":{"value":{"amount":"+0.864673","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":"Q929964$EE4AE6A1-BD3D-48EE-978A-B035ACBBDAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e185cb3788129a86496b6b33cbf65d270bfb21f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afeadb0a75327c6a2b1ee82a15a703b7c268a9c1","datavalue":{"value":{"amount":"+0.8539778","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":"Q929964$61122A0C-8559-4999-9E66-2F165B96652C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec154448e006af8bbf0d04231cc7ff7d4dcd4fd","datavalue":{"value":{"entity-type":"item","numeric-id":2709036,"id":"Q2709036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b5c6d0ab920877e6658bf7c54075272bcf706c","datavalue":{"value":{"amount":"+0.8477242","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":"Q929964$5017987C-DB1F-4CEE-885B-6AC2BD5974C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6abc32157bd0af13434758af0ab42badb1c545","datavalue":{"value":{"entity-type":"item","numeric-id":3138545,"id":"Q3138545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2bbafb07a541f91fd837863414175b50180f0f3","datavalue":{"value":{"amount":"+0.842206","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":"Q929964$E9724F14-3543-451D-8145-5E85B03E19CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a20523e76276867717a1a02e5084c2c6f3662b","datavalue":{"value":{"entity-type":"item","numeric-id":2789519,"id":"Q2789519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf72cf54449333165cb186eb203a5fe9ca53223","datavalue":{"value":{"amount":"+0.8383142","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":"Q929964$05C384B6-509D-46FE-AC6A-81141F46094C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e991e6fb32af7912a0c4e46abfa70d39632043e","datavalue":{"value":{"entity-type":"item","numeric-id":2841978,"id":"Q2841978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf72cf54449333165cb186eb203a5fe9ca53223","datavalue":{"value":{"amount":"+0.8383142","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":"Q929964$176E8EB3-D068-48FD-8CA2-08FD2C40A302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d11a88c0310af41e269fc5a92388816f27dffc4","datavalue":{"value":{"entity-type":"item","numeric-id":5410476,"id":"Q5410476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f485706282362080f4a131b4e17c411ad2f8efe8","datavalue":{"value":{"amount":"+0.8375807","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":"Q929964$A30A8D1A-5939-4256-BDA4-31B433F9B87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a250ca016f0d5c763d56fe7f0ad35c2bbe1d87","datavalue":{"value":{"entity-type":"item","numeric-id":4501670,"id":"Q4501670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158fe0f20cf57e1ec8cc3c126f1d1fb4202a21c7","datavalue":{"value":{"amount":"+0.83388203","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":"Q929964$A1A50E18-D743-4911-893F-82192EC58BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57092bb8db2daf93065e795e4e49038eb2a60652","datavalue":{"value":{"entity-type":"item","numeric-id":3711737,"id":"Q3711737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445f85b14a7bcf5bd48af0d1fd300ffa3d106d66","datavalue":{"value":{"amount":"+0.83227044","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":"Q929964$C0EA0E32-1369-452D-B1B5-DED75BE8AE23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local variable scoping and Kleene algebra with tests","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_variable_scoping_and_Kleene_algebra_with_tests"}}}}}