{"entities":{"Q3623010":{"pageid":5652916,"ns":120,"title":"Item:Q3623010","lastrevid":80836427,"modified":"2026-05-06T17:06:38Z","type":"item","id":"Q3623010","labels":{"en":{"language":"en","value":"Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5548986"}},"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":"Q3623010$1E10E485-9DFF-4665-AE48-A5E0C5821AE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4df6b4d59167160c5adfcddfec41ff29fbe89aa","datavalue":{"value":{"text":"Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623010$BE97275E-D521-434C-A961-655BF47939A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73cf7eb96a11e14755d85773c9b37fd361ae888d","datavalue":{"value":"1161.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623010$C9E68EC0-DBDE-4260-8610-73CE4555C82D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4068d78f07157c2601b6eb51ba26aa10a36677cb","datavalue":{"value":"10.2168/LMCS-4(4:14)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623010$4B753AB8-16A6-4FC2-B46A-50338F20B8AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72f214c7e4c9d7d2da34077ac7597802081f608d","datavalue":{"value":{"entity-type":"item","numeric-id":1623277,"id":"Q1623277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623010$5C459CF2-FEFA-4935-A103-AD070086F312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e0fbc1359d4749edff77de9864558a400296c8","datavalue":{"value":{"entity-type":"item","numeric-id":1641023,"id":"Q1641023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623010$A402B08D-4E97-43E9-AC00-BEF9ECF150E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623010$88FDCCB7-0595-4B4D-8EF9-86C41934DA6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc7396a377674bf1d1ad6a9c9bbfaef229fcbe16","datavalue":{"value":{"time":"+2009-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623010$191BEC16-4C93-41A7-BEE5-F8AA56F989EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623010$52FC758F-7189-43A3-B642-D3026A15244A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623010$CF8FC21A-3C77-4818-A4D5-32324DD566DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623010$FA3D6F8B-2A2C-49F5-829D-BB59CD7F4F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623010$F45B95C2-0355-4901-BFA1-87933E5DAAE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5165328fd9cd547079896badae98c4ee4cc7413f","datavalue":{"value":"5548986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623010$A24A56AF-7C3F-4E49-9868-8F8833198F10","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":"Q3623010$F8FF043C-99A8-4B0C-9E6C-02F5E9F7D8EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109dfac64b21362e70762aac951c33d36409eac0","datavalue":{"value":{"entity-type":"item","numeric-id":5758055,"id":"Q5758055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q3623010$DCAF4FF0-3F86-4A4B-A503-36CF115F7B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ccb9de494c6b8b5aefa32746669d4a6e04b75e6","datavalue":{"value":{"entity-type":"item","numeric-id":860885,"id":"Q860885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9e3f2934c8eb7d774b30c99c5e2f618f62879f","datavalue":{"value":{"amount":"+0.9159784","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":"Q3623010$95DC7A2E-D471-41CF-ABCD-3ECCD3C4869E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78085207cf686163660e80e680bb10af9a32fec0","datavalue":{"value":{"entity-type":"item","numeric-id":5492833,"id":"Q5492833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9e3f2934c8eb7d774b30c99c5e2f618f62879f","datavalue":{"value":{"amount":"+0.9159784","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":"Q3623010$8F5BB384-5BBF-441A-BF92-4E05CE328DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a446cfb5ece5cf4999e45d42785b5ab65763b70d","datavalue":{"value":{"entity-type":"item","numeric-id":5465847,"id":"Q5465847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2fcb11245b2623a6b1d6f8e064e221259d2ad97","datavalue":{"value":{"amount":"+0.9140833","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":"Q3623010$17AC7CF6-72E4-4C01-AB18-D66871D42967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf30361bf1780bfd36062aa4cc0396d7129d87af","datavalue":{"value":{"entity-type":"item","numeric-id":3526547,"id":"Q3526547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6081c3910f8edc86f305b534a76a50d50965b78","datavalue":{"value":{"amount":"+0.89936936","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":"Q3623010$8E9CB93A-E205-4246-A4D9-B51C6AD84FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80075145d9d4d96517cce7be7be6a0c60da92209","datavalue":{"value":{"amount":"+0.889221","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":"Q3623010$10E98003-CFA2-4BB3-9E6C-EB5BDEE0A5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7976f532916d3e7382cd475cd6c0d4253a61e1cf","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb5f4d4b5cd3eb27bd26419db63a30783f31fd9c","datavalue":{"value":{"amount":"+0.88371015","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":"Q3623010$AAD33D82-F2D0-47EF-BCED-CAF072266F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf60d44eab34cdc6aa38dc0eb4ec661bf033ceb7","datavalue":{"value":{"entity-type":"item","numeric-id":5739017,"id":"Q5739017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6dd31364750ca99142994138bdeb94c862b9987","datavalue":{"value":{"amount":"+0.8799658","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":"Q3623010$E3930B8F-9BCF-4270-9207-F868115AA834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35e5285678827cbbceee9ed5a5efd863a1e6173","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f14c4a1bb4f523982856808aec58a991439ad6","datavalue":{"value":{"amount":"+0.87725854","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":"Q3623010$05E1F16D-6BEA-49A5-873F-3D64AF1532ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1651847679b611738d42bdae165454cf1e7af8","datavalue":{"value":{"entity-type":"item","numeric-id":5351961,"id":"Q5351961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9de52b4f046d8b3070cdf6c9b8ee848ce59a1e1","datavalue":{"value":{"amount":"+0.8754776","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":"Q3623010$922EFDEF-4F9F-4AB2-A1EB-A6110AC6E52F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_Backwards-Reachability_Analysis_for_Higher-Order_Pushdown_Systems"}}}}}