{"entities":{"Q880177":{"pageid":882025,"ns":120,"title":"Item:Q880177","lastrevid":65081316,"modified":"2026-04-12T00:11:31Z","type":"item","id":"Q880177","labels":{"en":{"language":"en","value":"Context-dependent nondeterminism for pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5151701"}},"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":"Q880177$013B02CF-14D9-470A-8605-F299C6073108","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"659c7436e49321207977c52b5ed0c22da27494d4","datavalue":{"value":{"text":"Context-dependent nondeterminism for pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q880177$88E68523-4D52-415F-BC7E-FFC0BFB11204","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd9463c84e7051beba30180a57e3d753a89509e4","datavalue":{"value":"1111.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880177$AA334A77-E677-4471-9E1D-C775D440A422","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f3d34816c1dbe170dc863d0f4b5d14681713b90","datavalue":{"value":{"entity-type":"item","numeric-id":442150,"id":"Q442150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$63F9F3C2-1B0B-45BD-938F-AF269A6E4AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43e5b44684a6cc8af75870784fb52a5ba3f9758e","datavalue":{"value":{"entity-type":"item","numeric-id":383363,"id":"Q383363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$B7376025-CF02-4F36-B02C-ACD84B3AB9E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$CDC22283-6611-4B86-962E-C14788AEFA2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbd0eb8b100807c851c8df9ae7f8fa5376f95dfe","datavalue":{"value":{"time":"+2007-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q880177$658999F8-CDC0-497A-8B1C-5FFCE5D2A430","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880177$F87B0DBA-910F-4708-AE36-B17F6F1C6300","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eda36355294c3edb329b16899364ae4263421a7","datavalue":{"value":"5151701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880177$2C983436-0B85-491A-B0A9-C092883216E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d868b454618c55ed01d5823e2fa6ebe9fbe2f5bc","datavalue":{"value":"deterministic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q880177$26AFD79C-1902-4199-9EFB-D842DD859F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81fc28b43754370a2756b5775e7cbb4272e5bc4d","datavalue":{"value":"computational capacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q880177$748C0070-42F1-4206-B366-E8748F17AFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"355ce7bd7539326dfb2487f0e8b6ae4267b8e7ed","datavalue":{"value":"time-efficient recognizers","type":"string"},"datatype":"string"},"type":"statement","id":"Q880177$A7572E81-A7BA-4E79-A5F7-B18B3C569420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4fb08a9f976957b0c85713dd0be8d0f3ed7f3da","datavalue":{"value":"closures of languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q880177$CD38A790-03CD-44B9-B7B9-036397E8D687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q880177$8956D90F-5D21-4631-9BC8-7F0E601DD252","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":"Q880177$626A6109-A921-4397-A86D-3FDDCE0DF9E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e80f95e1fdcd0b25b6fdb87b041956910f81c703","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.01.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q880177$69CE191E-6C13-4C8B-9E9A-DCDCE446DDBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"597f685b4b829539909c7196b9c73c344b5fed27","datavalue":{"value":"W2004724199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880177$0C5AF15F-4925-47E0-B22B-EF4D9960F773","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f2c010e36f4e71cf8d025dcee6136c76c66b99","datavalue":{"value":{"entity-type":"item","numeric-id":4268872,"id":"Q4268872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$2A0EF3A9-037A-4F5E-B195-07EB0ECB8A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0476b21dfb07e99ff255915d2eb1df03e84bd5","datavalue":{"value":{"entity-type":"item","numeric-id":4337644,"id":"Q4337644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$4B931CF2-72EF-4E09-BD90-71237C39611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d65191e9a702a3f20018f3f7b271dfdf630d429","datavalue":{"value":{"entity-type":"item","numeric-id":4197340,"id":"Q4197340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$A46639F4-22A5-4990-8F05-C7D4D4E77AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f56e7c09b71d6e6794c7b6bdb13ce75c77a19e4","datavalue":{"value":{"entity-type":"item","numeric-id":912641,"id":"Q912641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$87BADF35-0752-4D50-A72E-DB30125CE77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc4cd965d291e54de1ee1f68e82176bb3d8e3d0","datavalue":{"value":{"entity-type":"item","numeric-id":2575832,"id":"Q2575832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$6F97202C-7D0B-462D-B679-192D7F757A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$EA4BAEB3-DC6D-416E-B22A-EDB1B4EA915E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4387bf4afe52660f5c53126d821e6810fc7a7d8","datavalue":{"value":{"entity-type":"item","numeric-id":1391304,"id":"Q1391304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$1D1DB821-350D-4C13-8BF7-B4465288FF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$A2FC756C-3937-40E5-ADA3-ACE63B0B59D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93756f847eb4aa86e08e6ea5030624d1bbf12185","datavalue":{"value":{"entity-type":"item","numeric-id":1854501,"id":"Q1854501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$0D00BE4A-A6AD-4D53-9934-0DD1ADF8257B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea2e682b9c0dabf93e8bde92af2ec08d19a46be","datavalue":{"value":{"entity-type":"item","numeric-id":1134517,"id":"Q1134517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$AC2364E0-7349-4BAF-85B5-ACFE8F60DA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29da03d14b11c0bda5c5b18920a1b7c39a7ef8f2","datavalue":{"value":{"entity-type":"item","numeric-id":4465338,"id":"Q4465338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$BA010D96-13FB-4F99-A962-D016D25DED3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b797799856911fbafdce16cec2ec949d27b7e4d3","datavalue":{"value":{"entity-type":"item","numeric-id":2384399,"id":"Q2384399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$6CAA0680-7856-4196-A372-39557CCBD5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bea9f77d923980bb7c8a77d3764a9660febefac","datavalue":{"value":{"entity-type":"item","numeric-id":4431342,"id":"Q4431342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$4E493D37-32F4-4262-98E6-835D1BFD681A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9566ded202d69364be211db2bc0065893d1fdc3e","datavalue":{"value":{"entity-type":"item","numeric-id":1337469,"id":"Q1337469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$30BA09B6-7A66-4945-9271-3F6A51D2C5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ecdef231c139eb03dea26807b9d5ef2cdde680","datavalue":{"value":{"entity-type":"item","numeric-id":3309067,"id":"Q3309067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880177$08D313C7-F781-40BA-AD0A-1183680845BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b4211d2843523605c1587af1611c8165c6f2e94","datavalue":{"value":"10.1016/J.TCS.2007.01.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880177$CE5139D4-56FB-4551-B674-450A9587F2C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7d5ad2ddcf95a5dc4355be321c6a2dbb8c4738a","datavalue":{"value":{"entity-type":"item","numeric-id":3617052,"id":"Q3617052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b5560c7fe353dc95842d2447a8753926996a3c","datavalue":{"value":{"amount":"+0.9999997615814208","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":"Q880177$2FB9489A-9724-487E-AB47-8370FDB554BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dadcb472eef2b761e398d16f3f7e99f5fce65f3","datavalue":{"value":{"entity-type":"item","numeric-id":3503897,"id":"Q3503897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11335b3e89f7ae41978686157d6cefb0947d9d98","datavalue":{"value":{"amount":"+0.8455332517623901","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":"Q880177$2620F4E1-7E9E-4CB7-A57F-A7146E5C30AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23794c7bfaef7f245f4510beed87a553a21b9e03","datavalue":{"value":{"entity-type":"item","numeric-id":5096344,"id":"Q5096344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9556926a7f2c27d0e51c0dfd2c69982d90bcf42","datavalue":{"value":{"amount":"+0.8422305583953857","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":"Q880177$1F64264C-EC57-4F76-BFB9-BF8BBBBC3DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a619e085a30ea308266ad21f115704161a18abd7","datavalue":{"value":{"entity-type":"item","numeric-id":1391304,"id":"Q1391304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3101fa749416071105cb6d1adb8b657cc148d7","datavalue":{"value":{"amount":"+0.8419906497001648","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":"Q880177$A5B3A3C0-E675-4393-BFE9-C2834FF2BA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24d6dbef9b9e8770f03e45413bfb5b96e7317a7","datavalue":{"value":{"entity-type":"item","numeric-id":840763,"id":"Q840763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c45f7f3c1a4161acde85a891757a80277a63f0","datavalue":{"value":{"amount":"+0.8394626379013062","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":"Q880177$36217392-A156-4E77-A952-4140FAE6B67D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Context-dependent nondeterminism for pushdown automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Context-dependent_nondeterminism_for_pushdown_automata"}}}}}