{"query": "Kolyvagin 1989 — Finiteness of E(Q) and Sha(E, Q) for a subc", "count": 20, "results": [{"id": "card_chain_kolyvagin_1989", "title": "Kolyvagin 1989 — Finiteness of E(Q) and Sha(E, Q) for a subclass of Weil curves", "shelf": "codex", "surface": "secular", "snippet": "V. A. Kolyvagin (1989). Finiteness of E(Q) and Sha(E, Q) for a subclass of Weil curves. Math. USSR Izv. 32 (1989) 523–541. DOI 10.1070/IM1989v032n03ABEH000779. Canonical: https://doi.org/10.1070/IM198", "authority_tier": "reference", "source": "V. A. Kolyvagin (1989), Math. USSR Izv. 32 (1989) 523–541", "readable": false, "generated": false}, {"id": "card_src_pron_shas", "title": "shas", "shelf": "pronunciation", "surface": "secular", "snippet": "shas: pronounced (ARPABET) SH AA1 S. From the CMU Pronouncing Dictionary — the standard machine-readable pronunciations of North American English.", "authority_tier": "reference", "source": "CMU Pronouncing Dictionary (cmudict) — BSD-2-Clause, Carnegie Mellon", "readable": false, "generated": false}, {"id": "card_src_rfc_4231", "title": "RFC4231 — Identifiers and Test Vectors for HMAC-SHA-224, HMAC-SHA-256, HMAC-SHA-384, and HMAC-SHA-512", "shelf": "rfcs", "surface": "secular", "snippet": "RFC4231: Identifiers and Test Vectors for HMAC-SHA-224, HMAC-SHA-256, HMAC-SHA-384, and HMAC-SHA-512 (December 2005). Status: PROPOSED STANDARD.", "authority_tier": "reference", "source": "The RFC Index (RFC Editor / IETF) — public domain", "readable": false, "generated": false}, {"id": "card_src_word_finiteness", "title": "finiteness", "shelf": "dictionary", "surface": "secular", "snippet": "finiteness: (noun) the quality of being finite — syn: finitude, boundedness", "authority_tier": "reference", "source": "WordNet 3.0, Princeton University (WordNet License)", "readable": false, "generated": false}, {"id": "card_src_rfc_6234", "title": "RFC6234 — US Secure Hash Algorithms (SHA and SHA-based HMAC and HKDF)", "shelf": "rfcs", "surface": "secular", "snippet": "RFC6234: US Secure Hash Algorithms (SHA and SHA-based HMAC and HKDF) (May 2011). Status: INFORMATIONAL. Obsoletes RFC4634.", "authority_tier": "reference", "source": "The RFC Index (RFC Editor / IETF) — public domain", "readable": false, "generated": false}, {"id": "card_src_rfc_7677", "title": "RFC7677 — SCRAM-SHA-256 and SCRAM-SHA-256-PLUS Simple Authentication and Security Layer (SASL) Mechanisms", "shelf": "rfcs", "surface": "secular", "snippet": "RFC7677: SCRAM-SHA-256 and SCRAM-SHA-256-PLUS Simple Authentication and Security Layer (SASL) Mechanisms (November 2015). Status: PROPOSED STANDARD.", "authority_tier": "reference", "source": "The RFC Index (RFC Editor / IETF) — public domain", "readable": false, "generated": false}, {"id": "card_src_rfc_8332", "title": "RFC8332 — Use of RSA Keys with SHA-256 and SHA-512 in the Secure Shell (SSH) Protocol", "shelf": "rfcs", "surface": "secular", "snippet": "RFC8332: Use of RSA Keys with SHA-256 and SHA-512 in the Secure Shell (SSH) Protocol (March 2018). Status: PROPOSED STANDARD.", "authority_tier": "reference", "source": "The RFC Index (RFC Editor / IETF) — public domain", "readable": false, "generated": false}, {"id": "card_src_taxon_355937", "title": "Salsola tragus — ci sha peng", "shelf": "taxonomy", "surface": "secular", "snippet": "ci sha peng (Salsola tragus) — a species. In the tree of life under Salsola. Also known as: ci sha peng, prickly Russian thistle, Russian thistle, Russian tumbleweed.", "authority_tier": "reference", "source": "NCBI Taxonomy (public domain)", "readable": false, "generated": false}, {"id": "card_src_pron_sha", "title": "sha", "shelf": "pronunciation", "surface": "secular", "snippet": "sha: pronounced (ARPABET) SH AA1. From the CMU Pronouncing Dictionary — the standard machine-readable pronunciations of North American English.", "authority_tier": "reference", "source": "CMU Pronouncing Dictionary (cmudict) — BSD-2-Clause, Carnegie Mellon", "readable": false, "generated": false}, {"id": "card_floor_bsd", "title": "The Birch and Swinnerton-Dyer chain - from the group of rational points to the L-function", "shelf": "codex", "surface": "secular", "snippet": "Two trees. The arithmetic: Poincaré's group law on the rational points (1901), Mordell's finite generation (1922), Weil's heights (1929), the canonical height (Néron 1965). The analytic: Hasse's Riema", "authority_tier": "engine_derived", "source": "Narrow Highway - a chain on the one map (operator seed)", "readable": false, "generated": false}, {"id": "card_joint_tate_conjecture", "title": "The Tate conjecture: Hodge's arithmetic twin, and BSD over function fields", "shelf": "codex", "surface": "secular", "snippet": "Tate's conjecture (1965) is the Hodge conjecture with Galois representations in place of Hodge structures. For an elliptic surface over a finite field, the Tate conjecture is equivalent to the Birch a", "authority_tier": "engine_derived", "source": "Narrow Highway - the Millennium floor, a joint found in the literature (operator seed)", "readable": false, "generated": false}, {"id": "card_src_rfc_4868", "title": "RFC4868 — Using HMAC-SHA-256, HMAC-SHA-384, and HMAC-SHA-512 with IPsec", "shelf": "rfcs", "surface": "secular", "snippet": "RFC4868: Using HMAC-SHA-256, HMAC-SHA-384, and HMAC-SHA-512 with IPsec (May 2007). Status: PROPOSED STANDARD.", "authority_tier": "reference", "source": "The RFC Index (RFC Editor / IETF) — public domain", "readable": false, "generated": false}, {"id": "card_question_bsd", "title": "The Birch and Swinnerton-Dyer conjecture", "shelf": "millennium", "surface": "secular", "snippet": "The Birch and Swinnerton-Dyer conjecture. The rank of the group of rational points of an elliptic curve over Q equals the order of vanishing of its L-function at s = 1, and the leading coefficient is ", "authority_tier": "reference", "source": "Clay Mathematics Institute, the Millennium Prize Problems (2000)", "readable": false, "generated": false}, {"id": "card_src_rfc_4634", "title": "RFC4634 — US Secure Hash Algorithms (SHA and HMAC-SHA)", "shelf": "rfcs", "surface": "secular", "snippet": "RFC4634: US Secure Hash Algorithms (SHA and HMAC-SHA) (August 2006). Status: INFORMATIONAL. Obsoleted by RFC6234.", "authority_tier": "reference", "source": "The RFC Index (RFC Editor / IETF) — public domain", "readable": false, "generated": false}, {"id": "card_src_rfc_6194", "title": "RFC6194 — Security Considerations for the SHA-0 and SHA-1 Message-Digest Algorithms", "shelf": "rfcs", "surface": "secular", "snippet": "RFC6194: Security Considerations for the SHA-0 and SHA-1 Message-Digest Algorithms (March 2011). Status: INFORMATIONAL.", "authority_tier": "reference", "source": "The RFC Index (RFC Editor / IETF) — public domain", "readable": false, "generated": false}, {"id": "card_seal_34658545dcffe6d3e05f6ca9efd8ea90e32f95b7a11e5d8490986497b3358999", "title": "Receipt 34658545dcff… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_9a8e7c2f9988cbed6d9248f4e3b5452a5fe2a13c4c50c7318e143548e0cddf76", "title": "Receipt 9a8e7c2f9988… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_fcef514d138b31b795ccf881e4674b9863e0f14e8e00321d356e53df810180df", "title": "Receipt fcef514d138b… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_1b91d38e63286a0e99f4e8608b0e196eb777400a2dd48e1a2cdda81d2423a295", "title": "Receipt 1b91d38e6328… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_79fefe0f187c95800ea2384acedc4274f829c691a3bd2a43884591a8ef880a6e", "title": "Receipt 79fefe0f187c… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "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_chain_kolyvagin_1989"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}