{"entities":{"Q2018421":{"pageid":2029163,"ns":120,"title":"Item:Q2018421","lastrevid":57287901,"modified":"2026-03-27T22:30:05Z","type":"item","id":"Q2018421","labels":{"en":{"language":"en","value":"An analytical method for well-formed workflow/Petri net verification of classical soundness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6424846"}},"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":"Q2018421$DA5FC745-DB05-4F07-9860-B151BA603802","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b62940620160c6e7c529a7bd2bb48344004ec01b","datavalue":{"value":{"text":"An analytical method for well-formed workflow/Petri net verification of classical soundness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2018421$DEC978D3-9B3C-47D2-A6BD-8AEBC550FDF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de827a3962038585c488474ef3e2a6517db15917","datavalue":{"value":"1309.93099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018421$CE8F4711-C139-4895-A925-CADA414B1834","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afc2a64965cdb79e42ca02823af940d420eb86cc","datavalue":{"value":{"entity-type":"item","numeric-id":298082,"id":"Q298082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$C9DD5104-CAEB-4C9A-B6AE-6428D376163E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f510c5e690efa669d4d80846fa4397a83b3b4bf6","datavalue":{"value":{"entity-type":"item","numeric-id":285367,"id":"Q285367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$57BB244A-7680-42EB-9D03-457BF6A12B63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd55b543fec3f4a634a8fef5b7b15e29b44c38db","datavalue":{"value":{"time":"+2015-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2018421$73BF8425-34BA-443F-831C-1B8103DAAEA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018421$EDF189A1-E7C2-4815-8E7E-52D1005EFEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2650696ed3935a49b70cc972e8bc0c67a8cd2c3","datavalue":{"value":"93D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018421$632B09BD-4D27-471F-8347-90A96D9937B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018421$F8D51090-E774-45B5-8B1D-8C886524D718","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d52c4daeafdd0d4206334a2807932dfbd51f40d1","datavalue":{"value":"6424846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018421$9BE6A078-2553-41FA-AD9D-7100920D1B77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018421$293CA471-BB02-4E93-B904-B7EBA2D8FAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018421$E78962A5-3495-4381-8E37-BD2A3A264CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10b9538c80197e6ba0fc61c608da685539288ab1","datavalue":{"value":"workflow nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018421$B56AEAF8-7A02-404D-A164-C768B0AC6116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c32f28bcd3e331eb1b4e5986196aac83854b47b","datavalue":{"value":"Lyapunov stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018421$D4A680EA-5113-4E25-BF51-A21730CC2239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018421$CFB3E7F2-62AD-492A-8299-75818022FD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018421$3BF532AB-9DC2-4ACF-8EFA-E7326C2C1603","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4d7dfdf99c085d00148d2df9087e7b1f47f0792","datavalue":{"value":{"entity-type":"item","numeric-id":14108,"id":"Q14108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$7F976599-1644-41CD-83CA-00B3F8574006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86c5760bd620e2915a66d9077b4ed2ef38f56dbf","datavalue":{"value":{"entity-type":"item","numeric-id":13766,"id":"Q13766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$2CA1732A-0191-4427-A6D2-062292C92AB9","rank":"normal"},{"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":"Q2018421$08BFAAFC-014B-40E2-8E49-6B6FB6CE91FC","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":"Q2018421$A392D98A-18A2-4D11-B6BE-5CB973C2FD42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e45a801323f65c448d1a18acb1874ef0c811ab07","datavalue":{"value":"https://doi.org/10.2478/amcs-2014-0068","type":"string"},"datatype":"url"},"type":"statement","id":"Q2018421$EC405040-9ADB-46E1-9603-64BB0C8285ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c49e31085fbe029617e28537675712e761b07a57","datavalue":{"value":"W2017089346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018421$5EA83599-74C1-48DA-A023-67EE5999C0AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fea50ce60a7b2fee65d9bf285299f2715282a50","datavalue":{"value":{"entity-type":"item","numeric-id":3967058,"id":"Q3967058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$491749F4-DA23-4FF5-9DF8-837676E9F50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce18ab5b8fba4af5f0612571e7e0960d68b1b51","datavalue":{"value":{"entity-type":"item","numeric-id":3395756,"id":"Q3395756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$2C1FCB9B-5F63-47F4-9222-CEC4A7D5F648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e97c5a3cb9a707a8ed897ba9cfb3a31deace04","datavalue":{"value":{"entity-type":"item","numeric-id":3377337,"id":"Q3377337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$37EA40A7-B4BB-4283-91E4-44D7AE1E3C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12976c2d0ea34f80055d425272209b25c8508b2b","datavalue":{"value":{"entity-type":"item","numeric-id":2772443,"id":"Q2772443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$5863F21D-31E6-4793-A631-8EC3D99857A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1e1cdd0f850a6c431093c25b82bc8a3b59d785","datavalue":{"value":{"entity-type":"item","numeric-id":4428410,"id":"Q4428410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$82B42EDE-3856-49B0-BCE2-25E1B8B5C779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299692a69125a01b0688074f8e7f4f048055b1c7","datavalue":{"value":{"entity-type":"item","numeric-id":1395899,"id":"Q1395899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$835B430E-C2C6-466F-9D6C-20545B241B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b56bab3717711b5be26ac3a5918a9a747789de","datavalue":{"value":{"entity-type":"item","numeric-id":4001818,"id":"Q4001818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$1A632D7F-E72D-40E4-AE13-468E25F0FEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bb3aa46d6497fc3b767b36911c78dede3cdaa9","datavalue":{"value":{"entity-type":"item","numeric-id":3999518,"id":"Q3999518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$0EB3C2DB-9913-4095-96F7-8BB6A6828FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b1a34b1da45545be1482d36597001897ad8643","datavalue":{"value":{"entity-type":"item","numeric-id":3053691,"id":"Q3053691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$4B86EA15-6B4A-442D-BB26-95F00B1D2E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e16ac54678bad8f849f3b799408c841fa1d3c2","datavalue":{"value":{"entity-type":"item","numeric-id":5316442,"id":"Q5316442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$C96E5553-3963-4457-8332-BC70209EFBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79c69ef0d8f3bd7bdb54e2608b32485337c432b","datavalue":{"value":{"entity-type":"item","numeric-id":1902501,"id":"Q1902501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$970FE257-A137-4883-A0DD-8EBB80A2F016","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":"Q2018421$79C477E0-EE8C-4FCF-8F16-6610EB84FAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d4b886956c712b6431f79fafc45a2df56388d2","datavalue":{"value":{"entity-type":"item","numeric-id":2765226,"id":"Q2765226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$4735314E-3DED-4682-B2C3-5F252934A35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acf7cc14f7898ae2070a144a4a0d9492a8c69abe","datavalue":{"value":{"entity-type":"item","numeric-id":5713516,"id":"Q5713516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$39D45F51-F6AF-4FA4-91F5-41AC7970F70E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95c28a9ea8d90fc7acd2b587e8c792ed73572d9c","datavalue":{"value":"10.2478/AMCS-2014-0068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018421$8581D4B3-5319-4FE7-855D-0322B11B91B5","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":"e17426d49f44ec5eabc3f4d9104f5bec153b48aa","datavalue":{"value":{"amount":"+0.8445625901222229","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":"Q2018421$0B2A24A7-0556-4177-9A40-58943A27D108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31dae3723ca84622e3afb4a94608843c4ce9fbe","datavalue":{"value":{"entity-type":"item","numeric-id":3446022,"id":"Q3446022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed31d68d90beadc512c750a4a5500d02f155f7b","datavalue":{"value":{"amount":"+0.8102775812149048","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":"Q2018421$E50B7E8A-3410-4499-AB51-1C87D3F7DFA9","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":"91e4f1e8114f83d81c4a516fcf4b6b7ad5132bc9","datavalue":{"value":{"amount":"+0.8096305727958679","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":"Q2018421$5E42313F-B69A-4072-95E5-1F260092DABD","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":"a32b21441695fb0c2a273f2eb5e2e2db554d1b7c","datavalue":{"value":{"amount":"+0.8095142841339111","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":"Q2018421$BB756B33-5608-4A1D-8105-5A5B30AF49C1","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":"cf70ab2a576989608ee6e4872ede0ec9fd6c99b8","datavalue":{"value":{"amount":"+0.7992470860481262","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":"Q2018421$E54B74BC-8966-4A82-9AE5-A52FAB771CA4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018421$8FB3F2C7-5A71-4D2A-AD56-4D55C08BDAE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2018421","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2018421"}}}}}