{"entities":{"Q997228":{"pageid":999076,"ns":120,"title":"Item:Q997228","lastrevid":65803590,"modified":"2026-04-12T05:28:54Z","type":"item","id":"Q997228","labels":{"en":{"language":"en","value":"Formal semantics and analysis of control flow in WS-BPEL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5173643"}},"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":"Q997228$5A29BE71-FB56-4CF2-91B1-4C9D7C3FA744","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a75c0e56f490d7a4f34b713bba8c0b4896b0e0a2","datavalue":{"value":{"text":"Formal semantics and analysis of control flow in WS-BPEL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q997228$3E977F91-404E-4B0A-84A9-B05EEFE74366","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d471c94061f16d3b6ac6ea729a6483b24b759d95","datavalue":{"value":"1122.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997228$8B97F68F-1AF9-41CA-BBE7-41346E0531E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d64ea789af695ddff0e8edc6d3084817c11bf1b0","datavalue":{"value":{"entity-type":"item","numeric-id":903487,"id":"Q903487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997228$E6613ED9-0F74-4D05-B5FE-1A45F49877E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e50b50aa0ef1ec9d7a37648665164557bb2170","datavalue":{"value":{"entity-type":"item","numeric-id":997226,"id":"Q997226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997228$3498B589-01F0-49EC-AB7D-46237C89E7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7fe36fd2bb31b984a91cc58296cc98d9c9464db","datavalue":{"value":{"entity-type":"item","numeric-id":202489,"id":"Q202489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997228$7D6FC20C-D628-47F3-9E76-C48C6D05C040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c73ec7da74d7e1151f021d0c96cad5483005fb6","datavalue":{"value":{"entity-type":"item","numeric-id":997227,"id":"Q997227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997228$D235A56D-62A3-44CA-9C84-47ED6C623AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46ec471fa75f58234225d79a9e2776af0982daaf","datavalue":{"value":{"entity-type":"item","numeric-id":315286,"id":"Q315286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997228$63294B4B-7DD3-42FB-AA7D-C2A6A062C256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4921c7696c9212305f189a2fe1387286a14fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":973033,"id":"Q973033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997228$2A95B96C-6A13-41AA-896B-F3ECC1B88AD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997228$0E0A2DF3-0E9C-4683-8733-DE8C60EED73B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a47a1c00b58c63188511ed6855b30318b707131","datavalue":{"value":{"time":"+2007-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q997228$805939E3-015F-4FF0-A1F1-27E2AC1B11AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c3ec8671f792da0c38b1219602d6a024485320e","datavalue":{"value":"https://eprints.qut.edu.au/14809/1/14809.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q997228$919D5900-49CA-443B-A21C-638480EE88A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997228$22F25D3D-720A-4233-9F1E-61638C4AE408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997228$3590DB36-CF5D-47E2-A15E-C82B3DFC9742","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ee242785bb519c9a1b5aa457287afc1b246fd7a","datavalue":{"value":"5173643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997228$C333006C-A02B-4856-9E90-577B1630C588","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94df128799aa59ef2990df27a35943d128734129","datavalue":{"value":"business process modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q997228$B77B2A84-55F2-489E-B172-04854FA76680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf4af0327adbf24209e3689ae5dbd5f0987f783f","datavalue":{"value":"Web services","type":"string"},"datatype":"string"},"type":"statement","id":"Q997228$92529A4C-6AC0-4199-867B-D838299D8C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d11999338d5d6136da01d64733914bed5ab8667","datavalue":{"value":"BPEL","type":"string"},"datatype":"string"},"type":"statement","id":"Q997228$EF8B97CE-AC69-4E1A-948C-447FBFDD3AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e2fc5854417368dd5e2eb9e214532fbe21b299e","datavalue":{"value":"tool-based verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q997228$7B402986-AFB5-4F21-A27A-CA5A769E78E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q997228$FFF893B1-5D3F-48F0-9A81-768BCD60FFC4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c6b09cd4310712afc76b5350e1fc0b72a6d1df9","datavalue":{"value":{"entity-type":"item","numeric-id":19017,"id":"Q19017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997228$D7AD25D5-C009-4735-8ECD-74692BA58D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86c5760bd620e2915a66d9077b4ed2ef38f56dbf","datavalue":{"value":{"entity-type":"item","numeric-id":13766,"id":"Q13766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997228$5CAEC510-9FB8-4D77-8707-8B23E21F1318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c59b3e9560faf9a1fc9bc5f21675991982ae6e4","datavalue":{"value":{"entity-type":"item","numeric-id":16564,"id":"Q16564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997228$5BCDEDE4-7561-4D56-B4FC-5E854716D611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"141bba581cf8fe41a0a2da033b6dcf185c0624c0","datavalue":{"value":{"entity-type":"item","numeric-id":19089,"id":"Q19089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997228$6A399DD6-A84F-4F62-B77C-142B80FA6050","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":"Q997228$87340721-A4AE-4400-8B12-066FEECD2C0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43237ffb24415913eb9dbb9cb557f5030ffcf997","datavalue":{"value":"W2145391336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997228$444911B1-517F-4DD8-BF96-93B76CDA7D4D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0d66067c98083eb07c26cf44503d6d880ad549ef","datavalue":{"value":"Q57005848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997228$99FA70AA-A396-45D9-9FC8-1FE7876EA20A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adb0f933d33a37a340ed4ffead60eaa6a990e482","datavalue":{"value":"10.1016/J.SCICO.2007.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997228$576614A1-43C9-4C88-80E7-66EE30ECB0E0","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fdb6a5df53db03443ccfc468f8a0c56b11746e91","datavalue":{"value":"journals/scp/OuyangVABDH07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997228$B05E3741-56E2-4DE9-A38A-7F3B2DF004FD","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":"8322ebb166288062f20a8aaad3b5ef2b885c46f1","datavalue":{"value":{"amount":"+0.778308093547821","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":"Q997228$6D515E99-66D4-4DFC-BD9F-D3B9102A1EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e710b7336aed660fcac33952ae0a3601151a40","datavalue":{"value":{"entity-type":"item","numeric-id":982939,"id":"Q982939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3260033b409e40c293576c58609133e73ea0b5","datavalue":{"value":{"amount":"+0.7701252698898315","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":"Q997228$E631022C-CC7F-4DF6-B49E-9BD84F1CE5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d8417086c88401ee746bc3f90e9a2dd8acdc9f8","datavalue":{"value":{"entity-type":"item","numeric-id":5448807,"id":"Q5448807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c4171614e522dc35381a5d20279959fb79154c","datavalue":{"value":{"amount":"+0.7687097191810608","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":"Q997228$7E807816-8258-4474-9C4E-BAAE5F517B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff40ceebe7f920d2715b74baf0dac4ab1db054e","datavalue":{"value":{"entity-type":"item","numeric-id":2988998,"id":"Q2988998"},"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":"Q997228$64DF13C0-1092-44CB-9440-DC8DCDDDD241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa634c586cb160d3c67ff1902280f7d264f3a35","datavalue":{"value":{"entity-type":"item","numeric-id":5316442,"id":"Q5316442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d14a83241070b1374ce2ff718d4ea7ccd5849b9","datavalue":{"value":{"amount":"+0.7407999038696289","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":"Q997228$19B09359-3358-4FE0-B0FD-6156BE22041C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal semantics and analysis of control flow in WS-BPEL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_semantics_and_analysis_of_control_flow_in_WS-BPEL"}}}}}