{"entities":{"Q2744791":{"pageid":2755530,"ns":120,"title":"Item:Q2744791","lastrevid":83067962,"modified":"2026-05-07T05:51:35Z","type":"item","id":"Q2744791","labels":{"en":{"language":"en","value":"Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1653574"}},"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":"Q2744791$F6D56D85-243A-4E7B-80E0-304306C27FA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"055f01b948f225f743ddd0d7f399154d2b70d77b","datavalue":{"value":{"text":"Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2744791$76DC5F4E-56BA-4894-9261-4E4AD5078CC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c61e1d39cad218fd80e631337d693b830fb0dab","datavalue":{"value":"0971.68531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744791$A97E919F-8AE7-4775-BC6F-53801246143C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0648c3bae1e20869bbde2f3ae3109b59128cca87","datavalue":{"value":{"entity-type":"item","numeric-id":2744790,"id":"Q2744790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744791$9A21EF7D-ECC5-4243-85A2-EFA5D7E656FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a9356a2d521396fbcd3abc4aa62fdcc08663334","datavalue":{"value":{"entity-type":"item","numeric-id":2638791,"id":"Q2638791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744791$F9E92AE6-7407-4B4E-8331-E116FBC0733E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdfa6cba6260f9a6202ecedb776f440ed4a5fcda","datavalue":{"value":{"time":"+2001-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2744791$717810A5-612B-42CC-83D1-1529CBFC8BF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ad889151aafc459af0947b1bfbaf4d713c60b63","datavalue":{"value":"https://research.utwente.nl/en/publications/compensation-methods-to-support-cooperative-applications-a-case-study-in-automated-verification-of-schema-requirements-for-an-advanced-transaction-model(9ca452e0-7833-4b9e-a6e1-86603c77831a).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2744791$4437167A-DF32-4384-9159-66DB6A008B0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744791$999B8D97-C1E5-43E3-9D43-60984D212515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744791$DA7318EE-F1AC-4D6D-8B88-7B6F4CC49A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744791$4C5B3E0C-6F20-48B3-8D25-D941CF2053F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6aaea0af78d31281191c01977c5b2b9af59903f9","datavalue":{"value":"1653574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744791$1BAD83AE-E15E-4297-AA20-774F0A3627B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0203c5ff1617dcafe13dba92b36b38d2a20e32b9","datavalue":{"value":"transaction model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2744791$E5F3417D-3B2C-4EBC-AAB2-4DE72E147464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2791a1f4400d3164ed1a3121882007470829dbbd","datavalue":{"value":"workflow systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2744791$10CBD00D-529E-444A-B8F3-5F5D67D8201B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2744791$0035428E-66BF-47B6-9E5C-572DEB10E7AD","rank":"normal"}],"P1463":[{"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":"Q2744791$5DE029FA-926B-4F87-ADE4-B1C710FF35A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744791$93C5A217-A942-49A1-A8F1-E6C530628D40","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":"Q2744791$F2228FDD-9186-4EC2-AAB7-74C8A47EF616","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f55c532952ba30aa811df03c68be5d1964c8ae0c","datavalue":{"value":"W2111131575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744791$3EEFA29A-0817-4654-A260-13A7CDD94C93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d971a8fb3bf11dfa7d1edd1cf7cdb1f2279f5e0c","datavalue":{"value":{"entity-type":"item","numeric-id":4109287,"id":"Q4109287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744791$2D60E070-FADC-4E9C-B27C-D8C8A20FB442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744791$1DA999D6-2A4B-458A-BBF2-4404689509E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae36d9b4ae9565330b8b29fe662c6e477c47eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3829058,"id":"Q3829058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744791$2FD5CB6C-3099-414D-9E25-9DDBAF317F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8783458033bfc52930c650a32a3740723ca1e0c9","datavalue":{"value":{"entity-type":"item","numeric-id":686645,"id":"Q686645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744791$0E00EBFC-0172-44E8-9D8A-C25855D7A45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e92bf44635e1c14f99ee7702ae9cc9490182a82","datavalue":{"value":{"entity-type":"item","numeric-id":1186517,"id":"Q1186517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744791$D6FCDAB1-3EC7-4EB1-90A0-33DC6DA7DB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744791$AFFF10F7-9F9B-4776-883B-DCF2521A21EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46c998d502727365cc53cafc586112f6c2f5388","datavalue":{"value":{"entity-type":"item","numeric-id":4222959,"id":"Q4222959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744791$CCC323AC-4DEB-4CD4-A4BB-BC0458E7EF9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a013ed153d9e98a0a7fe1433ee8dd5e8100491b6","datavalue":{"value":"10.1002/CPE.610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744791$3321D12A-68BF-412D-9C5E-A1921244FF7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d86af50b421a53835baea6e3f04f84ccf0126793","datavalue":{"value":{"entity-type":"item","numeric-id":6769434,"id":"Q6769434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744791$831BF587-F7D7-4AC7-8DF8-165596280D4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71fcccbcde14dea2c60a872ec1a6f2d8f228ad3d","datavalue":{"value":{"entity-type":"item","numeric-id":3585019,"id":"Q3585019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5c5c36a8b764b6f23634e9c6ca7169a03d6bb3e","datavalue":{"value":{"amount":"+0.7222759127616882","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":"Q2744791$BC245FDC-5AE8-417C-B4F3-A8AAE403A751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6624b60635349936197501d88d75235632dfb88","datavalue":{"value":{"entity-type":"item","numeric-id":2875115,"id":"Q2875115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27fa4a89d15f4cfc2de06a6125c10199a2e08be6","datavalue":{"value":{"amount":"+0.7171237468719482","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":"Q2744791$6C9C4165-F345-4DDE-A1AA-BAAE71FB108C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a84162627ab51c4f5e203182fe2f32b6486529","datavalue":{"value":{"entity-type":"item","numeric-id":5447365,"id":"Q5447365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b3ffc07b7181171d1b5411a8ebceed0c69bea7","datavalue":{"value":{"amount":"+0.7062036991119385","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":"Q2744791$07D34FB3-D235-47B3-A491-0EA2C7CCB81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37194032c6c265ecebf278d0c55ae8eebeaa1ead","datavalue":{"value":{"entity-type":"item","numeric-id":5452593,"id":"Q5452593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec7697efd429971b876b6d5d6e531334305ee8d","datavalue":{"value":{"amount":"+0.7006747126579285","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":"Q2744791$FE7E8189-35BE-4A4D-9776-3F0295FCD2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7172b87c4f67948b77302d0b3de71d45bffad2c","datavalue":{"value":{"entity-type":"item","numeric-id":3526938,"id":"Q3526938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8551f914e8976640a6ee42002a932e2df928d84a","datavalue":{"value":{"amount":"+0.6986079216003418","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":"Q2744791$1BB1B172-60C0-4B8F-9FE8-01EC226CB92F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compensation_methods_to_support_cooperative_applications:_A_case_study_in_automated_verification_of_schema_requirements_for_an_advanced_transaction_model"}}}}}