{"entities":{"Q5092425":{"pageid":7122001,"ns":120,"title":"Item:Q5092425","lastrevid":55929796,"modified":"2026-02-21T06:14:48Z","type":"item","id":"Q5092425","labels":{"en":{"language":"en","value":"New pumping technique for 2-dimensional VASS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561706"}},"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":"Q5092425$15196686-3F22-4F17-AD74-A25E4F15DE67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbacc854e17a0853117b4d86eeb4c426187482dd","datavalue":{"value":{"entity-type":"item","numeric-id":532390,"id":"Q532390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092425$96F77E4F-1523-4517-B68C-FF90ED77AA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092425$F2E0EC59-AA50-4CF9-AA5F-275C11A2D703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0725b78a7cc86600064fbe63488e61e381f5862f","datavalue":{"value":{"entity-type":"item","numeric-id":436609,"id":"Q436609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092425$7AA6C2C6-B176-442C-8C97-75DD67FCC7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"793278252a584d8cdc15f505f0cc53c1ba52d609","datavalue":{"value":{"entity-type":"item","numeric-id":1653015,"id":"Q1653015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092425$A1DF397E-0A1D-48DF-8B65-1CA0AC9852D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5092425$A17A1800-0635-46F7-B393-3B485EF3CDEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b411f5fb5580dcffd30913bbd9373c0f763477b9","datavalue":{"value":"https://arxiv.org/abs/1906.10494","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092425$F0C09218-4A4B-4CFE-BADB-32CEE2B6E6DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092425$33AE3B48-C2C3-4F32-843B-162A1334F8D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c36e4ebb359eb289ba9b7f4512122d9408bc3b8","datavalue":{"value":"7561706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092425$7972B6F5-7875-4F54-8730-E95CE194AD18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4526724ec8ba56aff2be3768c01e689f8bd217e5","datavalue":{"value":"vector addition systems with states","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092425$C55213C5-6271-45E9-8A43-889EE9EE87AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e0018f25a733cafd65beb3a1af28dde47465b0","datavalue":{"value":"pumping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092425$7A735501-B66D-43C7-A0A5-36B4DA8C5200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092425$1EDEDCD9-92BB-47AA-A4B5-F6393D4BA234","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":"Q5092425$3EC8BBE7-2864-48FF-9C9F-4BE71E7D3971","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a18c14124be8c8b5a6d4d22db1b61f5504f8bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4635876,"id":"Q4635876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092425$200C4223-B64C-4F5A-857F-1DAB1A69ECDF","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":"Q5092425$D55E8895-E44B-418C-9BE4-0C11BD3C44CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9a01fe70eba2200ad544329c398d78ea2bdbb0","datavalue":{"value":{"entity-type":"item","numeric-id":4598270,"id":"Q4598270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092425$928E2B74-3468-48AE-8D43-A341421B001C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0f213b38801e136ce0f118cdd047b98a551b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5144625,"id":"Q5144625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092425$475AE63B-5259-4982-AF07-4A7126C9D384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887cc1981494dacca42406e45618b1594b674d52","datavalue":{"value":{"entity-type":"item","numeric-id":4635905,"id":"Q4635905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092425$4B645931-769F-46CF-A796-D9EAE06846B7","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":"Q5092425$49BFB474-2AC0-4293-87E3-54BBABF17B4B","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":"Q5092425$2A1118D2-E180-43C5-8FD1-4ED3C2F087B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157f4a38f5fbd0bb9973a4cc0d39ee81627218b8","datavalue":{"value":{"entity-type":"item","numeric-id":1838045,"id":"Q1838045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092425$4DFF4393-960B-4F07-93DF-2131E3B94682","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83605a192f03bab790d7f5d8fd6f000b0d4528ee","datavalue":{"value":"10.4230/LIPICS.MFCS.2019.62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092425$10CDBFBC-AB31-4DE6-82A3-4FC11CB61098","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aaa7d93e2b76cbf8e66545ac3988e34fe50253e","datavalue":{"value":{"entity-type":"item","numeric-id":5311488,"id":"Q5311488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27676141706376fd491b6880c27f6b28e98c81c4","datavalue":{"value":{"amount":"+0.7549992203712463","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":"Q5092425$FB73A3E2-4B2A-4C48-9613-283983FADC6E","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":"6c0b2a22f496d79301ab26c07aa5c57425589798","datavalue":{"value":{"amount":"+0.7356802225112915","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":"Q5092425$0A06B10E-B371-4C92-9E1F-29D0325B5ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee6bc36eb8240d0762a30665c49e403a3cebfe0","datavalue":{"value":{"entity-type":"item","numeric-id":1096388,"id":"Q1096388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41aba1308749cc0008206509632b656c63005c32","datavalue":{"value":{"amount":"+0.721447765827179","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":"Q5092425$18E71F23-73DE-4611-A4C0-4D857ECBFCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e7ce4f5b5f890eca5877540d64fd26980c5c43","datavalue":{"value":{"entity-type":"item","numeric-id":5056423,"id":"Q5056423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0bf561f2d95d69a9b43b336f4c07eeea8e68ee","datavalue":{"value":{"amount":"+0.7174089550971985","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":"Q5092425$EBD71217-2688-4467-B88A-A2D2412F86C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ea7bef7bca15b9907ddacbf14cb5a5d1585dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4536371,"id":"Q4536371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd0ca2acc817a1b255f8bfa591b39965162bd19","datavalue":{"value":{"amount":"+0.7143349051475525","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":"Q5092425$28BCCE5E-3DB5-4D7C-AA87-6F4BD59E80A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5092425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5092425"}}}}}