{"entities":{"Q6970267":{"pageid":21324666,"ns":120,"title":"Item:Q6970267","lastrevid":84048218,"modified":"2026-05-08T19:28:08Z","type":"item","id":"Q6970267","labels":{"en":{"language":"en","value":"Soundness of reset workflow nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8053988"}},"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":"Q6970267$612CD006-DF4B-44BA-8229-3DA44EBDBBBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03d80bfa6d3e00758557d647845ddeef906d6e6c","datavalue":{"value":{"text":"Soundness of reset workflow nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6970267$761B90EF-08A5-4AB1-B4A6-F02416CF2D47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30d210a30aeaa69b8a4167a00bdcdb242dd2167f","datavalue":{"value":"1573.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970267$4F15FBCB-4A2E-4655-B2AD-155BDA335A56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05a6ee56f4b8cc4f2aec8959f3f2d4a6d3701e88","datavalue":{"value":"10.1145/3661814.3662086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970267$6D2D427B-6BBD-41CC-90A5-0D8FA4D51CAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09afcd9c56be4b77abcda2e0283879317777151e","datavalue":{"value":{"entity-type":"item","numeric-id":347112,"id":"Q347112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$9D6E07D9-984F-4D09-864A-B277E9942619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$3E323069-D85C-4250-A813-9101C625C413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa83eddc2a574af0633c5b9f4ce63a6fb453096","datavalue":{"value":{"entity-type":"item","numeric-id":2254492,"id":"Q2254492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$F66EDF5A-A508-4C96-A6A2-B768C5239538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d6c10c40b5e5dd06cf3d1bab585e20b08c02e0","datavalue":{"value":{"entity-type":"item","numeric-id":1622947,"id":"Q1622947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$CC85A3F9-AAD9-4F8B-B283-0FDC885DC467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30dfb3f6763ccb7675aa78ce349632554d37e54a","datavalue":{"value":{"entity-type":"item","numeric-id":2233487,"id":"Q2233487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$3B9B0647-B6D0-42D1-9E2A-69265F68AAA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66c9695eb20dc9e6bcc46cab6b3e0d2faaff014c","datavalue":{"value":{"time":"+2025-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6970267$3E65D347-7442-40D1-81A3-E19E4B561301","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970267$D92730E3-311C-4BDB-97E7-591E3654D682","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfd65814c86316b160aebd2472f59f2348b2925d","datavalue":{"value":"8053988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970267$39E49795-A54C-46C7-83BA-A92FBA630BA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10b9538c80197e6ba0fc61c608da685539288ab1","datavalue":{"value":"workflow nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970267$A1112B0F-82E5-4447-AE9B-6C6A356FED2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970267$679AC13E-7B59-44E8-A2CD-8D36C5EDD4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5df96c63decda3d1b7e61e9922b25999bd117955","datavalue":{"value":"resets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970267$F4EFCEAB-3374-4746-936F-475AB98F4D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970267$A359201F-6B4D-493B-A269-0A719FE6716A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b18a4f4b034697aa6de315aa20030dcb9889e0a1","datavalue":{"value":"generalised soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970267$0D17449D-36FD-45D5-9BC0-334B77742FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970267$D772ADEF-3244-464F-89FE-36E2E97C9933","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":"Q6970267$C7DAC303-50F4-47D2-9312-5D0D4F5F15B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cfa81ef0043b6191fb5feb48a00ca2374c09d8b","datavalue":{"value":{"entity-type":"item","numeric-id":5111656,"id":"Q5111656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$F1AA2A31-0BB9-4955-94FC-19A782D68815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6351c855ba94e4f868ea85fec2cd4adfefad0434","datavalue":{"value":{"entity-type":"item","numeric-id":6649450,"id":"Q6649450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$DB9DC826-A5B1-41F8-9DF6-F0B4484419DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba7638abf18b8e118a91e1d42574744422be04f","datavalue":{"value":{"entity-type":"item","numeric-id":6951722,"id":"Q6951722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$A97CF1A3-7637-4025-B0D4-8AC3F2C55046","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":"Q6970267$F7E4B9CE-EBB0-42A0-AB7C-2B39A99EA7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8754aa53e3ad18d526f5376fecb2e7445d3ec9b6","datavalue":{"value":{"entity-type":"item","numeric-id":6587122,"id":"Q6587122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$AF97D5DD-F6FC-4F13-A594-D9C1CDE7746F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a40aefdcb318196034c6ce9987eed09e25b763","datavalue":{"value":{"entity-type":"item","numeric-id":6943429,"id":"Q6943429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$581DA72B-3B65-4DAA-A29E-D39DD7DD3C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$31BFC276-41F9-470A-919A-EDE6AA9B3F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b20294c167c0e34b0f0465d6e0ce632267e27f5","datavalue":{"value":{"entity-type":"item","numeric-id":5090970,"id":"Q5090970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$0E3EF3EB-D9C3-4205-A19F-BE16450EE14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bed64006543fcbf7ebcc1c7d552e5c3071f2b84","datavalue":{"value":{"entity-type":"item","numeric-id":1763373,"id":"Q1763373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$758517FD-5506-4E94-A923-EC476B339849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$F6E70A3E-7371-4E86-AEE6-7EA808444E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd32ee7f2e9be5b0e3c57ffaaa158a5e7f3d5bff","datavalue":{"value":{"entity-type":"item","numeric-id":3447699,"id":"Q3447699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$3AC9269C-F60A-4841-8B6F-AC4CA7302E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2152f9e5d1f62518acf18a879dbd70a10bc26df2","datavalue":{"value":{"entity-type":"item","numeric-id":2800968,"id":"Q2800968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$5B4C5455-6F6B-4390-9618-D2E50B82C6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf60a43e04756e4fae38db191147e0aa5cd668ca","datavalue":{"value":{"entity-type":"item","numeric-id":2934894,"id":"Q2934894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$3AEBCD61-663A-4C4F-8686-4C5F8A4E5DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9072211d3b7d41a3426448820aa67a4d6644920","datavalue":{"value":{"entity-type":"item","numeric-id":5925512,"id":"Q5925512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$338433F4-18E8-4C9A-98E4-B6FB8583FD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f7a3dff638b251566bd69f9b9744f8f3b22427","datavalue":{"value":{"entity-type":"item","numeric-id":6943428,"id":"Q6943428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$880D25AE-7950-4727-89E2-99E6B6D9F3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b653871ade930f183c0cae918b33d9870e771807","datavalue":{"value":{"entity-type":"item","numeric-id":6654515,"id":"Q6654515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$CD553F06-7879-4F08-B1EC-D1C35EA194B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4fcb498ec76618d6d4f59a39de4f22e52d70c2","datavalue":{"value":{"entity-type":"item","numeric-id":5612466,"id":"Q5612466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$85544A2E-B9F4-42D1-930B-A85F2D7B1D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896f434c8f5a0467f2a8453c01e080e58b0f094e","datavalue":{"value":{"entity-type":"item","numeric-id":4449204,"id":"Q4449204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$36B5DA7E-5EBF-4095-97FC-1B39971A3AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$3268053A-F93F-4A39-9C46-C0C4C9D46D7A","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":"Q6970267$06683592-CE2A-494B-853A-FED253D97E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f013092dcf4a4c975cb6c3aac949b3d954ccca","datavalue":{"value":{"entity-type":"item","numeric-id":2828216,"id":"Q2828216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$EAE83727-D276-4AAD-9FCC-233AF4408C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19c862859a6db50ac11d3c418fc63e4038767d5","datavalue":{"value":{"entity-type":"item","numeric-id":6485727,"id":"Q6485727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$FB25FC93-F7FD-49F5-9B3B-37A4744A24E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bf48b96d6c173563e475f45475522e36b966f77","datavalue":{"value":{"entity-type":"item","numeric-id":3651240,"id":"Q3651240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$CE680EB6-970E-4360-85BD-D96AFA0C9B28","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":"Q6970267$7957BFA7-3879-443F-A937-B0639D8BAEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9acdc7706b9f84d071f3dde8a4228d75e984b917","datavalue":{"value":{"entity-type":"item","numeric-id":3401950,"id":"Q3401950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$C79925F8-2D68-4015-80CC-575EB47AB630","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":"Q6970267$E9086962-5699-4603-9FB5-5256BBC7B952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e771a81f3dadf325c39f03c7e938f8d24b70731","datavalue":{"value":{"entity-type":"item","numeric-id":1007883,"id":"Q1007883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970267$ABC2FBB1-3FDE-4E5E-9725-1AF094D6F451","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Soundness of reset workflow nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Soundness_of_reset_workflow_nets"}}}}}