{"entities":{"Q5136334":{"pageid":7165906,"ns":120,"title":"Item:Q5136334","lastrevid":58455495,"modified":"2026-04-05T07:23:56Z","type":"item","id":"Q5136334","labels":{"en":{"language":"en","value":"Average stack cost of B\u00fcchi pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7278114"}},"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":"Q5136334$E2DFDAB2-C6D6-4713-B410-B34ADD6D7DBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f240a2f6150852a651ea584169e516643bb8875","datavalue":{"value":"1491.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136334$E587740F-3C66-4450-A9E7-EAB2A492C2C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"602031367905da417140a473efe6714bfd2f9fda","datavalue":{"value":{"entity-type":"item","numeric-id":2009650,"id":"Q2009650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136334$B537290D-4A96-4FA7-B435-4215592DA6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"476d873e743ed0d43ed015c057bd3889fb6de797","datavalue":{"value":{"entity-type":"item","numeric-id":438583,"id":"Q438583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136334$AEBAFB70-51F4-4BF6-B59E-10132D1A5CEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36052d8151ed4f678a8815b5626d247502b52b91","datavalue":{"value":{"time":"+2020-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5136334$DB7E33B2-ACB2-4668-A77E-D63A4B7888E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8656bc2e08df95217592a20e85bb488307544109","datavalue":{"value":"https://arxiv.org/abs/1710.04490","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136334$404023B1-4DDA-4E52-A24A-1B7493363455","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136334$82982259-B564-4549-BA82-E4574D44C397","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fc730404a58a05f7f8cd66e9f5dd62b23e1b7dd","datavalue":{"value":"7278114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136334$A4F177FC-4E80-41FE-B6A3-B9B8A863DE2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136334$D911B7DA-287A-42B5-B538-DECF33112531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1db924520856ec7a22e15fe834fd5fdbf714eb","datavalue":{"value":"average stack cost","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136334$51DF5CA3-74AF-4A42-A7BF-01B7AD13F2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a19a01295de842c93b8f8b31bde6aa06e10591c","datavalue":{"value":"weighted pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136334$2BF9E519-8A97-407C-B8E5-5046F19B63D1","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":"Q5136334$A98B96DB-6E76-486B-97BD-CCEAF2772809","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"826cefc4038f541c64344fa6291ac9c6b70161a0","datavalue":{"value":{"entity-type":"item","numeric-id":2413482,"id":"Q2413482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136334$0CA8E649-C134-475E-94B7-662B456458CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad04317a36278ae9148affce2927c4fb4a993e57","datavalue":{"value":{"entity-type":"item","numeric-id":2946611,"id":"Q2946611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136334$EB82E4D0-AF43-4FFB-8655-AC557E1BC920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08323ac5367a00b493be73ba55b2d7f145272ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4635850,"id":"Q4635850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136334$AE13E8B2-60D4-449E-96D7-1518CE094505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d554ea1d485fe803904d6441302f8a28b3e75e","datavalue":{"value":{"entity-type":"item","numeric-id":4608720,"id":"Q4608720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136334$9790D14C-F0F4-419B-9083-DA6F12B29800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af8cea10084f9bc693c63f373c5aa8a264d93f0","datavalue":{"value":{"entity-type":"item","numeric-id":2986796,"id":"Q2986796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136334$94378BFD-1103-4F7C-858B-09107522F639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136334$204FF8B5-48A9-4BBC-90C6-35C6EACB50EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9a56b3dc049c207d803d49051f5eec008cc637","datavalue":{"value":{"entity-type":"item","numeric-id":5326328,"id":"Q5326328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136334$F95286E6-B205-4B8C-AA32-8EEFEBAC90DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662f6b65924e793a444fdd44690ab1feec5be531","datavalue":{"value":{"entity-type":"item","numeric-id":5458821,"id":"Q5458821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136334$85678941-1D6D-4AAD-B3F9-0A9380926ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee0c598d6ddfbfae4ea8479557380be0e2aa296","datavalue":{"value":{"entity-type":"item","numeric-id":2568453,"id":"Q2568453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136334$C4EF5288-19B1-4DFC-9A9C-0BA371450A28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f76ab62cd0b5dba309fcdc2f92a4fcaca3f3944","datavalue":{"value":"W2963371887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136334$23E54591-31A8-4018-87D1-7BFF34603C3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f28da8ae13b2b662ce70bda5c21cbbacace6d9cc","datavalue":{"value":{"text":"Average Stack Cost of B\u00fcchi Pushdown Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5136334$10BFA3AF-3688-4363-BF01-1AD5C92397E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c20906437ebe4974e9b97ea3290e1360c005b815","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2017.42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136334$A2EF9D82-E198-436C-8694-5400E010DAFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52156270135c83ec51c7c0a248c1de7fe75d60d1","datavalue":{"value":{"entity-type":"item","numeric-id":5404901,"id":"Q5404901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844f5143c4fe44f9ea16c195d870a9030f8ecd7a","datavalue":{"value":{"amount":"+0.7295406460762024","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":"Q5136334$E6A4A01E-F5CA-4881-98A5-C939D9D7DBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15eaaedcc3e52abe4b28cdd164556034c8be0b4e","datavalue":{"value":{"entity-type":"item","numeric-id":2890180,"id":"Q2890180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d668ed029c217c0e9f88dfeeef35d763ce0c20ce","datavalue":{"value":{"amount":"+0.7255984544754028","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":"Q5136334$07FC1861-BEDD-43DA-9930-027F8651ED08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a07577d90b863174edcdb7cdfdb8e6c4ab41bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08651d92ecdcef1041754429dd795aa7432d215a","datavalue":{"value":{"amount":"+0.7240777015686035","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":"Q5136334$FDF9E613-B5F2-4131-8003-F1D92E48BF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662d84be92eda46f289bd2f0b09b723674c2c10f","datavalue":{"value":{"entity-type":"item","numeric-id":2986796,"id":"Q2986796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a3066c9265929c9ff401b836f1bf0498125e07","datavalue":{"value":{"amount":"+0.7229440808296204","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":"Q5136334$EEEB92C5-CFBF-4576-9052-3F37832FA5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0f1f51e77ec18cc6b2e88e0093aada038c41fea","datavalue":{"value":{"entity-type":"item","numeric-id":1675154,"id":"Q1675154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93fa0a9904e2b2754c3f2d3b071d220870c0e06d","datavalue":{"value":{"amount":"+0.7204382419586182","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":"Q5136334$A2F0B3FF-BB80-48DE-9268-35C51314ABED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5136334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5136334"}}}}}