{"entities":{"Q2988998":{"pageid":2999722,"ns":120,"title":"Item:Q2988998","lastrevid":52812185,"modified":"2026-01-23T13:38:02Z","type":"item","id":"Q2988998","labels":{"en":{"language":"en","value":"Model-checking web services orchestrations using BP-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721681"}},"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":"Q2988998$A0DCA7AD-0922-4A8E-A8C2-25ED0773F24A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"149f8a77f8e527583ef9d3296efe040fea5a59dc","datavalue":{"value":"1364.68271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988998$B478B7E7-E8DB-4CF7-A8F6-3A9BA339E362","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f10b2f1c5f471ccf8e86164e46c7ca1a08c95f14","datavalue":{"value":{"entity-type":"item","numeric-id":2988997,"id":"Q2988997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988998$DC6474F2-62B4-4346-BF60-717777F0FC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39b091dc6674e0b947c35795e09051c8bb42a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1269917,"id":"Q1269917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988998$28011D43-EE83-4C36-A919-E6A1148923A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-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":"Q2988998$96684DF2-B1D1-40B7-A242-DB0E4D318049","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76bcb512745bf80b9cbcd185700822fc8e8d1001","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066109004423?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988998$9090E425-9AF7-474E-B1A9-4033BEBA48DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988998$32D7E028-01B8-4A52-AD5F-B97BDC2D20E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988998$9049B510-1D7F-4CC9-ADAC-776C40891931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988998$7AC3FFF4-86A3-4B15-ADB8-D34C0682B160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988998$F089A333-558A-45FF-AC19-6EB466C92436","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3377b88de6efb2aac7fd4d43bb3cb9b8ecf102e7","datavalue":{"value":"6721681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988998$2289B1B3-552F-4E64-9629-AE293010157C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17c23c3d6a2abc84029cb6ca54e8b131745004e","datavalue":{"value":"web services","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988998$FFE0F3F8-20F9-4B28-866C-568337107FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacfdf4754695dde932075f634b08ecf30e3d32e","datavalue":{"value":"orchestration languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988998$066D0058-8491-4118-90F5-FAA8860F6108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d11999338d5d6136da01d64733914bed5ab8667","datavalue":{"value":"BPEL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988998$A5AB44A7-9A48-4E1F-87F0-4C0179C33B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988998$71979D5D-B87C-4404-9201-76007998B384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988998$B636BB1A-A5DD-4515-8A94-11F36FED7FE1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4baaec8dbb9129dec61542780391e732464eec00","datavalue":{"value":{"entity-type":"item","numeric-id":19018,"id":"Q19018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988998$EC30C403-8CB8-4620-98DE-98307DFC045C","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":"Q2988998$5FC27CF5-921E-4F88-A3DF-CBF2AAE64C86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c3fd91fca04eaf5cc1f0b5fc852f816c59b37b","datavalue":{"value":{"entity-type":"item","numeric-id":3446027,"id":"Q3446027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d9a5d7e0fb0ef83ca8d7cf226f9f33d88c191b","datavalue":{"value":{"amount":"+0.7996060848236084","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":"Q2988998$8537F414-4365-41B8-AAA0-712878DF3F9B","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":"309b074967356748306ac3a233c95c3078d3fde9","datavalue":{"value":{"amount":"+0.7779111266136169","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":"Q2988998$3DA97A68-2715-401D-BC82-3206B7AA1C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f40a9eb0e93bd916e413eac565120e42f33fb98","datavalue":{"value":{"entity-type":"item","numeric-id":2847797,"id":"Q2847797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5475afc07010c3831d25b1cae2bd187275d30d6e","datavalue":{"value":{"amount":"+0.7689844965934753","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":"Q2988998$47869899-AE0A-4A2F-86E0-C6330DC9C531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a20f744fb8908a35089369b9147619d4ad90c13","datavalue":{"value":{"entity-type":"item","numeric-id":861305,"id":"Q861305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e41c98c96b907413987ab24072877fa9bec4e5","datavalue":{"value":{"amount":"+0.7685185074806213","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":"Q2988998$F9596BD9-AD10-4EB0-9D6E-FC28EAD76B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6616427b3970600c2db0e40b44e6a6dd1a9ba24a","datavalue":{"value":{"entity-type":"item","numeric-id":997228,"id":"Q997228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c159293c2885b39a30c0bda6c903a0b0336ef225","datavalue":{"value":{"amount":"+0.7631865739822388","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":"Q2988998$3DC76A0B-6099-43E8-811E-0861A9F7FB6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988998","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988998"}}}}}