{"entities":{"Q2920125":{"pageid":2930845,"ns":120,"title":"Item:Q2920125","lastrevid":42500926,"modified":"2025-06-30T14:37:48Z","type":"item","id":"Q2920125","labels":{"en":{"language":"en","value":"The covering and boundedness problems for branching vector addition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098226"}},"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":"Q2920125$F0F9E939-40B8-4E33-9781-564F6FED7AB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb948e8e7f961faeba66b6c3f0ae32d92f1721dc","datavalue":{"value":"1248.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920125$E840E12F-0774-4210-ADED-21448DD6D15D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920125$B9A6E89A-71C3-44C9-AFC1-061B6A68017B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f621ede52e0e400ed40e07c9d5b412ef629a170","datavalue":{"value":{"entity-type":"item","numeric-id":293425,"id":"Q293425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920125$C5320D5D-F8CD-4E2D-8A98-9FA8F6D7F509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c429a5b37184366f6686184c29ed0c4ee339ef63","datavalue":{"value":{"entity-type":"item","numeric-id":260261,"id":"Q260261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920125$786D94CB-07F7-4C5C-898A-2299EE268B64","rank":"normal"},{"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":"Q2920125$AB25366A-42F7-43A6-A0DA-4C8BA9DC7427","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ee92d50481ed05c06549abf63f6ece88b90dd74","datavalue":{"value":{"time":"+2012-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2920125$5A51FB9B-E4DD-4D9B-8B61-EEB7209145A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6db7399cd3303002734ebf8ffef9ee692a1cb030","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_ef7f.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2920125$5571D94E-AC42-4DDD-92BA-048953084980","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920125$26C9119B-FCFD-4289-9DD6-62DDAF37D6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920125$96F88329-9B69-4CD4-A86E-2F590FB122E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920125$CED6402C-282B-4028-8C8F-5592F8B68391","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15e2756dd8b07e5947570c178cd7285ef8b78a12","datavalue":{"value":"6098226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920125$F32755A3-339B-4BB2-8226-8A2753633353","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920125$E4FD8CDD-70CC-49B2-8938-9729A3D97839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920125$78E3F4AC-FBE4-4BD4-957F-4DAD89C72ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d142027bf3153eebb876131ac5297907f4e838","datavalue":{"value":"covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920125$3002C0EA-85C6-4575-B590-5A738647D9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920125$3C79BE0F-6424-4AA2-BB36-F58E9E3EC50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920125$2B549AF2-4EED-434A-8EAF-A4CB8D6F0184","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":"Q2920125$E1907788-7FD4-4CE2-9C01-A2FC306F27F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a5de82099e9b32da9143c5a32acbcf413a734d0","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2009.2317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920125$75171000-D736-4A1D-9ED1-647BB8A5358B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4144ad05254ce91c09081fb8cfd957496b7e9f7d","datavalue":{"value":{"text":"The covering and boundedness problems for branching vector addition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2920125$101E8547-9B22-451D-9407-3AC0D9D8A6E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2920125","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2920125"}}}}}