{"entities":{"Q4020278":{"pageid":6050053,"ns":120,"title":"Item:Q4020278","lastrevid":81468704,"modified":"2026-05-06T18:35:33Z","type":"item","id":"Q4020278","labels":{"en":{"language":"en","value":"PUSHDOWN AUTOMATA ON INFINITE TREES AND NONDETERMINISTIC CONTEXT-FREE PROGRAMS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 94717"}},"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":"Q4020278$0ADDD5D3-84A2-4727-9C38-4161706826C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86a925dedc2f2e44290a7218a5aa4c0a65327bc7","datavalue":{"value":{"text":"PUSHDOWN AUTOMATA ON INFINITE TREES AND NONDETERMINISTIC CONTEXT-FREE PROGRAMS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4020278$9C153B25-AD49-4B66-91E1-8C70D4E5C049","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"189fb2df6cd00872fcd0aa823e7bd50a5d5a8e66","datavalue":{"value":"0769.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4020278$53E76763-3098-45CD-AA25-16F073364C79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85c07f21cb6528e724e463b2267be4fb9442f8e2","datavalue":{"value":"10.1142/S0129054192000048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4020278$597EDB8B-8A63-43ED-A962-55E424793E1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4020278$9A7E4971-FC7A-4085-9BBF-56EFE32A3022","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4020278$560A1284-FB52-40D3-950A-578D17160388","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4020278$0659FC11-D9AF-401F-822C-25D8059B2D8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8f5ef26eb278c9abd00a049186ae1c470438c2b","datavalue":{"value":"94717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4020278$3FC06CA6-81A9-4741-9E45-CE9B9FDED2D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4020278$F80906E4-7F5E-4498-A425-BB96981FE2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a4a344bc741b4eb9c9224c7c9b0d0a879d400d","datavalue":{"value":"Muller automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4020278$81428A8E-5378-43C2-8A2D-A5ED47AD6517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c5439f2004aedef0dd1903dfebfa1c1f33abc1","datavalue":{"value":"Rabin automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4020278$69B33E2B-F597-46E3-9B66-69C1D1222AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0e4f1342d8ef2ca988f5793d369e002937c24d2","datavalue":{"value":"top-down pushdown infinite tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4020278$E13555E7-E684-4629-9D95-D84EA16E41F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"119992189eb41aae15289c1f105ffb50945bfea3","datavalue":{"value":"Landweber-Staiger-Wagner hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4020278$98204816-D283-4F48-8793-76BE7ACFF6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f718b204d54e208de055e9d752609f516fbcc896","datavalue":{"value":"\\(\\omega\\)-tree pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4020278$7B39B38D-DC9D-43A6-96E0-6DD19D494128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb0237cc02898b93605fcf20b7894be8d4996855","datavalue":{"value":"infinite computations of nondeterministic context-free program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4020278$F7FF618E-62C3-4336-A695-C92E73DDFB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4020278$FB31DE66-35FC-47EC-AF5D-3AA6C14D82AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15744af71e21635dc7da119af963401e48a386e5","datavalue":{"value":{"entity-type":"item","numeric-id":2102735,"id":"Q2102735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4020278$84FB6103-2577-4994-BEF7-A4CCDA181C43","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":"Q4020278$45494BE3-2F30-45A3-B0AF-1DE0C835FBED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53322890efed6efd33a4ec83474485226d141444","datavalue":{"value":"https://doi.org/10.1142/s0129054192000048","type":"string"},"datatype":"url"},"type":"statement","id":"Q4020278$66B2D760-8833-4902-B9B6-0980F00886C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a8a952ba470cef18e8427ad1b758f0a3c579708","datavalue":{"value":"W2078131135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4020278$00494E52-E4DE-4914-A8C0-7155D09963AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ce0f71dfe718fecdc5f1f528d6af24510bfeb4","datavalue":{"value":{"entity-type":"item","numeric-id":4853336,"id":"Q4853336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be62a9b7b40931552f5549f875dcbba0de9ac69","datavalue":{"value":{"amount":"+0.9458492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4020278$A83DD75A-BD16-461A-877E-DDE46265437C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80499d3797d1c88470727e9f5a761bf87ecf70af","datavalue":{"value":{"entity-type":"item","numeric-id":3975166,"id":"Q3975166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee9c66584729ff274b31f6a397bdf42f63b9ab5","datavalue":{"value":{"amount":"+0.9441838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4020278$3FB04265-FAD5-4505-8EC7-0491DFE9EABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"690fd9fdbbd9fe4487d394bd81f39a96f72dae10","datavalue":{"value":{"entity-type":"item","numeric-id":5445178,"id":"Q5445178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5498496a9d17a659d4b9658262123fdc3730e4b5","datavalue":{"value":{"amount":"+0.93543494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4020278$94A43F7F-13DF-4211-9B02-7256E5AA7335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eda6c78962043f244ba2daf061117aab3597e13","datavalue":{"value":{"entity-type":"item","numeric-id":3746905,"id":"Q3746905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abdfa58f31730046416c743fcd8548eb775e967","datavalue":{"value":{"amount":"+0.9065163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4020278$EBE8BF09-44C3-446D-B77C-AB4E183BDA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad8120c2c1a3c904136a9eae50fafbfe5708156","datavalue":{"value":{"entity-type":"item","numeric-id":2117102,"id":"Q2117102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c2b98b1f23cf17026eb27bfc78064d42e2d57e","datavalue":{"value":{"amount":"+0.9059522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4020278$BB286A9C-161D-4988-A32D-0E3CE095F02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9c1e2223e1b39b0cbedbbaccf7db8b7d66ccade","datavalue":{"value":{"entity-type":"item","numeric-id":1037619,"id":"Q1037619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774ed4dfaca177e0ed5ffa2270b93dc84e2ad246","datavalue":{"value":{"amount":"+0.9008551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4020278$4B627E71-4668-48F5-80F0-1FB49558C17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd3413d12b46a73a4801d3d962f300c5ebaa1c5","datavalue":{"value":{"entity-type":"item","numeric-id":4994935,"id":"Q4994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e0dc9d63cb14d28a3298c98f17b14b2dcea146b","datavalue":{"value":{"amount":"+0.90081155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4020278$635AE74B-96C2-4D61-B992-00564A436B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eace9885a83e8a3dda8ad02aa7c9b86e17ad94ab","datavalue":{"value":{"entity-type":"item","numeric-id":4722055,"id":"Q4722055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9516be7cae96fbd50de537756438a738aa9aad6","datavalue":{"value":{"amount":"+0.900487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4020278$2307A161-6717-43F2-9AC8-A34CD0821C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c753c45c6307636e61f8babfeefb3a9a3255a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2074210,"id":"Q2074210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"677bdd05e6a4dff50943f0879e8cf7abdb0fd974","datavalue":{"value":{"amount":"+0.899441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4020278$7B1CA1CA-CA2E-4016-84EC-A366A35321C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbabd355a4d8db2ad18f9144583c44bf9ba2aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3823145,"id":"Q3823145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20bfbfbe19be75bb90dbe33c3d783b44c53c2f4f","datavalue":{"value":{"amount":"+0.8988742","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4020278$8851CABF-AD5C-47B3-8927-83442B7CC930","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PUSHDOWN AUTOMATA ON INFINITE TREES AND NONDETERMINISTIC CONTEXT-FREE PROGRAMS","badges":[]}}}}}