{"entities":{"Q516041":{"pageid":517808,"ns":120,"title":"Item:Q516041","lastrevid":62451351,"modified":"2026-04-11T06:11:17Z","type":"item","id":"Q516041","labels":{"en":{"language":"en","value":"Flag-based big-step semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6696087"}},"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":"Q516041$7C1D2CBB-1741-41F6-9525-FADEC61B755A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"771f8a47c7e79d7a233291f9270a0b03970b2e9b","datavalue":{"value":{"text":"Flag-based big-step semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q516041$41D5F54D-875B-412F-8D83-75E14E8CDA69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"081d53c0bd76e1c64ed94853747f36a1ae1a7c66","datavalue":{"value":"1362.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516041$C867804A-0F30-4BA2-BEB0-249FC76139BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45b38318e0479e94ff347872d287ac227b027b3f","datavalue":{"value":{"entity-type":"item","numeric-id":516039,"id":"Q516039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$579B244D-30E8-456E-8E4E-BD372246D503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fae7aa6d0c7c2cab5ae77c738df9d6a0e9e85b","datavalue":{"value":{"entity-type":"item","numeric-id":516040,"id":"Q516040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$835CB079-04AF-4B47-A635-06FC1F2EF750","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$D159E772-88EF-4248-B351-9CAC7B5BCC07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"368057ba8a73180f326a21cc4b9d92a5fc80254c","datavalue":{"value":{"time":"+2017-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q516041$2D38C50D-9E6E-4C39-82E2-A8FC96E140F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba039af843dffc06a4964286422cd100c4e2660b","datavalue":{"value":"https://arxiv.org/abs/1605.02935","type":"string"},"datatype":"url"},"type":"statement","id":"Q516041$5B8B6AFF-049C-41DC-831A-8964176FB470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"533b068e418bde47d0c9178c2296784f206d6a1a","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa28828/Download/0028828-10062016153907.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q516041$3B3E684F-DA1F-41F1-B5D0-410E2B21D822","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516041$A3C6AF68-8D70-4D72-AA17-B1809A510F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516041$2DE387D5-1BF3-4BFE-9B45-00B1C7742912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a446545546276eaf6ed9ad3a98a32ba83af63d35","datavalue":{"value":"6696087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516041$C7914584-1BF2-4858-8E29-678DA6AB0C40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q516041$77E5C85E-D41A-4BBE-970E-52DE243921DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4324238f0be75d07e5d4832d32c1b460c1e1c0f8","datavalue":{"value":"SOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q516041$F4917F56-6AE6-4FC0-A9F0-7B912E8EA611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q516041$D11A93BC-6316-476E-BFDA-17EE13C169EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7faeb5d0135023e1eb500475334c837141ddc600","datavalue":{"value":"big-step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q516041$1E7B6905-6E28-4606-9257-15A78E8293E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6e064560fc1e96295608eaef7e624b550d9ed81","datavalue":{"value":"natural semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q516041$B6D5FE75-8438-4607-8F11-B619890CDBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6e0844ef240e4441240d555db59921800e44368","datavalue":{"value":"small-step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q516041$DC24F779-A44A-4D29-8EE3-C33F2A46C369","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$E438F0A6-A44D-4D2C-A52E-EAD190243A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fb5f6da2df561a79b128a652d1df41678f66c85","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$5910A949-49F4-4FA6-BBC9-23E60A460364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"063965d8651c8593b602c6f48c23a32fbe3cc289","datavalue":{"value":{"entity-type":"item","numeric-id":32995,"id":"Q32995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$F01AA916-ED08-483C-8ECE-FC7E67CCE312","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":"Q516041$56CA0D45-7C19-444A-A395-B4AF0C526FCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2a3eb68805a15575a5fd73b3a88d0deeb102da2","datavalue":{"value":"W2963498357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516041$520770B3-6558-473D-8F6B-18EEB3117C85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$556F8117-5684-47E4-8B01-CC51E1E73496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$CF8BE830-06A7-4ED1-B9C2-7018A4DDB0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3c893ec274449af409e1d364b4d648dd50b27","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$5443DE70-4B51-42E0-95CA-6D4624F8B685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$082D5922-9E03-4E88-BB62-AC23B302FA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d7428570455d80c78dc46721d2b1cb8825c0ed","datavalue":{"value":{"entity-type":"item","numeric-id":5428373,"id":"Q5428373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$C141B59D-32BD-4240-B759-22DF254D6104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99661fe6e215b9fab8d9c8fc46314e857aa4ba41","datavalue":{"value":{"entity-type":"item","numeric-id":3453654,"id":"Q3453654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$A6323E45-E9B0-4547-9AD7-0B003CD23BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cca494831223dfd7d02e4f774c2fca4baf9e4c4","datavalue":{"value":{"entity-type":"item","numeric-id":5326276,"id":"Q5326276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$8A64013A-7EA7-41A7-857B-FACBD32F37D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d4ae7bdbe48148468de7cf4b48ebc920235126","datavalue":{"value":{"entity-type":"item","numeric-id":1878712,"id":"Q1878712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$B3B6F6BA-606F-4220-B973-9F99CDEE6D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761e9c63d11074bd0aaefafb9107be4fbbe3c424","datavalue":{"value":{"entity-type":"item","numeric-id":2810689,"id":"Q2810689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$CBB07B31-F01E-403D-83F8-B98524516D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$EBAF29F5-F727-4E2E-8418-28689617DF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$75EBC008-B32C-48B9-858F-D08066016087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$F7DD60C6-54C2-4A86-830A-75B3F0F5B9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a821ac499f0496c149a9b10288f471c76016ba7","datavalue":{"value":{"entity-type":"item","numeric-id":5961667,"id":"Q5961667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$44504C64-31EE-40FA-8EB9-721A34DFA9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab35871a1fec77f933ff9898974fa9d467d9574","datavalue":{"value":{"entity-type":"item","numeric-id":4910414,"id":"Q4910414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$17C5B483-BB03-452F-A365-EDE22881A93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"069787747983fa49877799bbaf2f37fc0e3c79ea","datavalue":{"value":{"entity-type":"item","numeric-id":5410704,"id":"Q5410704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$4E349AB7-6D66-4B6C-8BEA-DFD49F5EE2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f131e44a68e9dade152b5374a19246dfeaefd7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3183540,"id":"Q3183540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$7CFC9D30-F42C-4C35-A927-E5BA608B1D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49b551ceda75a753f30b71cc09ad2d116a187050","datavalue":{"value":{"entity-type":"item","numeric-id":5168888,"id":"Q5168888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$8F7989E9-C7C6-41AE-8A6A-1B5952EE9A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6519e78c88768a783b2e41047ba9f54f9a675438","datavalue":{"value":{"entity-type":"item","numeric-id":4995161,"id":"Q4995161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$B27F8456-6744-4F44-88CE-909FD575382D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3957ea938f58c73404c3199294aabed912fb42dd","datavalue":{"value":{"entity-type":"item","numeric-id":283770,"id":"Q283770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$37E63A22-E226-47DB-BE11-7577552CA9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c43b86216fe1c5702aab5ae75ac68f23c82c002","datavalue":{"value":{"entity-type":"item","numeric-id":2753682,"id":"Q2753682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$EEBBCA8C-3073-4870-9504-8541B063DB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1903be4a36187a0a0e197e708bc72f62f93b28bd","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$2C11BAE7-4A38-4C92-B1D3-D8114FDC77E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155885aa7c0b13bd9f6bfaf7a7ce0eee98e93ecb","datavalue":{"value":{"entity-type":"item","numeric-id":4963901,"id":"Q4963901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$EC0E1918-3D2F-4AA3-A631-2CC547D7C6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583f34f3ba476ef3ed853ba8693dbe27f9970f7","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$B1DC3C2D-19CB-4EF1-ADAB-F54F6DB49AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856b93e25e4d1d0f8f1a57ec0b7cae72b039f6ba","datavalue":{"value":{"entity-type":"item","numeric-id":4077434,"id":"Q4077434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$3EC3670B-A01F-44F1-BA5C-671A4422B71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$FD3FCA1A-A660-48EF-81EB-849AF535822F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c06761ababa85bfa8f04a80be0c177741cdbfc","datavalue":{"value":{"entity-type":"item","numeric-id":5371953,"id":"Q5371953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$A1CD6CDB-7090-4358-89BB-7EB09826E4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$0A3459EB-4AC7-49A5-BDB7-5581AACE8D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$E454F2C5-C56C-4F51-9501-F03CEDB7109C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9a03ca7f35c079c210036c3416fa8438e5201","datavalue":{"value":{"entity-type":"item","numeric-id":4513619,"id":"Q4513619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$60EA0052-16E7-4A6B-8599-8ED25E8226CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ebef1a8cead56989ed544ee3c516c448d6373c","datavalue":{"value":{"entity-type":"item","numeric-id":963342,"id":"Q963342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516041$E4B28681-88EC-4E70-85CB-ABC8C903AC45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c15a8393ee79a8a9a477751450fcdf35085b248","datavalue":{"value":"10.1016/J.JLAMP.2016.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516041$20CF8135-1A3D-48AB-9BE3-0564F25B12B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1dbc5bcd80ac2397141ffd3ebeaf1e71de23766","datavalue":{"value":{"entity-type":"item","numeric-id":5326276,"id":"Q5326276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288a32519fe99ac1ccd2baff787c6bb333d7f87d","datavalue":{"value":{"amount":"+0.74770188331604","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":"Q516041$C466297E-BC24-4815-BB22-E215474AFB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948065a2c9004ffe0ff950744ce35014b617d6df","datavalue":{"value":{"entity-type":"item","numeric-id":5410704,"id":"Q5410704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2291572d21c409e592d0284d31a14e2f7357ad6","datavalue":{"value":{"amount":"+0.7287247180938721","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":"Q516041$AC52104F-D6BF-4A97-8722-D52BE98FDEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a4485ec479b548a19661c690014b998d09b4a9","datavalue":{"value":{"entity-type":"item","numeric-id":3000281,"id":"Q3000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60af55826787c0c8ba67fa2a8c14dc41341d866","datavalue":{"value":{"amount":"+0.7092301249504089","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":"Q516041$714BC93B-5C6B-415D-BFBF-97FAD0FA2523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96c11de1f89c9f7525c4a02fffb26800a5bbb75","datavalue":{"value":{"entity-type":"item","numeric-id":4222934,"id":"Q4222934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b3cfb773c85de0edc5be642331dd4a1a780033","datavalue":{"value":{"amount":"+0.703125536441803","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":"Q516041$FAE69869-8371-4EB5-B859-07F658373833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be8db4a8a3e23e360483247268d76064303c918","datavalue":{"value":{"entity-type":"item","numeric-id":4413687,"id":"Q4413687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5de0d78ca435e8a5dd97599eef6473427fc543","datavalue":{"value":{"amount":"+0.6809924244880676","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":"Q516041$0D93CA7A-2209-4812-9933-CB9EBB2B29FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Flag-based big-step semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Flag-based_big-step_semantics"}}}}}