{"entities":{"Q1096388":{"pageid":1107140,"ns":120,"title":"Item:Q1096388","lastrevid":66956598,"modified":"2026-04-12T13:58:23Z","type":"item","id":"Q1096388","labels":{"en":{"language":"en","value":"Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4030974"}},"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":"Q1096388$14CB8F08-20AA-4DE7-B066-939FB8AEA796","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad58340e9f223299f360cbcb0a4392c3f1003358","datavalue":{"value":{"text":"Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1096388$522D54C6-7169-4002-86FA-B10BE93BF6BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c79246450f4d6e0e8fcf79eb1d26600587b42069","datavalue":{"value":"0633.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096388$59B450CB-1972-4C8A-A8B3-4AEA7C328AEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75bdf693d43106be24974e99356f63a479e7e615","datavalue":{"value":"10.1016/0304-3975(86)90026-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096388$DDD18C64-DBDF-44DA-AADE-22460FA9CC13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d1514257d658e010131bff41324899be3f49134","datavalue":{"value":{"entity-type":"item","numeric-id":688712,"id":"Q688712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$8C2DD637-DC3C-4174-AE70-16F93ACB1C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0fbe9a2f35bfbb97131fdd4f5f88a8af0c602f0","datavalue":{"value":{"entity-type":"item","numeric-id":688713,"id":"Q688713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$3357178F-A31E-4803-8966-6ED5AFAE3E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11d29d2cbdb03c4d5ff90d92cbc2f1d658ba97d","datavalue":{"value":{"entity-type":"item","numeric-id":391197,"id":"Q391197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$1735951A-7232-4681-B4FA-AD703F4B5DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef70989854b46304c6274e59f7064331acfcdafe","datavalue":{"value":{"entity-type":"item","numeric-id":344509,"id":"Q344509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$D7465499-2864-4B4A-A3F9-862688C79800","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$A22A0904-C12F-46FB-A0FF-C0A755F1D771","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1096388$D1EEAA95-D1E6-4D71-BAAA-52CF85A39758","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91fa665f9daff22a98aafa9da0029f61636aecc1","datavalue":{"value":"The containment and equivalence problems for vector addition systems (VASs) (or equivalently, vector addition systems with states (VASSs) or Petri nets) are, in general, undecidable. They are decidable, however, for classes of VASs (VASSs, Petri nets) whose reachability sets are effectively computable semilinear sets (SLSs). The authors analyse the complexity of the reachability, containment, and equivalence problems for two classes of VASSs. Both of these classes are known to have effectively computable SLSs. By giving upper bounds on the sizes of the SLS representations, they achieve upper bounds on each of the mentioned problems. The techniques they use in deriving their upper bounds represent an original approach to the problem. These techniques may have applications to other problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096388$589880E9-5F04-41DA-AC34-0F1E46BB2459","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096388$8EC962BE-7689-4B5D-BCC6-1FE0D964DD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096388$5EB8164A-D571-4231-B0D2-5F11EB7B3692","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50df67f46616b59fbc141307977d2466b0a8b8fe","datavalue":{"value":"4030974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096388$131112C6-C6BE-4D37-875D-23F92CEA0DA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096388$2A022DBD-7836-4863-A961-8AF66B394F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096388$CB48E2BB-42FE-48EF-A688-50A78AC62619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b653a99116a641ea331c23c01dd0539a978560","datavalue":{"value":"equivalence problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096388$6AC93938-17EF-4528-ADE7-BC1B3C0EB94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096388$10C76EE8-C672-4A81-958E-1CB01D71DCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096388$BAAA2192-8556-4BF9-B39E-004229D75A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13afb928fe939717c66c4fb1757bf72ba00af4ab","datavalue":{"value":"reachability sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096388$47247F99-388A-4CED-A975-9B2BD641B412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c14232d70edbeb4d79147dabee0d98281ee60c9","datavalue":{"value":"effectively computable semilinear sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096388$0162149B-A9BB-47F7-BB2D-D35E8F2F8873","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":"Q1096388$B1CEED31-F281-40A7-8291-237ABB558FF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0b5254829e45d9972d07c4a05c24fe67a0ee121","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90026-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1096388$A54751EF-8335-4858-9E09-330AD872DD1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"768e05be5bbc069de4b02d7cc43e03adaa8298e4","datavalue":{"value":"W2001068306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096388$4CB5E723-8F70-4B7C-88D1-0C998A3E2925","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"007d28020364fa61db482d0ee2e50a45e3976a32","datavalue":{"value":{"entity-type":"item","numeric-id":4041633,"id":"Q4041633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$CE841AB5-0191-4973-A465-8563D84CF7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$13007D64-26B1-40A2-918E-E815AD5A5D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8980b6993ce3666dca27b7f643b7108c1d208bfe","datavalue":{"value":{"entity-type":"item","numeric-id":1819937,"id":"Q1819937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$C961BFFB-BFBE-4D1F-9FA6-39275C87CE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b90a9719471003b205bb7f13d39fa68211d2e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4152749,"id":"Q4152749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$8A386570-8E98-41B8-814E-8F12EE76C704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07aba6a9c1e60cd1f9f1767cc72a1ddfd6ac66d5","datavalue":{"value":{"entity-type":"item","numeric-id":1216050,"id":"Q1216050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$338B9281-6D1E-48FD-9107-446711DF4693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb89c68e650c350803663393d6e0912dfa3f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":4115143,"id":"Q4115143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$CA562C4C-385A-4412-B318-D9658B233301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c1f85a76867c5d87d87571197e135ac41c1e645","datavalue":{"value":{"entity-type":"item","numeric-id":1144929,"id":"Q1144929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$14E61E52-7EFC-4F70-BC42-F289CC92143B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6a514364685ad809c293991d2f0f3260bb9c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1146002,"id":"Q1146002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$A62A39B2-3D4C-4D8C-A115-F5BF2B447394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6981775c3bdaad566fe065afd3c04ece6176878a","datavalue":{"value":{"entity-type":"item","numeric-id":1238997,"id":"Q1238997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$52D28D1B-6F1A-41B5-A9D1-789E05FCCD7B","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":"Q1096388$5ACE0D76-D571-4271-BDC6-BA9A3E3FAA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2f573592e98c5ac8ddf159206ff6c9481db65e","datavalue":{"value":{"entity-type":"item","numeric-id":3668872,"id":"Q3668872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$688DABF5-D3F6-40B6-9EA6-EBA239F9FD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7991feb9f0d276f22f10bc1fed86e6934397d3eb","datavalue":{"value":{"entity-type":"item","numeric-id":802020,"id":"Q802020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$0A35907C-FFEF-4623-BBFC-BEC78C6EA8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b2daecfbbee66f760db64c59d0f7301b888a617","datavalue":{"value":{"entity-type":"item","numeric-id":3740228,"id":"Q3740228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$F0E09244-3371-4BBA-BDEA-98914B310309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a38a0cfef9ce99ec49f469d61954cb567c898e","datavalue":{"value":{"entity-type":"item","numeric-id":4727433,"id":"Q4727433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$BC40314A-A413-4F80-BA51-FDA09C4B60B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da752cca5efb4855354038b22564c935238dc126","datavalue":{"value":{"entity-type":"item","numeric-id":3319774,"id":"Q3319774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$AE01D22E-C91B-403B-B200-13B78601B83C","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":"Q1096388$9DBFD832-D932-460A-BD0C-2DE75502845F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cf1d5d871fd5755b77acd01deaa51f98e63eb0","datavalue":{"value":{"entity-type":"item","numeric-id":4164838,"id":"Q4164838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$488B7534-D9C4-4FF4-A444-FA6A85D332FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b270385c5f87646a288a84003f4b23432d904d79","datavalue":{"value":{"entity-type":"item","numeric-id":1149775,"id":"Q1149775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$C890EFFB-5BA0-4FE2-8D44-EC99480563C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$F4A965C6-6C7B-463C-830E-6431271ECCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3959ffb868545a66d56438fcd6e21698cad3375e","datavalue":{"value":{"entity-type":"item","numeric-id":1060848,"id":"Q1060848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$E0974A17-7233-46E6-9AD9-65497EA3DE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ec5d09b5c750f80e0bef8173b6beb42d02f375","datavalue":{"value":{"entity-type":"item","numeric-id":3912016,"id":"Q3912016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$5362C11E-A877-4524-A981-F8CF7DEFF73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$52586443-4460-48EF-B16F-867C980A2E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22bc7377b33701ee32696da1432f50457849d48e","datavalue":{"value":{"entity-type":"item","numeric-id":3891773,"id":"Q3891773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$369B260B-5917-41B8-8C3B-EAFDDD84F235","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":"Q1096388$D4DF7114-C6C8-4269-97DD-50468127E69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f5134eaa4297cc6ad992072c543aec6eb8f762","datavalue":{"value":{"entity-type":"item","numeric-id":4723306,"id":"Q4723306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$D5F3B19A-876E-4840-815B-43FD7337A8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ff1060da3179d57810f6793244d4a1df3aae78","datavalue":{"value":{"entity-type":"item","numeric-id":3746869,"id":"Q3746869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$39CA94A6-FE53-40C4-A062-4EC823F015AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03557cbd918b8a8243c3226bcfbd382a844e571c","datavalue":{"value":{"entity-type":"item","numeric-id":5603731,"id":"Q5603731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$8EF90271-555A-4A0C-B07F-E7B3DF511BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a3953b3ff68b1c4568f11da96aef064e716710","datavalue":{"value":{"entity-type":"item","numeric-id":4136592,"id":"Q4136592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$149589AE-61FA-45B2-9D55-ECE9B1D25079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4742fb3b3c48c73bcf3c896ebed6b9469ae658","datavalue":{"value":{"entity-type":"item","numeric-id":1158763,"id":"Q1158763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$402F5247-F03D-4920-AF67-6F073C2CACC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d111f686b4278fdf8b58b1d04a8ed095951a5ec","datavalue":{"value":{"entity-type":"item","numeric-id":1158764,"id":"Q1158764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096388$A1064C75-CA04-4026-9299-194F4B70A73B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418b676e5712991c8624e5454b553ba95105ba09","datavalue":{"value":{"entity-type":"item","numeric-id":3776647,"id":"Q3776647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d397dab0e9627291ec5ba8a4d3c2eb71dda135a1","datavalue":{"value":{"amount":"+0.8973369002342224","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":"Q1096388$2C377740-05C3-4302-8142-6C3165531817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b3ac7f8e47a33fbc1855fe7f9e764cc79b640d","datavalue":{"value":{"entity-type":"item","numeric-id":1819938,"id":"Q1819938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083c6421b2d36ae7c706c769fe6cfb40897a8e0b","datavalue":{"value":{"amount":"+0.8722745776176453","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":"Q1096388$16AEF1FA-192D-4EBC-8F9D-EED8D293B921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee0849a59a8948bb202b1874f6a0e091d81b40b","datavalue":{"value":{"entity-type":"item","numeric-id":4635789,"id":"Q4635789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24333ced09c736dab058be1277b8340611b2685","datavalue":{"value":{"amount":"+0.8471534252166748","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":"Q1096388$15CD9E61-6521-4F1F-A9F2-94FBC7B5CD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bebfb55df70a67a39b39483e90948de59f74ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5002821,"id":"Q5002821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1a4230683405e1396df719969e90a5f0662970","datavalue":{"value":{"amount":"+0.8306231498718262","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":"Q1096388$85EA88A7-7E67-43D9-BBA0-9EAD12410E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5874f08272698bacc89f83c08759a7175e5ea00f","datavalue":{"value":{"entity-type":"item","numeric-id":1819937,"id":"Q1819937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a28846d2f9723dac87e5756b29006d7d4dfc1cd","datavalue":{"value":{"amount":"+0.824021577835083","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":"Q1096388$8A4B042D-F9FD-4AE1-9489-24C050C63FFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_complexity_bounds_for_problems_concerning_finite_and_2-dimensional_vector_addition_systems_with_states"}}}}}