{"entities":{"Q396822":{"pageid":398589,"ns":120,"title":"Item:Q396822","lastrevid":61621647,"modified":"2026-04-11T00:32:25Z","type":"item","id":"Q396822","labels":{"en":{"language":"en","value":"Symmetry in Gardens of Eden"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6330288"}},"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":"Q396822$6E8437E4-7C5A-4AE2-AB48-AB89CABED6AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcae924f6f1c696e68d769acc4dd6af96b64e2fa","datavalue":{"value":{"text":"Symmetry in Gardens of Eden","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q396822$E5425027-723F-414A-BE36-11C67B4C2A92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25d25a76c95ca55d311f78d4645abcc29a998fa5","datavalue":{"value":"1295.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396822$DF44C747-C926-4598-B1EC-AA0E1EFBBE0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ef9f0e4510d690c0437ace003052f6ce66ec8fb","datavalue":{"value":{"entity-type":"item","numeric-id":396819,"id":"Q396819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$F55ED81C-F99B-4ED3-AF38-85E08BBA4FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$61472DF3-11F8-4C00-9237-F98861F54DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"908ac415c2a55182224ca924606bc59627df6180","datavalue":{"value":{"entity-type":"item","numeric-id":396820,"id":"Q396820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$4DFEFB5B-B2AB-4A90-A9C3-E260CA154631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dfa2ccd649c84d8c823afeef82ccb4ea5d108b5","datavalue":{"value":{"entity-type":"item","numeric-id":396821,"id":"Q396821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$26369FA5-AEB3-46B9-9D27-EAA9C1BF4242","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$8EC035DD-24C8-4B63-B0C3-76BF6C980CF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"014386d1e7349618004d8e2aa9650d7520cb60bd","datavalue":{"value":{"time":"+2014-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q396822$0E1C05E6-7F61-41B4-9617-F10665A5B53D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18b3a9014f9c391e5587399be94db1f832a01bc2","datavalue":{"value":"http://www.combinatorics.org/ojs/index.php/eljc/article/view/v20i3p16","type":"string"},"datatype":"url"},"type":"statement","id":"Q396822$EBBD9AA5-B3B7-46A1-A4FB-B9B42BB33B70","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a3e133a41f82bca2b969c48f54757ec64d484f2d","datavalue":{"value":"Summary: Conway's Game of Life has inspired enthusiasts to search for a wide range of patterns for this classic cellular automaton. One important challenge in this context is finding the smallest Garden of Eden (GoE), a state without a predecessor. We take up this challenge by applying two techniques. First, we focus on GoEs that contain a symmetry. This significantly reduces the size of the search space for interesting sizes of the grid. Second, we implement the search using incremental satisfiability solving to check thousands of states per second. By combining these techniques, we broke several records regarding GoEs: the fewest defined cells, the smallest bounding box, and the lowest living density. Furthermore, we established a new lower bound for the smallest GoE.","type":"string"},"datatype":"string"},"type":"statement","id":"Q396822$9EAA2812-4175-41C9-88E8-284BE7E09BBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396822$FED3A31B-6BC2-4DBB-B5CA-1BABA15106E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25f93f575fb7136b0ca80e5a1929582d78a31905","datavalue":{"value":"6330288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396822$F4EED1AF-2315-4895-A29E-237D560BD008","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcbd1ce56db093f2b83fcc5c10b0fcff20f02c98","datavalue":{"value":"game of life","type":"string"},"datatype":"string"},"type":"statement","id":"Q396822$0CC11E70-6332-48E7-90BB-E59BAD70D354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q396822$9EA8AD6F-5017-49F0-A3CA-1EE7B81316E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"632762b52d729f21e0acc6a42018f8e0d67fd225","datavalue":{"value":"incremental SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q396822$7AD4C422-702F-4EE6-B8D1-5F7CBA134753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q396822$49691A24-9BCB-4B41-BA08-3B0399309F87","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":"Q396822$5C299878-BD46-48A2-92CB-26ACD8A247C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77025c29d5290494072647e90cfd5b7ac95c54f8","datavalue":{"value":{"entity-type":"item","numeric-id":4427904,"id":"Q4427904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$B9AF1AA1-76E9-4123-9574-CF3A76878B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926ec579a6e1751bee4f751c2a20e927df8e0825","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$C40B1244-20A3-486B-B449-67D077723A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"662f72b23bb79f4c0b96bfee4f9fd93e53766f38","datavalue":{"value":{"entity-type":"item","numeric-id":1876528,"id":"Q1876528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$6C106862-EC5C-47EF-862F-6B2230C22CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$3D665129-D7AD-404F-8682-E309A32D7CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$DA9D2AAF-FEAA-45DC-82E7-91BECC44BD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$C6014BB3-42CC-4383-B7DA-DD483C086F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$7C6F9F2B-2258-4E9C-86C7-79183850CEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7822b32c270c4bed5a3c343d0bc07d27a793e5a","datavalue":{"value":{"entity-type":"item","numeric-id":3639756,"id":"Q3639756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$2B0EFE2F-120B-4B6A-8154-65728BACFE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211718301138f88dfaeb53656bea9e3d385517c2","datavalue":{"value":{"entity-type":"item","numeric-id":4071182,"id":"Q4071182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$06F507AD-F370-47D7-B79F-1E71142A7999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3686a074c7686604cdf852bc86af741c152a6f8a","datavalue":{"value":{"entity-type":"item","numeric-id":3007686,"id":"Q3007686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$00483592-B82D-48A3-B000-E6DE368778FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcb0e71d083cf8486de0b4db45626afe5608e21","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$EEBBC85D-90C2-48A2-B67D-EBB322F6829A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c980258a2b52c992d9a0c35b22f3411058f7ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4930586,"id":"Q4930586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$21D234FF-FBD6-407F-9BDC-7657BAAA8C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396822$685D9E20-E680-4C51-8E30-55A8A3F8439F","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"3b49167f3f84f68d5f9f7ce3ebb30757829de918","datavalue":{"value":"bafkreidcvngosuur6qzskdmvfvlp3pyebedmhqwuogm5qjxc6nh6fmaxja","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396822$2047611F-61F8-42F9-9ACC-B007E3D932F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4307c775b35e48e33adb2e469974d8a2ead0e259","datavalue":{"value":{"entity-type":"item","numeric-id":3780437,"id":"Q3780437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"989393125dba1099b73a4d7a4537b7f59e23f131","datavalue":{"value":{"amount":"+0.7172108888626099","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":"Q396822$D77EB916-CE1F-409F-AF8F-CE4FA21E1ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08edc16289489a5d61038fe2478a5db21f5c9b6","datavalue":{"value":{"entity-type":"item","numeric-id":5010396,"id":"Q5010396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c5729348639cc0c119238bb0ed3da9c20c3315","datavalue":{"value":{"amount":"+0.6914969682693481","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":"Q396822$C9617778-4769-47E4-8DF5-B04F91FB9518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d0fdd986c7b1ec8236c0430d22d68ceb12aa91e","datavalue":{"value":{"entity-type":"item","numeric-id":5399301,"id":"Q5399301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285f3135ed381f1d8b2537b403816535d7319149","datavalue":{"value":{"amount":"+0.6840634942054749","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":"Q396822$5AB5F333-63EE-4C95-A6F7-B3BD211751FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52b0bbdb2eab1a097d9ecbb9382235fbd92ddb3","datavalue":{"value":{"entity-type":"item","numeric-id":1010139,"id":"Q1010139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9218312c42518404687cc04b07c9df693cf42880","datavalue":{"value":{"amount":"+0.6648283004760742","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":"Q396822$2C2C10AC-A43C-4DFE-8F29-FD489BCB0002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d18aa2c954502629566c9cf0adf8f8cca719c67","datavalue":{"value":{"entity-type":"item","numeric-id":991896,"id":"Q991896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66fe6f6c0b20ab4d09f1e9752a5414326cf71de7","datavalue":{"value":{"amount":"+0.6631964445114136","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":"Q396822$1F433632-3680-4AED-8AA2-C8548477CE5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symmetry in Gardens of Eden","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symmetry_in_Gardens_of_Eden"}}}}}