Publication Information

{'id': 'https://openalex.org/W2043660429', 'doi': 'https://doi.org/10.1090/s0002-9939-1963-0155764-9', 'title': 'The converse of Moore’s Garden-of-Eden theorem', 'display_name': 'The converse of Moore’s Garden-of-Eden theorem', 'publication_year': 1963, 'publication_date': '1963-08-01', 'ids': {'openalex': 'https://openalex.org/W2043660429', 'doi': 'https://doi.org/10.1090/s0002-9939-1963-0155764-9', 'mag': '2043660429'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.1090/s0002-9939-1963-0155764-9', 'pdf_url': 'https://www.ams.org/proc/1963-014-04/S0002-9939-1963-0155764-9/S0002-9939-1963-0155764-9.pdf', 'source': {'id': 'https://openalex.org/S4210226894', 'display_name': 'Proceedings of the American Mathematical Society', 'issn_l': '0002-9939', 'issn': ['0002-9939', '1088-6826'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310315719', 'host_organization_name': 'American Mathematical Society', 'host_organization_lineage': ['https://openalex.org/P4310315719'], 'host_organization_lineage_names': ['American Mathematical Society'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'bronze', 'oa_url': 'https://www.ams.org/proc/1963-014-04/S0002-9939-1963-0155764-9/S0002-9939-1963-0155764-9.pdf', 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5060119550', 'display_name': 'John Myhill', 'orcid': None}, 'institutions': [], 'countries': [], 'is_corresponding': True, 'raw_author_name': 'John Myhill', 'raw_affiliation_strings': [], 'affiliations': []}], 'institution_assertions': [], 'countries_distinct_count': 0, 'institutions_distinct_count': 0, 'corresponding_author_ids': ['https://openalex.org/A5060119550'], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 1.116, 'has_fulltext': True, 'fulltext_origin': 'pdf', 'cited_by_count': 233, 'citation_normalized_percentile': {'value': 0.986306, 'is_in_top_1_percent': False, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 99, 'max': 100}, 'biblio': {'volume': '14', 'issue': '4', 'first_page': '685', 'last_page': '686'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11797', 'display_name': 'graph theory and CDMA systems', 'score': 0.9879, 'subfield': {'id': 'https://openalex.org/subfields/2208', 'display_name': 'Electrical and Electronic Engineering'}, 'field': {'id': 'https://openalex.org/fields/22', 'display_name': 'Engineering'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, 'topics': [{'id': 'https://openalex.org/T11797', 'display_name': 'graph theory and CDMA systems', 'score': 0.9879, 'subfield': {'id': 'https://openalex.org/subfields/2208', 'display_name': 'Electrical and Electronic Engineering'}, 'field': {'id': 'https://openalex.org/fields/22', 'display_name': 'Engineering'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T12504', 'display_name': 'Mathematics and Applications', 'score': 0.9506, 'subfield': {'id': 'https://openalex.org/subfields/2608', 'display_name': 'Geometry and Topology'}, 'field': {'id': 'https://openalex.org/fields/26', 'display_name': 'Mathematics'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T14500', 'display_name': 'Advanced Mathematical Theories', 'score': 0.915, 'subfield': {'id': 'https://openalex.org/subfields/2610', 'display_name': 'Mathematical Physics'}, 'field': {'id': 'https://openalex.org/fields/26', 'display_name': 'Mathematics'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}], 'keywords': [{'id': 'https://openalex.org/keywords/converse', 'display_name': 'Converse', 'score': 0.8175483}, {'id': 'https://openalex.org/keywords/proposition', 'display_name': 'Proposition', 'score': 0.5812632}, {'id': 'https://openalex.org/keywords/square', 'display_name': 'Square (algebra)', 'score': 0.5359737}, {'id': 'https://openalex.org/keywords/morphism', 'display_name': 'Morphism', 'score': 0.434675}, {'id': 'https://openalex.org/keywords/tessellation', 'display_name': 'Tessellation (computer graphics)', 'score': 0.42680612}, {'id': 'https://openalex.org/keywords/garden-of-eden', 'display_name': 'Garden of Eden', 'score': 0.4178606}], 'concepts': [{'id': 'https://openalex.org/C2776809875', 'wikidata': 'https://www.wikidata.org/wiki/Q1375963', 'display_name': 'Converse', 'level': 2, 'score': 0.8175483}, {'id': 'https://openalex.org/C2777152325', 'wikidata': 'https://www.wikidata.org/wiki/Q108163', 'display_name': 'Proposition', 'level': 2, 'score': 0.5812632}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.55210346}, {'id': 'https://openalex.org/C135692309', 'wikidata': 'https://www.wikidata.org/wiki/Q111124', 'display_name': 'Square (algebra)', 'level': 2, 'score': 0.5359737}, {'id': 'https://openalex.org/C84999194', 'wikidata': 'https://www.wikidata.org/wiki/Q1', 'display_name': 'Universe', 'level': 2, 'score': 0.52283627}, {'id': 'https://openalex.org/C48103436', 'wikidata': 'https://www.wikidata.org/wiki/Q599031', 'display_name': 'State (computer science)', 'level': 2, 'score': 0.47354358}, {'id': 'https://openalex.org/C2778572836', 'wikidata': 'https://www.wikidata.org/wiki/Q380933', 'display_name': 'Space (punctuation)', 'level': 2, 'score': 0.44110093}, {'id': 'https://openalex.org/C137212723', 'wikidata': 'https://www.wikidata.org/wiki/Q1948412', 'display_name': 'Morphism', 'level': 2, 'score': 0.434675}, {'id': 'https://openalex.org/C43817857', 'wikidata': 'https://www.wikidata.org/wiki/Q9357547', 'display_name': 'Tessellation (computer graphics)', 'level': 2, 'score': 0.42680612}, {'id': 'https://openalex.org/C2779468979', 'wikidata': 'https://www.wikidata.org/wiki/Q1974793', 'display_name': 'Garden of Eden', 'level': 2, 'score': 0.4178606}, {'id': 'https://openalex.org/C202444582', 'wikidata': 'https://www.wikidata.org/wiki/Q837863', 'display_name': 'Pure mathematics', 'level': 1, 'score': 0.38270724}, {'id': 'https://openalex.org/C138885662', 'wikidata': 'https://www.wikidata.org/wiki/Q5891', 'display_name': 'Philosophy', 'level': 0, 'score': 0.24457228}, {'id': 'https://openalex.org/C121332964', 'wikidata': 'https://www.wikidata.org/wiki/Q413', 'display_name': 'Physics', 'level': 0, 'score': 0.14044032}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.13470018}, {'id': 'https://openalex.org/C111472728', 'wikidata': 'https://www.wikidata.org/wiki/Q9471', 'display_name': 'Epistemology', 'level': 1, 'score': 0.12533349}, {'id': 'https://openalex.org/C41895202', 'wikidata': 'https://www.wikidata.org/wiki/Q8162', 'display_name': 'Linguistics', 'level': 1, 'score': 0.117945075}, {'id': 'https://openalex.org/C2524010', 'wikidata': 'https://www.wikidata.org/wiki/Q8087', 'display_name': 'Geometry', 'level': 1, 'score': 0.10673958}, {'id': 'https://openalex.org/C44870925', 'wikidata': 'https://www.wikidata.org/wiki/Q37547', 'display_name': 'Astrophysics', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': True, 'landing_page_url': 'https://doi.org/10.1090/s0002-9939-1963-0155764-9', 'pdf_url': 'https://www.ams.org/proc/1963-014-04/S0002-9939-1963-0155764-9/S0002-9939-1963-0155764-9.pdf', 'source': {'id': 'https://openalex.org/S4210226894', 'display_name': 'Proceedings of the American Mathematical Society', 'issn_l': '0002-9939', 'issn': ['0002-9939', '1088-6826'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310315719', 'host_organization_name': 'American Mathematical Society', 'host_organization_lineage': ['https://openalex.org/P4310315719'], 'host_organization_lineage_names': ['American Mathematical Society'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.1090/s0002-9939-1963-0155764-9', 'pdf_url': 'https://www.ams.org/proc/1963-014-04/S0002-9939-1963-0155764-9/S0002-9939-1963-0155764-9.pdf', 'source': {'id': 'https://openalex.org/S4210226894', 'display_name': 'Proceedings of the American Mathematical Society', 'issn_l': '0002-9939', 'issn': ['0002-9939', '1088-6826'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310315719', 'host_organization_name': 'American Mathematical Society', 'host_organization_lineage': ['https://openalex.org/P4310315719'], 'host_organization_lineage_names': ['American Mathematical Society'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'sustainable_development_goals': [{'id': 'https://metadata.un.org/sdg/15', 'score': 0.63, 'display_name': 'Life on land'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 1, 'referenced_works': ['https://openalex.org/W4285719527'], 'related_works': ['https://openalex.org/W4297790016', 'https://openalex.org/W2963377682', 'https://openalex.org/W2769269860', 'https://openalex.org/W2418518962', 'https://openalex.org/W2391769344', 'https://openalex.org/W2387449261', 'https://openalex.org/W2359260952', 'https://openalex.org/W2079544905', 'https://openalex.org/W2043159103', 'https://openalex.org/W1999182454'], 'abstract_inverted_index': {'We': [0, 35, 204], 'presuppose': [1], 'the': [2, 13, 29, 59, 65, 72, 89, 93, 96, 103, 106, 112, 121, 124, 133, 136, 145, 154, 178, 207], 'terminology': [3], 'of': [4, 15, 31, 53, 58, 67, 75, 79, 91, 95, 99, 105, 109, 115, 123, 135, 144, 187, 201], 'Moore': [5, 10], '[1].': [6], 'In': [7], 'this': [8, 39], 'paper,': [9], 'proves': [11], 'that': [12, 38, 163, 184, 193], 'existence': [14, 30], 'two': [16, 167], 'mutually': [17], 'erasable': [18], 'configurations': [19, 33, 141, 168, 188], 'in': [20, 117], 'a': [21, 25, 51, 68, 76, 196], 'tessellation': [22, 62], 'universe': [23, 125, 137], 'is': [24, 41, 49, 86, 119, 132], 'sufficient': [26], 'condition': [27], 'for': [28, 55], 'Garden-of-Eden': [32, 175, 198], 'therein.': [34], 'shall': [36], 'show': [37], 'condition2': [40], 'both': [42], 'necessary': [43], 'and': [44, 192], 'sufficient.': [45], 'By': [46, 71, 111], 'an': [47, 83], 'environment': [48, 84, 155], 'meant': [50, 87, 120], 'specification': [52], 'states': [54, 94, 104], 'all': [56], 'cells': [57, 98, 108], 'entire': [60], 'two-dimensional': [61], 'space': [63], 'with': [64], 'exception': [66], 'square': [69], 'piece.': [70], 'insertion': [73], 'E(C)': [74, 131], 'configuration3': [77], 'C': [78, 116], 'appropriate': [80], 'size': [81, 147], 'into': [82], 'E': [85, 100, 118], 'simply': [88], 'result': [90], 'specifying': [92], 'unspecified': [97], 'to': [101, 150], 'be': [102, 151, 171, 190], 'corresponding': [107], 'C.': [110], 'sequent': [113], "E(C)'": [114], 'state': [122, 134], 'at': [126, 138], 't': [127], '=': [128], '1,': [129], 'if': [130, 157, 164, 182], 't=O.': [139], 'Two': [140], 'C,,': [142], 'C2': [143], 'same': [146], 'are': [148, 166, 174], 'said': [149], 'distinguished': [152], 'by': [153], 'E,': [156], "E(C1)'": [158], ",E(C2)'.": [159], "Moore's": [160], 'argument': [161], 'shows': [162], 'there': [165, 173, 194], 'which': [169], 'cannot': [170], 'distinguished,': [172, 191], 'configurations.': [176], 'For': [177], 'converse': [179], 'proposition': [180], 'suppose': [181], 'possible': [183], 'every': [185], 'pair': [186], 'can': [189], 'exists': [195], '(square)': [197], 'configuration': [199], 'G': [200], 'side': [202], 'n.': [203], 'easily': [205], 'establish': [206]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2043660429', 'counts_by_year': [{'year': 2024, 'cited_by_count': 4}, {'year': 2023, 'cited_by_count': 3}, {'year': 2022, 'cited_by_count': 5}, {'year': 2021, 'cited_by_count': 4}, {'year': 2020, 'cited_by_count': 5}, {'year': 2019, 'cited_by_count': 9}, {'year': 2018, 'cited_by_count': 9}, {'year': 2017, 'cited_by_count': 9}, {'year': 2016, 'cited_by_count': 12}, {'year': 2015, 'cited_by_count': 3}, {'year': 2014, 'cited_by_count': 5}, {'year': 2013, 'cited_by_count': 5}, {'year': 2012, 'cited_by_count': 16}], 'updated_date': '2024-12-13T16:26:56.900008', 'created_date': '2016-06-24'}