{"query": "Razborov 1997 — Natural proofs", "count": 1, "results": [{"id": "card_chain_razborov_rudich_1997", "title": "Razborov 1997 — Natural proofs", "shelf": "codex", "surface": "secular", "snippet": "A. A. Razborov, S. Rudich (1997). Natural proofs. J. Comput. System Sci. 55 (1997) 24–35. DOI 10.1006/jcss.1997.1494. Canonical: https://doi.org/10.1006/jcss.1997.1494. Cited by its record. License as", "authority_tier": "reference", "source": "A. A. Razborov, S. Rudich (1997), J. Comput. System Sci. 55 (1997) 24–35", "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_razborov_rudich_1997"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}