{"entities":{"Q3908478":{"pageid":5938383,"ns":120,"title":"Item:Q3908478","lastrevid":81257063,"modified":"2026-05-06T18:06:18Z","type":"item","id":"Q3908478","labels":{"en":{"language":"en","value":"A simplicity test for deterministic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3718562"}},"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":"Q3908478$43382541-3E2A-4C04-B6FF-C690A4D6FC41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbcee216aa08ed32868d835f4b8dbbdfc7ef4c24","datavalue":{"value":{"text":"A simplicity test for deterministic pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3908478$EF548E96-AED1-40E1-AA71-63C0ADB79DD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2728e3a4a98a57518375ce8565f0d0bf6fca05f","datavalue":{"value":"0458.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3908478$471EAE4F-EC54-45E4-A601-956EAD3A9340","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0af56ec5ede4f82a68727f411eca47a7b076a926","datavalue":{"value":"10.1016/S0019-9958(80)90263-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3908478$BE0FE939-8A8B-4BC2-B02B-178D2B393BF6","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":"Q3908478$1061B713-191F-449C-91D0-316422357E0F","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":"Q3908478$A8FBA9E3-5DC7-4AFB-B97D-C6AD84917736","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":"Q3908478$0A7324F9-9D0E-4877-AED0-7D23B523EF0A","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":"Q3908478$66CBB242-6350-4994-BAFA-42860EE9F132","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3908478$FBF92F8E-7356-45C9-9D71-AAF73F996128","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2a6b60fdf570925e16b11e0e797ace966b18841","datavalue":{"value":"3718562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3908478$B3EB36D9-3019-4AE1-801B-31AA6C0CDCBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fa04e1c69b45baac7ef55b8a555fea3d64ade54","datavalue":{"value":"real-time deterministic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3908478$93EAF1F2-E77A-4AD2-B0C9-621A54A8FD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7be060a8b48ec04e0b3473db4ee9bfecd4db36c2","datavalue":{"value":"simple deterministic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3908478$9DE07A83-D07F-4F5E-813E-D8F83D7030E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02146dfc88f526fec54cc190e85f6079e44f46c0","datavalue":{"value":"simple context free language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3908478$C6E40FD4-21E5-401F-95BE-63D768F58189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1926ed5d3bf9c84f302146d1beff6adbdf4ebdf","datavalue":{"value":"subclass containment problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3908478$BB8451CD-C633-456B-AB91-7F0CBA6CCEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6be4015e48b79c4968d0d8290bc4997c88ba31f4","datavalue":{"value":"simplicity problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3908478$F9AD8B72-06BD-4144-AF29-BF351896B0B4","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":"Q3908478$E157B43F-4E8B-4019-A62B-4A536EB15B9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simplicity test for deterministic pushdown automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simplicity_test_for_deterministic_pushdown_automata"}}}}}