{"entities":{"Q674292":{"pageid":676141,"ns":120,"title":"Item:Q674292","lastrevid":63486807,"modified":"2026-04-11T13:29:47Z","type":"item","id":"Q674292","labels":{"en":{"language":"en","value":"The reachability problem for finite cellular automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 986047"}},"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":"Q674292$99214F4E-978E-4E87-80EB-BD34B0E4B538","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57b33e24e81ce215d0bd8171750667182d1f019c","datavalue":{"value":{"text":"The reachability problem for finite cellular automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674292$3DF74FF8-F061-4952-B6D5-90B10F63CDB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c62e4498f59cf483c0ea7e00db3b505aa6d23536","datavalue":{"value":"0875.68660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674292$16604CD6-3A8E-4B13-9A44-C6232A108316","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45295b92008b8c067e00c1c94f22cb2654ee67d3","datavalue":{"value":"10.1016/0020-0190(94)00169-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674292$08D7B7C7-717C-47E4-A1AA-313472469EA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf0b4b75e6a0dfd1ecc76c9480c04f5fced5d","datavalue":{"value":{"entity-type":"item","numeric-id":202088,"id":"Q202088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$A302E819-B663-4AD4-9A17-B850AA981C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dc4c02315696ff72cfb00e4fa0b707aad7bc986","datavalue":{"value":{"entity-type":"item","numeric-id":930900,"id":"Q930900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$A9ED0169-7BEB-4158-9B5C-5313996EF18F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$F19913FF-2888-4185-9A1A-EEB6881BA636","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674292$76B8C8DE-FE56-43F6-9663-6A0B51A040C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674292$FAF8CF69-90EE-406C-B8EB-BB440AEBBAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674292$23E5054C-A93E-4A64-8006-0ABB551A9722","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b31823e16f73558cc0ec3d779ebacec9e0a59c20","datavalue":{"value":"986047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674292$EDF7289E-24F0-4968-8699-FF3F344A88BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da67da54e89e7c80f20f3f95c3ceec18bb927753","datavalue":{"value":"Computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q674292$B76E2ECA-ED95-4332-94A1-49CF2719FE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99f183a76b9e218288e042a47a305b5ce7e039fa","datavalue":{"value":"Cellular automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q674292$AC3F982A-6241-4431-AC0C-31D3C8C53115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c760c5d4b4d10275feb9fe41ff366da1f281d7f4","datavalue":{"value":"Reachability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q674292$39278B5A-9E4F-4454-80BF-16A15CC86F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1ebecf4ea78bbd9830c72637a11a6c8df1c2a2f","datavalue":{"value":"Interactive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q674292$5B5CE6F3-7C86-4B43-AE72-B7F0A47DF188","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":"Q674292$0E902223-C639-4984-B7D1-27DB7CDE1092","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9c0297ccc7943530d7e60dae41b7cff33d7166","datavalue":{"value":{"entity-type":"item","numeric-id":1106840,"id":"Q1106840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$AEDD9F33-BAB3-4A85-9D6F-145F351C4877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4b8e7cf4034c184fb2852754739a22a4e70036","datavalue":{"value":{"entity-type":"item","numeric-id":1108004,"id":"Q1108004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$17796C23-1456-4AA4-851B-B64F0CE2D148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e0b83ad81c88fdec1c6cf11d4d50ef0c73138","datavalue":{"value":{"entity-type":"item","numeric-id":3805907,"id":"Q3805907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$B9E2239C-965B-4278-9191-8DFE36F6C08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae477ba2300400eec2908d55329cb4248dc074d4","datavalue":{"value":{"entity-type":"item","numeric-id":3833627,"id":"Q3833627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$16F106BE-F126-40BD-AF4E-EE2046137402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789a8537527c23b0abb4429bf25eb07bc2853349","datavalue":{"value":{"entity-type":"item","numeric-id":3793734,"id":"Q3793734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$F67D7857-850C-413C-A158-F888D69E2E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6247f210f4a196f57442e86034ea56685575c9","datavalue":{"value":{"entity-type":"item","numeric-id":1099618,"id":"Q1099618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$AB72B26B-0D56-423D-AA87-B21C6BCAABDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff365d8186cc4c7ca2a8c01bb1842652c3c232d","datavalue":{"value":{"entity-type":"item","numeric-id":4273947,"id":"Q4273947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$57A95446-DCC2-4FF8-97F6-1B23AD94FEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8cf82e2bbc5dfb787547c6cb2918aad3d00048","datavalue":{"value":{"entity-type":"item","numeric-id":1058294,"id":"Q1058294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$E22A5890-CB88-4C98-AC12-72A5F85869EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a9370da2392ad06864996042171d500343d0f8","datavalue":{"value":{"entity-type":"item","numeric-id":3358252,"id":"Q3358252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$A83CCD17-865B-4F3A-B165-6E52C43272F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d20613a60c372ec0728e636ca9ed3d37a90083","datavalue":{"value":{"entity-type":"item","numeric-id":1884853,"id":"Q1884853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$D89EB100-1F56-4981-A407-F0C3E5BBE4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61a9ff7a8d57a2f17de475279ece94c8f91db2a","datavalue":{"value":{"entity-type":"item","numeric-id":807058,"id":"Q807058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$4AE101D7-D4ED-4D41-A4FF-1FA81A3BFDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcdc95f618667ad2cc6eef9ec3b6eb6bf972529f","datavalue":{"value":{"entity-type":"item","numeric-id":1072705,"id":"Q1072705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674292$3562DA80-10FD-4563-BBF3-98905FED61AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865a6b7e1731531fa54e1ebbdf926a214dbd2b33","datavalue":{"value":{"entity-type":"item","numeric-id":2053879,"id":"Q2053879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf56ccc435494355df36df797974f6472cec005","datavalue":{"value":{"amount":"+0.8478899598121643","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":"Q674292$81FFF28E-41C8-46D8-A10C-42EB1E4746EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca98ea1a75ffbec722df615376f27f428881cae","datavalue":{"value":{"entity-type":"item","numeric-id":1892208,"id":"Q1892208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc3ae0bd91d88c39ceb11ff5a0c2f2ad5392316","datavalue":{"value":{"amount":"+0.8025016188621521","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":"Q674292$C481C546-CC04-48F8-9F54-AF2485BF49F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef68ecf58141220bde59ebbb4084dd43dd3d8615","datavalue":{"value":{"entity-type":"item","numeric-id":1318474,"id":"Q1318474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca95798bb4629aec1fc7a07e01a8c28de7531af2","datavalue":{"value":{"amount":"+0.7771270275115967","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":"Q674292$684D5511-5842-4A92-8B5A-39093D021C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6b97b0095f0d793c5f2ab02aabd46436fdd025","datavalue":{"value":{"entity-type":"item","numeric-id":3974887,"id":"Q3974887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a132965663a39f69a1e903784693d262dcde4a34","datavalue":{"value":{"amount":"+0.7731778621673584","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":"Q674292$9707C81F-565E-4765-9F56-1F7E1C4CA295","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The reachability problem for finite cellular automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_reachability_problem_for_finite_cellular_automata"}}}}}