{"entities":{"Q3552518":{"pageid":5582422,"ns":120,"title":"Item:Q3552518","lastrevid":50961989,"modified":"2026-01-15T23:02:36Z","type":"item","id":"Q3552518","labels":{"en":{"language":"en","value":"On the efficient computation of the minimal coverability set of Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5697179"}},"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":"Q3552518$3F7E4845-E2E9-4339-B847-24495157C1EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8393720d00c9a70a1182639362bb408aa7e4fbde","datavalue":{"value":{"text":"ON THE EFFICIENT COMPUTATION OF THE MINIMAL COVERABILITY SET OF PETRI NETS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3552518$107EADAD-7D35-48D6-BE29-EC16104A1C0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce16ad14112d2044791f4dbcad9036e4f6200a68","datavalue":{"value":"1198.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552518$8553E631-D9E3-4F5F-B236-E29BE6A77B86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bf506c79e43625fa1d155f124a295d7059c116c","datavalue":{"value":"10.1142/S0129054110007180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552518$FD04B3D0-5293-4B31-AA71-DC91A47A3968","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c3f9f38aefd8497e435cf677955510a3778959","datavalue":{"value":{"entity-type":"item","numeric-id":487252,"id":"Q487252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552518$5422885C-A268-4866-A651-AA2B83705C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cc5ec977fc7a2855b06c0582a66f45759648c49","datavalue":{"value":{"entity-type":"item","numeric-id":3552517,"id":"Q3552517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552518$A6D8C73D-406A-4175-86D6-606A8AD41391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"361a20a56f2e0f656dc8adae728ee345469aece8","datavalue":{"value":{"entity-type":"item","numeric-id":553289,"id":"Q553289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552518$4913638B-E723-42D8-BB85-A789A88B3860","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552518$CA375BF1-DEDF-42E7-93C7-BA2660C49FE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f02be9883d625fd3319136e8ae50da56a98c787","datavalue":{"value":{"time":"+2010-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3552518$FF1AF5C0-D112-448B-A0DF-B4D566F94A7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552518$63B4A422-E0C7-4A75-91ED-F6950912FD0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5873f8e73aea3eb59d5dc8a2ae31e9ec072b391","datavalue":{"value":"5697179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552518$FB719EE6-146B-4601-B535-7FABC328E3BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552518$BCB1B39C-1B7C-4C9A-9FED-2305289880A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc5e4811c6954066eadc36fe36eba32cb318e99","datavalue":{"value":"coverability set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3552518$00B57FD2-B03B-4AD6-9373-1FEBFCA1F93B","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":"Q3552518$C9F58A2C-84E9-473F-B4D2-C640931E83F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b30807591b1fd2bb207e32763ea2757df51259","datavalue":{"value":{"entity-type":"item","numeric-id":3740251,"id":"Q3740251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3552518$0B15B049-ADF5-4E85-B7F2-55DA76B1D8FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d03e8e1a8805406f8d916f04429ab6da1554bd0","datavalue":{"value":"https://doi.org/10.1142/s0129054110007180","type":"string"},"datatype":"url"},"type":"statement","id":"Q3552518$EAC6F8E8-53E0-4330-AEBF-6950110C886D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52058b7ab749e5c2bc308482064fd3316df20d7c","datavalue":{"value":"W2156825078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3552518$8DA10B73-A02C-4384-AD28-569CF28E4D9C","rank":"normal"}],"P1643":[{"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":"f60bbba421eca37b6bf5f91455db78b9f354fcc7","datavalue":{"value":{"amount":"+0.9954347610473632","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":"Q3552518$1C41ED80-00E3-4F35-A5A2-A251AA8EC25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bf5e92e4ce6fe6b1bb9d0ea1fcfe9af295534a","datavalue":{"value":{"entity-type":"item","numeric-id":4914290,"id":"Q4914290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39eae073ab0ee63fcfcb6a3b55bf38f2e3863c3","datavalue":{"value":{"amount":"+0.9167413711547852","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":"Q3552518$12BF4AD2-703B-483D-95E8-28E71C274F5B","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":"5d9957aaafbb0edafaec3157e002abed41672fa8","datavalue":{"value":{"amount":"+0.870722234249115","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":"Q3552518$BB761B66-D3F3-4528-8C5D-575F8FB673E7","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":"42e4ff61bd5c841c0725a18b6286254ff9b2f398","datavalue":{"value":{"amount":"+0.8682349324226379","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":"Q3552518$497A0D41-88E3-4641-8B3A-0B88FACF5CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09cfcb325db798b48cb99a4d9c1723d49264171","datavalue":{"value":{"entity-type":"item","numeric-id":5168524,"id":"Q5168524"},"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":"Q3552518$6453F8FC-E227-4BD3-B1E4-4421779DBE64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3552518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3552518"}}}}}