{"entities":{"Q3949982":{"pageid":5979887,"ns":120,"title":"Item:Q3949982","lastrevid":92995853,"modified":"2026-06-05T03:21:13Z","type":"item","id":"Q3949982","labels":{"en":{"language":"en","value":"A real-time strictness test for deterministic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3768982"}},"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":"Q3949982$AF22F589-4FF1-4784-9749-255D8FC38DDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04bf67e425ec73a46b24bb6793f8aeb2d028c74d","datavalue":{"value":{"text":"A real-time strictness test for deterministic pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3949982$F37F76FC-B5E8-4806-9D25-FDB72C317551","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbcac89305be344492cc74ee36b9d75b845599ab","datavalue":{"value":"0488.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949982$13EADEA1-ACEF-459D-B7CD-A9FE2EBC6729","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abc3bdb69bc49df9e05335ff8a9f31c430e10f49","datavalue":{"value":"10.1016/S0019-9958(80)90256-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949982$B6BE3621-347E-4EAC-98F6-1F11B5C27703","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b75e3dc8ae1008724e44cf427d976ff916bfae1a","datavalue":{"value":{"entity-type":"item","numeric-id":799386,"id":"Q799386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949982$94BE237C-3200-4D10-B13B-996A566AB838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7a4d4c2827933c100823d4d6b5dbd63af1d9988","datavalue":{"value":{"entity-type":"item","numeric-id":751325,"id":"Q751325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949982$5E943E4C-A9F9-4CAB-A134-2B657531613A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c75ab42b9324a319970b67eaabe7ad3c20f3be1","datavalue":{"value":{"entity-type":"item","numeric-id":794450,"id":"Q794450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949982$32DD7674-5976-4704-8150-9E57DE443467","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949982$57083A08-5205-452F-9448-5FEB989E7F07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3949982$D87A13AE-A641-418A-B0D2-C2BE24A67919","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949982$4B46BF60-017D-4419-ACAA-548FC7AA360D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949982$4CCC00AD-1BDD-41B6-A5BF-CA9C7E5136E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25db8fa9154c3d648f6b8a959915943c5715510d","datavalue":{"value":"3768982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949982$3BA9CF52-D0E1-4DC5-86AF-21F379BAFD9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4219917e53b0722fa275b1abe6a445314524d09b","datavalue":{"value":"decidability of the strictness problem of context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949982$91FEEF62-CE3D-438F-B44C-0E074DDAA600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2dffe9a1f4c7962ed1e8557dd212102900fb627","datavalue":{"value":"real- time deterministic pushdown automaton with empty stack acceptance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949982$E890F399-8072-4D4B-9672-A7A9D8CEC534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9786932a1198ea8e1a40c9a4aafed7f72c717b11","datavalue":{"value":"containment problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949982$A8A65F0D-2764-4494-A92B-E5F86C13F837","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":"Q3949982$1720456B-700D-4C37-84E2-F94474369155","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A real-time strictness test for deterministic pushdown automata","badges":[]}}}}}