{"entities":{"Q2154028":{"pageid":2164771,"ns":120,"title":"Item:Q2154028","lastrevid":54361562,"modified":"2026-01-26T17:04:25Z","type":"item","id":"Q2154028","labels":{"en":{"language":"en","value":"Verifying the correctness of distributed systems via mergeable parallelism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7556494"}},"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":"Q2154028$BA5FBFA3-2283-42BA-8F9E-27765D4AB1CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7892f46f7cf0381a89525601a72ca7b19c17133","datavalue":{"value":{"text":"Verifying the correctness of distributed systems via mergeable parallelism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2154028$6DA58FC0-706F-4332-ABA1-289409CA5D15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18bdc18f0c6d36949d3062acae78ebb46dc39915","datavalue":{"value":"1498.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154028$9F69B3AA-C6AD-47F4-82CA-ECC0C5D9931A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"128174b9f20b20f5dedd7aa0cc7acb0e0b1184fc","datavalue":{"value":"10.1007/978-3-030-91265-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154028$AF4BA32C-D358-45EF-BA17-E6AB909F125E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce5311d7e5dba9ce3a553088d7305a919198fa1b","datavalue":{"value":{"entity-type":"item","numeric-id":362237,"id":"Q362237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$88682D06-7C63-4B00-8AF9-80E7A9DBAE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56281b8056e3e160104f20d7ee659f35c6993e90","datavalue":{"value":{"entity-type":"item","numeric-id":2154027,"id":"Q2154027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$060325B8-A80B-41AD-BAD2-7CDFB2A77818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6b0d8a4f6718f46b904b77ed719d6001a6d89f2","datavalue":{"value":{"entity-type":"item","numeric-id":211352,"id":"Q211352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$19EFA675-0A67-427A-9AA7-4D58E92307B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b315fd67329674d605726ea1fb3a704a4642d258","datavalue":{"value":{"entity-type":"item","numeric-id":247945,"id":"Q247945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$9D699FFE-F76A-4A3F-9ECB-1448C8494DBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a10feb846ab08eff879cd9ad8918c74f60818d7","datavalue":{"value":{"time":"+2022-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2154028$FA78435E-1C83-45EA-8565-3DD3F0A8AC82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154028$8AA00573-472F-4C81-A16D-6B7FF9D3C1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154028$8AD952CE-94A6-4160-89FF-6E2A4188CC3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddd7fa04f7a5cb184b08762a0cbb798e82311566","datavalue":{"value":"7556494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154028$7AEAD443-469B-456B-92B9-C75044E792DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ac5ee0f2904a688292c3716f91687d15cc3ecd","datavalue":{"value":"asynchronous","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154028$52F30BA8-1999-4EC4-969A-A8CB04C8109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154028$B95421E0-C1BE-4ABF-8809-E95695B98E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1e2f733564c5cd640d3a3618935cc0aa1d6a385","datavalue":{"value":"Hoare triples","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154028$56254860-F399-47F6-A805-3AF2A73C65E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ecf96b64fc97ed31b0467a6ce245b7fab7cedcc","datavalue":{"value":"mergeable parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154028$F584BD44-C37F-42AC-8D98-6FA9339D76D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7639b520f87f66366b695be4c84a6db3530b9d09","datavalue":{"value":"message-passing programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154028$BF735C66-ADDD-4E83-87A6-1F2969BA0B7A","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":"Q2154028$C7F7D0B8-3B8F-41D9-9491-465D5821C4EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab7dfb21d652427512796945ae7a98c47366e1e3","datavalue":{"value":"https://doi.org/10.1007/978-3-030-91265-9_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2154028$38269C5A-3E80-4660-8AFF-EAFC8FA7F9F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ffebd51ae09090dc298cf7afad15ee611eed5c4","datavalue":{"value":"W3217179414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154028$54F6778E-7AB2-4D9C-B6D8-8ECE90702A0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aed32ba0a75d1d18813e0c6c3da17bbd22487cb","datavalue":{"value":{"entity-type":"item","numeric-id":5524887,"id":"Q5524887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$F033469B-8CBC-4119-BF9A-33431FCBB7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00e5f9acb3e071b719cb1ef4646f599160dbbd3","datavalue":{"value":{"entity-type":"item","numeric-id":6043166,"id":"Q6043166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$56A104E9-0BC9-4C0F-80D7-EC69F4E36E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a437b3debfc6e39e14adc5ae5b77545ffa37fb","datavalue":{"value":{"entity-type":"item","numeric-id":5261501,"id":"Q5261501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$1C3F6B37-4CFB-403B-932C-F427B679490C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b4fc90a450d898ef2b017a9eafada8e5ce647a","datavalue":{"value":{"entity-type":"item","numeric-id":3177767,"id":"Q3177767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$FACE4DE3-75D9-4FEA-AB40-AADDB776F070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50857a8f041a6c593aa9ea3f6304a3ab1d297bce","datavalue":{"value":{"entity-type":"item","numeric-id":2819827,"id":"Q2819827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$78B90C4A-ECD4-4A78-98B4-7857ED189EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0db601ec7bcba488c8b8b2b074b81174ee6ddb4","datavalue":{"value":{"entity-type":"item","numeric-id":4635874,"id":"Q4635874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$B9C2C270-8C38-4E33-B1DC-A828C1B21F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$44F59BDC-38B7-4BA8-AB35-0E0C870DE393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5637aa265a5569bdf99fb74ae8adf6ba3a0fdf33","datavalue":{"value":{"entity-type":"item","numeric-id":2324015,"id":"Q2324015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$4683D105-723C-4F5B-9F1E-DE2E5B111707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde43aadb68c83ae4d51574dcef8cc0958b2d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$1759C1A1-7C4A-44C6-957D-D9A724A2D58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95953f58f991c109178dbde517346fe7cea7ea38","datavalue":{"value":{"entity-type":"item","numeric-id":6044999,"id":"Q6044999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$14F05167-3FD2-4486-AD06-8C8CDB7FBD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c957ac666c57c8339294ee1421e84c2ec2af13e2","datavalue":{"value":{"entity-type":"item","numeric-id":5009435,"id":"Q5009435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$C682D086-CCAC-40B6-AEE6-C7A78DAC4D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263cb182199f002b262a48bb75495ee302110c37","datavalue":{"value":{"entity-type":"item","numeric-id":4134929,"id":"Q4134929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154028$65E99A05-062E-4FC4-9D79-878007B5C1B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecb4d815950bbf45a8092dc69990663e7ba8aa1e","datavalue":{"value":{"entity-type":"item","numeric-id":2938169,"id":"Q2938169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137b7cbfed3abe65d6d8457c78bc79a854bc7a26","datavalue":{"value":{"amount":"+0.7482171654701233","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":"Q2154028$3D0D4806-8780-4682-B196-24CC9D2C9633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e9853c9d804e9e1305a768406bd98afc3c2cc7","datavalue":{"value":{"entity-type":"item","numeric-id":6043166,"id":"Q6043166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f3bf7f45eb50e41515fd1ed3da319bbc10e9ad","datavalue":{"value":{"amount":"+0.724608838558197","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":"Q2154028$F1C97043-B21C-4B7C-B7F0-13D96C88DA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3e0f555dee952d78bb191aa8fe4462ddae3a18","datavalue":{"value":{"entity-type":"item","numeric-id":3321441,"id":"Q3321441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f78acb24f1a443c4829416ce0629c7bc8d435c","datavalue":{"value":{"amount":"+0.7209460139274597","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":"Q2154028$7242A3E2-DD94-4370-A757-E7AA240DE0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9e26ade5b17f925b40386334e9b06436a14a58","datavalue":{"value":{"entity-type":"item","numeric-id":1893537,"id":"Q1893537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4348c48972fb886ec72ec9401d8ef5199d101e","datavalue":{"value":{"amount":"+0.7207310795783997","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":"Q2154028$2E272E78-8073-4922-B3C4-D9EC4FD5B7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c231767e805dc68277b675ed1ccd29e9e10d1d98","datavalue":{"value":{"entity-type":"item","numeric-id":4733386,"id":"Q4733386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8db1d3859226df37efb5907b5c8f5ff2be7a62f","datavalue":{"value":{"amount":"+0.7196546196937561","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":"Q2154028$4A208946-02DF-4487-90C9-D772E3B81FD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2154028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2154028"}}}}}