{"entities":{"Q466919":{"pageid":468686,"ns":120,"title":"Item:Q466919","lastrevid":62044776,"modified":"2026-04-11T03:24:37Z","type":"item","id":"Q466919","labels":{"en":{"language":"en","value":"Formal communication elimination and sequentialization equivalence proofs for distributed system models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6363154"}},"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":"Q466919$AAA99CE0-EC38-4B8B-9978-3FE41FCC8BC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10712e7cbe1187667062e8607ffb8eb63024c24b","datavalue":{"value":{"text":"Formal communication elimination and sequentialization equivalence proofs for distributed system models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q466919$CD1354DA-C568-4D00-A971-9EACDEB26A20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55848c6bd5f6de9d3badc8f0bd020807aff4daa8","datavalue":{"value":"1360.68471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466919$97817EFE-3BD2-4CA9-8B29-A545D7DFA4D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69683905df8b47d901c21aeb73bab2cadfd4a50a","datavalue":{"value":{"entity-type":"item","numeric-id":466916,"id":"Q466916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$4C9CABDA-AD97-47E5-8E71-5D1BF2F7E687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba5e7d448fa0cc4296884b685fbb37cb63f4bdff","datavalue":{"value":{"entity-type":"item","numeric-id":466917,"id":"Q466917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$017DD795-3A05-4AE0-846B-BFA77970D394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e51a776d47e3da6a06566a2b09f9724feb434a44","datavalue":{"value":{"entity-type":"item","numeric-id":466918,"id":"Q466918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$4CD7B832-49FA-45C5-90FF-4A39F8E40F3C","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":"Q466919$D9AE76A1-E303-4A7B-9C31-1C0675507F5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d550cf90212976e1105a44c308cf7f1ad8d8e8f","datavalue":{"value":{"time":"+2014-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q466919$B693EBAD-F3D7-4103-9ED5-E0D81F2D1146","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466919$44CFB782-D251-407A-AD9D-FE37ADE2857E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466919$5B0897C3-604D-4503-8697-77B96FC0C286","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"820f123b1d4a7ad8fc3da359c3f4853b0bbff531","datavalue":{"value":"6363154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466919$F7AB020A-C000-4CDD-B549-E5AEBDCE35D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$B4991197-DC05-4CDE-8433-F71A69A3E3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$DAB5C70E-3635-4CAF-85DB-5173ACF5A3BD","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":"Q466919$56C6C48A-2CA9-46D1-A8A0-DC61309A103F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37cf2b482b4311f3a642b534bc4c59b7603b5153","datavalue":{"value":"https://doi.org/10.1007/s00236-014-0203-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q466919$CF166815-B487-4BAF-B00E-AB10061FE145","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da03c2bb0317a9725c8157436f2735a329116060","datavalue":{"value":"W1965122436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466919$C9064E1D-36AF-4780-9F1C-A47D9E860C6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d907737c66d08b95175bf8a8b72f2c2923800fef","datavalue":{"value":{"entity-type":"item","numeric-id":5943258,"id":"Q5943258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$6302AB35-35D6-4F3B-9722-DC589B679BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5307db228ebb027c4a326b14388b51571089c9","datavalue":{"value":{"entity-type":"item","numeric-id":2850665,"id":"Q2850665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$7208F703-E317-43EA-93B5-FAC2DF60D39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd8ac16bf352ecb0ae67e413a0bcc2dcb69557","datavalue":{"value":{"entity-type":"item","numeric-id":3814785,"id":"Q3814785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$9FF41536-18BA-4305-862E-1615CC556942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$6FD123CC-0BA6-4F66-926D-A2907B822DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aeb7bc51202e4fccf35620a2d9f3e6f2e1684d3","datavalue":{"value":{"entity-type":"item","numeric-id":1386406,"id":"Q1386406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$6ED5654D-DD37-4F40-9ED4-1FB27D0111BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$FF48E501-156D-4F7E-9B3C-09730FF0F9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$A41E16C0-DBD3-4D1A-8D80-5430AB7E9519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$2E5A4867-34A7-4AF8-BCF7-7C5AF72D343C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c084a7dcbf83696605a7efdad29ab885912ec7","datavalue":{"value":{"entity-type":"item","numeric-id":4778694,"id":"Q4778694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$7F23B01D-6B2C-4F17-AFA2-80DE37835110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"521d509d6c55a8e2d1f3cad847209f61b0ee2d4e","datavalue":{"value":{"entity-type":"item","numeric-id":2867960,"id":"Q2867960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$45EC0D1C-FB30-49D0-880D-9732DE7F5E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$FDB1FA1B-6EA5-4464-84EC-D2AF31B3BAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$065950B7-1223-4317-BAC6-B6730222F1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7f230e0c6f84622662a17f7b7525f9c1408851","datavalue":{"value":{"entity-type":"item","numeric-id":1051420,"id":"Q1051420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$4AAFBDC9-C35D-4379-96E2-C8BBD55D4A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81767467bf1d91411427f69bd1f584fd6310fc8","datavalue":{"value":{"entity-type":"item","numeric-id":4003964,"id":"Q4003964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$6FD701B8-9961-4A42-98E0-712B61D8979F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$92C1E940-4B5D-463D-81CF-BC16A2A17257","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":"Q466919$B7F2E481-834E-4421-B2B8-9CEE65450833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d643c9519505ce70f954afc2ea3c543e896e9fb9","datavalue":{"value":{"entity-type":"item","numeric-id":578901,"id":"Q578901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$2E9D6BFE-C2DC-41F3-94D6-DA7E547B2823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5df21104949e82efacaa0bc4e5f9f99801009ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3993115,"id":"Q3993115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$8C6B3167-49AC-4249-BD44-3CA3187AB3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$E2FEB648-C7D3-414F-A71F-D7FBBB2F9B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$6521C766-B0FC-414E-9E75-C7846C5A7DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9806903ee6a63fd9ca0b7764a6a00685bb416e","datavalue":{"value":{"entity-type":"item","numeric-id":4494394,"id":"Q4494394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$BAA7EB94-751C-43DA-AB4B-58EAAE67862C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60994b549291f862f1c1c4b1b4a3c60c242247c","datavalue":{"value":{"entity-type":"item","numeric-id":4530804,"id":"Q4530804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$1E1528CF-8F13-453C-8D5C-71C0AB734084","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":"Q466919$A2626D64-DEBF-4F05-A5E7-33FC37EB0E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$8839FBBD-6CF2-4AA5-BFC9-296C4D59A970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a24b2524d8d6d47e95766596d33abecc3ac5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$6BF20971-3BDD-48C9-B069-0887C4BBF19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3471b7efb1b757239a070d85abd42f760e49e63f","datavalue":{"value":{"entity-type":"item","numeric-id":4037107,"id":"Q4037107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$AE2C1EF0-5767-4024-8136-42BD5F83CDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ea564efc740124803ad16ff2c7c525657a956f","datavalue":{"value":{"entity-type":"item","numeric-id":2640348,"id":"Q2640348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$58BB7ACA-761F-4E67-8531-431497657E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7612d93e11fe9215609da432127df332c04b6f4","datavalue":{"value":{"entity-type":"item","numeric-id":5952660,"id":"Q5952660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$1E05701C-E0A6-441F-94D7-4B517B2EE40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c67fb3a3e2c8368d6a67e26974680e20fef7003","datavalue":{"value":{"entity-type":"item","numeric-id":1878929,"id":"Q1878929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q466919$0218899D-2553-4479-BCBB-34F210675BC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2e1538a9e8fabe4ad4fb5ef9d32b3b732160482","datavalue":{"value":"10.1007/S00236-014-0203-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q466919$6AA7E373-D2BE-462F-9448-FE21D1EEFC1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73ecc39badb00021d3e77bc0558435db8ee3c1b","datavalue":{"value":{"entity-type":"item","numeric-id":2867960,"id":"Q2867960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42db26b53f6cb92f28f22245f6056b76fd0ecc42","datavalue":{"value":{"amount":"+0.8048467636108398","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":"Q466919$DBEE47BA-08CC-469A-BB7D-90337D9C3FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670b95a62c1e06b795b563c639747d348bab213d","datavalue":{"value":{"entity-type":"item","numeric-id":2850665,"id":"Q2850665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69bf89abd758f1b80d557e2ef36604543ee30ce9","datavalue":{"value":{"amount":"+0.7781618237495422","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":"Q466919$BBA0A5E8-B887-46EC-80F7-08C884FCDFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9cb0887e7fcae8aa2bfc495cdf9f25027c49b7","datavalue":{"value":{"entity-type":"item","numeric-id":4778694,"id":"Q4778694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f20602570049a54f9029a0279703990a82aa94","datavalue":{"value":{"amount":"+0.7135976552963257","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":"Q466919$209EA523-E973-434A-8348-22D85EC20A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4657f223a476d3721ee27cccbd9cb0e5c9544240","datavalue":{"value":{"entity-type":"item","numeric-id":1200917,"id":"Q1200917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0670bb88d1078a5e966eb3c6762225629cf43725","datavalue":{"value":{"amount":"+0.712653398513794","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":"Q466919$0707E455-1E15-4F90-8A5D-367AA7EFCCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74762df50c30cf5e6f6a1b2fa1a25df43b1cfcc0","datavalue":{"value":{"entity-type":"item","numeric-id":4353628,"id":"Q4353628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"389fcd7cddd317561e97d2e3586c2c35308ca73d","datavalue":{"value":{"amount":"+0.7089789509773254","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":"Q466919$45B59494-D356-45CA-A52E-9FF68E1571B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal communication elimination and sequentialization equivalence proofs for distributed system models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_communication_elimination_and_sequentialization_equivalence_proofs_for_distributed_system_models"}}}}}