{"id": "card_src_mill_davis_matiyasevich_robinson_1976", "kind": "reference", "title": "M. Davis 1976 — Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution", "body": "M. Davis, Yu. Matiyasevich, J. Robinson (1976). Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution. Proc. Symp. Pure Math. 28 (AMS, 1976) 323–378. DOI 10.1090/pspum/028.2/0432534. Canonical: https://doi.org/10.1090/pspum/028.2/0432534. No free copy found; cited by its record. License as found: no license field in the Crossref record; AMS copyright, free back-volume access on ams.org — cited. Serves the joints between the problems on the one map (card_floor_millennium): the Diophantine joint: RH as one Diophantine equation with no solutions (Riemann ↔ P vs NP).", "source": {"label": "M. Davis, Yu. Matiyasevich, J. Robinson (1976), Proc. Symp. Pure Math. 28 (AMS, 1976) 323–378", "url": "https://doi.org/10.1090/pspum/028.2/0432534", "domain": "mathematics", "authority_tier": "reference"}, "shelf": "millennium", "box": "source", "bands": ["joint", "millennium", "source", "paper", "davis", "1976", "joints between the problems"], "subject": "Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution", "connections": [{"to_card_id": "card_spine_millennium_sources", "relationship": "member_of", "evidence": "a source the joints between the problems stick (card_floor_millennium) cites, located for a want and carded by its record"}, {"to_card_id": "card_joint_diophantine_rh", "relationship": "cites", "evidence": "the record the joint stands on"}], "author": "engine", "created_at": 0.0, "updated_at": 0.0, "visibility": "public", "lifecycle_stage": "public", "volatility": "permanent", "surface": "secular", "generated": false, "call": "millennium.m.md.m_davis_1976_hilbert_s_tenth_problem_diophantine", "facets": {"subject": ["1976", "davis", "joint", "joints between the problems", "millennium", "paper"]}, "presentation": {"glyph": "•", "kind_label": "source", "by": "M. Davis, Yu. Matiyasevich, J. Robinson (1976), Proc. Symp. Pure Math. 28 (AMS, 1976) 323–378", "authority": "reference", "posted": "", "standing": "", "link": {"url": "https://doi.org/10.1090/pspum/028.2/0432534", "host": "doi.org", "provider": "", "titled": "M. Davis 1976 — Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution", "waybill_line": "", "reach": "", "embed": ""}}, "neighbors": [{"id": "card_spine_millennium_sources", "title": "The Millennium sources — the papers behind the seven sticks", "relationship": "on the shelf of", "why": "a source the joints between the problems stick (card_floor_millennium) cites, located for a want and carded by its record", "href": "/card/card_spine_millennium_sources", "resolved": true}, {"id": "card_joint_diophantine_rh", "title": "The Riemann hypothesis is one Diophantine equation with no solutions", "relationship": "cites", "why": "the record the joint stands on", "href": "/card/card_joint_diophantine_rh", "resolved": true}], "house": {"door": "FIND", "kind": "card", "trail": "connections", "seal": "/card/card_src_mill_davis_matiyasevich_robinson_1976", "next_step": {"do": "read the source itself", "door": "FIND", "web": "/reader.html?card=card_src_mill_davis_matiyasevich_robinson_1976"}, "ends": "a verdict or a card · the trail · a seal · one next step"}}