{"entities":{"Q303691":{"pageid":305458,"ns":120,"title":"Item:Q303691","lastrevid":60781452,"modified":"2026-04-10T19:06:17Z","type":"item","id":"Q303691","labels":{"en":{"language":"en","value":"Concurrent abstract state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6618615"}},"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":"Q303691$144212E7-7534-4B94-B739-F51D97AB04F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5709316b9e3da74920de19e663e21bafc7a98cb5","datavalue":{"value":{"text":"Concurrent abstract state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q303691$C4AB2056-9702-4C48-81A8-9BC701028CDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"976d504f051058eda6eb9f759b82056857e007cb","datavalue":{"value":"1352.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303691$DEC35C09-13F7-4CE2-B7DE-2E305403AACF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$8B379D84-A53E-496F-A783-0BFA7EE95101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6081a22e78e5c0bc6cb05c9838a63ad14b1e9ac","datavalue":{"value":{"entity-type":"item","numeric-id":303690,"id":"Q303690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$644ABEA7-424D-4A62-9CEC-58A07C5B127F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$7B5A3A16-011F-49F0-B65C-BDCDCB065514","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70e273fe9462a734f2d1ac8ce28702f050bb6f4b","datavalue":{"value":{"time":"+2016-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q303691$5BEB0B1F-2C2C-4812-9F5F-0896334041D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303691$586377DD-3DE8-471A-AFF2-0A9BCAA1AAE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0589c146de428832ec02e719148f6d7d724cd39","datavalue":{"value":"6618615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303691$817567B0-E8BD-409A-B427-6BD87C43591C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2717c12c9d9b113773b64a17c032f3d4bf202c50","datavalue":{"value":"abstract state machine (ASM)","type":"string"},"datatype":"string"},"type":"statement","id":"Q303691$0B04700C-AB2C-45F9-9070-4843C18F1B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"725027459967a95ad8f9e3bc8decbbc442385d49","datavalue":{"value":"distributed ASM run","type":"string"},"datatype":"string"},"type":"statement","id":"Q303691$B4AFCDAE-614E-4318-8177-A292B844CC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5bd9710238c09189f5af623d54c4ec1fef6fafb","datavalue":{"value":"sequentially consistent ASM run","type":"string"},"datatype":"string"},"type":"statement","id":"Q303691$3750F2ED-BC4C-427E-A04F-4C65658865AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4204f2dcb53203fc6fbe9d4610b533c4928c734","datavalue":{"value":"concurrent ASM run","type":"string"},"datatype":"string"},"type":"statement","id":"Q303691$EC246350-0317-4A11-8FC7-34070E8EBD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01e8bb4f51095820f9e5d78eb9d603381bb30216","datavalue":{"value":"Petri net run","type":"string"},"datatype":"string"},"type":"statement","id":"Q303691$8092A211-281A-43A2-B4F0-D466BBE65506","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e512dc39995f2ce968725461f7500073f6e4eef","datavalue":{"value":{"entity-type":"item","numeric-id":14485,"id":"Q14485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$C9952374-BB84-49FB-A7D9-EA376CDEB80A","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":"Q303691$584870CC-6DAF-4E52-B424-A6BA1CF0A515","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2a2a7cfd1dec3b5a5803fc6c856b19899350ec1","datavalue":{"value":"https://doi.org/10.1007/s00236-015-0249-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q303691$872C495C-F4B5-4B38-86EE-8A6D57872D5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88d8e0825539d6808352ac34de1da250e83ba3aa","datavalue":{"value":"W2205449728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303691$8DD980B3-4392-4044-B227-7C97CEC0F536","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1543dc683967826d734f4c03d59fa26d4eecfe5b","datavalue":{"value":"Q59470221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303691$A55E098C-EE64-4E86-9150-BDDA6010D315","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$C3DA24D5-83B1-4D8C-BAC9-29CA6230ECE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$B7FA852E-E4FB-4F6E-A976-C51FD14D9809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e06af06aa6745ee01f0408ea0286f2c5d46f74d","datavalue":{"value":{"entity-type":"item","numeric-id":4873995,"id":"Q4873995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$DACFD112-476B-47CB-BD9F-B6147FDBAE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9708a02a37c1ad60d7143ba5b0134c95e3668","datavalue":{"value":{"entity-type":"item","numeric-id":4331844,"id":"Q4331844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$8F00A48E-87E0-48B4-80FC-D6B3ADED8622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74e617c9723e99d44b7e1123eb6be42a553b53c","datavalue":{"value":{"entity-type":"item","numeric-id":5267442,"id":"Q5267442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$D9EAC199-FCE4-418B-BFF7-38855A08897F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfcbd8fcffbaa7f3d8953de5784aa6479a8eba9b","datavalue":{"value":{"entity-type":"item","numeric-id":5277752,"id":"Q5277752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$1A946850-3748-4380-8906-CA5BCE8D7A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3152ff1057a8b4b482fd851cc1d95754f58d171","datavalue":{"value":{"entity-type":"item","numeric-id":5277780,"id":"Q5277780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$D3C9FA64-2A55-4ADB-9459-AFC864C4D227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a10b9c452fd6e864e6e8fa5e5a2afaa537b3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5277781,"id":"Q5277781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$F4F846F4-6DAF-4BB2-8119-042251E2324C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"444d7f48d91075048d7bd6076712f603cd1bfd7b","datavalue":{"value":{"entity-type":"item","numeric-id":5277808,"id":"Q5277808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$FA9356D9-945C-427F-96AF-FE587D24BD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2009b3176fec75e5749838eae755fcbb75bd629","datavalue":{"value":{"entity-type":"item","numeric-id":5453496,"id":"Q5453496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$F0BC6AB9-EAEE-480B-90F9-285E3831E412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f662fdbef1b94d0ae68bae89e791a0a7f3b0b0b7","datavalue":{"value":{"entity-type":"item","numeric-id":5453497,"id":"Q5453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$06B0DCA1-D794-4E03-A453-7DED2D34CE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ef08ce0f6a92f1d79d16ab6cdfd62d2d7e7e612","datavalue":{"value":{"entity-type":"item","numeric-id":706516,"id":"Q706516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$37AA53A8-211F-4FBA-BFE9-8AD714AEFD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f9d606cf7707c82a8ce924665563c2a1836c50","datavalue":{"value":{"entity-type":"item","numeric-id":2643128,"id":"Q2643128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$7A3B82B7-675B-4E8C-AF72-EC09ABA392E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$264B28D4-3483-49B1-A2EC-80161070CC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$D526B103-F3FB-4850-AE70-1155ADCD8D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97dabd95b25194c784d1cce48dd1c4cc7c106863","datavalue":{"value":{"entity-type":"item","numeric-id":5294158,"id":"Q5294158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$F7168A71-2C9A-4742-BE20-33DED836BF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec06257c029bf1b731815e2de92c31bf9e67d458","datavalue":{"value":{"entity-type":"item","numeric-id":313981,"id":"Q313981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$5C931A52-2149-4C32-BC53-120D4030A577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d7319e8d1c137de845d5ac33cc992644f5e318","datavalue":{"value":{"entity-type":"item","numeric-id":1149777,"id":"Q1149777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$6785DE97-7013-4C9F-BF77-021C8D09A2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd8e39f510c58ed4e29eaa7c6b8ab9d87ce0d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4413688,"id":"Q4413688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$9DE05918-BC05-4EA2-85CD-6CF21E67DD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$D471D6ED-F870-4E6C-91F4-8DD20384713B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092c87bd385bdffab3efa74e7021155389be7050","datavalue":{"value":{"entity-type":"item","numeric-id":5738899,"id":"Q5738899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$9686498A-4601-403B-9A1A-FE9A87719CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49b1e74ed5771f1fcebc732667bfea956ede53c","datavalue":{"value":{"entity-type":"item","numeric-id":2753706,"id":"Q2753706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$BBD4FCA1-A0D3-44EF-B8FC-A85E405F9048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003f1f2741e1d529989e647fdb0c83b099231d11","datavalue":{"value":{"entity-type":"item","numeric-id":555785,"id":"Q555785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$881174DA-2919-48D3-94DC-A2BCAE1E68D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$6F1D0BFB-AAD1-4174-A1F1-63398E0BB397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c93aa020cf5800686368016dc4e9788d9ccc306","datavalue":{"value":{"entity-type":"item","numeric-id":4348471,"id":"Q4348471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$E40689C0-ECE8-4363-A7D7-15E37D875F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$6E12A59D-FAC8-4DB3-9285-A037AE78A75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$4BBB9C1E-6D94-4F37-98D7-DC834E05D7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7144f88f122b714c4fda43fd422fea6acbf99688","datavalue":{"value":{"entity-type":"item","numeric-id":1079945,"id":"Q1079945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$6A91B931-6E03-40EF-83A8-35852CEA2949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4debc30afa0178a9435a500251cfbdad03b1c32","datavalue":{"value":{"entity-type":"item","numeric-id":4385544,"id":"Q4385544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$2FA557A9-3C12-40FA-8E36-317711B1C858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$6C3D6A5B-4673-460A-BFF4-09D6DB4BE10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$50F027DA-240C-4F50-A4DD-82DB2224B869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$6889E8D3-5123-4A9E-90EA-5AB1C47F1D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$19ED1CB9-B1CA-4C89-A9F5-27D6A7AC257E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$FFCB589A-B4C6-43F9-BF12-F3325D8A80C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05034ea26869e2698730db6894356aa44e577a02","datavalue":{"value":{"entity-type":"item","numeric-id":3077363,"id":"Q3077363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$4460ADBE-B15A-41E2-AABF-9E6EC6DBBDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$3A2F38D4-060F-4D51-8A57-E2E1AA65926B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b37515fdc08ca906eff377b506c9d42f32ac0b","datavalue":{"value":{"entity-type":"item","numeric-id":3075232,"id":"Q3075232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$D46DCABA-995C-49AE-AF40-00E92D009E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$5635034A-4386-4DCB-BCA7-078BC98E4978","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"feb46c59dfcde916dcd4c65189fe16ab131caa29","datavalue":{"value":"journals/acta/BorgerS16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303691$E72D9727-FA5A-45D3-9438-0226D3510600","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3de45d4535854125e1194307947a9b856f40dbf8","datavalue":{"value":"10.1007/S00236-015-0249-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q303691$DC804A9C-5377-4150-B369-CC5F089AF437","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f34cd923a466f281d4e61edba9de0373a3e770","datavalue":{"value":{"entity-type":"item","numeric-id":5267442,"id":"Q5267442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a146410ddee3c49a59ffdc72386729652b6a6e6","datavalue":{"value":{"amount":"+0.90688205","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":"Q303691$7BBD3680-F405-4531-B58A-E6CC9BD438BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27cdc5163b40f44e68875c86dba15e7b6c22dedd","datavalue":{"value":{"entity-type":"item","numeric-id":3224004,"id":"Q3224004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b39fcbe3eebe2276152480465dd3227ab6f84bb","datavalue":{"value":{"amount":"+0.89438176","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":"Q303691$C6D517C4-2A39-481A-AA35-B614570DC961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6d58ca1d231eb87f13f3bc7d6ce355c1528266","datavalue":{"value":{"entity-type":"item","numeric-id":4413689,"id":"Q4413689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69907b177ff7ffb28f72cba7ef9a5d8536474c1","datavalue":{"value":{"amount":"+0.8813661","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":"Q303691$48B942F3-909A-4CDF-86AA-0D9A4FFA1B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ba6d2e80c8228267b316f47978632be4c91ac54","datavalue":{"value":{"entity-type":"item","numeric-id":4520494,"id":"Q4520494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73d3003a7f7ef483b0d82b362a4f4cba6e76da6","datavalue":{"value":{"amount":"+0.878831","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":"Q303691$91A9C18B-2154-4149-B8B1-5675F5E099CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7715ac68dfa4e86b416a035aeec1c68598c2ca9","datavalue":{"value":{"entity-type":"item","numeric-id":2753707,"id":"Q2753707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f65fddd17cec7ef75486f0886741eee283ffc1a","datavalue":{"value":{"amount":"+0.8726146","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":"Q303691$65C716C8-DE93-456C-A79B-FC8463E131A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc3f66b9dd5e4a9c2890d7ae70e3df67fe2ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":5277808,"id":"Q5277808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c2a922a1ce269c1481ec8a4df4f930d9c07aca","datavalue":{"value":{"amount":"+0.8710387","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":"Q303691$98236260-E6B2-4C7B-9203-ED55813DA3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7959cd3da40dde9fee72a1a74813c87834604d55","datavalue":{"value":{"entity-type":"item","numeric-id":2115900,"id":"Q2115900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9a83f191fb45b3c7fc5c94124dcf9e43fadda1","datavalue":{"value":{"amount":"+0.8709611","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":"Q303691$E0DAE9FA-7D2A-4D75-82D0-0A976EC476D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d16af94030804b7523c7bacb397235d950502e","datavalue":{"value":{"entity-type":"item","numeric-id":2771788,"id":"Q2771788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9287b106a7acbb276ff4ac75369d5d443a7c9a65","datavalue":{"value":{"amount":"+0.8692151","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":"Q303691$CB129EC7-D189-4297-943B-37BCB89D0A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"575c7998c4834ccdee3a00302c420da471696eea","datavalue":{"value":{"entity-type":"item","numeric-id":2753698,"id":"Q2753698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb8bac18ecdd78aea697356aed2b76746a2b1d7","datavalue":{"value":{"amount":"+0.8685946","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":"Q303691$4DB82D7A-B6FD-4E3A-A568-1F11E199B2EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"37372a8fd818128bdbd8c8814205e8545914cf51","datavalue":{"value":{"entity-type":"item","numeric-id":592037,"id":"Q592037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$D973DA9D-0688-4E2E-AD21-B2A1D6DEC4F9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q303691$FCB4946D-00E3-4B97-BDD1-369C58F342D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrent abstract state machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concurrent_abstract_state_machines"}}}}}