{"entities":{"Q2824518":{"pageid":2835256,"ns":120,"title":"Item:Q2824518","lastrevid":83370743,"modified":"2026-05-07T07:26:35Z","type":"item","id":"Q2824518","labels":{"en":{"language":"en","value":"STP-based judgment method of reversibility and liveness of bounded Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6635087"}},"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":"Q2824518$B49B88C3-366A-499F-A004-5D1CC4FA8EA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1f4593a8baa3d60bcc8b79d27857481eac81c73","datavalue":{"value":"1363.93165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824518$E3AEB9BE-6AC4-430D-9E69-FEE619B17FA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a95044086644a48468d79e8642081fb79b8377e","datavalue":{"value":{"entity-type":"item","numeric-id":437337,"id":"Q437337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824518$F58C0D04-286D-48FF-A6A6-19982F10DC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81748ccb777d8f699ed376476da17073562e2621","datavalue":{"value":{"entity-type":"item","numeric-id":328950,"id":"Q328950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824518$987F9283-1A71-4639-9FC3-CA5B69C395E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5371a6eb8647448ddaf24ca622f9ca7ad80a8fbb","datavalue":{"value":{"entity-type":"item","numeric-id":1622232,"id":"Q1622232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824518$99902976-9715-4527-9125-49308FF8C8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f41c4546bb0a3f4163fe9f1a336c8eae5c1ca372","datavalue":{"value":{"entity-type":"item","numeric-id":1622233,"id":"Q1622233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824518$68680F9A-2145-47BB-B487-03D6A9D14692","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87bcaa8e189a8753515af6bdca71491f1f3b70a3","datavalue":{"value":{"time":"+2016-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2824518$419D7AD2-F9AB-41EE-BF1D-D48FCDCD8CB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824518$E06828B4-6EE5-4CFB-BD85-10E18AED3C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbc9a6d1d4c10cc63a859f24d88ebce2fa5f470","datavalue":{"value":"37N35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824518$D96AB733-278C-4F87-9256-5AF2F236AE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e97bd36d529226a5c2a7d319ccb88fe485aab7bf","datavalue":{"value":"15A72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824518$F78E8F74-A7E5-41DF-8E0E-7235D909E9D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f82fd541559393d745ce5df4fe0c188d72f40be","datavalue":{"value":"6635087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824518$074BD1C8-C2CE-4AA5-BF80-23CC650E2A58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824518$0D2E2536-1BF6-49D0-A945-AF4E09D7D996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538aa3655e5f06cd18bdf600e191b6483a4f592e","datavalue":{"value":"state evolution equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824518$58CD953C-A0B5-4DF9-9331-B21BB09306B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6355a8ad52e3619000c8cf47952fa713220a28b","datavalue":{"value":"reversibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824518$325C4F06-A85B-43D3-9B2A-778A39D7859D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824518$B78ED53B-79AC-4141-BC92-8F87B6B05836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bb9d5d73a0723f4379dcde79cb53f80fa91fd64","datavalue":{"value":"semi-tensor product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824518$6971E12C-C858-443D-9226-CA86E25F2BE2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824518$5D977700-D771-4DE8-B927-E25B5CCC55AD","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":"Q2824518$EF9D7B7E-4EEA-4523-AF78-3ACFFFAAAB41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71d2fc033e00bd153002eb85a88c157e74994096","datavalue":{"value":{"text":"STP-based judgment method of reversibility and liveness of bounded Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2824518$C5870CB2-859D-4711-9340-F4959A3618F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"44c91392547a624078856618d0fa03ccf112f20e","datavalue":{"value":{"entity-type":"item","numeric-id":6768700,"id":"Q6768700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824518$FB7B7D16-3594-4196-9D73-D737A0A8B5F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664b6edf69ec262db28eee12e69740b4c5acda32","datavalue":{"value":{"entity-type":"item","numeric-id":2987116,"id":"Q2987116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9180453b5af8f68cae219fae269ec0edcb033f","datavalue":{"value":{"amount":"+0.7723512649536133","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":"Q2824518$5ED3DFCF-0F67-45EE-96DA-8143FFF7D036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"385be5cb5d9cccdaf53131b9e93e18939d0fc671","datavalue":{"value":{"entity-type":"item","numeric-id":2941153,"id":"Q2941153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005858b725f589c7b16b63d8f65418d98a23cdb7","datavalue":{"value":{"amount":"+0.7715750932693481","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":"Q2824518$70EF74BE-EE57-4DF2-81B6-E031A63497EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db1f03c063783134d90a60b0427bff1f9309e2","datavalue":{"value":{"entity-type":"item","numeric-id":3746895,"id":"Q3746895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba06136dfef0aaaffc74bc8ee55db956ea42a116","datavalue":{"value":{"amount":"+0.770989716053009","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":"Q2824518$9C075841-4A35-48E4-9480-D7C2F11EC452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e080f5f9159b24b7b65ec672816cf80f37a3d0a7","datavalue":{"value":{"entity-type":"item","numeric-id":4976374,"id":"Q4976374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d525c54315b075141134323335768b1dd848fe","datavalue":{"value":{"amount":"+0.7576941251754761","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":"Q2824518$AD608F16-BCA1-47E6-B2C1-414000D8A51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4050f4e2b951a7f2c93a662fd9a614c858a9acb3","datavalue":{"value":{"entity-type":"item","numeric-id":5166772,"id":"Q5166772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31bcd4355be730da50e218de8f8546dc98662197","datavalue":{"value":{"amount":"+0.7560115456581116","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":"Q2824518$87C14C2A-7955-4493-9838-C0F2426EB37D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"STP-based judgment method of reversibility and liveness of bounded Petri nets","badges":[]}}}}}