{"entities":{"Q4174788":{"pageid":6204389,"ns":120,"title":"Item:Q4174788","lastrevid":28397454,"modified":"2024-03-05T13:34:38Z","type":"item","id":"Q4174788","labels":{"en":{"language":"en","value":"The decidability of equivalence for deterministic stateless pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3610764"}},"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":"Q4174788$A7355003-3BD2-41EE-88F3-B917751533A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9365494cec4d352c2e4427a2b2ea97eacbf6f5b6","datavalue":{"value":{"text":"The decidability of equivalence for deterministic stateless pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4174788$CEC07ED9-FC0B-4333-A132-40242DD29C80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29aab890ce41fc9e62371ceeb7678cd6d15d96c3","datavalue":{"value":"0393.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4174788$2FAC1388-3F3B-47AC-85C2-5066AB2E7E58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9008077f9f8478f8799a0e88a3e08c95af53a6e4","datavalue":{"value":"10.1016/S0019-9958(78)90139-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4174788$A105EF22-FDFA-4485-929C-31C9606843B1","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":"Q4174788$7594D43C-769B-42F2-8795-C9FF920DEFFB","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":"Q4174788$8A39B4D7-88EB-4934-BCD8-685C3F4848BC","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":"Q4174788$FEC4353F-AB4C-4E1C-BAC6-9199B719CD9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4174788$EC5E4FD9-EBDD-4D92-983C-0EB2D851727D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4174788$ADA79F5A-8AD4-4B3E-AF0E-989F271E1957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4174788$9D7587D3-1755-4942-BD6B-0FF406C01847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4174788$EB456148-90CE-4F71-800A-5106C87EEE7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03222659c06706823d7cd31451ad6c259d4314c9","datavalue":{"value":"3610764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4174788$E870876D-F59F-4E09-A813-E6E43039852F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31da17eafb9b214fa100d2a70a84df5c9765aa6f","datavalue":{"value":"Deterministic Pushdown Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4174788$AD560B8D-DF41-42BC-BBE5-5E9A730FAF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4174788$F9E8854E-69A1-4875-8B05-FD2B289A79C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8807af8b628cad06e7a55ac3242b025dc372ca91","datavalue":{"value":"Equivalence Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4174788$22EB2BEC-A7A8-4E38-84C5-D5716B8A9F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"521f470dcb7cc27809aff7569dc77db24477b74e","datavalue":{"value":"Context-Free Language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4174788$E8D3B765-747D-4C98-811E-E2A6B5780CE1","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":"Q4174788$78D5E97A-21B3-46C9-9B88-771EE9C08CF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4174788","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4174788"}}}}}