{"entities":{"Q4286116":{"pageid":6315717,"ns":120,"title":"Item:Q4286116","lastrevid":89315447,"modified":"2026-06-04T16:57:33Z","type":"item","id":"Q4286116","labels":{"en":{"language":"en","value":"ON THE EQUIVALENCE OF TWO-WAY PUSHDOWN AUTOMATA AND COUNTER MACHINES OVER BOUNDED LANGUAGES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540227"}},"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":"Q4286116$8C306015-F154-43E0-9B51-C7FD08A800BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c41ede55cc51a42fe17d7ce052142b8d2de69785","datavalue":{"value":{"text":"ON THE EQUIVALENCE OF TWO-WAY PUSHDOWN AUTOMATA AND COUNTER MACHINES OVER BOUNDED LANGUAGES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4286116$B05D8EFE-316D-4968-AC79-C3C36AE50684","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fd8d42aa8b099edd6ffc2f8a172b4df68ee6bb0","datavalue":{"value":"0802.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286116$6FA5E693-5C8B-4B9C-9D9E-BB2FD73EFD59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a59a8c72a49d92e82be18852a285051b6d08e374","datavalue":{"value":"10.1142/S0129054193000092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286116$6DFF26B1-BEDC-4E71-96C2-8454D6182E81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286116$284839D5-2A7B-4622-BDE5-25B66F8FA44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff69d199b2e4b3f62f192bd9e307ef835b69b5a","datavalue":{"value":{"entity-type":"item","numeric-id":185445,"id":"Q185445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286116$C994E7C6-4970-456B-B765-E5F3007FDBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa6c179d85fc440921a42d5afa997555b017d1f0","datavalue":{"value":{"entity-type":"item","numeric-id":443739,"id":"Q443739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286116$E1476AFB-369E-434F-81D3-27BF3B75A179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e94e7885da0e46c34212704ee64348b3d7896b7","datavalue":{"value":{"entity-type":"item","numeric-id":1183568,"id":"Q1183568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286116$C9E06C1A-2496-47E6-8A55-3FB2E5BC9FEF","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":"Q4286116$EAB66BDE-F89D-4177-AF5D-3AA331C7DF91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"594eddb6445f88a77e66aaf7d63c86b52ec53a66","datavalue":{"value":{"time":"+1994-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4286116$469C31A8-82A3-4ED2-A070-96846EA51A8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286116$302AF2EF-DF26-4717-AEE8-B564943E278B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286116$6B2759D8-851E-4586-9D03-9926938A1387","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8eb61ffff7cc0a1c2d03cace881df9789bc0ce58","datavalue":{"value":"540227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286116$BFD02B51-4933-4AEE-8E4E-529D827FDBF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286116$D29BA543-C74A-45C4-BD0A-1F58C4625F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4567dfcdca2a16710dfa78fc6c9ca84fdc95530e","datavalue":{"value":"counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286116$E2F214CA-3EA3-4F0A-A45A-8A5A21C0A9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6f1e9bd4f7872d64208dced4eba3c5a147e18aa","datavalue":{"value":"reversal-bounded","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286116$1728BC49-6E8C-42ED-BB69-00B602F3AC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8467b9a4e4939f4e162a608c109a114d789c40a","datavalue":{"value":"emptiness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286116$163FACEC-52AA-4760-904F-49F97AAA0C62","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":"Q4286116$8EBF3A48-929A-4914-B587-607A23265F6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88197aebe6afa2914f2711aca908fd8ceeaa32e5","datavalue":{"value":"https://doi.org/10.1142/s0129054193000092","type":"string"},"datatype":"url"},"type":"statement","id":"Q4286116$5064E941-E226-47E9-8388-54EB15FECEA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7317386d0c40fe3a84ea99c7eb2909860a89a83f","datavalue":{"value":"W2069826658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286116$568D012C-6F4C-49DD-9A24-0F080BCBB9ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6ce7fcf9273f6a17284735a12a4c4380cfd9fd1","datavalue":{"value":{"entity-type":"item","numeric-id":4281537,"id":"Q4281537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574e5ca8a52faae55f4d6bbd2ec6db7414e4e80f","datavalue":{"value":{"amount":"+0.999469518661499","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":"Q4286116$957BA3D3-4E3E-4088-B841-75BBA5E60D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098e78f5d017883e3818b7e6798ce28f3daf182d","datavalue":{"value":{"entity-type":"item","numeric-id":1112611,"id":"Q1112611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a1ec7f26b2f18c69fcf0bcc0dbe660c85d6b6e","datavalue":{"value":{"amount":"+0.997763454914093","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":"Q4286116$932A4AF7-7C35-43CF-9DCD-514C9EBD97C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be7d2b4906eb35498ac493f6e45dc5961f495c16","datavalue":{"value":{"entity-type":"item","numeric-id":4630270,"id":"Q4630270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6778093106935bd1a5ff2ad369fd02a914fe4c0","datavalue":{"value":{"amount":"+0.8922858238220215","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":"Q4286116$30B67F10-0DB8-499A-86F8-E10B1F553967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f9fa2399e874e19344e04843c3ed2cedaa6d45","datavalue":{"value":{"entity-type":"item","numeric-id":4326857,"id":"Q4326857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d25533057b807f9190be9c9eefe00d4a796e897d","datavalue":{"value":{"amount":"+0.8811672925949097","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":"Q4286116$C460387F-33C9-4F90-B52C-72F0D6E20AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d04f6b9b2d7463ca24ad2f551492b84fae8143","datavalue":{"value":{"entity-type":"item","numeric-id":3167588,"id":"Q3167588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae13a9fc3efe5c98c79f96a850a77ccc37079b1b","datavalue":{"value":{"amount":"+0.8808128237724304","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":"Q4286116$3F2FA522-21A0-4F7F-92AA-E05EB98C30B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ON THE EQUIVALENCE OF TWO-WAY PUSHDOWN AUTOMATA AND COUNTER MACHINES OVER BOUNDED LANGUAGES","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ON_THE_EQUIVALENCE_OF_TWO-WAY_PUSHDOWN_AUTOMATA_AND_COUNTER_MACHINES_OVER_BOUNDED_LANGUAGES"}}}}}