{"entities":{"Q5425463":{"pageid":7455037,"ns":120,"title":"Item:Q5425463","lastrevid":92290109,"modified":"2026-06-05T01:21:05Z","type":"item","id":"Q5425463","labels":{"en":{"language":"en","value":"A Time Hierarchy Theorem for Nondeterministic Cellular Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5211397"}},"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":"Q5425463$7E04D0ED-8FDA-4DF3-9563-32AF1B20E727","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c1d1b9b8c54a551ecf0f2defe7b7fab3c6091fa","datavalue":{"value":{"text":"A Time Hierarchy Theorem for Nondeterministic Cellular Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5425463$3BE2D419-FA3A-45EC-8646-13D915855A56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c8715be528f57cc707d52432276a8cc57f2ff2c","datavalue":{"value":"1198.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425463$B36D7A7D-9116-480A-AAE5-CCE107089249","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29ef08f654a234abc7cabbcb2e36c7ba0d2e4925","datavalue":{"value":"10.1007/978-3-540-72504-6_46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425463$5D4BEEDF-8B5B-4A1F-BE65-92FED53AF903","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"820bc93457aa39e1f3128ed4068e25e812615e94","datavalue":{"value":{"entity-type":"item","numeric-id":235711,"id":"Q235711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425463$81EB0748-1B99-4DD0-9CD9-C7C0D2E52F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d09c549bfebd9fa28577c5b6a57307413188a6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5425462,"id":"Q5425462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425463$AD8E4FAD-4F7B-43BA-8870-31F5614598EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c679f1b5e3afd0eb5dbafac15c67f235fe6da24","datavalue":{"value":{"entity-type":"item","numeric-id":235714,"id":"Q235714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425463$39485D01-19B4-4952-B69C-D0A85F56911F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"182d2a53e16892f59ea178d1cc15214afb3283bc","datavalue":{"value":{"entity-type":"item","numeric-id":235713,"id":"Q235713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425463$E5A148B5-D218-4BAF-A0FA-C143E43CC897","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5425463$ECF91F21-D1E3-42F4-ACAE-F64BF0ACA03A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ec78afc52e00fe3d8975920d3a43c9431ac1875","datavalue":{"value":{"time":"+2007-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5425463$4B66E81C-029A-4425-80B3-F3EA34254FF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425463$A9E720A3-4641-4F65-88A6-465C7293893E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8143b76336dd38e36d0247e77252b8e76ecfdaa","datavalue":{"value":"5211397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425463$8CF7197E-FDAA-4533-9448-5CF912715A55","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":"Q5425463$09B737F7-22BB-441B-BBC9-2E07B23619E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8d6c0e79afc089406b625531ea0e8ea24253091","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72504-6_46","type":"string"},"datatype":"url"},"type":"statement","id":"Q5425463$2185AA9D-2677-4774-AF9A-CDD9AADB930A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17ef5a6c332b6cbc72a0aac8fe483f702c528d6c","datavalue":{"value":"W1859344257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5425463$1157F4F6-5EE7-4748-9589-2004A0A78CAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20e3685f2bbc3b4ef48e1d2d70d7cb087bbb31f","datavalue":{"value":{"entity-type":"item","numeric-id":5958331,"id":"Q5958331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8ee8eb493dd366b08000c594561a44898eecda","datavalue":{"value":{"amount":"+0.8076038956642151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5425463$101BCE2A-EC61-4B6E-8551-ECD48D25A077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40cee397f5259bcc94884743351b84bdf6151e95","datavalue":{"value":{"entity-type":"item","numeric-id":4934340,"id":"Q4934340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fef434f3347188f40a8d4486d79c357cf55c774","datavalue":{"value":{"amount":"+0.806699275970459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5425463$B2BEB1C9-99A8-47CC-8272-69F2314EF457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e858d9916a1251910daeb675e7b13b7af1d8811","datavalue":{"value":{"entity-type":"item","numeric-id":1283823,"id":"Q1283823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4e8a26dc5b83c8d9ec855570e34af60ecae1ff","datavalue":{"value":{"amount":"+0.7704067826271057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5425463$9BA9A1FE-0A0F-44D5-9BEC-3301ED892860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f582ce0462aef68228e5137ff2a6e308469e930b","datavalue":{"value":{"entity-type":"item","numeric-id":4708585,"id":"Q4708585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676120285a2544a7b3d4d021ecd8706f645237ec","datavalue":{"value":{"amount":"+0.7650619149208069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5425463$E68D98D5-8E53-4D0A-87E9-F8C382DFF8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d152203d12dc4a1a8124897b3baeee0cda1079f","datavalue":{"value":{"entity-type":"item","numeric-id":6169898,"id":"Q6169898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34fddb6bfa11b557a6dcab79639da259325aff7","datavalue":{"value":{"amount":"+0.7649158835411072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5425463$FF2E32DB-468E-4FC4-B429-9370EDCBAC70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Time Hierarchy Theorem for Nondeterministic Cellular Automata","badges":[]}}}}}