adjacent_pair: ap-0ddad667f6

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-0ddad667f6 problem wp-mathematics-a422b8fe46 Lander's conjecture : if an abelian group of order v {\displaystyle v} contains a difference set of order n {\displaystyle n} , and a prime p {\displaystyle p} divides both v {\displaystyle v} and n {\displaystyle n} , must the Sylow p {\displaystyle p} -subgroup be non-cyclic? This implies Ryser's method m-interactive-theorem-proving-benchmark interactive theorem proving benchmark   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