{"entities":{"Q2920112":{"pageid":2930832,"ns":120,"title":"Item:Q2920112","lastrevid":51580937,"modified":"2026-01-18T21:33:23Z","type":"item","id":"Q2920112","labels":{"en":{"language":"en","value":"On the memory consumption of probabilistic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098215"}},"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":"Q2920112$7AB398BC-5C2D-47A1-91AD-EFCC42895EC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db4c4d103e2a8ee09fb780995a4a86e67c0fe1b9","datavalue":{"value":"1248.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920112$4518598A-380F-4415-8A0C-8BD8E6ED8454","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90164f212d81b9976368c619f577477b4b6d4fba","datavalue":{"value":{"entity-type":"item","numeric-id":340567,"id":"Q340567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920112$7D16F7E7-51C3-4534-B485-D7D381C2CEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920112$863E8CF4-A041-42A7-9669-9BA438CB5029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62012c44fa6c563fe5eb1edf4cf0db84f8565b9","datavalue":{"value":{"entity-type":"item","numeric-id":396601,"id":"Q396601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920112$427A2602-3CFA-4643-8336-BDBA00BE3A4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ee92d50481ed05c06549abf63f6ece88b90dd74","datavalue":{"value":{"time":"+2012-10-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":"Q2920112$D8A35570-D48E-497C-88AD-4EBFD5371C07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5290a37a6df4efb544f9b0789edfff09d20c6b0","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_f977.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2920112$084B37E8-80D9-4D59-BBB8-82DDD607F404","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920112$A1C971AC-BC2E-4A40-83D0-ACF4685D30B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920112$95277D9F-1765-4279-A833-6BD4A1779427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920112$FB17F4BE-53CA-4B20-836F-4D65DA4B96F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e614343f08ce386bbe027f51c72898cfc348bcf","datavalue":{"value":"6098215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920112$8923DB87-B752-4ED3-8A83-B963FE50BC0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920112$C59FDC95-E5D5-41CA-AFC7-7165FA3241D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c47dec4220d9a6b5b780b7cd50a4fe76e3881","datavalue":{"value":"probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920112$B81FDC79-B45D-4F4F-8EBB-228D02ACE778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920112$925BFEEC-586C-47F0-9E3D-2C1BDCC3E364","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b2cffbb03c082dcd74711f84ea10a77ec7c488f0","datavalue":{"value":{"entity-type":"item","numeric-id":32989,"id":"Q32989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920112$F54B9F45-5C56-427F-B08E-8F2855CDA62A","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":"Q2920112$2FD26D7E-E308-4922-AEA3-1586C6A5FBEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5da3cde322e7b7af6f14364b5c1c2e373090adf","datavalue":{"value":"W1558202744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920112$2B1EFA47-C407-47B1-A92C-C0EDFCC74075","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"744897ebcc520229cb51c541df30ba47ae584c05","datavalue":{"value":{"text":"On the memory consumption of probabilistic pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2920112$7B508B03-75B0-4F1B-9357-0C3643EF0A34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77bae00cd2f01a6d6d078d8d551a8c47e58ab80e","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2009.2306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920112$14A4D39D-FA7B-4041-BBB7-373259715422","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e5babf6cc3c57c955672db65436e4f249638dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3012930,"id":"Q3012930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e452573465f72be868c4b2fc6fb1ad9b7f02e178","datavalue":{"value":{"amount":"+0.7790307402610779","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":"Q2920112$D943CF2C-7E18-412C-817B-63465AC7FE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad40f4fbcc38b675b55893cc0e9517d037c9de59","datavalue":{"value":{"entity-type":"item","numeric-id":743128,"id":"Q743128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0b7a597833e84d92b7e5bf9836a87dd86635c7","datavalue":{"value":{"amount":"+0.7706941962242126","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":"Q2920112$AC222F97-2D56-4ACB-B573-6829ADD3B1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0778fce5f038ff94e9b15dfe10ac3eb3c81de816","datavalue":{"value":{"entity-type":"item","numeric-id":2911645,"id":"Q2911645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c678e16b1f31d77b696ab42fbdde11880417c97d","datavalue":{"value":{"amount":"+0.7703866958618164","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":"Q2920112$594FB82C-F40B-429A-B050-414C1055FF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bbaef5ac37279165ad2f9f44652ea2f19945a27","datavalue":{"value":{"entity-type":"item","numeric-id":5310649,"id":"Q5310649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba10e4d6c01aa036708174df0a7f6351fb59e29","datavalue":{"value":{"amount":"+0.7699251770973206","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":"Q2920112$579BD8C3-6DAE-453B-8373-E4B033AA610D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77787baa39ef44cc2b5b445b518f21acb6317e3f","datavalue":{"value":{"entity-type":"item","numeric-id":989292,"id":"Q989292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0d706bd230186d75c0f036b3fbd6f95cf4803b","datavalue":{"value":{"amount":"+0.7589844465255737","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":"Q2920112$A75F504D-CB99-4614-9EA0-BAE9FB4CAC83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2920112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2920112"}}}}}