{"entities":{"Q5111451":{"pageid":7141025,"ns":120,"title":"Item:Q5111451","lastrevid":55938688,"modified":"2026-02-21T08:07:44Z","type":"item","id":"Q5111451","labels":{"en":{"language":"en","value":"Polynomial-space completeness of reachability for succinct branching VASS in dimension one"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204571"}},"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":"Q5111451$3C4A85AD-218F-4E63-8430-5E92A433FC0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd3a6c2d1f5cb74dd824bd4eaefdf2de14e91aa9","datavalue":{"value":"1442.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111451$65AA5348-BA4A-461F-88E0-872B685E8A7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c0e46338d9cf33563ae57333053dcfe22df5cd8","datavalue":{"value":{"entity-type":"item","numeric-id":905681,"id":"Q905681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111451$AB2DD708-A845-4711-B2A7-8A412D2A44A0","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":"Q5111451$DC65530C-3D43-4136-8896-21BDF32814C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111451$7C8AFAE3-203D-47D0-96E9-34021F8D5CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d6c10c40b5e5dd06cf3d1bab585e20b08c02e0","datavalue":{"value":{"entity-type":"item","numeric-id":1622947,"id":"Q1622947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111451$7C68513F-2F92-45DD-9291-A3FF790B66C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111451$4FDD90EB-CD93-4D7E-9F53-322F4668443C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111451$6556290B-74ED-4FD9-86AD-1170CECB6A7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111451$246B18DB-E8C1-4EE4-B2A2-E8AF19A9D1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111451$72FD7043-231A-4F99-94EA-1539904102DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111451$4BBA8089-3B3E-4024-83C4-6767A75242C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111451$A18A10E9-2361-4F65-9C9A-BDD008D9F9C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f36df00d4e42672e18668f92f4e6e13478e36f2a","datavalue":{"value":"7204571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111451$D4BB98E5-FAF5-4F15-B760-7AC9171029D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6cbbb0056c540fc2e159a9b9cd862d39d8a1729","datavalue":{"value":"branching vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111451$D467C3A3-BBFA-4C53-AFC0-0CB8C5587125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111451$EB541516-CCA5-4A4E-BB93-23863A275F78","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":"Q5111451$18E45891-0B02-4706-BC6F-EC747526BD1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98ba80a5da8ced8e26b5b049b4e1c80ddeb671d0","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-01688742","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111451$B0A3A7BC-B0B0-4BE7-B96E-07BF6480315C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9181551e333c7d19f1d6e5c0cd9b38b2fda6dc6b","datavalue":{"value":"W2612695319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111451$5524B677-996D-4A87-B9DC-DF984AA6A81F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa2328518f43f3f58acda15524d6252718ee9bcb","datavalue":{"value":{"text":"Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111451$E9C13E55-B936-45C4-A4EF-A135CB6B1EDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6543b112a2c5f2714172146066f3885c12584c7a","datavalue":{"value":"10.4230/LIPICS.ICALP.2017.119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111451$450EC491-EE82-4549-987D-A68376DC83FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fceb760bd873ca0c8655624f25144adc4837583","datavalue":{"value":{"entity-type":"item","numeric-id":4598246,"id":"Q4598246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d34fab7e2b01532f0a3654be8f02300397ff789","datavalue":{"value":{"amount":"+0.8620665669441223","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":"Q5111451$C02A9884-DA05-4696-8998-6ECFDDB5E4E1","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":"50b47483291ac2018fe7a9b14924b785f55b85cc","datavalue":{"value":{"amount":"+0.8182805180549622","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":"Q5111451$341508A8-450E-4702-82CE-AB2494A7949E","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":"dc29edd2e068245147dcf7edae1db98ffc18d3fe","datavalue":{"value":{"amount":"+0.8073874115943909","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":"Q5111451$DD3D43E1-8A55-442A-A960-6AD3C77E0293","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111451"}}}}}