{"entities":{"Q1567413":{"pageid":1578153,"ns":120,"title":"Item:Q1567413","lastrevid":67987875,"modified":"2026-04-12T20:41:20Z","type":"item","id":"Q1567413","labels":{"en":{"language":"en","value":"Verification of workflow task structures: A Petri-net-based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1455746"}},"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":"Q1567413$935D4A64-F72D-45B0-9975-F626E89ABA75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd8c628553e03d89ea9f8fdb6906f4379439d73e","datavalue":{"value":{"text":"Verification of workflow task structures: A Petri-net-based approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1567413$BC0FE14E-EF49-41C9-ABC9-0B0A767776A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f67334f7f41bd67f03b47fc23f43f784f49b4de7","datavalue":{"value":"0956.68521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567413$B94006CE-06BA-4DEF-9861-D7C4CB04E60C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24ffcc8d2336e011e434c1d15bc226ef7b460385","datavalue":{"value":"10.1016/S0306-4379(00)00008-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567413$07F028D1-4B7D-494A-A5C0-6B7192455CFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7fe36fd2bb31b984a91cc58296cc98d9c9464db","datavalue":{"value":{"entity-type":"item","numeric-id":202489,"id":"Q202489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567413$7EBF0796-2EEF-45E2-A2A3-40E6F2ABB2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4921c7696c9212305f189a2fe1387286a14fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":973033,"id":"Q973033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567413$CF3276EB-057F-4ABD-ADD3-88D81F675926","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62e0251915bd7b9ecd6daf39f97f5bb27a9c612e","datavalue":{"value":{"entity-type":"item","numeric-id":82364,"id":"Q82364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567413$CDA52EA8-47A6-418A-B961-D111B5495C7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b296ecc9fb2c30a514c2239a7c726ce0b9568fb8","datavalue":{"value":{"time":"+2000-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1567413$4EECE1F0-E25A-4115-BEA5-A122A0F24502","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567413$25F3ADBD-890E-4F32-81E4-FE9787D438C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567413$0313E7CE-389B-4CAD-875D-514D6013ADF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09db72c585f58a0f1406476d0a541405f00c1494","datavalue":{"value":"1455746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567413$96C9F8B0-27EB-4C27-90AF-9EE34D008EC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4419a48ae9c7a41fc0e972546fa64f0753904b07","datavalue":{"value":"workflow management systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567413$DA4724A7-3F3A-4FAD-9183-AED2696FF8FC","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":"Q1567413$2B263C70-952A-4CCB-B20B-E267A3BB81AA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"616d5f57d8be1393cc03d1584a8aa72a918d4048","datavalue":{"value":"Q57006180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567413$D49507F4-923F-4595-9B97-67D99EBDD3F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58efe3d674fb677ee264a01493606eab2fd0da27","datavalue":{"value":"https://doi.org/10.1016/s0306-4379(00)00008-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1567413$2A250C36-DC00-4DB9-9CDC-F7ABBA2142B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a89f3e66c789d49425d2e7edd49355d5c96d796","datavalue":{"value":"W1976132482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567413$3CD0F5E9-0E8E-49B5-BBB9-B89FBE77B2CC","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"216d2eed05ca810822f5f60488568e37e97cd6e6","datavalue":{"value":"journals/is/AalstH00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567413$60DF1044-65C0-447B-8958-DFC153AD8F7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20a4229486e9e767687721be6c75592df8a2ad0","datavalue":{"value":{"entity-type":"item","numeric-id":4827275,"id":"Q4827275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3265ec0cce1228fed1e36bcf6199631497c9f47a","datavalue":{"value":{"amount":"+0.8823550343513489","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":"Q1567413$8A1E4D61-16C0-401C-BDF7-819A1CF997CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145be1fb57774c9df63c4913335b2fbec085ceb3","datavalue":{"value":{"entity-type":"item","numeric-id":6485727,"id":"Q6485727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0f1e395d218c22cf22a300b6c900dabb4541e7b","datavalue":{"value":{"amount":"+0.8454561829566956","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":"Q1567413$DDCCADB7-255A-4DAF-ADE5-245CCAB45424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd641057a449136fe37846a58fed0daeb806c65","datavalue":{"value":{"entity-type":"item","numeric-id":5291146,"id":"Q5291146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036d40093b54794e510eec37fef104651e18be15","datavalue":{"value":{"amount":"+0.8299319744110107","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":"Q1567413$1333F4B2-B85F-4E9A-9238-6A5BEEF15643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6097d6d8ffd799aa7b4c677d105c34b45a3068b","datavalue":{"value":{"entity-type":"item","numeric-id":5314418,"id":"Q5314418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6acd5335b1caa2e921cdc913ce93cdeeb3cf1801","datavalue":{"value":{"amount":"+0.8206942081451416","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":"Q1567413$DAFA73CD-17C9-45B7-BA66-0CCBD24EE8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0bc5360945e8536169218e0da05d70634b53d0","datavalue":{"value":{"entity-type":"item","numeric-id":5315740,"id":"Q5315740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0adbdcc98d65cfab102b4998f8f598021041d641","datavalue":{"value":{"amount":"+0.8001572489738464","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":"Q1567413$1C26FC48-B160-43F3-9EE6-6EBF46EE3718","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of workflow task structures: A Petri-net-based approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_workflow_task_structures:_A_Petri-net-based_approach"}}}}}