{"entities":{"Q7356350":{"pageid":31498850,"ns":120,"title":"Item:Q7356350","lastrevid":105273098,"modified":"2026-09-29T14:07:51Z","type":"item","id":"Q7356350","labels":{"en":{"language":"en","value":"A note on the parameterised complexity of coverability in vector addition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8260808"}},"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":"Q7356350$E232798A-1B66-4F03-9EF4-E614DD8C9D83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24654be778b5c4770645d7663ab55031093a12ec","datavalue":{"value":{"text":"A note on the parameterised complexity of coverability in vector addition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7356350$D968DF6F-DFD4-4825-B2EE-79266A6F036E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1f1d2f05458aea2c52d20705194dc341c181636","datavalue":{"value":"10.4230/LIPICS.IPEC.2025.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7356350$3D990DF0-6C10-4AA2-BA6D-8FBE54EB0985","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e229a7272481236f52fa95a4480b3f630728e07a","datavalue":{"value":{"entity-type":"item","numeric-id":262250,"id":"Q262250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$1F494C23-8E7A-416F-8274-ADEB5F36873A","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":"Q7356350$962E9EE1-6ADE-4540-90D9-1E2845D7C091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18d225256c9dcec4585cc73169b9a5320e2a9ccf","datavalue":{"value":{"entity-type":"item","numeric-id":6091189,"id":"Q6091189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$9B41DE10-F437-4667-8FC7-9366A89E2F66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94c867b43e94eda32eba2280e63b7bb3a6d65688","datavalue":{"value":{"time":"+2026-09-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":"Q7356350$364B6B75-FA08-474E-BDB8-459D49B23A96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7356350$7F00752F-7D33-4674-AB03-DF2A8BC1D8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7356350$17734368-67CB-425E-AD29-78B3002C285D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7356350$6828E2E5-FA38-437E-A93A-4E300AEBC8A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b601fb18621c381bb52323ce3f293c8e484e8d26","datavalue":{"value":"8260808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7356350$2C8803FA-DCB1-41B6-8B6A-2923A6D5D3A6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$927FF345-3558-4E25-85F9-76927F41E027","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":"Q7356350$0DB6A63A-E918-450A-9C0A-2E78338187DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc3c8645a9c0549736cd3c1f840a5e2914c7516","datavalue":{"value":{"entity-type":"item","numeric-id":2335903,"id":"Q2335903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$3C70CB38-50C0-4AEB-B9F3-4D8066892B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2565ba3b3494907220c9a72417fe6db7c3d14d1","datavalue":{"value":{"entity-type":"item","numeric-id":609029,"id":"Q609029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$7B6FEF72-96BA-4405-A7F9-2A89C97ABFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85b0da3cac5772f8e892252233fb7ed0775e720","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$A6EF883E-23E4-4904-BCEB-066516769CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c3339795f8692a2950cf315ba874fa9b60e431","datavalue":{"value":{"entity-type":"item","numeric-id":2272922,"id":"Q2272922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$C0430B95-B8B1-42E0-B8A7-FCD0BA886027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b39f0b7d58fce7d61280b130fac9c37b5b4b91","datavalue":{"value":{"entity-type":"item","numeric-id":3172868,"id":"Q3172868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$6BA2B800-EABD-4675-86CE-EFA50139A153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8004e4d499bb0c1c4b5389d3e3f3943da59ce8a","datavalue":{"value":{"entity-type":"item","numeric-id":1575434,"id":"Q1575434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$3F9620DD-D0EA-4F33-A42F-6153819754D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a40aefdcb318196034c6ce9987eed09e25b763","datavalue":{"value":{"entity-type":"item","numeric-id":6943429,"id":"Q6943429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$A8F7772B-622A-4938-B02D-78E3861164D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633fa92e858a340ccee89edd220e0d818a3e76b8","datavalue":{"value":{"entity-type":"item","numeric-id":3190138,"id":"Q3190138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$55664115-4DDD-45EF-9657-500E4579540F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01efd3c9fac8e3a0d408298546f90987628d3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5327433,"id":"Q5327433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$65B13F51-68B4-437B-B33C-F9AF1E1EE94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a7dc0040b0771f5c0c2545c25001ac71daad32","datavalue":{"value":{"entity-type":"item","numeric-id":6629526,"id":"Q6629526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$8F418D0D-82C0-4D36-AE32-B4EBFB670B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d99f6827cef19b3fe0f6c547f29f0cd3def9a2","datavalue":{"value":{"entity-type":"item","numeric-id":2965467,"id":"Q2965467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$165A27A4-E042-49D4-9F4C-C623D4AB4519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024d06bb45940fc2af3d505ba43ec43cb72b749e","datavalue":{"value":{"entity-type":"item","numeric-id":2920990,"id":"Q2920990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$E8EA82B6-0F0E-4EAC-A31A-495706D5241B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2557de950871aba3cd786a2779ef86703e6c99f","datavalue":{"value":{"entity-type":"item","numeric-id":2347796,"id":"Q2347796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$4A3066EE-4E51-4B1D-A692-524739E5A8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$A6CD5039-C7F4-4BD7-A2D7-E5C8A16B9271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb845d036cc4b277cebdbcc4323079cb9e9def1a","datavalue":{"value":{"entity-type":"item","numeric-id":6830130,"id":"Q6830130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$3FF8A1AC-42D8-4B46-ACBA-9098C4A3E4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15daa50d09adf44f8377ce2a9e7f9fa2861bfa69","datavalue":{"value":{"entity-type":"item","numeric-id":2800969,"id":"Q2800969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$F26527C5-9488-42D5-B331-09B7A2F213AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$2BF954CC-9630-4AA6-A0AE-046DDB862FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$780A28E2-298A-4314-AEB5-FB1BFF4D5232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28187dd3dcc2e6fcec4f660bfd83ed31a22eaa2","datavalue":{"value":{"entity-type":"item","numeric-id":6638141,"id":"Q6638141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$F87A23BB-8B6E-4883-BED8-B2AEFF12BF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9072211d3b7d41a3426448820aa67a4d6644920","datavalue":{"value":{"entity-type":"item","numeric-id":5925512,"id":"Q5925512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$1F39F07C-A9CD-43A4-BC51-246875B20EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f7a3dff638b251566bd69f9b9744f8f3b22427","datavalue":{"value":{"entity-type":"item","numeric-id":6943428,"id":"Q6943428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$518C6D19-64AA-49D9-8344-BD252F85BAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b653871ade930f183c0cae918b33d9870e771807","datavalue":{"value":{"entity-type":"item","numeric-id":6654515,"id":"Q6654515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$75DB20D6-F3B7-4755-9AE1-32A023BA4752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6139d2fb76790fbc1a2ff20446f11785d8f1488","datavalue":{"value":{"entity-type":"item","numeric-id":1168733,"id":"Q1168733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$71DDE093-96E0-45AE-80CD-844B633EFB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932ee66c8f78b98e04c42bc816120c086a0eaa6c","datavalue":{"value":{"entity-type":"item","numeric-id":6827879,"id":"Q6827879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$0A4DA008-91AD-4B3F-82DD-D20C494F6DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$FC9949FD-CB42-4D16-96EC-8608A05C09AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969b23c15bda365fef0dcb143b85f2f64b2e439b","datavalue":{"value":{"entity-type":"item","numeric-id":1819938,"id":"Q1819938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$551A3D54-7C21-4123-B23E-09D309BAA5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f013092dcf4a4c975cb6c3aac949b3d954ccca","datavalue":{"value":{"entity-type":"item","numeric-id":2828216,"id":"Q2828216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$E3F6A957-C4D3-402A-84EE-DD1F25B9F3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e666488b0c3f9012e00edc7be62409e85a2908","datavalue":{"value":{"entity-type":"item","numeric-id":6875023,"id":"Q6875023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$A048C090-D382-4AB2-A443-74709238A713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5baed9f75305a883c635c673a79e545bed4c5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1662545,"id":"Q1662545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7356350$D02A1861-6D93-4D83-AC30-F7F8859114FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the parameterised complexity of coverability in vector addition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_parameterised_complexity_of_coverability_in_vector_addition_systems"}}}}}