{"entities":{"Q4598246":{"pageid":6627831,"ns":120,"title":"Item:Q4598246","lastrevid":58298709,"modified":"2026-04-04T15:15:37Z","type":"item","id":"Q4598246","labels":{"en":{"language":"en","value":"A polynomial-time algorithm for reachability in branching VASS in dimension one"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820294"}},"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":"Q4598246$BA254E5E-8080-4FA5-868A-8D0555E7E3D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23d65ba2e0bc912e8e7d8f39d5c312634d415897","datavalue":{"value":"1388.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598246$D57FD082-85AF-4551-990F-AABB326A1BEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec1bc0849059b0a991d5eac196f85a97b908b21d","datavalue":{"value":{"entity-type":"item","numeric-id":959056,"id":"Q959056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598246$82CE6B38-BD67-4045-9997-DE2B5039467F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f36849b1874dad2ed4c54ecc7d6b4a4c27f76d0","datavalue":{"value":{"entity-type":"item","numeric-id":782554,"id":"Q782554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598246$59D3816D-FC40-4FA8-A942-137417BCA8AD","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":"Q4598246$C48E4D06-59E8-4F16-821B-1749FD4EA13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b40c8beb7cf2a3f6eefb5705d808ad6c7eca7d","datavalue":{"value":{"entity-type":"item","numeric-id":1675153,"id":"Q1675153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598246$5AC93BD0-CECB-410A-841D-C953C7F5CF29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fc61ce6e2abfbe9b4163dface0a2d1eb319125c","datavalue":{"value":{"time":"+2017-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4598246$00519B3A-83A3-4AB8-9BAE-D2BEC3B1B3F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1b99ceaa27a498e3bc05852a1b1bb4a5cccf501","datavalue":{"value":"https://arxiv.org/abs/1602.05547","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598246$56F3F992-29D0-4DF6-99D8-A14E0D714747","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598246$FBAB8FB4-CD6F-4BB0-BA52-DA227F2CE35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598246$280FCF8B-A4B4-4B1C-9FBB-0F16A8E9FCFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3371c56f13203f69ded8793fd3d2dd2cd54a880","datavalue":{"value":"6820294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598246$C23F6A81-8275-4D70-A208-BF1129A26697","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6cbbb0056c540fc2e159a9b9cd862d39d8a1729","datavalue":{"value":"branching vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598246$2875101D-325C-4890-AA2D-6214F5F70F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598246$F1013FBB-7BBA-4368-BEED-CB3EE04037E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598246$310E6BFE-9BE0-41CD-8293-F679D1BD51DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598246$E6C2B16B-FCEC-4A48-86B1-12653AF94D89","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":"Q4598246$9CF251E1-82DF-4B16-A935-BC3D041D5315","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99426fd0ab83bef916fc0928ba7bce1b64323b6a","datavalue":{"value":"W2963717612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598246$70B99365-B276-4DE7-9482-2D90B7B839CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"688b51f2501ee552f07d36c6cbed20d3a3584e09","datavalue":{"value":{"text":"A polynomial-time algorithm for reachability in branching VASS in dimension one","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4598246$6FEB216C-C7EC-425A-99E7-0C9B1A275CC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"273ccc866f9baece6f0e86afdf2b7d2444349849","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598246$7AABF538-6B63-4D3B-BB92-D51937F334DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaefea66d54a1dd1293c1c92c7c2f7e5d560918e","datavalue":{"value":{"entity-type":"item","numeric-id":5111451,"id":"Q5111451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd11808217b0b048d4a15291f650670d6e77d646","datavalue":{"value":{"amount":"+0.9466523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598246$3EA55CA6-0C5E-451D-955C-F507D33420B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"867d548ecb7fb5d5fee72f85a2e91555b3a8ab24","datavalue":{"value":{"entity-type":"item","numeric-id":5875390,"id":"Q5875390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827fa26ce7211b7c4cc13be3cf4fb2b6abaaa505","datavalue":{"value":{"amount":"+0.8919229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598246$D724876C-A6DC-4764-B2CC-F65CAADA9F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b24ae2b2af02462d8b2ed5216dbee0f47c558c4","datavalue":{"value":{"entity-type":"item","numeric-id":6176114,"id":"Q6176114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8bd6e65367d191b06aa02f9e2f4a00c827cfe65","datavalue":{"value":{"amount":"+0.8452128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598246$17250867-9425-47DB-B668-17302ACAD506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f62ebf80132e932395f00e4bd499f2a6c8a9c3","datavalue":{"value":{"entity-type":"item","numeric-id":3694708,"id":"Q3694708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07ad97b9b1b6931705bd0b670d0e94fc500dfa9","datavalue":{"value":{"amount":"+0.84281385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598246$2417FC12-4E37-460C-A97D-5A2A5A1EE862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"183658d666e926d8d8b1159719c7af460127197f","datavalue":{"value":{"entity-type":"item","numeric-id":2032173,"id":"Q2032173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe321f9740aa5f22aac04f0956e6f8d44091148","datavalue":{"value":{"amount":"+0.83947825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598246$7547F2FA-6C49-4D87-8321-030CE1EDE726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d929b264fad99bb657d5db3a0bca6afcd73b48c1","datavalue":{"value":{"entity-type":"item","numeric-id":526433,"id":"Q526433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af10b1d550c2b03db0c6556942135cc6353aae1","datavalue":{"value":{"amount":"+0.8390967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598246$D65290AB-2BA3-46BE-BA6A-ACAEDE89A3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9af88604171b6f1777c9eb5ef206330a0dcaf5ff","datavalue":{"value":{"entity-type":"item","numeric-id":5898975,"id":"Q5898975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d117e53cc02872a4ec824b0720432ae7bcfb8f5","datavalue":{"value":{"amount":"+0.8389937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598246$CAF7E6CD-8CDF-4478-8DE7-45D4FF810AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18b97629bce32596095561f2a2815dce7a01c84","datavalue":{"value":{"entity-type":"item","numeric-id":3347300,"id":"Q3347300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf715bb80c87821ea36410bfb95228caee37be13","datavalue":{"value":{"amount":"+0.8365996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598246$69AD1B63-A0B3-4956-8AD4-734892356861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86967b6bafcc82a682f0b68e812c875c9eb4fbeb","datavalue":{"value":{"entity-type":"item","numeric-id":1685792,"id":"Q1685792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"693ad8623e2a5aee65b7dbc20094dbca411f6677","datavalue":{"value":{"amount":"+0.83576274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598246$2B8EE226-EF03-4666-AC6A-277A53408750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2dae18d9d08b99e5e3570a9b7d0cb0b091975b","datavalue":{"value":{"entity-type":"item","numeric-id":407525,"id":"Q407525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d57cbd3b9d002e8bbef2406649fc440d5cc548","datavalue":{"value":{"amount":"+0.8355053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4598246$E314881E-2163-4B04-B9ED-89355E028EB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4598246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4598246"}}}}}