{"entities":{"Q2803579":{"pageid":2814317,"ns":120,"title":"Item:Q2803579","lastrevid":42135928,"modified":"2025-05-23T16:19:57Z","type":"item","id":"Q2803579","labels":{"en":{"language":"en","value":"Soundness of timed-arc workflow nets in discrete and continuous-time semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575698"}},"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":"Q2803579$0F4BF0E8-E0CD-4BEB-BD5A-30591AD64ED7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"728bccf06f7172766e4f70188bca9a277618c2d9","datavalue":{"value":"1335.90051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803579$AAE0B9FA-9CB3-4F28-8B13-B28D90F24E19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77f6dcf17cdf7693a77a9534742e58fc2334d562","datavalue":{"value":"10.3233/FI-2015-1246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803579$27E24879-AA04-4C3A-8D45-7B5D26897AA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59296a51d46539a846a4c3802f01d8c9f4aadbd1","datavalue":{"value":{"entity-type":"item","numeric-id":764382,"id":"Q764382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2803579$0CEC0FE0-29FA-424C-A5F9-D2664CB9FD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6013597080c32e573db039c9586d7268411d3a37","datavalue":{"value":{"entity-type":"item","numeric-id":2803578,"id":"Q2803578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2803579$DFE16FAC-F38E-4D9A-8140-D85F9FFFC57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2803579$DD89E5F5-2E15-41FD-9EBB-3EFDABB03B1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2803579$38BF6FB1-76F1-4B4C-9A1A-F2FF7F94D36B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e456fdb4844415eea923a6e1b531b0c6eec91b1","datavalue":{"value":{"time":"+2016-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2803579$06AB0473-A5FB-4C50-8867-AA166F621061","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f922ed572c459d541a1cb2edbcb542f34d01a074","datavalue":{"value":"90B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803579$7CD677DF-DE2F-44E7-B9FF-B96EE11811C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803579$09999CBE-6D0F-4CF6-8ECA-8B8BC4B16D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803579$63820847-FB7A-4B9E-B488-10A2F8A020B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e54143541c54e3b31a2de3402a1bd395d41e1c4","datavalue":{"value":"6575698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803579$D4489993-A012-4AE9-86C0-A5E057E576E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b8f987ba9d66e7d9e639f3263710d61dc72a89f","datavalue":{"value":"timed workflow processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803579$48B3E864-F71E-42E2-9FBD-DFDD3C53F655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc3928efbe88e6d380d6312c55e3b30344a9a4de","datavalue":{"value":"soundness checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803579$BA6D26A6-8CE4-41CD-99A9-636A794B0925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803579$84DC797D-B46E-40C0-BBE2-B0E2582DB791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2803579$51A273FA-B7F1-4719-B496-290759CF6C51","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec4b83e167fb901bddaf66776abfde5fc423d41f","datavalue":{"value":{"entity-type":"item","numeric-id":13691,"id":"Q13691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2803579$5C815377-76AA-4A3D-9B79-6B081A738FC4","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":"Q2803579$6D3FE7A0-19E7-46DD-98A7-EBDFDAAE286C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e99e38217753f7a02575284b9178298fabc60562","datavalue":{"value":"https://doi.org/10.3233/fi-2015-1246","type":"string"},"datatype":"url"},"type":"statement","id":"Q2803579$CAE0BCF8-6CAD-46C2-A780-B39A0A49AEFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4135c028c9981c27e3059b6f66fcb90b4d97c69d","datavalue":{"value":"W1697040782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2803579$126215E8-1FB0-48FF-9DAE-BF25EC7CCA52","rank":"normal"}],"P1643":[{"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":"b046d5946ae9f6009f7e51e000e90d91d07f26d1","datavalue":{"value":{"amount":"+0.97125375","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":"Q2803579$E82D5FE0-3385-41B6-A1C0-7E79695E5FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96207f6fd673b7ef9d9405b05b9cb78a568f096b","datavalue":{"value":{"entity-type":"item","numeric-id":2642360,"id":"Q2642360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6717266757d476c65e0f6f6042babddd57d36f","datavalue":{"value":{"amount":"+0.93612087","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":"Q2803579$6A3C7742-1AD2-4496-A316-5DCEB2DF36DF","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":"c52f5664698aa6330c4b24c7f29b204508a0323c","datavalue":{"value":{"amount":"+0.89887047","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":"Q2803579$F1748B03-49D9-4AD5-9C36-40308ED923AC","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":"5169d4c79b1b79a2a75f0f67ff38768c59e89e0f","datavalue":{"value":{"amount":"+0.8837892","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":"Q2803579$A02D2976-9EEB-4A1E-A99E-0A38ADD5A3FE","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":"a5cb16bc17eec0d4c06759019597ecef5aaebef6","datavalue":{"value":{"amount":"+0.88341486","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":"Q2803579$DFD6F111-3FA8-40F0-9331-2EFDC3FFC6CC","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":"dac03095049fd87a0788a62932071f3144607641","datavalue":{"value":{"amount":"+0.8784615","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":"Q2803579$F42B50C0-605E-4F47-BE75-B70151F022E7","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":"cd1a923df95b015fb75f95f83055a539aa74931b","datavalue":{"value":{"amount":"+0.8749393","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":"Q2803579$56304C14-074F-4139-97CF-DDD3F4849305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14fa69a0980eeabd2972da2ca4235f77c2d6cbb6","datavalue":{"value":{"entity-type":"item","numeric-id":507759,"id":"Q507759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ff55c297876ff84166e3cb321e3ce2c5b30c1d","datavalue":{"value":{"amount":"+0.87455565","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":"Q2803579$7166B17F-6436-4F25-A26F-29F9F55AB2F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f88180fc92d994cf3ffc207db26edf762b89630","datavalue":{"value":{"text":"Soundness of timed-arc workflow nets in discrete and continuous-time semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2803579$B63C30BC-C8AD-4880-9E97-BFA201996ACA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2803579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2803579"}}}}}