{"entities":{"Q4007337":{"pageid":6037149,"ns":120,"title":"Item:Q4007337","lastrevid":55161673,"modified":"2026-02-04T06:58:40Z","type":"item","id":"Q4007337","labels":{"en":{"language":"en","value":"The equivalence problem for real-time strict deterministic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 59182"}},"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":"Q4007337$DC6BB9FA-19EB-462A-A678-FE65FEFBA995","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21c56eb253e5567a8d5fb20db7700a60f2e82c1b","datavalue":{"value":{"text":"The equivalence problem for real-time strict deterministic pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4007337$D06BD1EC-80ED-4317-8C8B-D062357F9CFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24076eeb881dcfca163ae53880de69aac28a6b7d","datavalue":{"value":"0800.68425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007337$660373E9-ACF3-4821-84A3-EB1EE7222490","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adbcd424d6fe20414af43ecf0c03b94ec468995b","datavalue":{"value":"10.1007/BF01075213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007337$39113C51-18D2-40A6-B162-3CB475A8A7C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0bce92f09c2edc92c73ef8f63a313ea2a81dccc","datavalue":{"value":{"entity-type":"item","numeric-id":1816325,"id":"Q1816325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007337$4CDE1013-8D7C-4A38-A765-05397C09F049","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007337$0E8F0FAA-8D93-4CF6-89A3-5E94AB289162","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4007337$B21591EA-CB12-4D60-8457-AF3AD198C9A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007337$5E939CCE-C2ED-445E-A6B7-CE2E090D8869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007337$78BEF798-8A0D-47BB-8BDD-E2B0878924E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3bcf83be1b8b850ac9ba4963a7411e8566a9dd1","datavalue":{"value":"59182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007337$2EA4BD06-E093-42A7-92B8-4A396840F304","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007337$EBFEDC7A-4395-47BE-BF39-AD95E2529776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007337$AB685C2A-B31D-4783-A0F9-FFBCA2C8F2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007337$A2D2DC28-31B9-4FDE-8CAE-54FB6AE6A709","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":"Q4007337$F98FCD97-BE38-47A9-9D1F-B5B8C724B5B3","rank":"normal"}],"P223":[{"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":"Q4007337$95681B30-12A7-42CA-B910-033B502336CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d123ce3c6592eaecceee504819584bb2976aea7","datavalue":{"value":{"entity-type":"item","numeric-id":3888532,"id":"Q3888532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007337$B0F8BD63-CAC6-44A8-96BE-6CFBC71F2FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca3f292723448b88165eb7624952430adc6db4c","datavalue":{"value":{"entity-type":"item","numeric-id":5594631,"id":"Q5594631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007337$1768CDD4-D8B6-4A69-AA08-98C0C78264A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4007337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4007337"}}}}}