{"entities":{"Q3550623":{"pageid":5580527,"ns":120,"title":"Item:Q3550623","lastrevid":50945306,"modified":"2026-01-15T21:24:06Z","type":"item","id":"Q3550623","labels":{"en":{"language":"en","value":"Soundness and separability of workflow nets in the stepwise refinement approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688999"}},"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":"Q3550623$A2436E50-16FC-4B6C-B341-491F500A5AF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab35c98ceb008633715ad8a1c92339aa974e48d7","datavalue":{"value":{"text":"Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3550623$A801FFC3-8CDA-4856-ACC6-29E9C6927E21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3482d8be0dd09e8d54847a337226d64909468e43","datavalue":{"value":"1274.68263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550623$B44BCF88-9CFB-44B8-849B-914E258F792F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9431a47d1b575e2ce832517f8607f1dc9ef23c5","datavalue":{"value":"10.1007/3-540-44919-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550623$EAF5E801-A2DF-4B02-B8A7-03B39BA7C799","rank":"normal"}],"P16":[{"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":"Q3550623$06E6124B-3083-4102-943F-9CD4CE926C1E","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":"Q3550623$8F27A5E4-FD43-4FC3-B45A-568AF357AE5D","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":"Q3550623$0BA16E6E-26F8-4098-95D2-6C53C43F7127","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"60f03c60d0859643f7aa44399eb3fa3f866135dc","datavalue":{"value":{"entity-type":"item","numeric-id":3550609,"id":"Q3550609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550623$546161BA-A37B-4F6F-925B-31930C4A970E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"994f357a1419be047d68415ba0ebb81a34390d78","datavalue":{"value":{"time":"+2010-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3550623$D22645B9-39A5-4EED-83A1-084CB90A950D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550623$D23F9EA1-E0A9-4699-906C-3CCE59B258A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550623$8197F35C-81CD-4094-AD4F-56FBC354B44A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e179e5e5c09d69d4c6ca4b368e926287cc93c0e1","datavalue":{"value":"5688999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550623$D9A6C529-7C31-4E52-A76A-809A28E1E11F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550623$CB8DB86E-B2F8-4BB1-8388-64B92E86342D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99557037ba8c525d9f80aaaa3276b7d8e8a2d30","datavalue":{"value":"workflow modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550623$5C5F43C7-20EB-4988-A782-91D4EFD2BC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550623$014B8C24-6E07-4AD5-8737-241664E4F63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550623$40589506-704E-441A-977E-5FA118613775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550623$40BC79BC-9EEF-418E-931C-236F0A98B001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e89c7ebb84fe344c11e625e580d7cf9b6f9e0fd","datavalue":{"value":"separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550623$1F979BDD-B125-4AC7-8BD6-7D2A09B6AC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f55a41821ecfba18c2f2e14207a2d75f5ac3a22","datavalue":{"value":"serialisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550623$632C3829-3BDE-474C-B97D-61571F6F1423","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"141bba581cf8fe41a0a2da033b6dcf185c0624c0","datavalue":{"value":{"entity-type":"item","numeric-id":19089,"id":"Q19089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550623$22ACAA12-51E1-4591-80E8-25F79CE36CAC","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":"Q3550623$057B13FB-8874-4049-923C-A83CED8E4802","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e56c51934cef0dd0d3d50384ccd1ecf3eca1b94","datavalue":{"value":"https://doi.org/10.1007/3-540-44919-1_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3550623$F6129CA3-91CB-420B-AD95-9C9321153D37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"684c3614585e6cb9d6331d3b68eccddadac35d8b","datavalue":{"value":"W1585036716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550623$9EF76887-2F10-44CF-A765-E48F91C0E2EA","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":"8ea5fca6d5baf429324d18df1b1755f10204de3c","datavalue":{"value":{"amount":"+0.8173062205314636","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":"Q3550623$AC0427BF-6E4B-4B96-AE0F-E870CABCB188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4bf0bb6157e33c99afda8191b341a54efc31cd3","datavalue":{"value":{"entity-type":"item","numeric-id":3011886,"id":"Q3011886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf265959cce8bba47149c0deff681bc9ca56fb31","datavalue":{"value":{"amount":"+0.8023313879966736","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":"Q3550623$3C129578-45BD-4365-A246-8DE1CE21FE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5914b4fd2ab55a232e35c32e16300a405fd2cab4","datavalue":{"value":{"entity-type":"item","numeric-id":3081901,"id":"Q3081901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58875afe439c990f87dae0c93834023e1960730","datavalue":{"value":{"amount":"+0.7949204444885254","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":"Q3550623$61459DA4-EDBF-4ED3-B275-03B5E17E48A6","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":"f414847552b529ed07954e5319dd49694f22af53","datavalue":{"value":{"amount":"+0.7901023030281067","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":"Q3550623$985C2562-3D05-466E-BAF9-45089D4E7D82","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":"f04507f3a1f79df76746a9f0328b9b6e2403c791","datavalue":{"value":{"amount":"+0.7870422601699829","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":"Q3550623$092CC75B-DC3F-43FC-A1B1-4732331C1B7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3550623","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3550623"}}}}}