{"entities":{"Q407525":{"pageid":409292,"ns":120,"title":"Item:Q407525","lastrevid":61627875,"modified":"2026-04-11T00:34:32Z","type":"item","id":"Q407525","labels":{"en":{"language":"en","value":"The reachability problem for branching vector addition systems requires doubly-exponential space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6018469"}},"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":"Q407525$CB354CA5-1074-430E-A1F2-F50CA746C153","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"691f364aee01155c226a0ce3bb18059a4211a58d","datavalue":{"value":{"text":"The reachability problem for branching vector addition systems requires doubly-exponential space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q407525$61C32CCD-FAFB-4C04-9233-70F0BDDA4479","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"009bedcd2a6312884d146b9df66dac8e333930fe","datavalue":{"value":"1234.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407525$D8C3142A-5767-4419-A718-0CA4B012B38B","rank":"normal"}],"P16":[{"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":"Q407525$8063C763-3ABD-44B1-8A16-A88CD76DC437","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407525$541D0131-1108-473E-B3F7-675C59BB7805","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1770c1bb6bb89dcd261dc8678413c0c987eaa3b5","datavalue":{"value":{"time":"+2012-03-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":"Q407525$2265C733-822A-49BB-B374-4334F5EEE89D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407525$2562A580-917F-4D03-8244-45F94064D98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407525$B2272CAB-FCE2-43D9-9780-68A05FB8DD96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32ec7ac6323e94090d4699cde4ad745dcd463a7d","datavalue":{"value":"6018469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407525$7A6E151A-8D7D-4296-BF67-65A074EAD75D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q407525$F629DFB5-C49A-4F32-AD4E-8B4846E52CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q407525$67F3E3CA-5A3D-48FD-BFBA-C217E6723507","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":"Q407525$338B43BD-7160-4E63-B25C-57FEE78917BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b26e71f5be8240ef85cd5ffb2fdc5660b6524881","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2010.06.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q407525$38C12DFD-554F-4608-BBEE-E46622713660","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04529e1d1aac0bc4a6a67a6e420d8fee567f2747","datavalue":{"value":"W2108820019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407525$1DDC2E0E-30F5-43E1-8E5B-BE76CE58DD61","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407525$FE9FDC73-376D-4EAA-B00B-0263F1A5076C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257df51e393b0d853943fde502aaeb273a88b89c","datavalue":{"value":{"entity-type":"item","numeric-id":4289279,"id":"Q4289279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407525$B98ACD60-736C-4771-BB90-AA6ACBCB1A75","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":"Q407525$0CDBF978-DED4-487B-AA7E-9A27852849ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c772d2703f22bd12636c05a8bf424fb4fb7392bd","datavalue":{"value":{"entity-type":"item","numeric-id":1193891,"id":"Q1193891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407525$BC4385E0-5DC1-4DCC-93E2-F2C2B84ECC1D","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":"Q407525$0ABB08CF-FC1D-4A34-8266-2BAF999D1072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f29c87080848dd54764e19eae7e68ae19c62a9","datavalue":{"value":{"entity-type":"item","numeric-id":5387658,"id":"Q5387658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407525$9F38D5EC-CF95-49F3-ABEB-B99E82397180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407525$9EDE31FD-8B95-45C5-9AC4-882F2AF0ABB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b92e1f232fb7cba6a2145a4e13d0647c46fcf6a","datavalue":{"value":{"entity-type":"item","numeric-id":2920125,"id":"Q2920125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407525$6E4E0304-6226-46F1-8DDA-8E50955FCE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407525$17A63AB8-341A-452D-BB91-67883A467C03","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":"Q407525$86695351-39B4-4070-93B4-31E596A699F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14470467e571df1b2ccd77f399ce36353b776091","datavalue":{"value":"10.1016/J.IPL.2010.06.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407525$BF33D5F4-9D0B-4FFE-B465-30B0B64D62BB","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":"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":"Q407525$9991E6C2-46B4-46FB-B6AF-B04C90A9BE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6972c9af15409fa0cbb86117818aeb57e819a8cc","datavalue":{"value":{"entity-type":"item","numeric-id":3090839,"id":"Q3090839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad18ac37d5c7130645c104c9cdc3e14704b7d24","datavalue":{"value":{"amount":"+0.8044677972793579","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":"Q407525$6DB525D6-438C-4B7D-BB5D-B174845F5604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d153a80ed2cf60efdfe27a6579acf5d6bbfb2049","datavalue":{"value":{"entity-type":"item","numeric-id":4913768,"id":"Q4913768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54361309e79602d961b47728482ae5f4d91304a1","datavalue":{"value":{"amount":"+0.8026151061058044","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":"Q407525$0B16C74B-B0A7-414C-90A8-617C19D0D0AE","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":"96ddc9059582c3e361a5175e1dce91df47b66982","datavalue":{"value":{"amount":"+0.8024231791496277","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":"Q407525$29BEF4E3-8F5B-4B00-B7E3-7FD1E77BA91B","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":"323f8099a090cd5f44aa562e3abb3cf593f36d89","datavalue":{"value":{"amount":"+0.800896406173706","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":"Q407525$CAF03193-D748-49FA-B018-9ACCF6555CA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The reachability problem for branching vector addition systems requires doubly-exponential space","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_reachability_problem_for_branching_vector_addition_systems_requires_doubly-exponential_space"}}}}}