{"entities":{"Q464876":{"pageid":466643,"ns":120,"title":"Item:Q464876","lastrevid":62028729,"modified":"2026-04-11T03:18:11Z","type":"item","id":"Q464876","labels":{"en":{"language":"en","value":"Algorithm for formal verification of business process templates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6362554"}},"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":"Q464876$8A1E4B47-8EB3-4C25-BDC6-1E447590B768","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8d372b007b1d4ca8fd66bcb4b971bf5c217de81","datavalue":{"value":{"text":"Algorithm for formal verification of business process templates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q464876$8BF9CEC4-7B56-4BCA-86C7-87EA5B129A89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b41faf57eb30f7c300f680a8b8d84fae3e7d4daa","datavalue":{"value":"1298.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464876$2307B6DD-2062-4A53-BC86-613B091BF2E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5df3130300341650c4b31e83a6ecf238002b7f50","datavalue":{"value":{"entity-type":"item","numeric-id":464875,"id":"Q464875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464876$F2CE81C6-D48E-497A-9AC7-DEB284B72092","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464876$536A67D7-2B09-4E13-BF14-AF6C526C7BE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62774f41986194a073c70bf87650bc9fc27a2473","datavalue":{"value":{"time":"+2014-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q464876$933E0921-B9E2-4167-977C-998A947EB048","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464876$33891862-FCEB-4E37-8FBF-98605B8E2F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464876$F86D9DA8-1D39-4001-85E5-49FEE56E64A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce9af49eebe195a5786b20f9532bb4c9bc6ba452","datavalue":{"value":"6362554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464876$1312B1A7-505A-4692-AA1B-99EF5D448045","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8bfb1bc37266464de93887be21b83eede7da1f","datavalue":{"value":"business process","type":"string"},"datatype":"string"},"type":"statement","id":"Q464876$FC93AEAE-8712-4783-A135-2BEC36D7B27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8110917ad340d247859c096ceb8e45b08584945c","datavalue":{"value":"template","type":"string"},"datatype":"string"},"type":"statement","id":"Q464876$32E676EB-8738-402F-BBDA-BB87E66B07C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q464876$8396947F-1B98-4C23-BDF1-468A9B90A4ED","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":"Q464876$78D3B0E1-40BB-4E98-827E-1488E8C53B65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e94a3aaaafbf5213062cd56cf9fbb67c5084bf6","datavalue":{"value":"https://doi.org/10.1007/s10559-011-9305-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q464876$EB34ECD1-A774-4896-BD34-652DB372EB6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdef70d557780f0d9e8e09275c605a39f99f2948","datavalue":{"value":"W2074104032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464876$76295228-2B05-4BDE-BB3D-1704D2ABFFB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340c1df3fd9906ddd804645eac2478ee341a6a11","datavalue":{"value":{"entity-type":"item","numeric-id":4943602,"id":"Q4943602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464876$91D73698-D787-443E-B310-0FB1F74758B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5615be6a0ca317deca788c5928065f9f47566a","datavalue":{"value":{"entity-type":"item","numeric-id":4079026,"id":"Q4079026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464876$801D421A-6808-43A7-B78F-00263721404D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93484e8ec220b261cb764722c283ac67e15d023","datavalue":{"value":{"entity-type":"item","numeric-id":4060384,"id":"Q4060384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464876$3D75235C-E8B1-4E71-8A33-836C4904223F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bae8f3cc9ada39e809210eff4ffe6cdf439ca0cd","datavalue":{"value":"10.1007/S10559-011-9305-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464876$A302953E-FA91-4EAA-A391-B96454AF3AE1","rank":"normal"}],"P1643":[{"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":"827486278649d665299b4128c16696f27fa9b6ba","datavalue":{"value":{"amount":"+0.7467081546783447","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":"Q464876$75C365BD-BE72-433D-912F-182398BE2023","rank":"normal"},{"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":"2ab5a14576e23d55f78baa2ac13537885e71151f","datavalue":{"value":{"amount":"+0.7415334582328796","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":"Q464876$F6AADE8C-64E8-46C6-87B2-38B7D17DF840","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":"507c6d846a8304b71e02b1fc6cefdca6a9e845b1","datavalue":{"value":{"amount":"+0.739998996257782","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":"Q464876$316CC37A-7F08-466F-96B0-F99898F8E2D2","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":"d8a1f55ae141c24f42e88d101c05732dfb38d796","datavalue":{"value":{"amount":"+0.7278076410293579","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":"Q464876$A9BB215C-50B4-4666-89E4-9617E1B1A9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64441e37c591489ff597922ddec7efc1e1755537","datavalue":{"value":{"entity-type":"item","numeric-id":5398302,"id":"Q5398302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a41bb9353b4f505ced26d6ede34b997b3faea7","datavalue":{"value":{"amount":"+0.7276802062988281","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":"Q464876$50247A27-E205-4C1C-A93C-4AA3FA821870","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithm for formal verification of business process templates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithm_for_formal_verification_of_business_process_templates"}}}}}