{"entities":{"Q3951577":{"pageid":5981482,"ns":120,"title":"Item:Q3951577","lastrevid":55084393,"modified":"2026-02-03T12:51:05Z","type":"item","id":"Q3951577","labels":{"en":{"language":"en","value":"The equivalence problem for some non-real-time deterministic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3770984"}},"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":"Q3951577$8EFB3DC1-A381-4AF8-BF7E-7DB6DA240644","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b66f718e31abb0c215f05586b2cdee0f08b9a161","datavalue":{"value":{"text":"The equivalence problem for some non-real-time deterministic pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3951577$7ABE55E3-7E39-4A49-AA7B-D1E6C22F620E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c1b0fab9abf85dd5cf6bd4db51083d663d4ec88","datavalue":{"value":"0489.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3951577$1385EE55-F2DF-433B-A15A-E56127BC350A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a8e73165a59e7e39f7e25b8154f237c758cdff6","datavalue":{"value":"10.1145/322344.322357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3951577$49AAEB76-129A-4808-97CC-2BB71E9519A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa4172a39bf9ec948c8d6eb790fa409bd68117f","datavalue":{"value":{"entity-type":"item","numeric-id":294883,"id":"Q294883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3951577$8F729209-FB5B-4A3E-898B-E5E0B5A5AD93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3951577$DC853A7C-2837-430E-8761-D73277506815","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3951577$44A2B31B-E4AD-4E64-AA1B-A4631FA7B403","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3951577$F7F48279-460B-48A1-B8C1-F06452CED42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3951577$2BA9729C-3FA0-4FC3-AE97-A28228FC6BBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d4b5e2bb680a246803d42f592f570eda05ded5e","datavalue":{"value":"3770984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3951577$BD85CFFE-A73A-483F-A0E0-466940181A95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3951577$21EC2C5A-7B48-4457-909F-D03F733A05DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8470cc825ae38ac069dadfb5bf8835ce4f3db1d","datavalue":{"value":"finite-turn dpdas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3951577$DE02559E-2073-4AFF-8C46-B2393F4C7DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce76cf0926ba698688eae7557b53a73be56badc9","datavalue":{"value":"real time dpdas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3951577$7D1EF3AD-87E2-4C9A-8D32-3A92651E4DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b3291ec5f3e7873fc9330c2c890571c6854446b","datavalue":{"value":"deterministic languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3951577$F165FA4D-2603-4590-A681-6BA2C1C14D53","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":"Q3951577$3CBE019E-53C5-4561-A70F-7AADCC840D3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"153d6d718bc84dd3f49cfc5ae62977b3965ec7d0","datavalue":{"value":"https://doi.org/10.1145/322344.322357","type":"string"},"datatype":"url"},"type":"statement","id":"Q3951577$1B94DAE7-0FDF-443F-AFE3-ACB8F82F1423","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61f3a542e4eb40c61e83c03fde4df29235029a0b","datavalue":{"value":"W2034209817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3951577$36EC3BEE-6BED-41BA-ADC5-8450F188F6A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3951577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3951577"}}}}}