{"entities":{"Q890376":{"pageid":892224,"ns":120,"title":"Item:Q890376","lastrevid":52390421,"modified":"2026-01-22T13:07:21Z","type":"item","id":"Q890376","labels":{"en":{"language":"en","value":"Generic weakest precondition semantics from monads enriched with order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506676"}},"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":"Q890376$009633C6-E6C3-420C-9906-8BC82E295BE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5ecb4fcd5910e192525a63056b24690d6cab6c3","datavalue":{"value":{"text":"Generic weakest precondition semantics from monads enriched with order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890376$78B8FE87-CB74-4946-8398-982274F73B2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"921ea4c10ec026073fd5ef34489c65b80680c22b","datavalue":{"value":"1330.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890376$87FB657B-4404-4A9C-A399-F8B21052CBF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$9569955D-0819-46F1-B924-9EAA70491F78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$F5B4309B-D455-40D7-944A-230598273CB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"076824462e9739de83dbd861126210324c665107","datavalue":{"value":{"time":"+2015-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890376$B4C9B64D-2291-4076-A181-FC6DAD4131FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890376$E8142D87-D864-4B0C-92BD-64177EA1F4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890376$0521518E-FF11-4C05-B4C1-B6CEC1B0C375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890376$955E70F8-C715-4A11-B66B-89B410357D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890376$58CE1D20-4424-48C3-8FE5-3C5F75A01941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890376$E445DC45-8200-4E31-8BA2-475A1127D5AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e930d99aec989b1fd835010ac83c3280413487e","datavalue":{"value":"6506676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890376$DF2C466A-66DF-4D59-A6A2-F74EA451DBA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q890376$F1DA84C9-6B28-4942-8066-8EFDCB2506C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q890376$4D0F0689-1B0F-4E85-9804-DF1D34F7BB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f84ffdbc439aec7e90818229f0fb2a2cef5ca13c","datavalue":{"value":"precondition calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q890376$77BE42E2-276D-4D40-858B-7CF2A11F40D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q890376$032762F1-0D67-409A-95B8-3D6A45B54142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b53c552f034f0759ded21ef7d92b5c6222376092","datavalue":{"value":"game","type":"string"},"datatype":"string"},"type":"statement","id":"Q890376$CC1F23DB-6023-4E0B-9CBC-8E1B39B97718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a452ec64c2cf96f5230af01ef87997a4cc59e5","datavalue":{"value":"effect","type":"string"},"datatype":"string"},"type":"statement","id":"Q890376$D2CB52FC-9C81-4DA8-AC9D-B9F4E047849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q890376$981AA969-0482-4B30-9074-E6766AA4547B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q890376$BC7F077A-8F25-46BA-ADD6-6AAF0D5A2ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdaa8bcbc0661cbee7adb3770b0a662ef045f112","datavalue":{"value":"categorical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q890376$B282BDC0-9D9C-4B6B-BA9F-A6BDD4329D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q890376$D8FDFE8F-71A1-4A37-8B1C-AAC513256E4B","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":"Q890376$723ACD6B-D390-4A1D-955C-C0EE141BE520","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9849650b9cc111ed64fb8a664cbf1994aa97b403","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.03.047","type":"string"},"datatype":"url"},"type":"statement","id":"Q890376$C08F9503-889B-4DD3-B3F8-CA182BF3BEF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb2bc2bcaaeb5a25eead69f37b342134ab7a50f2","datavalue":{"value":"W1984184513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890376$F2763C2B-E2FF-4C61-BC20-11C43495ECA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$CE5FA60F-4A78-440D-B234-8995BA075F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$D175BD08-42B6-452C-A1B9-6C76D4326542","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":"Q890376$C2B8B673-8404-4CE0-937B-B5D496DA90F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$C02EE836-38AA-40E2-9938-E883B4E26A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585bba7069131217415c506aed3dd7e29b69f6fa","datavalue":{"value":{"entity-type":"item","numeric-id":3196356,"id":"Q3196356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$1ED89FBC-842F-491D-BAF8-08606667F208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36042f62929551fa96793f2ddc8e4ea6d35d16aa","datavalue":{"value":{"entity-type":"item","numeric-id":5271043,"id":"Q5271043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$5DAA2242-821D-4911-80A8-16D38C032EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe8a6414565de4b925309387d853c97cd4c176f","datavalue":{"value":{"entity-type":"item","numeric-id":541810,"id":"Q541810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$DEB98268-83DE-4F36-A14A-CFB448B4AFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9feb11a77fdba57e24b265e2c115c8bdbfb70d","datavalue":{"value":{"entity-type":"item","numeric-id":5271064,"id":"Q5271064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$B7F71029-2AE5-41CE-A860-896B32016FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8440d80f9f1e8ae5498f6228abef335d0392e15a","datavalue":{"value":{"entity-type":"item","numeric-id":5410688,"id":"Q5410688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$81392E59-DA50-4D41-8272-76FAF01B81D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$54CD5F58-7766-46C8-B7F4-405C88695823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cfa32b070453670aaafb71dde7169a05b69350b","datavalue":{"value":{"entity-type":"item","numeric-id":3114231,"id":"Q3114231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$97DD95F3-64D2-4CD2-BB10-1CB0FE1A09F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed9bd2d610fa975e50d6a9024d44ec7d94b27a1","datavalue":{"value":{"entity-type":"item","numeric-id":4910417,"id":"Q4910417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$4C26FB41-07BD-4D02-9BBA-4448D3B0F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$41F84251-C7FD-447F-84E4-20C6CB2491BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$4E931A2B-E425-4D0B-820E-1A04681D247C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$B9AE86F1-8EE5-4E3B-8C6E-6CC05C2A900F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b15fe46c86d65b948da2460833dc71e09cb9911","datavalue":{"value":{"entity-type":"item","numeric-id":3636909,"id":"Q3636909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$D5B53C99-B0FE-40D9-8B57-3D479EE5E59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69496384de3b7aa121e4db7da81e002bfecb1831","datavalue":{"value":{"entity-type":"item","numeric-id":1023294,"id":"Q1023294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$A3048248-6472-45D9-B168-CEB00D385FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48233718d4419ce37f1d28c7e5e9f5d4af260704","datavalue":{"value":{"entity-type":"item","numeric-id":541217,"id":"Q541217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$F6BA809D-D220-4A7D-9CA6-8CB302081342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$285956A8-F243-446D-8CEE-5C31061A906A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d33770974a3c359a6042866b7bae593340956b","datavalue":{"value":{"entity-type":"item","numeric-id":2871468,"id":"Q2871468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$683F4240-800F-44A8-A7A3-03FFAA431037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$3C359494-8916-4A03-9D62-85DE326A26CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f854c1fbbfc6cea70a4a8ac9dec0ba4f326fc","datavalue":{"value":{"entity-type":"item","numeric-id":3619416,"id":"Q3619416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$F665FC9C-1EA3-4FF4-92CC-3EEC697C45A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$006CC173-C98A-4AE8-A18E-1323E1102BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$A7FBE8D5-96EA-45F2-925B-07CD38ACB942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a805efbdbabeece7f6216b948e8298233d3220a","datavalue":{"value":{"entity-type":"item","numeric-id":639647,"id":"Q639647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$889D7A9C-49FD-448D-AB8E-B70FA37B03DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$8329D2AA-48A3-46C0-86BC-50AF99478362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f9fd495674a30a6494f560f87b92fd51112725f","datavalue":{"value":{"entity-type":"item","numeric-id":265811,"id":"Q265811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$25B02511-E0B1-4012-8BE9-50E9546F7F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$87FE6F52-8DE8-4B0D-9C91-BF196B004EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec31b1d77cd3d8dec84ef17cbfefa1e6a8f995b","datavalue":{"value":{"entity-type":"item","numeric-id":283773,"id":"Q283773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$057E9875-BD1E-4BC6-B665-42D811D61D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946b62dff16e0de007abc5492670d01807475a28","datavalue":{"value":{"entity-type":"item","numeric-id":2864158,"id":"Q2864158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$BD3034ED-6135-47AE-A2A3-BFDB8AF5442F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$33861ADD-4476-496F-93EC-B7E0AD5BA8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$49D7E219-726B-45FB-8433-F4D00C634A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c397e10d25db8797f199fb446bb3dd7daccaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":3623006,"id":"Q3623006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$2F6F24AD-4400-48AB-BC7D-A673F60AC189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3ecd05b920043cd848328093971a170ec0a499","datavalue":{"value":{"entity-type":"item","numeric-id":2847811,"id":"Q2847811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$3D3793C0-62E9-4AB1-9E14-7F2F66D7127A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4971c24bb488dffd2542d9d7c857be0272dde59","datavalue":{"value":{"entity-type":"item","numeric-id":3636801,"id":"Q3636801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$0DDF0C6D-46F3-4991-8E19-86D4C43A8694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d219c448aa712a35ee812c047663f1dce1c75","datavalue":{"value":{"entity-type":"item","numeric-id":5466795,"id":"Q5466795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$D7E8C1F7-324F-4318-94EC-02225BC212BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4975d1abb2d17eced8cec872019842496981d896","datavalue":{"value":{"entity-type":"item","numeric-id":371258,"id":"Q371258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$1372B706-5AFE-43BC-8B58-385CF9CD58F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ee182ed547c34efddf0b14b92016a0567e7200","datavalue":{"value":{"entity-type":"item","numeric-id":4484499,"id":"Q4484499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$60279BDB-1AF2-4FBB-8DFC-39130D116726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a11817647451a09b7ac16bf5b82754a12d16fa0","datavalue":{"value":{"entity-type":"item","numeric-id":1346768,"id":"Q1346768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$ECB065E2-14CF-443E-A539-9A581ED232F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8268597bdde49d3cc93a9ac70309842e53cec529","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$DED04199-9802-48DF-AD5A-9324A470F664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4699b3b0046256a66a3ec627cb516fa51b64ca","datavalue":{"value":{"entity-type":"item","numeric-id":2888479,"id":"Q2888479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$8549931E-600F-480C-9C27-789A591E2588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e5bd214c630759d812c163b68d18a9d4ccc0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3584948,"id":"Q3584948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$207A1FB9-ECB1-4C21-88CE-000A80A1960D","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":"Q890376$CC9BD678-0716-4890-B22B-84981C677D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d016207f32b9925a2af9ea47531e18042dee351a","datavalue":{"value":{"entity-type":"item","numeric-id":1951584,"id":"Q1951584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$101A274D-5807-43E5-8F89-01DF66463DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23eb2407f5476ca1216e796189f27de1b8b868d0","datavalue":{"value":{"entity-type":"item","numeric-id":4813222,"id":"Q4813222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$B1795CE4-C1AA-4A7F-9AE4-CDB725DD26B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a322738c92ab9ef22948d2d6883bfa28116e11","datavalue":{"value":{"entity-type":"item","numeric-id":2500483,"id":"Q2500483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$23963504-CCF3-4B97-B751-49E88E2AF14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c77992b9a4ecfaa4f9ad1dc33b5d78181cf582","datavalue":{"value":{"entity-type":"item","numeric-id":2871476,"id":"Q2871476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$60BD4349-7849-4E00-AB9D-723E90D34C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8ad617b6b4494648e7fccdb1ee62d73bbfe8a9","datavalue":{"value":{"entity-type":"item","numeric-id":492695,"id":"Q492695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890376$D88CDE0B-295F-409E-979C-0FA689E1B420","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e39efed8768de9ec7e4c8727cd8b90605eacc0e","datavalue":{"value":"10.1016/J.TCS.2015.03.047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890376$71FF466C-BEE1-45A6-BBE2-BC3594266D1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bfb29dc4dbbe5cc4ecbf3880250c485d2c8385d","datavalue":{"value":{"entity-type":"item","numeric-id":2942773,"id":"Q2942773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dbfbb5a7465825f98c84089861066e68f84db84","datavalue":{"value":{"amount":"+0.9966561794281006","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":"Q890376$2EC3AA72-12BC-417E-A40C-70C989AFD584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be3b04bb90ac64eb645840d6b517c16aa38d99b","datavalue":{"value":{"entity-type":"item","numeric-id":4725716,"id":"Q4725716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b5836ce440e7638dd52d858ca278fc0a875cd5","datavalue":{"value":{"amount":"+0.7784073948860168","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":"Q890376$37E3402A-0D18-4CBC-B9C5-07B19597F2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555b29fc6ed05212c1da07dcdfafb6544782870b","datavalue":{"value":{"entity-type":"item","numeric-id":5058365,"id":"Q5058365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b909eb5cca27a0e30d53e06eeb5f49b9f6f07589","datavalue":{"value":{"amount":"+0.7668301463127136","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":"Q890376$3F3F7461-B7C5-42B7-A4EF-232B7A695F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318712e7d38345dd5d1003c2c8db6e07adc0668f","datavalue":{"value":{"entity-type":"item","numeric-id":5271064,"id":"Q5271064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a3143e9ff69e26614f54990ca60b948ed77e93","datavalue":{"value":{"amount":"+0.7664329409599304","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":"Q890376$107729F4-2374-4EEA-88B3-F4C1D6BF72E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527587a1ff474d835d5707030072688b1eed0c75","datavalue":{"value":{"entity-type":"item","numeric-id":2942780,"id":"Q2942780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58478413999473b6d2c4368728012d884229e55e","datavalue":{"value":{"amount":"+0.7572083473205566","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":"Q890376$4C2BAD40-218E-42D4-8215-C1663C26C6E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:890376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:890376"}}}}}