# 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/is-there-a-logic-l-which-satisfies-both-the-beth-property-and-interpolation-is-compact-but-does-not-satisfy-the-interpol/source/statement.tex\n# Statement token: [[WE_SOLVE_STATEMENT_ffcbf0001355f31efea6e020facbd6943613c43585ec3f8178edaf7b0d3f26b5]]\n",
    2,
    "\n\n# we-solve research prompt: Math-13100, Is there a logic L which satisfies both the Beth property and Δ-interpolation, is compact but does not satisfy the interpolation property\n\nWork on the problem below and prepare a contribution for we-solve (https://we-solve.github.io/problems/is-there-a-logic-l-which-satisfies-both-the-beth-property-and-interpolation-is-compact-but-does-not-satisfy-the-interpol/).\n\n",
    0,
    "[[WE_SOLVE_STATEMENT_ffcbf0001355f31efea6e020facbd6943613c43585ec3f8178edaf7b0d3f26b5]]\n>>>\n",
    5,
    "- None yet.\n",
    4,
    "prb_078b35864d054a668d16f62cbf231523",
    1,
    ""
  ]
}