{"entities":{"Q5025067":{"pageid":7054644,"ns":120,"title":"Item:Q5025067","lastrevid":98459969,"modified":"2026-06-05T17:35:54Z","type":"item","id":"Q5025067","labels":{"en":{"language":"en","value":"Automated repair of process models with non-local constraints using state-based region theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7467848"}},"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":"Q5025067$91A9CF67-4271-4DD2-8C46-6AF30C17085D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf6d6033c7e9740b82729d0ca2808d698d534ea7","datavalue":{"value":{"text":"Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5025067$05B3AAC9-E3FB-4E31-BC7C-0A18A02AF76F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cdae8d78c8881286b7c044e4b4a63527c562caf","datavalue":{"value":"10.3233/FI-2021-2089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025067$1499C99D-ED83-4566-A28F-8DB68F7BA0A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68998866a52330e801ad7bf9b7dc33543f72207","datavalue":{"value":{"entity-type":"item","numeric-id":1758684,"id":"Q1758684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$60AEBB02-AEF2-4C7B-A6D9-4782A1E19D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e841d2d404aa8b85941ed221fd766a9528d70a61","datavalue":{"value":{"entity-type":"item","numeric-id":383352,"id":"Q383352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$97B2C634-D6BD-46B1-BF67-24524B1EDDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf7f8ac428c9a7825ad8c9346ea6da18db1694fd","datavalue":{"value":{"entity-type":"item","numeric-id":315284,"id":"Q315284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$DD8B0E85-97B3-4C5B-8295-FC2CD7B77370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72d7de189af6390e938c531742a7082558377084","datavalue":{"value":{"entity-type":"item","numeric-id":903486,"id":"Q903486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$93C9E5EB-49BE-4D0B-966C-B5F1D2CD26F8","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":"Q5025067$379AA8A3-519E-46E6-8E5E-F353EE638FC7","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":"Q5025067$69308B5E-61B5-40A5-A7B8-00D38A49E580","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e1a36c29129f2af196c6cf9305360ff364eab78","datavalue":{"value":"https://arxiv.org/abs/2106.15398","type":"string"},"datatype":"url"},"type":"statement","id":"Q5025067$2FD229B5-6011-4CE2-95B9-5589F1A0FED0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025067$77D63D8A-BA21-40D6-8508-C2BE6D8358C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d00c1b913c11be6e95e89279690be466b53849c","datavalue":{"value":"7467848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025067$1AE7A9C1-9548-42F3-8465-4F1370B0065A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"020ebe5f041c55b40754442c53510ebba96fffc3","datavalue":{"value":"free-choice Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025067$0F503F7B-304D-426F-BA07-01F1248E8AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"518e518e9bbd90206115ef84fd78d19ecfb27d8a","datavalue":{"value":"region state-based synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025067$0180C93E-836E-48B2-91B0-12FFD57F032C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b731aa11ff71f5a02fea9cf8181c1c7b62acc0de","datavalue":{"value":"event logs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025067$5ACE8271-7A93-4ABE-9400-52855FB2C79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025067$34EE335B-4EBA-4BA7-BB6A-F910DDBEB197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16bdb030d6f0cff9e74ba7873b938427a368e545","datavalue":{"value":"process mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025067$4475C1EF-7D71-4FEA-AC6C-0536B2672EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca3639d1919763373daf273384dfbbe3f1d43ecc","datavalue":{"value":"process enhancement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025067$E5B70351-06E3-445F-8673-ED571F75DEAE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60b8e55f3f29a0f57340b1fe22d12477b0edff08","datavalue":{"value":{"entity-type":"item","numeric-id":37689,"id":"Q37689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$788E7F5F-E375-49FA-BDDC-58936CDF9803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bbfc77d70be5abc9d82e092a25a7a64eb54b937","datavalue":{"value":{"entity-type":"item","numeric-id":13531,"id":"Q13531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$AB00867B-0E0F-4E4B-BE84-20065F18D834","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":"Q5025067$97AF7B79-0636-4A9C-8D7F-2B27394A9DA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5852298d50504863e737a8a3f837426f8fff176e","datavalue":{"value":{"entity-type":"item","numeric-id":5166758,"id":"Q5166758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$A9413CF6-68E1-44F4-8E51-231BDFF84FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$0BDD3D43-7B83-4EFB-846B-5B14E476367E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae592c166ef986f126f9a843927d3bdbd1d0b1c","datavalue":{"value":{"entity-type":"item","numeric-id":3510879,"id":"Q3510879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$CA5B2078-EB37-449D-85DC-289FF171F87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c41febd602bbb5a35c992349e0f4fd73788ca393","datavalue":{"value":{"entity-type":"item","numeric-id":1639990,"id":"Q1639990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$945203D0-42C7-4BB4-95DD-FF182D1ADE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45674943e543059b7bac638c13624e47420b549","datavalue":{"value":{"entity-type":"item","numeric-id":897109,"id":"Q897109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$7BC1D2D0-C6D8-4961-977D-D1368EA5AF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f8d097e7d61a8931ce9b8fd8b8ab6498bdc074","datavalue":{"value":{"entity-type":"item","numeric-id":3602749,"id":"Q3602749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$76160D8C-1C33-4B4B-961F-3D0BCDCB539A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de565f4c963a478a1512019e92635862329e1106","datavalue":{"value":{"entity-type":"item","numeric-id":2971132,"id":"Q2971132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$7471AE41-9B0E-45B0-8B9C-4A5E46E5F8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc89e22df6a5a47b2ffe373a86a233e1630f31c","datavalue":{"value":{"entity-type":"item","numeric-id":2280181,"id":"Q2280181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$AD39BD64-C12B-46DE-8B15-E4FA6A782377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febaef70c206b8a79ba9d974c2812baad00c4304","datavalue":{"value":{"entity-type":"item","numeric-id":5100758,"id":"Q5100758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$EE42FB7D-3283-4124-84AC-39879352E820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43c429eaca472ae36e3b1408b09cc956591b981","datavalue":{"value":{"entity-type":"item","numeric-id":4571475,"id":"Q4571475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$1B4DB934-DFC6-42C1-832B-9665054A82FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4d1b58cbbd07bee82434ade0c70aa941adf12c","datavalue":{"value":{"entity-type":"item","numeric-id":5280804,"id":"Q5280804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$7B6C75CB-30DF-41D3-B968-F55FD2FC0686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0561aa4653af04854a8881ef0947bb8f877d94c9","datavalue":{"value":{"entity-type":"item","numeric-id":3045489,"id":"Q3045489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$E8303158-782F-4E4C-A8EC-1DF3E6BB2312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e2d4b37d6810ae77089fff7efee41289ab16ce","datavalue":{"value":{"entity-type":"item","numeric-id":1901703,"id":"Q1901703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$92E406C5-CA20-42F0-BDC6-237F817EF119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025067$8866B92C-3DD3-4048-803D-6D6C622354B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ec886f9e51a5724ea11766b615617675f75110a","datavalue":{"value":{"entity-type":"item","numeric-id":5100758,"id":"Q5100758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59516c967acf0afbe06e0d05a7c6a3f7261a191e","datavalue":{"value":{"amount":"+0.9706912636756896","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":"Q5025067$A8F6AC74-8D10-4FFB-9D4C-28F962EB075D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82cd91d533cf86daf065d22302fa6aad3dd91077","datavalue":{"value":{"entity-type":"item","numeric-id":2673764,"id":"Q2673764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05b1a59f54de9b721dd72d190daa4c631b14403","datavalue":{"value":{"amount":"+0.7211801409721375","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":"Q5025067$65CE038E-3A1D-44E6-BCA3-1B053356FB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b3e45aaf5cf302f8a0c441c774fcd4852f650c1","datavalue":{"value":{"entity-type":"item","numeric-id":3569869,"id":"Q3569869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee31052d18235d7bc8cee7c4ba2edbe2c03c0e4c","datavalue":{"value":{"amount":"+0.7205120325088501","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":"Q5025067$8E53A48C-DF44-4881-B338-F2ED2395FA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fabd20972d4866fbfa3e60dd31f2b816bc719754","datavalue":{"value":{"entity-type":"item","numeric-id":5166757,"id":"Q5166757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3076251445b654b466b2def5518ddf27aa0fd6ba","datavalue":{"value":{"amount":"+0.7186344861984253","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":"Q5025067$8206A1DD-3DC4-487F-8252-568C5D5D6E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e21858881d96bbeadc27d1dd8ad4702a39c9c65","datavalue":{"value":{"entity-type":"item","numeric-id":1639990,"id":"Q1639990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7726420842d2a64d371a338ededcc0fd4d006d","datavalue":{"value":{"amount":"+0.7127721905708313","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":"Q5025067$4F943E9D-BC7F-4593-96EC-5565AA9ECC7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated repair of process models with non-local constraints using state-based region theory","badges":[]}}}}}