{"entities":{"Q1254241":{"pageid":1264991,"ns":120,"title":"Item:Q1254241","lastrevid":70003680,"modified":"2026-04-13T11:47:46Z","type":"item","id":"Q1254241","labels":{"en":{"language":"en","value":"Two decidability results for deterministic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3619866"}},"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":"Q1254241$FA5B1941-B01D-44BD-AE48-12BBF9C44478","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d83d3d161334ebf0ecdf1372796634eca4e6733","datavalue":{"value":{"text":"Two decidability results for deterministic pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1254241$E0B59DED-F5AF-4F2A-AA93-F6DA189FDD24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c687b6aa74446701a9dbfa3bd67ae53d350a4dd","datavalue":{"value":"0399.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254241$F28462F7-BF2F-4C11-BCB6-D76CC38A94DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a19f4d3038a2518458fb4ca20ed1d2a7e5a805a","datavalue":{"value":"10.1016/0022-0000(79)90055-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254241$4ECFC568-906E-4AD5-9F74-181DC277745A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$7447D60C-552D-494F-8F92-E386CF53CD73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1254241$EB2A7457-4DAF-4DB5-B2E6-579B92CF1C82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254241$4FEE75F2-F653-48C1-9ECC-4DDE1D5536C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254241$1ACAFD01-30F2-4455-9754-A21914EE5306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254241$DA5F1BD1-4F1D-4058-B6F2-539E54C6DE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254241$977438AF-90EA-4D09-8AE4-230408B3BE2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b09345e8411d537d22594318a2a9aa36cdeb3b9","datavalue":{"value":"3619866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254241$81D1139E-E69A-4647-89E9-3FE3A54693FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254241$C04910AE-E1C5-4A95-B067-8E163A937096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31da17eafb9b214fa100d2a70a84df5c9765aa6f","datavalue":{"value":"Deterministic Pushdown Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254241$E732C146-4CE9-478D-A077-DE8919BE6E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8807af8b628cad06e7a55ac3242b025dc372ca91","datavalue":{"value":"Equivalence Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254241$C701B98D-34CF-4130-8391-C7A2ED0CB747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880f4a4b635753e3ce3cfd39bd06c312e799a63e","datavalue":{"value":"Stack Uniform Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254241$145C23C6-D7AF-4422-BB10-FC653E621607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94fd8a3c6212fb003e4479f487fa110f110708ae","datavalue":{"value":"Inclusion Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254241$1780C473-034D-46D7-9130-B683770A850D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8770f312e0f07b72c6f091c5961d2eb91e6b0353","datavalue":{"value":{"entity-type":"item","numeric-id":1171886,"id":"Q1171886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$24B33A49-17A9-4166-9294-89AE95F35FDA","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":"Q1254241$8EE76036-6986-41D6-826B-7EE89E9A5615","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c38da10a4a897ec500661d2183f0bcc10ea43159","datavalue":{"value":"https://doi.org/10.1016/0022-0000(79)90055-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1254241$751178AA-F22A-47ED-A0D3-9B828AA2EF9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d076c037ebc2a629ddbb28b2015a001b8312bd5b","datavalue":{"value":"W2041168146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254241$F0B41317-2773-4D7A-A945-ECD1D67A8BC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dba53b11e07bd388230fb3794b135d3cc90dce","datavalue":{"value":{"entity-type":"item","numeric-id":1235014,"id":"Q1235014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$86CBD164-2516-4B23-BD4B-90A9E7CE330D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1231f36fec12be08804e8a05cbf0ff1fcdcdb82f","datavalue":{"value":{"entity-type":"item","numeric-id":2560718,"id":"Q2560718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$105422BD-3C79-4FF1-8A44-FB8438C394B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580fefe062050bd904bd86e709e00ba1590de4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4093017,"id":"Q4093017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$405EB410-9945-49C4-BC53-CFDB07E72B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422f13e0987f12a34d425454745bbbb66a566dcc","datavalue":{"value":{"entity-type":"item","numeric-id":4072875,"id":"Q4072875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$77692698-4000-46C2-8CAB-7FBC54F96260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0713c233d0390d832fb354877db0688183fc33b1","datavalue":{"value":{"entity-type":"item","numeric-id":4085272,"id":"Q4085272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$9C6BEDFE-5A9C-47C0-A8E4-3A7D3DD09DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d906550d0e430b87a763c2e831479e35e5daf1","datavalue":{"value":{"entity-type":"item","numeric-id":4124341,"id":"Q4124341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$0DC5438D-9DAF-4EA7-AEAC-6FA70CDF4D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5acae39981c04bee67afb40be4d3b17e459e9d6","datavalue":{"value":{"entity-type":"item","numeric-id":5668008,"id":"Q5668008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$8BFCA507-5EDA-4DEE-BA0E-3A413D05909C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9e77de3a21da6e315efa3d061018c96dccebdf","datavalue":{"value":{"entity-type":"item","numeric-id":2563017,"id":"Q2563017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$19589495-DCDB-45A4-9E35-7DDB88766335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9d693ee9f84d5128fc7c86fda922f6bfcc20f5","datavalue":{"value":{"entity-type":"item","numeric-id":5609393,"id":"Q5609393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$85377787-EE8D-4AC1-BDDC-ED4D68DFF8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61cb8280fa36fe466f451510204017197a7e8db6","datavalue":{"value":{"entity-type":"item","numeric-id":1230509,"id":"Q1230509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$F055E14E-D2B0-472F-B112-32561A5E4384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b811df360df6f454c918a6ddefd0f843638aa067","datavalue":{"value":{"entity-type":"item","numeric-id":4109594,"id":"Q4109594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$6A559647-CF84-45D4-99E0-1BC263169442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6c9ad1af6635d001f4350001772960e0e5560f","datavalue":{"value":{"entity-type":"item","numeric-id":4772713,"id":"Q4772713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$BD8934AD-8700-469E-9D93-8F1D385209B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"202fa537549d862287e8c72112377f480beedfed","datavalue":{"value":{"entity-type":"item","numeric-id":1218272,"id":"Q1218272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254241$2E58BCB0-CEEA-4C35-AD90-5A0104C2C0CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two decidability results for deterministic pushdown automata","badges":[]}}}}}