{"entities":{"Q5100757":{"pageid":7130333,"ns":120,"title":"Item:Q5100757","lastrevid":54393677,"modified":"2026-01-26T18:15:21Z","type":"item","id":"Q5100757","labels":{"en":{"language":"en","value":"PSPACE-completeness of the soundness problem of safe asymmetric-choice workflow nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7580933"}},"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":"Q5100757$1B3A2F10-4D54-488A-96CD-7DD42A762F43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8a8be50e7d368005f9bb4b92adf8bf1f5b4a7cf","datavalue":{"value":{"text":"PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5100757$EF24DE48-0746-4444-9055-EB6411353A89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3650e67408024107a5c36e3a0877ecea5d0edeb","datavalue":{"value":"1503.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100757$A4716F2A-3BAC-48F6-A88E-A557442646D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82cf29909f76177444545a9f7a2b4729c9cd73ce","datavalue":{"value":"10.1007/978-3-030-51831-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100757$08D7F86F-5D4E-4045-BEFC-EB8BA85DED90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec015bbb3743dceb56b9db254618a164f08d1642","datavalue":{"value":{"entity-type":"item","numeric-id":989541,"id":"Q989541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$B0AF34A3-C63D-4619-9FC8-59E4BC8B853B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f13fd0901135ebf0e2b5744f50cafda14949457e","datavalue":{"value":{"entity-type":"item","numeric-id":2822648,"id":"Q2822648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$82C1B1BD-22A2-4C50-A9B9-41ABF8C251D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f8103c39d04c6902efbf808a8b0b8b468836cc5","datavalue":{"value":{"time":"+2022-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5100757$760951D9-2AE4-4AA9-A375-A3A49861F6EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100757$EFBAE7B3-4B06-4006-B7A2-3AD37C979B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100757$AB27CDDE-70A6-4B3C-B1B6-6E3CA05B3D8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab453a7942ea73db0a84bc01b464fbf70798ad8e","datavalue":{"value":"7580933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100757$9A09CD9C-3C6B-4648-A755-37B87E9D7C68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100757$1BB9D696-D769-4C27-A3C3-A8341705CFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10b9538c80197e6ba0fc61c608da685539288ab1","datavalue":{"value":"workflow nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100757$37856541-6FA2-4B15-B454-6A6B4FC84BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81f12493636c9b701822c270122bee5bf3d63526","datavalue":{"value":"asymmetric-choice nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100757$E86FB0DC-422B-414B-9931-5E142D44EAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100757$D5589459-88B6-4D0B-AA75-94C9121A9101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100757$2F2593C9-B31E-4AC5-81E9-C6F18B85A3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b7528120ef50a8f5205cf42893c121e1d21b40","datavalue":{"value":"PSPACE-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100757$2B403EB7-6922-4B4E-AA38-8DD46677EB49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60b8e55f3f29a0f57340b1fe22d12477b0edff08","datavalue":{"value":{"entity-type":"item","numeric-id":37689,"id":"Q37689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$308C9CB4-B8B7-4E95-95EC-D4DCA402E7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad64f3e9ea5ca38f1894f21a5db4d937e706b919","datavalue":{"value":{"entity-type":"item","numeric-id":16554,"id":"Q16554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$84C0A4ED-6238-454A-812B-BCF6340AD96D","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":"Q5100757$D3C05F9E-B505-4A3F-875C-266825B54F30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7ae077dcfd9a2113e86c966678fd07f57045d6c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51831-8_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5100757$9E9A1C97-38EA-4FAC-86F7-A9D491BDBB6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"203648d728638ec8c60507ea172c93594b39129f","datavalue":{"value":"W3037792315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100757$668610C5-0850-4471-BAEE-430401448978","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6014abe34bb5750917a916334514943212fdc4eb","datavalue":{"value":{"entity-type":"item","numeric-id":4952938,"id":"Q4952938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$D7CE410B-6D3C-401C-8B7C-9703C77B728C","rank":"normal"},{"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":"Q5100757$2599169D-23DC-4C6E-AA22-37EC13FF0EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb60aa9dfa02dbe8dce73bf63a7b212f61bf5e49","datavalue":{"value":{"entity-type":"item","numeric-id":4633154,"id":"Q4633154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$92888FC0-807A-4A9F-9F2E-7CBCA72DA7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f3400e4329de0b90335093abbd053e6d91ef84","datavalue":{"value":{"entity-type":"item","numeric-id":3771633,"id":"Q3771633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$3BE1AE25-1CF8-44FB-95FC-BC8FC22E54D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d087393a33cf3c7f9534537ec518dbba20345ac6","datavalue":{"value":{"entity-type":"item","numeric-id":672459,"id":"Q672459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$DEE2BED3-272C-4D38-96E3-A10A95B3588F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bea33521ecdb5b888af5771509d9c6124d3eea","datavalue":{"value":{"entity-type":"item","numeric-id":5212744,"id":"Q5212744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$1438908A-C5DD-4C83-9E8F-4055C0AAB9AF","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":"Q5100757$9F523984-C7FF-40EB-83DA-00C2C595F47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a07b2833898cf53150cd77ac32ec1d74be4d2","datavalue":{"value":{"entity-type":"item","numeric-id":1693120,"id":"Q1693120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$A479A577-4F38-4029-BD60-3ED95AFE96B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$0F74D4EA-8263-4276-8729-2EDAF32A8EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0718cf1ff3f08dac9bb43299de0dadacc4f433f6","datavalue":{"value":{"entity-type":"item","numeric-id":1884933,"id":"Q1884933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$544ED3AC-F8B8-44B0-9211-07650206A1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990393bd70b90fd085a53f98d66454d70d95783b","datavalue":{"value":{"entity-type":"item","numeric-id":1238999,"id":"Q1238999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$43A72769-55FB-49B9-B9FB-D1BCE712611E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd57b30b02286b0004075da894f43550d773545","datavalue":{"value":{"entity-type":"item","numeric-id":5415301,"id":"Q5415301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$F50CB2B4-7F68-4E4A-A521-7120B1B8CDBC","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":"Q5100757$47EE38A7-E5DE-4C35-9C79-50E870BD3C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acf63ad6e7e70aeeb104b9cc592074af0f3e591b","datavalue":{"value":{"entity-type":"item","numeric-id":3011897,"id":"Q3011897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$B8788E89-4540-4F56-BA19-EDBE1F290CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3f1ca7245db78f2e0e2c3e3e3ff67547573345","datavalue":{"value":{"entity-type":"item","numeric-id":4911790,"id":"Q4911790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$E3B28E2B-2AFD-4711-9866-554C7C42B776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a94abc68002c24d7dd9c4000afe28740ba3abdd","datavalue":{"value":{"entity-type":"item","numeric-id":3718162,"id":"Q3718162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$E74148F4-407C-4809-B84E-358E4514C1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c41febd602bbb5a35c992349e0f4fd73788ca393","datavalue":{"value":{"entity-type":"item","numeric-id":1639990,"id":"Q1639990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100757$A063387F-F052-4052-A4B4-39A8AAAFCA2F","rank":"normal"}],"P1643":[{"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":"4dda316381c5f8ca10395c970b4341364e66e4de","datavalue":{"value":{"amount":"+0.8822383880615234","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":"Q5100757$0E5FD695-C631-4FCA-9555-9BE1AF11F897","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":"01e87b52fdec8a97f531a03918a8192e852eb2b8","datavalue":{"value":{"amount":"+0.838237464427948","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":"Q5100757$B06B0B1F-E0D9-423F-84C2-E3513EE5EC98","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":"847f01b7e881a7e455df0f8ae63eb976cf5b5e51","datavalue":{"value":{"amount":"+0.773201048374176","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":"Q5100757$BB6C8636-F642-4456-98A2-8922560000AB","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":"84e380a7c4f7486fa75c769f243744d3e59f1104","datavalue":{"value":{"amount":"+0.7658028602600098","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":"Q5100757$AA0F18DC-7BA9-4509-A33E-FFBBED3FB6F9","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":"7c58c6bac4f1c4a2564c7c808bc5b43454e6280f","datavalue":{"value":{"amount":"+0.7643752694129944","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":"Q5100757$2D6A423B-EB10-4A2D-A3F1-EE13E6CD6B19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5100757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5100757"}}}}}