{"entities":{"Q1037243":{"pageid":1039091,"ns":120,"title":"Item:Q1037243","lastrevid":66602691,"modified":"2026-04-12T11:14:00Z","type":"item","id":"Q1037243","labels":{"en":{"language":"en","value":"A rigorous methodology for specification and verification of business processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5633142"}},"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":"Q1037243$1596779A-0A1A-4DAF-B90E-9BEDF7D2E0B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66d57bc675bf315f688400473c1609a5b6486ef4","datavalue":{"value":{"text":"A rigorous methodology for specification and verification of business processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1037243$7077B253-BBDD-475E-9C55-7B3E0510AA3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbd98339ae3a57e0a2c474a7af5bda14f2d805c0","datavalue":{"value":"1184.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037243$E58C6E20-40F6-4A11-8022-BD6F10F40B33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa9402f715b9fea0d94178167e84e3f540b68dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$9EBD090F-1758-4B38-8882-FB7CF1720134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$0346B1EB-1567-4EE7-AEC3-031A117F7791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb0440f4d24a09bc01fb2b6999ed5812e4a2e1e","datavalue":{"value":{"entity-type":"item","numeric-id":1037241,"id":"Q1037241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$548019F2-EFD1-44AA-B940-E03A11288B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91fbff1e600bdfbebf3450cb5f8c1d52107f08d9","datavalue":{"value":{"entity-type":"item","numeric-id":1037242,"id":"Q1037242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$BB151063-2AD9-4F9B-A99B-4098A34D1E78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$D8618B4B-290A-4AB7-AC9B-4B33A7A92616","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f53dd3e5b38789996a6dcf854c0199193defe23","datavalue":{"value":{"time":"+2009-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1037243$845F015D-699A-4FC9-AE71-2118174DEF57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037243$A00AE766-FEDF-484F-9C50-AD36851AA91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f922ed572c459d541a1cb2edbcb542f34d01a074","datavalue":{"value":"90B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037243$9CE41924-E021-4507-8DF9-678D3EF5F05A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6457216187e5398a398c0136e3a92f3ca0a0d7a6","datavalue":{"value":"5633142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037243$2B498C15-6F7A-4942-BE19-29D3222E8EA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8bfb1bc37266464de93887be21b83eede7da1f","datavalue":{"value":"business process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037243$8B8A7444-FF6A-450C-B76B-12738DB1E14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6405dc695b2aeb45c175c399356f58ee85a3f851","datavalue":{"value":"unifying computer tool","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037243$9913EC9B-B79E-4384-A19F-5A3D488A39EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037243$5A931F0D-FE92-4E79-B7E6-9BDDAB4B5297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037243$6A683871-CF3C-4810-AC09-18BFD4E607D6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68889b620f959d2410d5024f9adee923736e93c3","datavalue":{"value":{"entity-type":"item","numeric-id":16818,"id":"Q16818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$1422C11E-89B5-4573-B396-4C8259375E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"042a9437b7b46d1b077ca1a024b0b14d602b6c76","datavalue":{"value":{"entity-type":"item","numeric-id":21511,"id":"Q21511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$2BFC2AC1-6710-4224-9882-A353F1A7C3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$03BE632D-7E29-4ECA-BDF0-47C208C61AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$EFB7B6AC-0430-445E-B936-9827BE6D0146","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":"Q1037243$0C5387BF-121E-4165-884A-C6F894343779","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1134254ea86cbf7230ea12a7cb654d8f966cbfc","datavalue":{"value":"https://doi.org/10.1007/s00165-009-0106-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1037243$A20C5213-A7F6-4BD1-A6B6-B00F7A6C6CD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"024fb8c588393eebacf02d06974dac5d987b0475","datavalue":{"value":"W2030435982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037243$C1B193D3-2045-4110-9354-5F618D7E43CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b53fcf9b5397f782a40e561f05724e5c3ea60a8","datavalue":{"value":{"entity-type":"item","numeric-id":2386352,"id":"Q2386352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$21594F45-FD1E-496D-9891-9F06E94D5200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$F483045C-1D06-4B97-AC38-EAA03E8BA65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$9E077680-8758-42ED-AD32-9EA96C73E65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab077cc32b3b3dd27fea3b986d79a2d1191d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2277848,"id":"Q2277848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$34D70571-809B-41B5-92D0-8424F0A24A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155a362f54f8a24c55b19836ddd09640acb45446","datavalue":{"value":{"entity-type":"item","numeric-id":4040147,"id":"Q4040147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$2C309638-FE73-4D92-975D-912F2BFB2737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b47b4c9526fb4b5aff0e914b6727194910e061","datavalue":{"value":{"entity-type":"item","numeric-id":4443408,"id":"Q4443408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$57A20E73-154E-4974-ADFD-FB9689BD9C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66d71147348a0e858d993be3b5a78966a8e324e","datavalue":{"value":{"entity-type":"item","numeric-id":4036286,"id":"Q4036286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$5CCC5C84-1FF7-45BA-BF18-598296D09F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37930b0e05a7c335cd484274c11b37ae7a7fbabe","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$B6BCB25E-29B5-4C72-9DB2-05CD7386DC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741c7d3129901eccb8c6a0c0e2bacc188c4905d9","datavalue":{"value":{"entity-type":"item","numeric-id":4728220,"id":"Q4728220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$47D11675-B403-4978-9890-B0253AAAE0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5b69a183828b385209bd1ba724897e9ac4d7ca","datavalue":{"value":{"entity-type":"item","numeric-id":5716889,"id":"Q5716889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$9ADE7C26-DA90-420D-98DB-8CEC80AE03A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba85b98e8e346ac6a87314074cf35bf1d70516f","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$E58F2629-58DA-45A5-B68D-43980E7B0540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564053aa3b3de56f8e8c4cad5b5d114b12c2081f","datavalue":{"value":{"entity-type":"item","numeric-id":3350793,"id":"Q3350793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$8724BC92-9AE4-4745-B8C1-485A4C868B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011d9ec7d87fe799ef66338fda7cc3487854c6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4737002,"id":"Q4737002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$402CF93D-FE76-45AC-B77E-47CB04907886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70536879af054717c0f3d9d913a10e93c328980d","datavalue":{"value":{"entity-type":"item","numeric-id":3853129,"id":"Q3853129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$56232F50-6314-491A-9A92-74BBC2210490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6f2edfd5a3382c351a5d55ce3e89424d265786","datavalue":{"value":{"entity-type":"item","numeric-id":5392169,"id":"Q5392169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$C08C0BEC-BC46-4BCC-ABD6-5FC488AD455F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4164930c80e191c797775caddd7ff2ab697a9d72","datavalue":{"value":{"entity-type":"item","numeric-id":672138,"id":"Q672138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037243$D863340B-BFAD-4793-B4A5-0D2454C708FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52d4478283533c7661b3f77b702b6f81d6babc7e","datavalue":{"value":"10.1007/S00165-009-0106-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037243$E187BF92-C97E-4C85-B549-4E06D3544A8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7c793024332f128650a12dc21cc4ecb0389e82a","datavalue":{"value":{"entity-type":"item","numeric-id":2292988,"id":"Q2292988"},"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":"Q1037243$8636BFF4-1859-4C13-BB27-73FB1783836D","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":"47cf24a77f4216442e521d015103b9cb08f5030f","datavalue":{"value":{"amount":"+0.797446608543396","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":"Q1037243$146A6706-42C7-4361-B5E9-4BE68AB1D5BD","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":"fd28871b49e5ef7006139a7596d70d4ab65852ab","datavalue":{"value":{"amount":"+0.7824270129203796","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":"Q1037243$B547E9F5-25CE-4A0D-A0C7-3B6EB4E78FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9cb508944157b7f40c640ddc0abd1abb6cced6","datavalue":{"value":{"entity-type":"item","numeric-id":1859984,"id":"Q1859984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5deb46f00b0faf151845fb0a887c15fde6d35867","datavalue":{"value":{"amount":"+0.7807541489601135","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":"Q1037243$5EF9AF4D-00CB-40DE-AA3C-9FBC25E77490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742d32c4e2aaa2f145e58e04597cd636ff250437","datavalue":{"value":{"entity-type":"item","numeric-id":3614667,"id":"Q3614667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e0a3ca06e45298cae8dde405566ee8424f8ecd","datavalue":{"value":{"amount":"+0.7700648307800293","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":"Q1037243$FCD2B65C-C7E2-41EE-9045-20531E4C6452","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A rigorous methodology for specification and verification of business processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_rigorous_methodology_for_specification_and_verification_of_business_processes"}}}}}