{"entities":{"Q840763":{"pageid":842611,"ns":120,"title":"Item:Q840763","lastrevid":64736355,"modified":"2026-04-11T21:53:05Z","type":"item","id":"Q840763","labels":{"en":{"language":"en","value":"Regulated nondeterminism in pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5603646"}},"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":"Q840763$CB6FFFC3-25A2-4F62-B5B4-AD85C45836C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"595d1287a90b1d65b724d4e0844b48dbb5e6560e","datavalue":{"value":{"text":"Regulated nondeterminism in pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q840763$80E7A1D4-6539-450C-8980-5C89742B99C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d06d6bf6450bfd4687c344b4008039d2ebdb2fd","datavalue":{"value":"1194.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840763$64D570AB-216B-49AE-BBE5-543B4EE71A14","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":"Q840763$7E73175A-9137-4227-BBC8-04DC112EACD4","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":"Q840763$17A8C01A-EDAA-41CA-AFF9-02712ADCEAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd7049236a4c37cc16daa10b1d68713fe071109","datavalue":{"value":{"entity-type":"item","numeric-id":840762,"id":"Q840762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840763$3FF31AC1-BBE2-47C6-A473-765FC1D5CB09","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":"Q840763$DA5F3729-549C-43AA-93D3-05195F539BF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da6f74ec6337139bbc2c0c55bd8fb986e578b38","datavalue":{"value":{"time":"+2009-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q840763$7999E08B-DE81-4732-89A3-30E2556B61B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840763$F04EA6D5-1B19-4BAF-8438-EC04F918D037","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"055bdd7f21d6165f99118fafefa4573a5f4d9b0e","datavalue":{"value":"5603646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840763$A55185DB-0BBF-446E-9668-121023474806","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q840763$1449AFCB-5552-4844-9153-1E2C7E9092CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d628e56706ca9d139ecc7af628e4a593e5acf52","datavalue":{"value":"limited nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q840763$6AA7E384-E7EE-4D17-856E-7E750F749D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d4a2df18e3a14540cb79dd98cf54dfaf07d3e7","datavalue":{"value":"context-dependent nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q840763$2DF5FBE6-2074-4558-BEBC-9DED7D89F094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81fc28b43754370a2756b5775e7cbb4272e5bc4d","datavalue":{"value":"computational capacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q840763$7E676A92-25B8-49DA-854C-2B46138A22C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4fb08a9f976957b0c85713dd0be8d0f3ed7f3da","datavalue":{"value":"closures of languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q840763$2C6DADB9-56E2-4721-B8A5-02765A2C9BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q840763$C2531776-50FC-4FAB-9E42-BE6C2E75769C","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":"Q840763$A84F507D-0FEF-4999-96DB-86476E695A5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ad4dc175f218cd6c955b7f5fac091c70f7a9d17","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q840763$B2CB47CF-EEA3-432F-A30A-7A4CB2E97FAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a8e1fe3a56a771df1d8eca3b5865d8df8a75a1a","datavalue":{"value":"W2092069299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840763$673D107E-6F28-4896-9465-BE2647231D2A","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":"Q840763$07DED2A6-1DC1-492C-A5A9-8E713F3702A8","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":"Q840763$D9F4DEFF-1604-48B0-8493-0BF82C77D7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840763$F8DC33DD-EB6C-4195-BDE3-5B1F6BB487EF","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":"Q840763$8F331F04-DFD5-4921-9436-A60042553897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbe8c08fd37589a3546d5ee9dca184fd1fb2b21","datavalue":{"value":{"entity-type":"item","numeric-id":1198953,"id":"Q1198953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840763$F21CDD93-D4A2-48C1-A109-E3FAC14C27DD","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":"Q840763$05E20EC4-CB7C-4317-A876-B2AE6D641660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70874532ef0eec6fe8b9a9b85adb58727b1f968","datavalue":{"value":{"entity-type":"item","numeric-id":3141998,"id":"Q3141998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840763$860509C6-0132-4212-B0D1-462306259618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4135d2d427cfa081d00a20fc3b9be238c8f19f7","datavalue":{"value":{"entity-type":"item","numeric-id":5573387,"id":"Q5573387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840763$1B7EFF64-3BF3-41D9-9CF2-33504DE7B349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0141caa2a65745d5165fa8903a8f3f6c484536","datavalue":{"value":{"entity-type":"item","numeric-id":4079078,"id":"Q4079078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840763$10117D3B-BBA8-400C-BC6D-AE525531FE27","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":"Q840763$43749EBF-8CEC-401C-B7C8-9B394B958643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbeb3bba30baba223f9809b105566586fcf2db8","datavalue":{"value":{"entity-type":"item","numeric-id":5583856,"id":"Q5583856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840763$0004EE90-DBF8-4C41-ABFB-65B71FFC62B8","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":"Q840763$79C77126-C4BD-4185-87FA-A7B1465A27B1","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":"Q840763$B744FFC0-3184-4A47-B58A-5E9E28C12C0B","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":"Q840763$0F952903-D708-4021-923F-04DEE4D37035","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":"Q840763$A11CD518-1119-4EF4-A122-C6F7759E9873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d4e7fd7b570bfc8da4380588cc87c696db9745","datavalue":{"value":{"entity-type":"item","numeric-id":880177,"id":"Q880177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840763$6B1490E0-0417-4131-9ED4-8F609474F911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c325728591408d947d3267d9a2882304fb800ec8","datavalue":{"value":{"entity-type":"item","numeric-id":2714410,"id":"Q2714410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840763$C51FC181-CC20-48B1-8B2A-5AC810E4E01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d66bb7bb3eafc331c29355828a5916f53db5e2c","datavalue":{"value":{"entity-type":"item","numeric-id":4799356,"id":"Q4799356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840763$2E755D0F-B3FB-4057-AEED-302B9B0E1C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad45153e407fb3a7527127466eeb37c1269cd32","datavalue":{"value":{"entity-type":"item","numeric-id":4239067,"id":"Q4239067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840763$0E9529C1-D16E-4006-9B03-FA92343645C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aa7a343db226e6c7da9bd7db585a412df58862","datavalue":{"value":{"entity-type":"item","numeric-id":5678435,"id":"Q5678435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840763$538ABC1A-7FCB-43B6-955A-D61EFF638323","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":"Q840763$F99CE929-051E-43FE-BE0E-B21FEF1036EE","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":"Q840763$6F1A07F1-DDC8-4CE5-BF7F-B79F5777B1F4","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":"Q840763$0E57CF77-1F40-4296-BBBF-800713F8EDE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"807fe37c7d1ff88068d8e352f0115d612b599cc1","datavalue":{"value":"10.1016/J.TCS.2009.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840763$3F7357D5-367F-401D-89E3-53A3DBC25DFE","rank":"normal"}],"P1643":[{"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":"2b4da6586f8a01e17ce085a24999fd35e5f723bb","datavalue":{"value":{"amount":"+0.973538100719452","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":"Q840763$C1263F1A-BFBB-42CB-BF98-2975D4428DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c57797abca4df6b297c8d05bc1c63858a9a3d7","datavalue":{"value":{"entity-type":"item","numeric-id":3000293,"id":"Q3000293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017ea6653b03b6ea8a321f4aab7d3bf886f03cea","datavalue":{"value":{"amount":"+0.9087092280387878","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":"Q840763$5BE9DAA4-76A8-42E4-8D9D-2E75B033FE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fccaa6e89770e831108b1a527d1e699e3d68d5cc","datavalue":{"value":{"entity-type":"item","numeric-id":2714410,"id":"Q2714410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894315be1228a63e5c0c06214175dfd59ba55755","datavalue":{"value":{"amount":"+0.8581085205078125","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":"Q840763$E90E4453-9C60-4C8A-BF8A-B9248CA8F8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6023c3294f74153fedbd78c054c27c369838668e","datavalue":{"value":{"entity-type":"item","numeric-id":880177,"id":"Q880177"},"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":"Q840763$BC8A7767-381B-4F9E-B52B-E37C931895E3","rank":"normal"},{"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":"ec854c89ad6bb7db895c6cf475eeaec5c6b64377","datavalue":{"value":{"amount":"+0.839462399482727","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":"Q840763$9AC04412-5D8E-45AA-99F4-7268EB0BCDAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regulated nondeterminism in pushdown automata","badges":[]}}}}}