{"entities":{"Q4914290":{"pageid":6943869,"ns":120,"title":"Item:Q4914290","lastrevid":51696446,"modified":"2026-01-19T13:04:55Z","type":"item","id":"Q4914290","labels":{"en":{"language":"en","value":"Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155482"}},"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":"Q4914290$812E6EB5-1DC8-412E-8E6B-BB525022CD81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db667bbac9f9f117cc1b9a776aa5655b473de1af","datavalue":{"value":{"text":"Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4914290$993B0A4B-DF5B-4B8A-9B92-582E3BDE268C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"deacae281a3c625e79ee9c848ee7e5c25cd4676d","datavalue":{"value":"1282.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914290$DE6CF146-68B4-449D-ACC4-D589D1E12081","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65585fb0fff7724eb38a78ef39532599120a3894","datavalue":{"value":"10.3233/FI-2013-781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914290$FA1AD63D-0D8F-4EAD-9F1F-7700C91C719D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61d9dbabf0a46d5abc1b2de661610d71f11ba29b","datavalue":{"value":{"entity-type":"item","numeric-id":1622949,"id":"Q1622949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914290$789AA9D6-AFA6-4F9B-A990-0E9431644584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4c6f4240625a125156233592944f0b4e6b4d41f","datavalue":{"value":{"entity-type":"item","numeric-id":1672008,"id":"Q1672008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914290$D2B6B915-D56E-4326-8437-707F7AA340F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914290$ADACAB45-9DDB-4F1A-9424-2A95F0CED57B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc7e66db6101b78e3ea7c15b1ab0503a867fd99a","datavalue":{"value":{"time":"+2013-04-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":"Q4914290$EFDA2641-76A4-452C-ACA4-4FC11FC580ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914290$DD4AD66D-8027-4730-91C2-6E0D2B260D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914290$DAA2902F-A164-48CA-9194-88D2E555E8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914290$8867911C-8098-4F9A-BBAF-96E95B22CC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914290$9B11CEC1-7A11-4F9E-A504-E2BA209F7222","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40866ab3a3866990bdf6ab0ba2cd8641c5f8734b","datavalue":{"value":"6155482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914290$84D93BA6-2A4A-4963-8A34-7A668E1BDB7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914290$9E7AB041-467F-468D-B56D-53B3454E4BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914290$3E116F90-B761-4182-9B37-9B1F5E788D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914290$601F7115-C467-4C8E-8389-D61E96F5E6CA","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":"Q4914290$B6D538B4-13D9-4808-AA58-CE3EF2D9EBA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914290$52E23201-C305-48E1-A07C-D54AEB75CDFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03707cfd8e064ade3f97a44ec54760f24972b2eb","datavalue":{"value":{"entity-type":"item","numeric-id":3011882,"id":"Q3011882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c1f636ab508337cdbabd1b325b1cb75e1ac332","datavalue":{"value":{"amount":"+0.9968279004096984","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":"Q4914290$D315BB43-2F8C-4E4F-8A9C-AE4D6B89DAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6374a7fb172ddcedf3e9dbd8e6bd48439cc8fe","datavalue":{"value":{"entity-type":"item","numeric-id":2908208,"id":"Q2908208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31fc3d740b8bf39f98681a9bbba21f32f4430f1d","datavalue":{"value":{"amount":"+0.8654839396476746","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":"Q4914290$7DB1A0DB-7A3B-4EE8-8722-7C2DB17C8F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e6fbf9c67774b7bb8ea3593d4576fdcfbbbd48","datavalue":{"value":{"entity-type":"item","numeric-id":3510790,"id":"Q3510790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb03794e024b85e4bcae90356ebe5af68e9a5e7","datavalue":{"value":{"amount":"+0.8623080849647522","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":"Q4914290$666A16E5-5ED6-4951-8646-7E83506DE920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df706a030a27cb7744986574e220a99464eb0e35","datavalue":{"value":{"entity-type":"item","numeric-id":5415298,"id":"Q5415298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"960a359c1f2d964fd1f3bda64557e34aa5a8cc8a","datavalue":{"value":{"amount":"+0.8601868152618408","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":"Q4914290$5698F0C6-6E93-42CC-B869-4936664FEDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fc16fd1110ca58adfd7fd7d432c39fe476c0a70","datavalue":{"value":{"entity-type":"item","numeric-id":3552518,"id":"Q3552518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb122bdf773fa6509817a2576e207120410d40d","datavalue":{"value":{"amount":"+0.8556127548217773","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":"Q4914290$B0D5C224-FD2D-42AC-A327-5D842FBA25AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4914290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4914290"}}}}}