{"entities":{"Q3651240":{"pageid":5681146,"ns":120,"title":"Item:Q3651240","lastrevid":81011834,"modified":"2026-05-06T17:30:51Z","type":"item","id":"Q3651240","labels":{"en":{"language":"en","value":"Soundness of workflow nets with reset ARCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5644177"}},"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":"Q3651240$1BC2AFF0-CA79-42EB-BCE4-15FDDD0A7276","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18728b8bd42d9f61001e3a6b0cc6a8fa44ac2711","datavalue":{"value":{"text":"Soundness of Workflow Nets with Reset Arcs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3651240$AD19A13B-9D3C-40C6-8523-B38128A5E5A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b87d9b3baf7aadb9c3d794469432b0596e0c9e12","datavalue":{"value":"1266.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651240$8C0BDEAA-C963-43E8-86F2-3FF2BFAC4A97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84b5b3f3df9ab0ca53d0109b7067348c88e6ea65","datavalue":{"value":"10.1007/978-3-642-04856-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651240$16AC7B5A-D149-470F-9AAF-768382EF6FFB","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":"Q3651240$8A5D9667-24BD-4874-A05A-843EA91E8559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa54c2c5bd304fc6da67bada902d87967682023d","datavalue":{"value":{"entity-type":"item","numeric-id":238184,"id":"Q238184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651240$2B659258-535F-4960-B0FD-69D55746CD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b87a2cb042dcbb35c9ae909fab00283179c59a2f","datavalue":{"value":{"entity-type":"item","numeric-id":539431,"id":"Q539431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651240$FB276A38-8071-454E-8609-8C79B8C1373B","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":"Q3651240$D38742BE-CEB2-42C6-81CD-3D17D0573B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a60a15cfbea43471ccbd146befcae6bee6ddfba","datavalue":{"value":{"entity-type":"item","numeric-id":975495,"id":"Q975495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651240$8A599EC7-D3DE-459C-B713-82BD95CE34D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1dc6cdd5d4a24a1dfb60a4bf78ddc98fe9f8bf","datavalue":{"value":{"entity-type":"item","numeric-id":974132,"id":"Q974132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651240$7DA81EA2-CD67-4442-9156-8923E02E873F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53d8e8bfa63c5e6c95935f735d54e51c4634d277","datavalue":{"value":{"entity-type":"item","numeric-id":2117179,"id":"Q2117179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651240$8D56EB92-C0B1-4FB7-96E0-007789E853BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf30e77bab92abe10e3d0cadd9cc32c77cb0815a","datavalue":{"value":{"entity-type":"item","numeric-id":3651239,"id":"Q3651239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3651240$AF9C08CE-C2A0-4417-A127-0677CE4F94FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9dc9012af01361476b44df692f016594cc25fae","datavalue":{"value":{"time":"+2009-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3651240$CE57CD74-86FD-4B23-A984-82B0A156A8F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4b0e3b2c44194b7f672687252d5a8b5425c11d2","datavalue":{"value":"https://eprints.qut.edu.au/40782/1/c40782.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3651240$0AA4708E-5DDF-4C02-897A-3845536D1D98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651240$A17C6D86-363E-4E94-B28C-99200D416230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651240$016F0DA8-C1CB-4AFF-911D-3F543D9E5945","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9ce327e3d93b0bae1cb98c75219e34be6cbced2","datavalue":{"value":"5644177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651240$31012BBE-1597-4A15-A8A6-3801D23E1EF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3651240$20829D1E-90CE-4EA0-95B1-7830E78A6CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3651240$1E900B16-2A1C-468C-87F7-07AEF34BF295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10b9538c80197e6ba0fc61c608da685539288ab1","datavalue":{"value":"workflow nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3651240$C1D259F1-7F2D-4250-9DF2-B5782FB6608C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421425f18e5332a5a5f0be3597daffb7a848e540","datavalue":{"value":"reset nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3651240$E20750C7-802E-48C0-B22E-FF8E19563B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3651240$AC387F30-D9BF-4593-942E-E77F7C2ECFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3651240$5F24CA6F-28EA-4B32-8826-E18840797AD9","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":"Q3651240$908F4B51-BF1E-43CE-8B22-C25BE7BA3914","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84cb86a53c2af6f9c1d07195b890e12de7d8d798","datavalue":{"value":"W2153546266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651240$FC1EA7B8-8C34-476C-96CB-3E441BB6088B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d09ab8bd6afaf117f377e5ad958fdfb8c0b65269","datavalue":{"value":"Q57005560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3651240$A3404300-09E1-44BB-ACD2-E0406A46D8A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2247a0a44d235240a33958a7475500773b9ee9d","datavalue":{"value":{"entity-type":"item","numeric-id":539433,"id":"Q539433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa1616b80d8d34590d074891ee41e5d3ba02bcf5","datavalue":{"value":{"amount":"+0.8862246870994568","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":"Q3651240$90E769AB-FEB7-4972-A954-11121C2BC557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a65ddb8fa6d423933976c315800c95b1613877","datavalue":{"value":{"entity-type":"item","numeric-id":5713505,"id":"Q5713505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926b5c6cb9958d6cd89fba497d326d9416bd4ade","datavalue":{"value":{"amount":"+0.8614612817764282","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":"Q3651240$CD531019-A418-4E79-AF24-D99DD73CA095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75eeecd97aec279cb9423d8c9da88b547fce0f54","datavalue":{"value":{"entity-type":"item","numeric-id":5415301,"id":"Q5415301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b202cad31d0ff27d61afbc940082b75fb7c33d","datavalue":{"value":{"amount":"+0.8396050333976746","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":"Q3651240$8AE1BAF1-B286-44B7-A6F0-554875EBBA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4358af743a70c1e9334d953f375587be8de7afb5","datavalue":{"value":{"entity-type":"item","numeric-id":2908201,"id":"Q2908201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edfcd5acbeb02e2bf5273332e70f4b8405a48da0","datavalue":{"value":{"amount":"+0.8332875967025757","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":"Q3651240$691A44F8-96C0-4332-A2BF-D706DE6E32B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"275be79d981fda9f7c4d87070234057138256759","datavalue":{"value":{"entity-type":"item","numeric-id":5166756,"id":"Q5166756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"959fb9e0d717217e2871a919102fa0ccfc6998fa","datavalue":{"value":{"amount":"+0.8292440176010132","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":"Q3651240$01269005-6FBE-461F-8E63-C4539842F73C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Soundness of workflow nets with reset ARCS","badges":[]}}}}}