{"entities":{"Q5025032":{"pageid":7054609,"ns":120,"title":"Item:Q5025032","lastrevid":98459654,"modified":"2026-06-05T17:35:51Z","type":"item","id":"Q5025032","labels":{"en":{"language":"en","value":"Soundness verification of data-aware process models with variable-to-variable conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7467823"}},"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":"Q5025032$2D162429-6429-4C13-8114-7F53498395CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1097de389d3d859a195889db6322f51f25cf2753","datavalue":{"value":{"text":"Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5025032$716067D7-114B-4290-B00E-19A39CB111A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbf2f6c4d4984c81f3d23dc6242023cf69283ef5","datavalue":{"value":"10.3233/FI-2021-2064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025032$EADBAE44-1816-4A33-85FD-23FC34DA8CB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c33a0c1c63a546b886c299a97fb8cba0ab5909","datavalue":{"value":{"entity-type":"item","numeric-id":2060722,"id":"Q2060722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025032$E2DCB86A-AB03-4E4F-AB19-8A20EABEFB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5610a295f1946c763f750d5d5facc6c24d99da4","datavalue":{"value":{"entity-type":"item","numeric-id":272167,"id":"Q272167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025032$10D09895-9BE0-4F23-9A5D-4597E449C7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2438f2b6b194cb9371720fd634318f5f271f2f6","datavalue":{"value":{"entity-type":"item","numeric-id":315289,"id":"Q315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025032$563544C6-82D0-49F9-91C8-19BE47367B1F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025032$6EF1784D-64B2-401F-978B-0455C42C4C1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fa622351c9dbc7b7a891fa25d235c8f79af6e3a","datavalue":{"value":{"time":"+2022-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5025032$0D6CAC4F-C3D6-4704-B124-B44D0F31C33C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025032$CC8F601F-CA25-42C8-A4EA-913635DB49A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fb60bcbd6548608ba13672b78a2cdae50b489a6","datavalue":{"value":"7467823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025032$FD56E2E6-E0B1-466A-9088-D1C2C0A56A3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe36acaab031537a15b2b4b0bfb61079ad33d45c","datavalue":{"value":"soundness of process models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025032$AEA7EF80-5797-4C4F-8322-3F10C9EBBD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25e952f47bbb7b20bffada53cad0d65638ef84af","datavalue":{"value":"data perspective","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025032$007B0A1A-B77F-4EB2-ACAD-F438A1B0BEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c3d6805fe6215f15e8be6607ff17ab9acc2e5","datavalue":{"value":"data Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025032$D6EB7D93-D247-4210-91FA-CCB6639E80D3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025032$88A1342A-68A7-4E57-B14D-1CD42D7FCBB1","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":"Q5025032$C6A16BBE-6717-411C-8E0D-9689DB1FDAEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca91dc6ee5405ef4a82c9d8712578cb11cdffde0","datavalue":{"value":{"entity-type":"item","numeric-id":554219,"id":"Q554219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025032$BAAE9597-4CB3-4E36-8BC4-3943C546409C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"253da3ddbd3d353179a48c39aa1154c66e70b068","datavalue":{"value":{"entity-type":"item","numeric-id":2822649,"id":"Q2822649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025032$7DFF2324-FC74-4C05-8BE7-82E7AD204368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c90ce18360919e9220040a779462944025d0146","datavalue":{"value":{"entity-type":"item","numeric-id":4608666,"id":"Q4608666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025032$811F6737-6414-4302-A7DE-F2D6EA0C53E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64d65dc9725198d9ccbdac326b0dd6b29d99d3ed","datavalue":{"value":{"entity-type":"item","numeric-id":2501322,"id":"Q2501322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025032$161B6528-356B-4D77-B82D-CB56E0382B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025032$F0F31500-15B8-4697-9E75-7C6003758F35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"438c52c58067da395b32f0a2ff93eda1e531df52","datavalue":{"value":"https://doi.org/10.3233/fi-2021-2064","type":"string"},"datatype":"url"},"type":"statement","id":"Q5025032$EFBAC149-11B2-4BCE-9226-873FC42F7678","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc778237cb63b44edabf4483b0e4ac3d0e9889d9","datavalue":{"value":"W3202144451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025032$2710BE79-A975-4CFA-9839-0D7433EF544F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12005d63df9c42cd752cf03370cc79e0d7b6b6ca","datavalue":{"value":{"entity-type":"item","numeric-id":6164536,"id":"Q6164536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bcbfeadbbfaa6d826ab2943b4ebf299360dcaf2","datavalue":{"value":{"amount":"+0.7252450585365295","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":"Q5025032$06279B34-43EF-4269-B2D1-C96580627C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b902e1d1b4de42f579f22338616f275ceaa7d2a","datavalue":{"value":{"entity-type":"item","numeric-id":315291,"id":"Q315291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69396cbfea007656df37bc2fe38d122622a8200d","datavalue":{"value":{"amount":"+0.7222011089324951","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":"Q5025032$599A4A11-8ED5-46A4-AAA8-488D56D85F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2247a0a44d235240a33958a7475500773b9ee9d","datavalue":{"value":{"entity-type":"item","numeric-id":539433,"id":"Q539433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578c3a96ef05068d05e21b4ac1426dfe3ba3c6eb","datavalue":{"value":{"amount":"+0.7127482295036316","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":"Q5025032$271FEFBD-7707-4A92-92E9-30292162866D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31dae3723ca84622e3afb4a94608843c4ce9fbe","datavalue":{"value":{"entity-type":"item","numeric-id":3446022,"id":"Q3446022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c10b7dfc7c9ba9658af9988569845f1543b421c","datavalue":{"value":{"amount":"+0.7112141251564026","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":"Q5025032$8CEF466A-C129-4C63-967B-4E261AC8C024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a65ddb8fa6d423933976c315800c95b1613877","datavalue":{"value":{"entity-type":"item","numeric-id":5713505,"id":"Q5713505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d02f852c91d766f0e4bf6fbd88fe23a9dd18500","datavalue":{"value":{"amount":"+0.7111719846725464","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":"Q5025032$57601E09-07BF-46DA-9D4E-9B12EFDA3955","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Soundness verification of data-aware process models with variable-to-variable conditions","badges":[]}}}}}