{"entities":{"Q2292988":{"pageid":2303731,"ns":120,"title":"Item:Q2292988","lastrevid":53658176,"modified":"2026-01-25T12:34:22Z","type":"item","id":"Q2292988","labels":{"en":{"language":"en","value":"Formal verification of complex business processes based on high-level Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7164172"}},"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":"Q2292988$91C6E724-919C-4421-B7F1-A8244366A55C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2207bd8d7ee7855e35984178a861f64582908461","datavalue":{"value":{"text":"Formal verification of complex business processes based on high-level Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2292988$3B4DB773-AA42-4163-B2CE-EE94C7192142","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d0e2183fd4af885f0ae8d865af48e91a5687e8f","datavalue":{"value":"1429.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2292988$8A1B082A-82AF-4830-8047-91BA99D38141","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9b555e02bfaa45db468ec6a10ba4215af401781","datavalue":{"value":{"entity-type":"item","numeric-id":2292987,"id":"Q2292987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292988$0D7812D1-D832-4340-907A-F780EFF27404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80dbf6ab3be34be42132824ddf7fa05bc188f4ec","datavalue":{"value":{"entity-type":"item","numeric-id":497949,"id":"Q497949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292988$55D0E0DF-9024-49C1-845D-BA41F1EEB764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01d5813278853c322c354b76e5f08d5990f0d41d","datavalue":{"value":{"entity-type":"item","numeric-id":966070,"id":"Q966070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292988$8D313FB5-0BD5-4716-B759-76FE756E597E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292988$2CC0FFF0-3E18-4415-A00B-CD491FD89B44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"819f3db2fd69120b836b1a33ce7b5a988bc01119","datavalue":{"value":{"time":"+2020-02-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":"Q2292988$4B6ED706-53B1-4ED9-9B49-B37E2B8C0D91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2292988$4E5BD13D-7211-4485-BDE5-8A6DDAD77256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2292988$2434DCDA-A3C3-49C8-9378-F40ADF348266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2292988$53F5AC06-C0A3-4EFB-B2D8-288CB0B74C45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9ee19ad0d7e65cbceca40c4e207154753ad3cb8","datavalue":{"value":"7164172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2292988$845CE10D-CC07-4221-80C8-F167042E176A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd40e469bcb1f4357a95681d30037757e6fd4b3","datavalue":{"value":"business process modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2292988$2148526F-C99B-424B-929A-DDF647CFE2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de245030be4055e1ae781fcdfc386a78404c9ce1","datavalue":{"value":"BPMN","type":"string"},"datatype":"string"},"type":"statement","id":"Q2292988$95559915-1EDB-4C76-9C04-B86817C00D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86c98899d428cbd8749f4caa510a5628ad50d096","datavalue":{"value":"RECATNets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2292988$59188250-31D5-430F-BCD5-C9538185F17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60034f3700e9e50f603fdc8c723045c910a3028a","datavalue":{"value":"conditional rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2292988$EE9F745A-0464-4ECD-8BEF-3A406CCA334B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9770270cb06b2b9291e185ab331e7914ce7c09ae","datavalue":{"value":"Maude language and tool","type":"string"},"datatype":"string"},"type":"statement","id":"Q2292988$20F26158-B22B-4D9C-AABF-49C5D81533AE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65ad96200f5c2de2ca19b9c7c189ae2e25c47054","datavalue":{"value":{"entity-type":"item","numeric-id":22062,"id":"Q22062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292988$EF54144E-1811-440F-8A4F-1C2ACDA63F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fb99985c1975caa9f8b425367205b1e95bb70f1","datavalue":{"value":{"entity-type":"item","numeric-id":15790,"id":"Q15790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292988$2966E3AA-7401-4C9B-BE0D-AF8BC84ABA52","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":"Q2292988$08CDCA86-3CBD-4B8A-B347-C8E26122590D","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":"Q2292988$FBA59B84-02B5-4422-AF04-BC148A7EEEA9","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":"Q2292988$D8630C6C-958D-4058-B18F-5B2728CDEE49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e65f49759f83dce7557f5c87d182e7c9d110ea6b","datavalue":{"value":"https://doi.org/10.1016/j.ins.2016.12.044","type":"string"},"datatype":"url"},"type":"statement","id":"Q2292988$97706726-B37D-4B14-9F9A-C0142FDC9824","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b0653b7dc97d74ed69aa55bd35b0f8e9b2712b1","datavalue":{"value":"W2570086581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2292988$4F4E1076-1327-47DA-9D8E-330E0DD69A15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292988$718DEA53-0337-4975-B034-2569E4AF605B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7d72fb0b583e355b8cac85cb179d5e07a3d64a","datavalue":{"value":{"entity-type":"item","numeric-id":2851053,"id":"Q2851053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292988$56E23403-4EA3-4383-AF93-A2858772B613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf302fbc29b021d0b50a7ece6ef4e7e72eafd84","datavalue":{"value":{"entity-type":"item","numeric-id":2464034,"id":"Q2464034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292988$0D3F5EC3-DA52-44AD-AE12-0ADFCCC8943B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f094d95e4b698554c4be38508a16334ac21b1f36","datavalue":{"value":{"entity-type":"item","numeric-id":937394,"id":"Q937394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292988$474E1AB6-F158-4375-AFD1-92E2A9304C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292988$1C6605A7-6F1E-4DE5-88FF-24BE4FFC6D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bddddb61ff5622f1385e885daa45c1690dd8ad4e","datavalue":{"value":{"entity-type":"item","numeric-id":2766587,"id":"Q2766587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292988$8772BF03-D657-4BF6-BC9B-7A9A20122537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49ec6e47a14fd4a69a8ba31b79b225340e4aa8c","datavalue":{"value":{"entity-type":"item","numeric-id":541678,"id":"Q541678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2292988$A2F6BFA9-FC43-47B4-890C-E96E495D7AE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44fa946fb81c003ddf79b8cdd9a2f740165769ce","datavalue":{"value":"10.1016/J.INS.2016.12.044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2292988$4F6F0BD7-9024-4C1F-8785-1029504FEC37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"183448899cef1b1fc4872979fa6f30e10ba511f8","datavalue":{"value":{"entity-type":"item","numeric-id":2902368,"id":"Q2902368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a44f1fa2bdb211b9f114a59ecea6ffc02e4632","datavalue":{"value":{"amount":"+0.8256075978279114","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":"Q2292988$BA68454A-6B02-4670-8916-3A49531EAFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8384a269e2b38583b7970a42df2a53eb511dce09","datavalue":{"value":{"entity-type":"item","numeric-id":5696655,"id":"Q5696655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908e8fc8ecedae92fc7dd8e1d7b7338b0742cf77","datavalue":{"value":{"amount":"+0.8152132034301758","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":"Q2292988$553847DC-22F2-48D0-81DE-713C29721843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b513e0e1ca7acaf7bdea6994bf0698fb260955","datavalue":{"value":{"entity-type":"item","numeric-id":1037243,"id":"Q1037243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf10e07f268d14d82a0a57172fe0aebe6a2eeca","datavalue":{"value":{"amount":"+0.8106310367584229","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":"Q2292988$AC949AEE-42BB-440B-B40C-A33216D3005D","rank":"normal"},{"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":"19360cbc3ef71c83a73920b1ebc73f6ba6313378","datavalue":{"value":{"amount":"+0.8097137212753296","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":"Q2292988$D9006B12-DF71-4F47-934F-37DF6D8A201B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b116d364dedffac9dfb81e8e244b663a9652e5d8","datavalue":{"value":{"entity-type":"item","numeric-id":541678,"id":"Q541678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da91bcd6c25f0d8aaecd739fe5f75ca106fe8562","datavalue":{"value":{"amount":"+0.7816868424415588","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":"Q2292988$2A8F0B69-427D-4F20-8F58-59269B36233D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2292988","badges":[]}}}}}