{"entities":{"Q4635904":{"pageid":6665485,"ns":120,"title":"Item:Q4635904","lastrevid":55976680,"modified":"2026-02-21T16:49:54Z","type":"item","id":"Q4635904","labels":{"en":{"language":"en","value":"The complexity of coverability in \\(\\nu\\)-Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863516"}},"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":"Q4635904$A31DD82B-8163-4B4E-81E4-D3DF2CC03714","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2aa7b9124edc32b04355dd205cfa39c583bdf196","datavalue":{"value":{"text":"The Complexity of Coverability in \u03bd-Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635904$9A22ADA8-A690-41A8-84DB-61D5A0BA8219","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e29835c6f9eb86b5cb1e94c5165e5ca024f2dd48","datavalue":{"value":"1392.68306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635904$C2B63D33-7C92-4CD4-A251-9E2EB2B24CE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ea79d263dcba5801290e3ee9dd3716219d6d4ff","datavalue":{"value":"10.1145/2933575.2933593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635904$E3412460-8D1A-4E03-982D-A57EABE2291D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eacacbbe6e051b16df56b4d3a50a13e6712a6099","datavalue":{"value":{"entity-type":"item","numeric-id":407524,"id":"Q407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635904$EE7FD749-A918-4B1D-A052-A10C1BFF75B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635904$68B81DD9-50F6-487A-BB8B-C84965C9A9C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635904$3E86F27C-A5DA-4F01-9621-AB5DB006BCFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635904$F757C337-A573-4E11-B5CB-64E30E0A97DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ccfc48864a796333c861961bdfe1926e2eb10ee","datavalue":{"value":"http://wrap.warwick.ac.uk/79162/8/WRAP_0070379-cs-170516-sigplanconf%20%281%29.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635904$A83F63A1-7730-4F2F-9409-61F048FFC286","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635904$9C526E0B-0861-4A1E-9A9E-B0C3354AD487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635904$A0604C97-96CD-445C-A263-047B186FF21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635904$DC78B474-EA0A-49C5-84C0-3187277862D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f19d2042c2caf6ad21aadf8442eaf22d295e6eb","datavalue":{"value":"6863516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635904$385837EE-D8FC-4C19-BB8A-EC59F199B929","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8586692c2bf96d47c6969d2d7eff5aeb064f793f","datavalue":{"value":"well-structured transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635904$4C17E08E-FCEE-47DA-8572-D977C5148713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26985abc07bdfe39c813bdf55389b3b00d243683","datavalue":{"value":"fast-growing complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635904$3163B0A5-4A16-4014-A7D4-AA1AE4E47D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635904$2CA889FB-F578-4BC2-B027-4DD05B51AF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2d108a7b055efb863f51ef42babdf233c280dcf","datavalue":{"value":"order ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635904$786F1740-E8FB-4A0A-A7E5-2E54E3918D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfd722232c4f35da3a742b7dd0939e8297df61c","datavalue":{"value":"well-quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635904$B4F768F5-08AC-497B-BE75-961F8F2D6E9C","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":"Q4635904$CD730640-D0B6-4DE4-A133-03D63DFEFCD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9665f346c7ae332841da9c4dc6577fd2382ecc32","datavalue":{"value":"W2286125845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635904$35526BD0-1B4F-4C0D-A595-3627D6E94BF3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"98a16c770935261e05e1596454130bc3810a5943","datavalue":{"value":"Q130974889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635904$ECF7F555-0AC2-46B0-8E8B-D59934C2C8B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617f6c0dcb91397eda62325b1afa3c66a092983f","datavalue":{"value":{"entity-type":"item","numeric-id":3225720,"id":"Q3225720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa7b4541e879e75852766fad8c24fa9a0c78612","datavalue":{"value":{"amount":"+0.8280146718025208","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":"Q4635904$32A99324-7301-4C8C-8F61-A446FB6DFFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78eb6cc7d213f0caaa58d401d9adb5439f8b6bbc","datavalue":{"value":{"entity-type":"item","numeric-id":2272922,"id":"Q2272922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f64d4fdac671132bc56d842585e485ae55346ab","datavalue":{"value":{"amount":"+0.8256193995475769","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":"Q4635904$0184BE8C-AB49-40C7-98BE-2BDA744B4196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4295ea0a437d062e570db60fd190030901697e8","datavalue":{"value":{"entity-type":"item","numeric-id":554219,"id":"Q554219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b151066f558e91f089df1c330aa39075b3eca5d","datavalue":{"value":{"amount":"+0.8061848878860474","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":"Q4635904$845DDF57-924F-4388-B089-76ED1564AA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"519d4c048bdfb55f73731f0383d6e88a3926cbaf","datavalue":{"value":{"entity-type":"item","numeric-id":1935777,"id":"Q1935777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411566201beb5aae57fbf662255462945422e948","datavalue":{"value":{"amount":"+0.7840258479118347","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":"Q4635904$61C83A83-EE0B-4450-83E0-13AE5480FE5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635904"}}}}}