{"entities":{"Q6560926":{"pageid":14172081,"ns":120,"title":"Item:Q6560926","lastrevid":95556941,"modified":"2026-06-05T09:16:39Z","type":"item","id":"Q6560926","labels":{"en":{"language":"en","value":"Reachability in bidirected pushdown VASS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7870334"}},"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":"Q6560926$120368F1-AA9D-473B-91E7-CD239D9EBFB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98b52b8635344406271a267ec45ef6c90a4f7e7b","datavalue":{"value":{"text":"Reachability in bidirected pushdown VASS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560926$E134C7F6-5BB2-47B4-8448-D34883B9FD10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2526676e7f7329cc9635203c2b68a2a96851cbde","datavalue":{"value":{"entity-type":"item","numeric-id":1647671,"id":"Q1647671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560926$D762D0CB-9F13-45B2-9F2C-B048BB23AB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560926$A45439CE-8A6C-49C1-929A-0D377FC789E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f06d0352f5ea084c8951e25e77de537e948b7ba7","datavalue":{"value":{"entity-type":"item","numeric-id":650875,"id":"Q650875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560926$A375E45B-A3BF-4F9D-B8A2-41C2E234F712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adea6bcf7db8058f76b6c31b28eb61dae8638020","datavalue":{"value":{"entity-type":"item","numeric-id":6091195,"id":"Q6091195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560926$A0B6FD18-9218-4DC4-9232-A5A8D4CCEC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a981040b7cfe2c1a3a7b860b2700c236f2b8a237","datavalue":{"value":{"entity-type":"item","numeric-id":1675162,"id":"Q1675162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560926$84058F08-3A5E-44F8-92E1-05C01037492E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aad9968298383135691f4dcdd005dbce68275c0d","datavalue":{"value":{"time":"+2024-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560926$A632118A-6038-4602-8FED-E3A9049F6BBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560926$678D4B37-8C5B-4992-8C7F-5DE00C277003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560926$199D96FC-2C5E-400B-8900-4C7CF6E0EA63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63dd0614c7ee8fbbe0bb4e1401af9ef32a83cc46","datavalue":{"value":"7870334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560926$B79F86F8-E89C-4AE8-AA80-BF9AAE5775DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560926$424B5615-C47D-4D36-9BBC-DBA5B69076CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b1e70ae1fc70c62ecf8fa1ba16f6ba46bb9905","datavalue":{"value":"pushdown","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560926$C3682289-FAFB-470B-9C01-E2A968DD2E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560926$7E65EE95-4D87-4153-8ACB-F133560F21F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560926$179B32BE-660A-4E4E-B66A-721E94028D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560926$1BBAC4BA-E95E-492B-8669-C868BFE0A5A5","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":"Q6560926$E183F161-F195-46A4-A02A-C4B4F8723359","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa2851bf732b8a5ae059363c3e66e988b23d82fe","datavalue":{"value":"10.4230/LIPICS.ICALP.2022.124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560926$AC2D8202-E39E-4826-87E3-BE0C7375A2BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability in bidirected pushdown VASS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_in_bidirected_pushdown_VASS"}}}}}