# we-solve referenced research prompt v2 { "schema": "we-solve.research-prompt-codec.v2", "instructions": "The template contains all rules and the output form. Join parts in order: strings are literal context; integers select template fragments. Then read the quoted source URL in that text. The copy button assembles the full prompt.", "template_url": "https://we-solve.github.io/prompts/templates/5035f52faf49f145e05ba8a2aa4eb22369997f2d88c875bc307955da41f0ffea.txt", "parts": [ "", 3, "https://we-solve.github.io/problems/p-adic-definability-rings-with-finite-additive-descriptions/source/statement.tex\n# Statement token: [[WE_SOLVE_STATEMENT_aa211aa7e3580e1365ac3ee04823c1bc46e3ac1c4acb8b83bedbe99991a38535]]\n", 2, "\n\n# we-solve research prompt: Math-6993, $p$-Adic Definability Rings with Finite Additive Descriptions\n\nWork on the problem below and prepare a contribution for we-solve (https://we-solve.github.io/problems/p-adic-definability-rings-with-finite-additive-descriptions/).\n\n", 0, "[[WE_SOLVE_STATEMENT_aa211aa7e3580e1365ac3ee04823c1bc46e3ac1c4acb8b83bedbe99991a38535]]\n>>>\n", 5, "- None yet.\n", 4, "prb_640c2c3cc2b545c7856918415e6db557", 1, "" ] }