{"entities":{"Q1007883":{"pageid":1009731,"ns":120,"title":"Item:Q1007883","lastrevid":66659613,"modified":"2026-04-12T11:36:51Z","type":"item","id":"Q1007883","labels":{"en":{"language":"en","value":"Soundness-preserving reduction rules for reset workflow nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5531324"}},"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":"Q1007883$E43298F8-FC10-483E-B247-D9BA3F851DFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0a86a7fc92d0e8d6f0b2f3091e5f8fcd87cf3ae","datavalue":{"value":{"text":"Soundness-preserving reduction rules for reset workflow nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1007883$AAFC57FF-9851-4730-BA76-ECD6155652DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66c77baa297160b82018df9f8464dd361cb930dc","datavalue":{"value":"1162.68488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007883$531FF470-7467-41CC-A78A-E170F0E1FD13","rank":"normal"}],"P16":[{"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":"Q1007883$3A0E1C7F-FE6A-4F31-9D81-0DD3FAA6DC2A","rank":"normal"},{"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":"Q1007883$EA3C6058-41B1-4E77-9664-5B7EF5490743","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":"Q1007883$B46DA7AD-BA37-46D7-B013-84A6E2535D10","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":"Q1007883$E54603FF-A360-4CD0-BF0C-E6ABA6112A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e10da60e99c52922c1c76a20b46dc7f7d27eaa89","datavalue":{"value":{"entity-type":"item","numeric-id":2466383,"id":"Q2466383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007883$53785ECF-E5A0-46A1-A7D8-B51A547FF997","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007883$AE8C6BAA-91CD-4AA9-860A-D3F6AF2324EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1007883$6420D627-139B-43A5-B5B2-BD57DB24E9DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007883$C12742B4-7028-47CC-AE0B-65AABFC9B61A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b13eed1867c82b827fc4c2ceb1690f73f9caf139","datavalue":{"value":"5531324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007883$87DCAE6C-184B-425C-803B-96ADFBD336EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421425f18e5332a5a5f0be3597daffb7a848e540","datavalue":{"value":"reset nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007883$C97D76AF-483B-48E7-BF60-939A4EAEBD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88fa6badd7edb3c0a3f34209a06dc32276b43b6a","datavalue":{"value":"reduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007883$E476EA3B-E95F-4317-8977-E02E35134786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e990ddcfd4945f62df40887cd4ef6736490e1579","datavalue":{"value":"workflow verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007883$2014D427-150D-4D87-AAE8-8C6D37D77129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007883$46FF91E9-5852-440C-808D-C0638E59D183","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"67ddcdaa593dc4c423b8228d8338a38afc45b327","datavalue":{"value":"Q57005564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007883$48E37B73-178D-4439-B097-A9FBA874A9BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c59b3e9560faf9a1fc9bc5f21675991982ae6e4","datavalue":{"value":{"entity-type":"item","numeric-id":16564,"id":"Q16564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007883$AE6C3A44-740E-4C6B-B009-175DEF8DDD08","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":"Q1007883$074E608E-5A41-44A3-90FB-3B72A655AE65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49a4c672ae97cd35557076a4ce4a1384a70f649c","datavalue":{"value":"https://doi.org/10.1016/j.ins.2008.10.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q1007883$53E90FB0-FBCC-452A-9785-03C3BBD35FD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73dd8d7f090d3143b1f7b40d40fc476e50483fdd","datavalue":{"value":"W2137594927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007883$7A56DA59-DEAC-4112-9979-D0D6093B068F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b5d276747526999acc12bd584b8a822ad010f2","datavalue":{"value":{"entity-type":"item","numeric-id":4953845,"id":"Q4953845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007883$2C01DA5D-4065-4866-AF8B-747ACCFEFD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52379699f99bbeb16c78da8adb4b357130085565","datavalue":{"value":{"entity-type":"item","numeric-id":5712274,"id":"Q5712274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007883$EDD9C127-8B8D-4360-A9A6-3FCD82B78272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1585abe38b30ffcb2ab1ee21cf12748dd806d44c","datavalue":{"value":{"entity-type":"item","numeric-id":3773358,"id":"Q3773358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007883$1CCC5168-6BE3-4E89-8DD6-11A61E8A0B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd07be7c992ec078b868a15305f585a354972dc7","datavalue":{"value":{"entity-type":"item","numeric-id":5712276,"id":"Q5712276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007883$F29D540F-BC77-479C-BBED-7FBB237403C8","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":"Q1007883$73AA2C93-EA1F-4204-BA1A-03EEFFB8549B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007883$C3567B76-E223-47A8-B19F-4D46DC3B9073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b535dfaa1c90eb455e7f79ab1884232d5aced7","datavalue":{"value":{"entity-type":"item","numeric-id":4938633,"id":"Q4938633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007883$7B43E964-FA92-48D0-A5A6-A707EE0E8BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20fd256a0f4aeec06022a5b29d0de9ee5960e4e","datavalue":{"value":{"entity-type":"item","numeric-id":2842877,"id":"Q2842877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007883$198461CE-988F-4CC6-AB78-CF8079963440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007883$A7BC29F5-E481-4E7D-9E60-88CD1443DECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4cbdbea2b568f2eb9db129f3f21a324e505e569","datavalue":{"value":{"entity-type":"item","numeric-id":5712330,"id":"Q5712330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007883$9AF74CA0-1F94-4090-BCDF-B99DF334BBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707b54a4bccbacbff9e7679b97b5b7993d04be60","datavalue":{"value":{"entity-type":"item","numeric-id":1924994,"id":"Q1924994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007883$9CAFE242-265B-4A34-B097-9F2FA375BC3E","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9dfdd1690b254b775da60d2825303697d4560d93","datavalue":{"value":"journals/isci/WynnVAHE09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007883$74AB4E18-4765-47E8-9837-850D94930E3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f044e162fcf595cb9297fc970e62901d1dc4a35e","datavalue":{"value":"10.1016/J.INS.2008.10.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007883$B0D50497-7A39-4CF0-9D42-31EF571B4574","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8693c9a01dc3fce4a9f4e5f7be1ec576983152f","datavalue":{"value":{"entity-type":"item","numeric-id":847264,"id":"Q847264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d9b2d4e9bc85a9920ebdb0b524195ea14a07f5","datavalue":{"value":{"amount":"+0.8267565369606018","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":"Q1007883$23FEB3FC-5C92-4553-95FB-A8043F5971AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8feb66796e4d645ed62c11c38be7620d4d0fd23c","datavalue":{"value":{"entity-type":"item","numeric-id":3540385,"id":"Q3540385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad771a44608b8690f968b9d14a938bf07b3c2478","datavalue":{"value":{"amount":"+0.8239275813102722","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":"Q1007883$BD04211A-F8AF-41F7-9D48-F9A98CE38140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db02f1889bdf7b4ffeb2f5276a0b2e2e2c5c1a8","datavalue":{"value":{"entity-type":"item","numeric-id":3651240,"id":"Q3651240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ee7c102f8e77b8e2c271a9c5c320179256e2cc","datavalue":{"value":{"amount":"+0.8215799331665039","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":"Q1007883$852FFCB4-A432-4E60-8C86-4039DED431A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d8345832f30af4879dd58c959535d44cc2f76d","datavalue":{"value":{"entity-type":"item","numeric-id":2961558,"id":"Q2961558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5844ca5803261f610115869a4ad816b7c787a05","datavalue":{"value":{"amount":"+0.8202272057533264","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":"Q1007883$59E195BE-6DCA-4B15-AC33-A58886B482EA","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":"3c88c279c5588b0c342b3a24a1fbd418150381c3","datavalue":{"value":{"amount":"+0.7859298586845398","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":"Q1007883$70E66F46-F7C1-4EFA-B746-352FAE0C46A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Soundness-preserving reduction rules for reset workflow nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Soundness-preserving_reduction_rules_for_reset_workflow_nets"}}}}}