{"entities":{"Q703491":{"pageid":705340,"ns":120,"title":"Item:Q703491","lastrevid":63746256,"modified":"2026-04-11T15:16:13Z","type":"item","id":"Q703491","labels":{"en":{"language":"en","value":"Conversation protocols: a formalism for specification and verification of reactive electronic services"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126082"}},"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":"Q703491$76E9A891-54F8-416E-9972-6DC0AB286ECE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b4611e4ea71955752fa9b5c276478c62cef0686","datavalue":{"value":{"text":"Conversation protocols: a formalism for specification and verification of reactive electronic services","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703491$7BCC93E4-5A62-4590-941A-04F8FC6664B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b5b36a512040e7cc871c538ff3159346b84d7be","datavalue":{"value":"1071.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703491$BF4CD1F8-47EC-46BA-8A52-C725B1BDD4C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56e2e544aea90546dfd8c43dfdc8577b94c27679","datavalue":{"value":{"entity-type":"item","numeric-id":469345,"id":"Q469345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$B972AF57-8ABD-483A-9A06-0FF77CAFF627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$5D302351-2C8C-4C20-9042-20AF3B113E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7f46f7e898be762c100de5b315dd4eb1b625552","datavalue":{"value":{"entity-type":"item","numeric-id":672738,"id":"Q672738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$DD18EC71-F1DB-4A57-97D3-A95256831414","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":"Q703491$DE548525-13A6-4DA5-AE22-FCAFC7B495D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703491$B07C3FF6-4EFA-41CF-B9BF-BA745EE23A11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cfe8424e2fbb451a8f7cc32a2fe2f9c4e9c77f2","datavalue":{"value":"https://escholarship.org/uc/item/9z50j84w","type":"string"},"datatype":"url"},"type":"statement","id":"Q703491$D67BAC01-48C9-4691-BC8A-E1CCA380A89D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703491$32A342BD-59B2-4265-82AF-B7586C2B28C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703491$0A9B9A91-4DA7-4B00-B9D4-9C1D650B74DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"147060f3c9470c85707d18a5174296bb5c27a9a0","datavalue":{"value":"2126082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703491$3653D40D-55F9-45B0-ACB6-4F57A09699B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"005c52197fd5d2dfd4c8eecc2576e8552fbc3609","datavalue":{"value":"E-Service","type":"string"},"datatype":"string"},"type":"statement","id":"Q703491$4AA7F2FD-3253-428E-8DE0-BBBF72EC11C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7c57827138ff422e9d42ac15357e93216e8476","datavalue":{"value":"Asynchronous communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q703491$392F6D28-B94D-4F46-84C2-D66A685ADE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce80193da63b3516a5feea0c357f3e046cf5634","datavalue":{"value":"Communicating finite state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q703491$DE96C218-29AD-4259-AD0E-8319019DA993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86b80be2948394e159571659221aa67e47f26d36","datavalue":{"value":"Conversation protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q703491$BE4C90DE-20EF-4CD0-9D9E-E1E43CDF9B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7cd17090d8672bf4fc595f80ff82708f9622463","datavalue":{"value":"Realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q703491$5C01B2BC-62F9-4A73-B7BD-DBEFC91CE59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"026e4856965c71522a28bd5afc84b889179cebee","datavalue":{"value":"Composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q703491$78D2A14C-4768-4009-B091-D96AE0DCAC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q703491$76FB5E78-8BE8-4463-B6A0-3033D4B2C68D","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":"Q703491$0D02C731-B48E-466F-821D-519E7FDD56D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be4d868628c3389d03d677f90ef88f7f1e11049b","datavalue":{"value":"W2144531585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703491$C73C54DB-85A0-4EB1-B68E-C1A1AE055995","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$DA35717E-0543-43C3-BC99-5D2E2BF8FF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b9b34c2403f7ff246fa7ba4246d277565886e6","datavalue":{"value":{"entity-type":"item","numeric-id":4535063,"id":"Q4535063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$7702E8F7-68D9-4BF4-9128-94A7A7253380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad72a83fa0fa0da4bafc434415496b5de96ed423","datavalue":{"value":{"entity-type":"item","numeric-id":1854357,"id":"Q1854357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$510D403B-BBED-4197-94CD-A4738F989463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$D4A73A03-A1CB-4F64-86B8-5C214DB7BEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$505644E3-0047-4A8C-8DC6-742BA3499426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3308ffe15792f41e5380c37fbb986000de73f6","datavalue":{"value":{"entity-type":"item","numeric-id":1269916,"id":"Q1269916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$763CAA8A-DC3F-4B18-9C27-80F06EB2A39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9554dc868f481f5593f150cf989bb470921f29e","datavalue":{"value":{"entity-type":"item","numeric-id":3559795,"id":"Q3559795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$BFD26463-73AB-4780-8621-8CD51D16997B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ea2bcc0cb6076c3a86643bb3aa7beda22969f6","datavalue":{"value":{"entity-type":"item","numeric-id":4417897,"id":"Q4417897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$C5F53CD1-F3AE-4B59-BD3A-8417B1EBAF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$369DA05C-5817-4B78-9F76-CF290144BC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$6D85048E-83D4-4FD2-B6E5-C6CADB8D352C","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":"Q703491$A1CEEA8A-6C23-43AB-B073-937ECDF58109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$89171F8A-A550-4068-90D7-A8D3D2BC67DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1f55dcd9a4e7445a5e36dc2a9f92fb56df8dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4778708,"id":"Q4778708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703491$7C985F0A-49F9-4F49-A935-3726E4ADB49C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a33c5c398dcef4ffaa1dbed2b2cfc5f988845688","datavalue":{"value":"10.1016/J.TCS.2004.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703491$9D24A4BC-CAFE-4DD7-9785-62F5654D22E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6657d282eb22d1d80287d40586225cb0a23f1918","datavalue":{"value":{"entity-type":"item","numeric-id":3559795,"id":"Q3559795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f88394a0faf53737dad56ff95f87deef5ff9e5","datavalue":{"value":{"amount":"+0.9979254007339478","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":"Q703491$B5A076EA-E337-4C6F-8754-ACC5B5A2B02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea9152e3593d995114de2b2a3d86971b3e42623","datavalue":{"value":{"entity-type":"item","numeric-id":3613058,"id":"Q3613058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffde31f0ad10e964e6eb481d48fa79913de65882","datavalue":{"value":{"amount":"+0.7488216161727905","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":"Q703491$7186DE66-32B5-4DA7-9AF5-E8524E30A6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b95aad48a2b075c77e4e6fbae4ccaf8feaa1905","datavalue":{"value":{"entity-type":"item","numeric-id":739636,"id":"Q739636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad463c23152b8a6348d8288c75bed7b27c05fbc","datavalue":{"value":{"amount":"+0.7373152375221252","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":"Q703491$2E621BF7-F57D-40C8-874F-8BCE64E995DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8a49080728b8d9549936ed40ddfdc4c13da3b6","datavalue":{"value":{"entity-type":"item","numeric-id":2942872,"id":"Q2942872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a23b1026a3dc377a2f95c97799156b4933f0fb","datavalue":{"value":{"amount":"+0.7227998375892639","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":"Q703491$71F0167C-A3F5-4BD7-8706-EFD409E48588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b5cdfaabe5b7019fb6dc132ae4313d79a5013e","datavalue":{"value":{"entity-type":"item","numeric-id":2848067,"id":"Q2848067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0753a1bef7af34335fd1846a6fb66b0336d1ad6e","datavalue":{"value":{"amount":"+0.7177081108093262","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":"Q703491$D6C515E3-F32C-4BAF-8B11-B1924395DE6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conversation protocols: a formalism for specification and verification of reactive electronic services","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conversation_protocols:_a_formalism_for_specification_and_verification_of_reactive_electronic_services"}}}}}