{"entities":{"Q3401950":{"pageid":3412653,"ns":120,"title":"Item:Q3401950","lastrevid":50893967,"modified":"2026-01-15T15:18:38Z","type":"item","id":"Q3401950","labels":{"en":{"language":"en","value":"Verifying generalized soundness of workflow nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665343"}},"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":"Q3401950$644CC97A-A04D-4F2C-93C6-31DE2404F3BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9b08ab546348ab9d932c2abde95d3b8171b0847","datavalue":{"value":{"text":"Verifying Generalized Soundness of Workflow Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401950$078FE2E0-2400-4083-94FB-69EB4D59A4CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0dbfa8677b476197d0fcc3ce5b15664b38665ac","datavalue":{"value":"1185.68452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401950$A103643D-772E-4B0A-847E-91A882F6DB50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f17909658f1775e20b424d7814456d5cf0e30c4","datavalue":{"value":"10.1007/978-3-540-70881-0_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401950$A5A6ACB1-F054-448A-A775-D7E3E51F9C09","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":"Q3401950$DCC849B0-3B2C-4F1F-BD34-46E8316B1879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e689873ec877b9c4375b827492043b38e9899a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1944125,"id":"Q1944125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401950$B4F25B51-FDAB-43E8-80D9-165252124872","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":"Q3401950$23C9276D-5C5C-4C7D-ACD7-AB09CE585FF2","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":"Q3401950$6F29B2C2-40CD-465C-896D-4099A9C1150B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401950$98FEB3BB-4EE3-42BF-B6A3-E5E518585892","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f2e51e046f2c34fc303672dbc5a81ee27ce4774","datavalue":{"value":{"time":"+2010-02-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":"Q3401950$2993CE79-E3C1-4771-AF56-721C168D9E94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401950$5D8FAD0B-6228-42E2-A564-5DCDE5AE7457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401950$50CF0A0C-9CE5-40C6-B553-C6D5F498C03E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cf9453a81cd896311d88801159a8a36228c658f","datavalue":{"value":"5665343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401950$D1A26A92-A24E-44E9-A526-34D18D4D6E4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401950$B9252036-B01E-42FD-A867-9D0231904E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"321afae1a007bf3a716be86f9cc2a7f38c5a418c","datavalue":{"value":"workflows","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401950$F03D1062-B49E-4791-9F91-7E1D3BA887F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401950$C9DB45AA-2577-46AF-A50F-F65F2B131E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401950$1FCF617C-6092-4D11-AB59-9754007E1E0B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401950$70F3E296-E4DF-48B4-8E74-99D301C817DE","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":"Q3401950$2855FF25-3CB7-4DF2-8DA1-AD4EA5F4AF55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2be9144ba99aee2e70591f01a3ff0c5613c41b0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70881-0_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3401950$1AE04BDB-C317-47B7-A730-E3E4CEBB75F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f0c3ab0c5376e841133c7870e1ce0bc5f712ff4","datavalue":{"value":"W2116818211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401950$71F4DEC5-E72E-4B0C-9BAC-86A70ED07372","rank":"normal"}],"P1643":[{"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":"e042e172b7689fa734bc340950094fa1c4e44db5","datavalue":{"value":{"amount":"+0.9190073013305664","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":"Q3401950$1BFF0C8F-6952-4B45-916D-A5611923BE13","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":"c25495b6532d5db98281f116c693f51a9dc9ef01","datavalue":{"value":{"amount":"+0.8713878989219666","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":"Q3401950$A11C70CD-A23F-4E0D-A630-74BCD117B9D0","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":"b3c1ae3585da03ce1adcc7124a562f70e87d3693","datavalue":{"value":{"amount":"+0.860699474811554","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":"Q3401950$838FE92C-B76D-4925-9ABA-B319E676EE58","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":"67b2168c24faa6a10dc485b26b84626fa5afa579","datavalue":{"value":{"amount":"+0.8420010209083557","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":"Q3401950$B3047F0C-017F-4B6D-8982-942419FD2C88","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":"f342e7b1cb250564b3029aa5e9ac2cc30987a06c","datavalue":{"value":{"amount":"+0.8351255655288696","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":"Q3401950$44F18CC4-B3D4-4BD1-8F03-AF31EF800B13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3401950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3401950"}}}}}