{"entities":{"Q5464170":{"pageid":7493729,"ns":120,"title":"Item:Q5464170","lastrevid":48529504,"modified":"2026-01-05T03:10:44Z","type":"item","id":"Q5464170","labels":{"en":{"language":"en","value":"SAT-Based Analysis of Cellular Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195221"}},"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":"Q5464170$225FE253-FE4F-419B-B4DF-2FCD0C580945","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd02367a06c77ce9d4ff5f7cb71e6bb39ac87d50","datavalue":{"value":{"text":"SAT-Based Analysis of Cellular Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5464170$8B416CDA-EBA5-4804-AD3B-98B3894C9991","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"079a56d9643c87803ebd47526d0343f6c91c2bd8","datavalue":{"value":"1116.68508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464170$2BD7AD2F-5960-4ECB-A6B6-38798762A196","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6018e9d9eb044fc7cfc63dfb65aa5ddfb50f5a0b","datavalue":{"value":"10.1007/978-3-540-30479-1_77","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464170$22662C19-4D71-4B7E-A016-C6B913106B6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa472e52817f82470a3e55e891cd689da2d769e","datavalue":{"value":{"entity-type":"item","numeric-id":5464169,"id":"Q5464169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464170$4EA2DB1B-128D-468D-874F-CB9566CC9A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464170$6EE56D05-408B-49E6-A32F-8708029A6484","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":"Q5464170$CD20BBF1-4193-4D8D-80DA-94DA607ED79C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f7da25f0352325b237ec8b5ac3a231082f46afe","datavalue":{"value":{"time":"+2005-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5464170$BBF427FA-3F8C-4217-A4D3-3AC46432A49E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464170$40384BE8-5744-45E9-B447-71543D890153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464170$28EC2FA5-89B4-41CD-8425-93FBE6F871D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b88c26cf670a8b2c64c45f9d32d428bd72f63e04","datavalue":{"value":"2195221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464170$523D04B5-E1CA-495F-924A-41FFA8B30614","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d650a7af9fdbfa854d490255d18c32cbaf84928c","datavalue":{"value":{"entity-type":"item","numeric-id":16925,"id":"Q16925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464170$31CA232E-C390-47BB-AEC5-50C88521F458","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":"Q5464170$F6D1F8A5-561F-4FAA-BCAF-962AFF7FBE54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b28114452754913282888d19ae7962c51f4761a2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-30479-1_77","type":"string"},"datatype":"url"},"type":"statement","id":"Q5464170$A9E35CB8-65CB-4A56-9BDA-A4A8AF5AEBB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f67b969f9b795f08fcb73b79942e484507cb3f6a","datavalue":{"value":"W1554918412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464170$9F7EB208-CF4E-45B1-AFDE-CE10F4DE594F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51047bbd557a46cf463ce17f9f0341715d8180b1","datavalue":{"value":{"entity-type":"item","numeric-id":3569852,"id":"Q3569852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13a5c938fcae2ffcc97f1193bab342c5d8dd089","datavalue":{"value":{"amount":"+0.7759691476821899","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":"Q5464170$EFEAE7F7-09B9-4515-8FB9-5E1EFCACFD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8dc8fbec85a870fccad010c14cdcabc6fa13f3","datavalue":{"value":{"amount":"+0.7638764977455139","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":"Q5464170$9F6AB235-8C45-4CFA-963F-53C2948AF3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"977ed6cd5f2dc4e72e78bec0b7f75e4fbd1bab4b","datavalue":{"value":{"entity-type":"item","numeric-id":2751040,"id":"Q2751040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0264fd585e11ada2f3bcfc68b15da1a5858f964e","datavalue":{"value":{"amount":"+0.7543922662734985","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":"Q5464170$F8C26205-9EFD-475F-8487-C6A8706E0A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ec5decd8a2de4ba0bffe506f6c78a70150606d","datavalue":{"value":{"entity-type":"item","numeric-id":5377330,"id":"Q5377330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0264fd585e11ada2f3bcfc68b15da1a5858f964e","datavalue":{"value":{"amount":"+0.7543922662734985","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":"Q5464170$0C72ED14-C24F-446E-848E-B65F81957834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6967cc25ccfe82bbe1ad9a3a0a351eeb13d93754","datavalue":{"value":{"entity-type":"item","numeric-id":5500617,"id":"Q5500617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961848692dc1262c019bdddeb1612976f97e2fe9","datavalue":{"value":{"amount":"+0.7475598454475403","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":"Q5464170$6A36B74B-6D71-4191-BF4D-2104BD7C48E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5464170","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5464170"}}}}}