{"entities":{"Q1386414":{"pageid":1397154,"ns":120,"title":"Item:Q1386414","lastrevid":43071706,"modified":"2025-07-17T11:02:52Z","type":"item","id":"Q1386414","labels":{"en":{"language":"en","value":"Context-free languages over infinite alphabets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1154557"}},"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":"Q1386414$4C73DFE2-93AA-423A-8B11-8359509EE578","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa64f5682b041d00609fd92b16204342a1321dd9","datavalue":{"value":{"text":"Context-free languages over infinite alphabets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386414$A6F4F0BF-0FA1-4257-941E-D5BA0ECFDDCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68abfb77072842362b32d3accc2dbc9fb4292191","datavalue":{"value":"0896.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386414$0E39211C-E166-4400-9309-9A3368C74948","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e4536bd6956f7299fa0818916ff05dbb497f5f6","datavalue":{"value":{"entity-type":"item","numeric-id":1386413,"id":"Q1386413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386414$C399210B-7730-4C62-A6CD-4B2DFE90125B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386414$66534E1B-6A6D-4617-A004-B855DF8AFC53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386414$240F94E1-E3B9-4212-8C20-478758941825","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55fb3f14c91fe25aa34a1cf0fe957b7dd1b3bb52","datavalue":{"value":{"time":"+1998-05-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":"Q1386414$97E75455-AC9B-4E0B-8BDB-7EB1BFDE86A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9b909eda676e9d255657204c84aab7ef4a9a345","datavalue":{"value":"The paper deals with contextfree grammars and pushdown automata over infinite alphabets. It is shown that a language is generated by a contextfree grammar over an infinite alphabet if and only if it is accepted by a pushdown automaton over an infinite alphabet. Also, the generated (accepted) languages possess many of the properties of the ordinary contextfree languages: decidability, closure properties, etc.. This provides a substantial evidence for considering contextfree grammars and pushdown automata over infinite alphabets as a natural extension of the classical ones.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386414$0D543A80-B243-4671-906C-32238BC52956","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386414$CA723934-E271-4A04-8CA4-A9C2CED50A84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf14ca6c6ba2168874010a69c5799705fdda562b","datavalue":{"value":"1154557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386414$0D2894D0-318B-4B96-B222-F2FAD34C9D90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7246436d5e5d7638cea8d81248b6ddd6e68a7d93","datavalue":{"value":"contextfree grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386414$56B0A880-CF53-4D20-9706-49C71139AFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85ece4d8761cda6889a4da926be4dadd240764c3","datavalue":{"value":"pushdown automata over infinite alphabets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386414$ECA70163-5C39-42BE-A5DD-6FAC6FBDD511","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":"Q1386414$13A80A24-E043-41F0-875E-D69E7788D94B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10316baa96b25dcc55105dd7212d679137fc24e4","datavalue":{"value":"https://doi.org/10.1007/s002360050120","type":"string"},"datatype":"url"},"type":"statement","id":"Q1386414$4FFF5BB9-7B04-45B5-A362-D5BC0FFE8CD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a6fa1dae1557e50a0a2830885cc677a2c2a47dc","datavalue":{"value":"W1994458424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386414$424EE77B-BB6D-46A6-8DCC-D52B3BDF7645","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdc77e25e3b62afce713111cc9ac245a6a19454e","datavalue":{"value":"10.1007/S002360050120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386414$C943994E-B4E1-45E7-B0BD-2AF814EBD8BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac7ac7e47476f737cb456d069a9688bf6c78810","datavalue":{"value":{"entity-type":"item","numeric-id":1068559,"id":"Q1068559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47aa725751fd27678d62ee96bae83c8f9ef26d6f","datavalue":{"value":{"amount":"+0.9354899","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":"Q1386414$1D4D444D-F6D6-4C24-A07D-E67D74C45952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a2f5d4fc3c5cf935c8834cc3c02a173c07b156","datavalue":{"value":{"entity-type":"item","numeric-id":4779173,"id":"Q4779173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f4b0f7e887b573e48dee04648230ea5a493535c","datavalue":{"value":{"amount":"+0.92211235","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":"Q1386414$EC9DFCCA-A2BF-4F19-8D30-B01162B2C33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3926b7ce6c9c3bcce1b853b81589ee0a35c50d3c","datavalue":{"value":{"entity-type":"item","numeric-id":792097,"id":"Q792097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599114bc2019880dc32ff48d4ef9df88898bbf74","datavalue":{"value":{"amount":"+0.89391404","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":"Q1386414$5FBAFC81-1C34-449F-A148-6FA671D75204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b14c7e30dd7496f385f0155a538d37404997be","datavalue":{"value":{"entity-type":"item","numeric-id":4907869,"id":"Q4907869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db860629d11bfdedee1f12bc61e5527951d40a1","datavalue":{"value":{"amount":"+0.8937062","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":"Q1386414$82AC128E-37B1-44A3-ADD5-598F7C7D8ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b717df044ec283c0e2a80add1485374620b3639f","datavalue":{"value":{"entity-type":"item","numeric-id":3719854,"id":"Q3719854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fd92118adc48055fcc12d0c59cda98a8a87b92","datavalue":{"value":{"amount":"+0.8920225","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":"Q1386414$EA94461E-5CB0-4FCB-8939-B284E8524421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f39bd4d9055f68d914eada26b09dbdb8ce205c2","datavalue":{"value":{"entity-type":"item","numeric-id":4874652,"id":"Q4874652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb23f22b238b32af1a00bbad030530a589864ed","datavalue":{"value":{"amount":"+0.8904587","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":"Q1386414$7704E6E6-9666-4BD5-910F-99C7195DF92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ed67c4a3cf118da11f5d8303d6f3e48f47712a","datavalue":{"value":{"entity-type":"item","numeric-id":3774982,"id":"Q3774982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a971690c3ee8a59a59e07bb66346bf9c3b7a885","datavalue":{"value":{"amount":"+0.8867854","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":"Q1386414$B0BB8BF5-BFA9-4AD7-92A6-95977486E352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08733bebf5c83a58536ecf57293fe975450dbe19","datavalue":{"value":{"entity-type":"item","numeric-id":3685228,"id":"Q3685228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5de3e032991fc53bb243e131bff989249bbe98c","datavalue":{"value":{"amount":"+0.8862918","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":"Q1386414$28506132-6B4A-4077-B03F-0E0ADF6672A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8996216f3a8c8f6679a40d27d7d6a6d203a26a54","datavalue":{"value":{"entity-type":"item","numeric-id":5526125,"id":"Q5526125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4685d8ce0bfff7631ee17221670f80ee6286b450","datavalue":{"value":{"amount":"+0.8862908","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":"Q1386414$BC87CECD-39A0-4193-819F-F0D700F28F27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1386414","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1386414"}}}}}