{"entities":{"Q3000634":{"pageid":3011358,"ns":120,"title":"Item:Q3000634","lastrevid":45232051,"modified":"2025-12-03T14:08:45Z","type":"item","id":"Q3000634","labels":{"en":{"language":"en","value":"Compositionality Entails Sequentializability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897393"}},"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":"Q3000634$C26AD7BB-F743-4354-A111-C4C170CECD7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11a945e4380610972e4c5044ebf11d9c861f0ca9","datavalue":{"value":{"text":"Compositionality Entails Sequentializability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000634$BBE4D1C4-EB0A-4A6C-A288-457C1082F439","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"777364238e61930ad1fb1745db4b4a317f675dca","datavalue":{"value":"1315.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000634$3834750D-6CD8-4783-9ACB-4551F5B26FF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cc2c1a63936d7d8cf96a3d1c0070b9701c72c21","datavalue":{"value":"10.1007/978-3-642-19835-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000634$E267AE50-0FAF-4728-8AD5-1102D3E64FB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7db51a0f04b9f0d6e4008fbb01a7a758126343","datavalue":{"value":{"entity-type":"item","numeric-id":746777,"id":"Q746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$8115DDA4-53D3-417E-B9A0-64CF52E98CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$C9631AFA-F56A-466F-B97B-BB7044E74D08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$A29F8D40-9CCD-4C9A-B2EF-DF807AAE998E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-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":"Q3000634$544BE47B-86C4-4E7F-9A5B-4AE3E1BEBA2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000634$A3517B48-1B8A-45A3-893F-A6E333DF076A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000634$FEA26DF4-C934-4CB2-9E61-8F8F1767EB9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13701dbe719cc07cd499af1ef40ee30bf06e89ee","datavalue":{"value":"5897393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000634$1836C68F-7B2D-4CE2-9D1B-F6B81CEFC21D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000634$7BB45C67-042E-46AA-B4B9-C54CA08D37E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000634$7B0537C7-93C7-4484-A4B8-7707B29A2A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ece4b9fad34fbe4144ec182f23de3b987a096da","datavalue":{"value":"sequentialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000634$9A878134-989D-43A6-A28B-54CD9A234CAE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$83FF75EE-0C8F-482E-B54B-251404FFF39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$C7C07A52-2997-4599-AEC9-F108F5992A3F","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":"Q3000634$019D11B4-E080-454A-A87D-B077DEA7F679","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86218c16fbdada741ea6998de79a20fd417f7258","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19835-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000634$04D16727-C36F-4335-88D1-FDA71CC76EE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b24ea1e62d48881f4abbd65d7ec47a0667b043ad","datavalue":{"value":"W2142940251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000634$A6A6EB19-4B92-4D9B-945D-C28C23136A56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf99323ae98ac6a76131488eacedcd6861e15fa","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$5CBB40AF-51D4-416E-A36E-FECF3D07630D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$669B5029-C666-4EE8-8716-FFB22CC7533E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fea3458df5ab650683f83d0d0d130c4a1833a4","datavalue":{"value":{"entity-type":"item","numeric-id":5429316,"id":"Q5429316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$2FC055FF-2124-4798-B78C-AF3BC1F3C8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2889d04761e06240c487cc63b75905e4a3cf42","datavalue":{"value":{"entity-type":"item","numeric-id":5261529,"id":"Q5261529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$4177D12F-4340-486C-A84D-6E1CB2F0CBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9998a3f298b79f1a6a6c5768dfa90bb3cac3e1","datavalue":{"value":{"entity-type":"item","numeric-id":4738361,"id":"Q4738361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$D53B404A-E4DE-4273-AFB9-524B35C72C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4bcf149a82f4ecdacc08e753743e430f121760d","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$88DA71A5-799A-4012-B1D8-0581399141A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$1F3811F1-9B2E-4ECA-8E63-0587425BBC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af455bfb18abe030b463d5d487b0c4da7e11984a","datavalue":{"value":{"entity-type":"item","numeric-id":3636878,"id":"Q3636878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$1CF46707-023D-42DE-9BFB-C94723A32D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4f151d758563db82252d89520c2ad328b8c2a2","datavalue":{"value":{"entity-type":"item","numeric-id":3512480,"id":"Q3512480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$677AC7A7-322F-49B7-89CC-5CBACB4097D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6e75a49a48b2f10120476e040f3acec29fefee","datavalue":{"value":{"entity-type":"item","numeric-id":1056221,"id":"Q1056221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$74405064-54DF-4416-85F4-3BEA9B8FFA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$03D58756-BE79-43BF-A91F-80EB94BE8470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000634$8744DEE4-37E7-4384-9968-75025BA4F669","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b5e29f11f00bc2435573ab3e7f573dcbf5b756","datavalue":{"value":{"entity-type":"item","numeric-id":2849554,"id":"Q2849554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c77f03ad8a622b21552998853f5f9a254c942f2","datavalue":{"value":{"amount":"+0.88213503","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":"Q3000634$10AB23D0-0C6B-4CEF-BAC9-24CF7593AAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e239b10eaa6658a00ef4cae0cf45f19aa3af3","datavalue":{"value":{"entity-type":"item","numeric-id":1327380,"id":"Q1327380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ee314bd2dcc644d8956190c2a90aaf921d27b0","datavalue":{"value":{"amount":"+0.871875","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":"Q3000634$AC3E95FB-9BE0-4A22-B63D-C067F670760F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d407397d3db551676c6771c72bfcdac6c3b49d","datavalue":{"value":{"entity-type":"item","numeric-id":3138537,"id":"Q3138537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196c71bb938c6dfe58e2a4f43cb0fa47c5d4e52a","datavalue":{"value":{"amount":"+0.8535146","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":"Q3000634$04EA63A3-C8E8-4A62-9066-B56C342BAE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2ccbeda1fd9c0670a4647f953c86f710c1fbb8","datavalue":{"value":{"entity-type":"item","numeric-id":890611,"id":"Q890611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d635e4277a54bced68383814add7ad6e81910a56","datavalue":{"value":{"amount":"+0.848795","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":"Q3000634$820AC793-4D26-4217-B162-16464EF43109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d022fb2d53072bc96013be3c1b9407d7e6253396","datavalue":{"value":{"entity-type":"item","numeric-id":522973,"id":"Q522973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9211fbe3a22c19bb73714182606829b90bd2934","datavalue":{"value":{"amount":"+0.8475499","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":"Q3000634$B51A72FD-3260-4614-95D4-5376FD42CEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4a91a5d3333a9aa1b93c1fddf78f59d72762c8","datavalue":{"value":{"entity-type":"item","numeric-id":2736356,"id":"Q2736356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e00737d545dbf0c2047a349eb9d3be05eac9969","datavalue":{"value":{"amount":"+0.846644","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":"Q3000634$4CDD9382-D6C7-4017-A5F7-5FC94B40FC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c26e31d65ac5c84812572533b4f5fbf63617cd0","datavalue":{"value":{"entity-type":"item","numeric-id":2508729,"id":"Q2508729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03be77a57efd54ccddac9a52adb0a2f47ed02483","datavalue":{"value":{"amount":"+0.8464998","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":"Q3000634$B338BAF4-53C8-427D-B6F2-69C36713D19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6b6b40ce9812a1e889a773dd41dc4dc49fa44e","datavalue":{"value":{"entity-type":"item","numeric-id":671406,"id":"Q671406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cbde20fcc13b961f5a7c46320aea9a2a762b9f8","datavalue":{"value":{"amount":"+0.84558016","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":"Q3000634$A3161F4C-8B58-4905-88DB-CAD1B9584C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e292fb1ceb1a02f009e163ffe212ae86db576c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5014795,"id":"Q5014795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8956e4b38dabc6cb3b41f1cda1f4acefcddf486","datavalue":{"value":{"amount":"+0.84535915","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":"Q3000634$B49C9B36-B6C9-4EE1-B4F8-8732044DD6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e50542a69270a471b253589a5b5d5c1eaf35d68","datavalue":{"value":{"entity-type":"item","numeric-id":5028469,"id":"Q5028469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea0eedb4e8e6176e8e3d01878cc96165ca1c204","datavalue":{"value":{"amount":"+0.8438582","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":"Q3000634$DF54E7F6-38FD-43AD-B476-3EBB8554EB72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000634"}}}}}