adjacent_pair: ap-08eb5d7ba7

The adjacent possible as rows: pairs of things the graph holds that nobody has asked about yet (Possible-style). novelty is a text proxy for #177 pair-novelty.

Data license: Space charter; records cite primary sources · Data source: TeamScience Space repository

This data as json

id a_kind a_ref a_label b_kind b_ref b_label bridge distance novelty evidence status asked_by created_ts signal score why prompt reading
ap-08eb5d7ba7 problem ax-2608.26628-7704b05b Problem 3.2: Is there a decision procedure which, given quantifier patterns $\overline{P},\overline{Q}\in\{\exists,\forall,\exists^{\infty},\forall^{\infty}\}^{ decides whether $\langle\overline{P}\rangle\leq_{m}\langle\overline{Q}\rangle?$ method m-automata-formal-language-decision-procedures automata / formal language decision procedures   adjacent-field novel 0 ingested paper titles mention both sides (text proxy for #177 pair-novelty) ยท withdrawn: v0.1 random draw superseded by combinability v0.2 (drawn only for a named signal) withdrawn   2026-09-02T18:02:06Z          

Links from other tables