{"entities":{"Q3452466":{"pageid":5230451,"ns":120,"title":"Item:Q3452466","lastrevid":80696891,"modified":"2026-05-06T16:47:40Z","type":"item","id":"Q3452466","labels":{"en":{"language":"en","value":"Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507839"}},"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":"Q3452466$2C90AA3F-B567-48BE-A423-D81594CEA7AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b4522bfa7735a5b2acb0498c4b74210e83fbae3","datavalue":{"value":{"text":"Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452466$8702998B-1497-4689-9557-155AF854D9C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bb4e92e6790b9e95a6a82918ed9911687983848","datavalue":{"value":"1428.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452466$20AC75F7-5221-4271-8E0D-40933742BE64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcc27037f4f133ac2fb8a7f9ff1fe04aff4b2433","datavalue":{"value":"10.1007/978-3-662-45730-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452466$8AC97C81-46EB-45CF-B250-BD897A95081C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b7cc9cd5cc7a92274ca6227a1c32481c3d87997","datavalue":{"value":{"entity-type":"item","numeric-id":174522,"id":"Q174522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$BA7779D6-2D57-4C16-A1F1-2C59BDBD8C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"debfedf6f4657203170842670e6619e00f5b8d60","datavalue":{"value":{"entity-type":"item","numeric-id":1662524,"id":"Q1662524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$7CBB6AC5-0AC7-4070-995E-CC98F36F6CA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$7BBB8AE1-836A-4E5B-9D56-B6E409585879","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71643381478db16842aca8a65809169d222f8d61","datavalue":{"value":{"time":"+2015-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452466$4A542A2B-2CC6-4840-B938-839BAEA4056E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452466$C8CB3FDB-299C-4378-88BB-352DD360EEDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3101a4af3cf9d0d68389812140abe0601875f5fb","datavalue":{"value":"6507839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452466$17051F3C-4954-42D7-85EF-49470331B7F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452466$C5457502-4364-4C36-A9DB-4B6F5DFAB209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7bd1e9c2ad5b160cb484dfbd5dec03ad141acef","datavalue":{"value":"workflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452466$511BB9C4-F34E-4AFD-999E-96D8548B8A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452466$192C97D2-D03C-490C-9EFF-B1EDB6477BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2ba1f3a9d37aa907198949c7415e4bc2ead980","datavalue":{"value":"modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452466$BCA07B90-266A-42BC-AC07-86EBE5A2FF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452466$62731D9B-AA11-4B82-B76B-E5E532B8B024","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":"Q3452466$122FFA8B-7306-4752-87CC-1EB390F2DC20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cef7c2250970e1c29cacc2dfe8b2e01e3d119d54","datavalue":{"value":"https://doi.org/10.1007/978-3-662-45730-6_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452466$210A63A4-3DAD-41C0-B67F-0976551592F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13b86c5ed0595998095d659475c85b5393c74036","datavalue":{"value":"W8250348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452466$DCF5559F-6D0B-4EC7-A074-A8B3CFD5D485","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb8b020e4d3f5bacacd5f3a7479d3cd33ad53be4","datavalue":{"value":{"entity-type":"item","numeric-id":539433,"id":"Q539433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$5CCE5101-8EE4-4766-9251-E3880BA0F4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8485296520fe3d505e9f3c097bb6752db8cffa","datavalue":{"value":{"entity-type":"item","numeric-id":4251918,"id":"Q4251918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$441B9DFF-8EA3-49FA-B5DD-E9616BEFF1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149448f7ebf9981dcc61ed5130c348304704cc74","datavalue":{"value":{"entity-type":"item","numeric-id":1758678,"id":"Q1758678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$15A59AF4-11B2-416C-AC6F-EEDB59094029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb1ea500557acce1f00a63350385d2972de8689","datavalue":{"value":{"entity-type":"item","numeric-id":4461752,"id":"Q4461752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$17AAF5E5-C3C7-4458-AE5E-1064540A1F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436c0dc5adb2cbb0ef0d1b8e6d5d237ea8534e96","datavalue":{"value":{"entity-type":"item","numeric-id":3097962,"id":"Q3097962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$E7F13DD8-BBAE-46A4-B113-CCEAD379432E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4040b4cc147986ed708c3f431b3ba03bfd9f805","datavalue":{"value":{"entity-type":"item","numeric-id":464873,"id":"Q464873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$E538F6FA-0328-42E1-94F8-4F2BA4AE658E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad60ad78ffd56b8de088d6eb46ad7224efb0658","datavalue":{"value":{"entity-type":"item","numeric-id":4902318,"id":"Q4902318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$F0CF9006-90B3-4378-A8C5-1B61F83D6EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12976c2d0ea34f80055d425272209b25c8508b2b","datavalue":{"value":{"entity-type":"item","numeric-id":2772443,"id":"Q2772443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$4ACF047E-B13C-40F9-A90B-F57ED3363F4E","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":"Q3452466$00128468-DEA0-4008-BBBC-9E1D1D494657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4891d24a57b8332c6d4a94a972ea02c5f5ccac","datavalue":{"value":{"entity-type":"item","numeric-id":5713505,"id":"Q5713505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$9D68D364-3627-4725-8E95-65081955BB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f33711d12669fbb8ef361f923f8e5b9b6541e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5422282,"id":"Q5422282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$3B485FE1-9118-4971-B5E6-8C3E40B3A857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$B04EA1AD-CBB7-43A4-99A8-28B369612354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c06e7ffc50410d9fb3b22f877a0aac30fb0e1a8a","datavalue":{"value":{"entity-type":"item","numeric-id":5411652,"id":"Q5411652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$E05AF665-1ECC-4557-8D0A-FEAC7310A57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc0b312c3a7cb12d541e0145908ba75194c0f88","datavalue":{"value":{"entity-type":"item","numeric-id":1044705,"id":"Q1044705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452466$C7B15587-427C-447F-9238-E75F518D9401","rank":"normal"}],"P1643":[{"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":"8106693606eafd16cc17253ffdc0f680d84e2e1e","datavalue":{"value":{"amount":"+0.91289747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452466$CBC6B2AE-3172-4BD6-85CB-420F7703807D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b8c3d277532655027ba91206ebcc86f93f9a04","datavalue":{"value":{"entity-type":"item","numeric-id":5712330,"id":"Q5712330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a48f49d35315cb739ff456050d9f46dd6c2b42","datavalue":{"value":{"amount":"+0.9109144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452466$AABBE7A8-3677-4503-91C6-E6E7AE371CA6","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":"3d060b81d69cfd6fce7493a3e51545e0fdaa49f0","datavalue":{"value":{"amount":"+0.9062635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452466$08BD7C0E-0CD3-40C9-812D-25E600963AE5","rank":"normal"},{"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":"0998bcb1b53de6d77b3d11913c0b2e67e779d6f5","datavalue":{"value":{"amount":"+0.9004599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452466$204E31AE-9779-4E7A-8175-33E3D540BE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8bcb6cc30368410d3d3da616e53960ca305af7b","datavalue":{"value":{"entity-type":"item","numeric-id":1044705,"id":"Q1044705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca363df730699a69c691e5c6239f1c82ebbe0d5","datavalue":{"value":{"amount":"+0.8988096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452466$59B2CD56-4B2E-4C70-BDEE-EC2567640FC5","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":"2b09890ee9401c5fd532f316c538d065eb88ad34","datavalue":{"value":{"amount":"+0.8953147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452466$EFECB5A0-C4B0-4015-A05E-760DAFB2ADD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a819a44d02b6d0c44025310062f37f853217a29b","datavalue":{"value":{"entity-type":"item","numeric-id":3401950,"id":"Q3401950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36815af338a003cb7f35efc6452865e7e6a854c","datavalue":{"value":{"amount":"+0.8687703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452466$D1113439-14B6-4162-AE0F-A395803A5479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc532b7b33b17b3e70dee37de1590c690f2d6aad","datavalue":{"value":{"entity-type":"item","numeric-id":6487345,"id":"Q6487345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5fa593f4650caf15a1516743de4161d065d8f89","datavalue":{"value":{"amount":"+0.86201143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452466$35979012-9517-4BB8-BA83-9CB8BB806437","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource","badges":[]}}}}}