{"entities":{"Q3113770":{"pageid":3124486,"ns":120,"title":"Item:Q3113770","lastrevid":86253359,"modified":"2026-06-03T17:00:57Z","type":"item","id":"Q3113770","labels":{"en":{"language":"en","value":"Revisiting the Rice theorem of cellular automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5999717"}},"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":"Q3113770$E197257F-2AAB-4893-BD63-BBFBECD897D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8c52155bcbbda03230cf77668f40c420f81f9d0","datavalue":{"value":"1230.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113770$9C4F7FA7-6061-45C0-A8A2-E5024F676198","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bb75dc32f6279138751d107e3ec51fe5a165f33","datavalue":{"value":{"entity-type":"item","numeric-id":549702,"id":"Q549702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113770$35EC6B70-38F1-4C5B-960B-7F945068E417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbd0a4ee716f7a64223ebfb630a6474a838462a0","datavalue":{"value":{"entity-type":"item","numeric-id":1704111,"id":"Q1704111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113770$264FA79F-BA1C-4F24-9882-6DB6E04FD305","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4822a023b88216698bd27975d0e83ceb8910f93d","datavalue":{"value":{"time":"+2012-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3113770$15210143-50ED-4AEA-A076-03D58DDB26D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06e1f2288e3ddddaad322d8ae48d8e903013f5d5","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_6c34.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3113770$109C1B81-9E87-4FEE-90E6-D54F22C701B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113770$F4649F44-2A98-43D0-B05F-170EA55FBA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9f75a1ea6a1b050032188834d6ec5de5f473dd3","datavalue":{"value":"37B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113770$94E9096C-16F4-47F1-98E4-6DB7D7FDF867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113770$A2DA051D-B03D-4823-BE87-FAA01726C62C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0a857b5c04f5c85a15ffe056509561c5e440c79","datavalue":{"value":"5999717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113770$C67AD0A5-12A8-4E7A-A819-B2F4596DA8CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc4b5d63289db850b148e760ad6fea530c4e5631","datavalue":{"value":"cellular automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113770$44423B27-6AF5-48F2-83D0-15EC1AD41C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113770$C7EBB5BD-8AE3-4AAE-87F6-B56652B6CDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"842c9a838f6c15ac7f202c8fd129c4f2013cce47","datavalue":{"value":"limit sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113770$C1611D47-887E-4464-AF66-90DE1BF224E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9201a29b9e8acbcaaade01cfec6bc3c510840ca2","datavalue":{"value":"Rice theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113770$44DDC9D7-5432-4A94-BD5C-B4EB18C3B3CA","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":"Q3113770$47CB0924-D4FE-4003-AF43-BD0E321A340D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27563d53cba87589f2daa8821adcb596b4965eab","datavalue":{"value":"W1735068375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113770$BC993059-0376-4924-896F-7A413595EB3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5232f3714e22f55d70a3bf8ea1e2297b3fb81aee","datavalue":{"value":{"text":"Revisiting the Rice Theorem of Cellular Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3113770$F2847B73-B72A-47CB-96E8-A738CBFBD32C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c2cdec3b278f1dead4c8adfe19f296b44221318","datavalue":{"value":"10.4230/LIPICS.STACS.2010.2474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113770$98F5D3AC-2243-4050-9612-19E86CF92C8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ebc6c01821d6032a7646db4aaca905be18308d","datavalue":{"value":{"entity-type":"item","numeric-id":3012911,"id":"Q3012911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625fcc718328ae4cbf6ff77e9c1e37120c733718","datavalue":{"value":{"amount":"+0.9303143620491028","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":"Q3113770$5C4A7301-55B5-43B2-8218-FF2B88BD6E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e45ae067f18cf022309b634122a2190a365c45e","datavalue":{"value":{"entity-type":"item","numeric-id":1342233,"id":"Q1342233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d8f8fdc7410d1aefb85166981583236aadcaa74","datavalue":{"value":{"amount":"+0.907526969909668","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":"Q3113770$C01CCEE9-2EA1-4D1B-9109-920F8B1A7C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b9f39049ec904ea5fa9fe3f6bf4b59385c68e3","datavalue":{"value":{"entity-type":"item","numeric-id":4016914,"id":"Q4016914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc860e7aa6a3427810c94236cbc159a439fdb67","datavalue":{"value":{"amount":"+0.8955180644989014","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":"Q3113770$ED24F71A-C9D0-45E9-B923-B52D02EB48C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02e74d3d130c9c82aaa5ebfd9d1fe81a772539f","datavalue":{"value":{"entity-type":"item","numeric-id":5311118,"id":"Q5311118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b8aea463a2c9e2d88b89deeae2e84f1000e121","datavalue":{"value":{"amount":"+0.8693241477012634","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":"Q3113770$2CC59C12-8F15-4C6D-A4AA-D1773972EF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a138994dd0b8a86b9398f2cf41834c018a7d3ffd","datavalue":{"value":{"entity-type":"item","numeric-id":2268864,"id":"Q2268864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580c25e0466758af3bbff278f4668594a42a9760","datavalue":{"value":{"amount":"+0.8634845614433289","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":"Q3113770$5BCB582A-F419-4458-B79F-1860780034C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Revisiting the Rice theorem of cellular automata","badges":[]}}}}}