{"entities":{"Q2656343":{"pageid":2667086,"ns":120,"title":"Item:Q2656343","lastrevid":44579469,"modified":"2025-11-24T01:32:33Z","type":"item","id":"Q2656343","labels":{"en":{"language":"en","value":"A lower bound for the coverability problem in acyclic pushdown VAS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7319588"}},"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":"Q2656343$D22F7125-3FCD-4C1D-B830-00F4079C192E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e32aa2153e317081491be7a4c98e7c2800ce620","datavalue":{"value":{"text":"A lower bound for the coverability problem in acyclic pushdown VAS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2656343$07F1E39F-E220-43BD-A2D5-3E8762315FAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eaa4b7ef4c72bf6f65a1faa9a6acd0370180ed9","datavalue":{"value":{"entity-type":"item","numeric-id":987395,"id":"Q987395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656343$1ABED948-4481-44FA-876E-3A4600743746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa83eddc2a574af0633c5b9f4ce63a6fb453096","datavalue":{"value":{"entity-type":"item","numeric-id":2254492,"id":"Q2254492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656343$AFC48F80-F565-4D99-80DD-6A4BDB63D414","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":"Q2656343$F1F187B5-ECC8-491D-851E-276B1C07DB30","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":"Q2656343$081F69EF-B708-498B-A491-00E1BE9941EB","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":"Q2656343$CF9D4352-977A-457E-BA97-DA417428CBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e160d0e47657b3aef6b51a88c7a8295d9173d1fe","datavalue":{"value":{"entity-type":"item","numeric-id":782158,"id":"Q782158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656343$6DD937E7-FDB1-4B07-9566-340437A1FAA4","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":"Q2656343$DDF7BADF-3AFE-4A21-A0E0-7094915A9223","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c9c4fa66886d0d17e842ebca75fa9d9080ab5e5","datavalue":{"value":{"time":"+2021-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2656343$B5CAB22F-D5FE-4630-BB4B-5354B6F84597","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e49a9aad592a4b3f40994a096f5d9f10c1dcd4d","datavalue":{"value":"http://wrap.warwick.ac.uk/146756/1/WRAP-lower-bound-coverability-problem-acyclic-pushdown-VAS-Englert-2021.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2656343$5ED2AC06-26FA-4477-B71A-B830BC187E68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656343$D3C14423-9165-4B7B-B52D-6D130D90CE9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc31fd69ba422501abae94267f18b818476c8852","datavalue":{"value":"7319588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656343$D3070CE8-96CE-4363-9F0F-D6880418AB36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656343$8CDBB41C-7729-4EEF-BB4F-0FC3D2E169FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37f1b310a3dab2e44459244c624b1e251e5b8cd","datavalue":{"value":"context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656343$8FF6E107-890E-4DB6-91B5-B32D5ABE860B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f11c5abc2fe990a5531d24fc3ad39a60d5290f0a","datavalue":{"value":"pushdown vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656343$C78D6450-D51B-49C6-831A-CDB7F7193E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"078cb84eb7b21829df0917923ba1b8277a3e775e","datavalue":{"value":"one-counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656343$87523286-6204-430E-AF9F-B772BA785113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a50c696676222a2ae79deb0a507d55c171979bef","datavalue":{"value":"coverability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656343$56E1A8CB-D7B5-4D95-9E22-FBF98F6D7A74","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":"Q2656343$2AAA2AA9-E745-4302-89A0-17DDBDD9A8C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ff628ccb9220dc069b38d531bc77bd327f72a21","datavalue":{"value":"W3112000701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656343$CA44AB05-2421-4743-9FF3-BDAE2AA382B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3be818606f1407ea3f09559189b5d37bf28a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3449486,"id":"Q3449486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656343$33D8D5F5-8D34-44A5-9218-A018713A1514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199254d857c20c8c8b28ac81e9484dbd90543c81","datavalue":{"value":{"entity-type":"item","numeric-id":2330602,"id":"Q2330602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656343$23AE036F-E8E1-4103-A2E7-3147B6F8484A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4482eabab25d00cf3435e58a07e62415aad5eb07","datavalue":{"value":{"entity-type":"item","numeric-id":1708715,"id":"Q1708715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656343$F59BC0ED-11DA-4D47-BDD8-3F4CDD6790E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6939b53be21bf5a18add9c837c8e0773dc51966","datavalue":{"value":{"entity-type":"item","numeric-id":4635648,"id":"Q4635648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656343$4132883D-D257-49E5-89AF-F9BFCEBD263A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"602709e3dd9d38f3ebcdb3964460b32b05c4fbbc","datavalue":{"value":{"entity-type":"item","numeric-id":1675154,"id":"Q1675154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656343$309B8D05-6358-4107-8168-3D55B076C967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bea33521ecdb5b888af5771509d9c6124d3eea","datavalue":{"value":{"entity-type":"item","numeric-id":5212744,"id":"Q5212744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656343$073D0EC3-8086-427D-B658-32600D24EF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab9b3c34d39fcfbfa5ef48ffa5afc91a19dbb49a","datavalue":{"value":{"entity-type":"item","numeric-id":861262,"id":"Q861262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656343$D328BFC0-A6A5-4772-ABB2-CD358E8609E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"019c3e376192bf1254ef005b5eb9337b220491fb","datavalue":{"value":"10.1016/J.IPL.2020.106079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656343$50C64DC7-0E0A-45CA-8BAC-B01A8F8B305C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20feaa035a2a9b2009b099bf647dd81ed8ccae63","datavalue":{"value":{"entity-type":"item","numeric-id":3172868,"id":"Q3172868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7378769e23776b57c34194a9be6acece320dfc","datavalue":{"value":{"amount":"+0.84965456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656343$D77579F0-F30D-4FAD-9C47-8B02C53C25EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79876d413c4671ada3c5d9588b477be63db0b91","datavalue":{"value":{"entity-type":"item","numeric-id":5739016,"id":"Q5739016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f55357133fee135f3ed2a2c185eb208b5b8f8a7","datavalue":{"value":{"amount":"+0.8487606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656343$2697301B-65C7-4FED-867B-95EE22A920FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ef3299f0bec7a7388b50138edb47c712396d33","datavalue":{"value":{"entity-type":"item","numeric-id":3989014,"id":"Q3989014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d9b6a35f3c7d3f2daf3f0b2e79d91c4f9503f2","datavalue":{"value":{"amount":"+0.84470344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656343$F6C28301-8BA6-456C-9013-4CA5383F81C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d2ef883a83f6e858ac57b4bc34419cba5c66ae","datavalue":{"value":{"entity-type":"item","numeric-id":1868261,"id":"Q1868261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f5013ebfce3f280555c88965512ec37cb36b67","datavalue":{"value":{"amount":"+0.8429452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656343$468150FE-2F5A-47D8-B905-A3CF94D13B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"654a57c7aff83308719bd68d7b00b4bab7120fab","datavalue":{"value":{"entity-type":"item","numeric-id":633768,"id":"Q633768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8679a1b59db9351928ccb644411a23b69370a0d","datavalue":{"value":{"amount":"+0.83403546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656343$CECE4206-ED50-42BF-8AE9-F3B2044092A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa2f4cd5396dab076de78d80c66ec9533a3b977","datavalue":{"value":{"entity-type":"item","numeric-id":4788070,"id":"Q4788070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb14419a28f172d2175e0edaa5a201cb14c75820","datavalue":{"value":{"amount":"+0.82971036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656343$2C81D19E-9751-4D2D-865A-2C90D4987529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79b49f835bd4420353873863b052426aecd5974","datavalue":{"value":{"entity-type":"item","numeric-id":3449486,"id":"Q3449486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19964aee57b3afe5dba0cb2f6ea708dbaf80ec3a","datavalue":{"value":{"amount":"+0.82666075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656343$C18ED0F5-BEB3-445A-96A6-C875C43CB109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceab748d518cc0a89279a5557266163d8dda7337","datavalue":{"value":{"entity-type":"item","numeric-id":2971146,"id":"Q2971146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4256ac46b5793c3e64c65c539afd42a72c780b7","datavalue":{"value":{"amount":"+0.8255696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656343$79AEB07B-F858-4ADB-9738-BE7B6EBB5399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"285c0e9ca647615cf6c2c758c04342b48e2df994","datavalue":{"value":{"entity-type":"item","numeric-id":1752204,"id":"Q1752204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630652a7e110397a70e5691d34e51143b784f821","datavalue":{"value":{"amount":"+0.8245721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2656343$799FC231-2925-47ED-9B0A-0F72DDE343D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2656343","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2656343"}}}}}