{"query": "M. Davis 1976 — Hilbert's tenth problem: Diophantine equatio", "count": 2, "results": [{"id": "card_src_mill_davis_matiyasevich_robinson_1976", "title": "M. Davis 1976 — Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution", "shelf": "millennium", "surface": "secular", "snippet": "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/pspu", "authority_tier": "reference", "source": "M. Davis, Yu. Matiyasevich, J. Robinson (1976), Proc. Symp. Pure Math. 28 (AMS, 1976) 323–378", "readable": false, "generated": false}, {"id": "card_joint_diophantine_rh", "title": "The Riemann hypothesis is one Diophantine equation with no solutions", "shelf": "codex", "surface": "secular", "snippet": "Davis, Matiyasevich and Robinson (1976): the Riemann hypothesis is equivalent to a specific polynomial Diophantine equation having no solutions in the integers. The hypothesis is a Pi-1 statement; its", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor, a joint found in the literature (operator seed)", "readable": false, "generated": false}], "house": {"door": "FIND", "kind": "cards", "trail": "results", "seal": null, "next_step": {"do": "open the top card", "door": "FIND", "tool": "card_get", "params": {"id": "card_src_mill_davis_matiyasevich_robinson_1976"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}