Stato epistemico

Provato (scope)
Source-theorem
Condizionale
Aperto / frontiera
HOLD
NO-GO
Assunzione
Input osservato
derivazione
shared-input (NON indipendente)
loop di circolarità P3→B_C→A_T→P3
gated / aperto
cammino P3-free (ipotesi MOR-023)
Ipotesi MOR-023
clic: “se chiude B_C^independent”
trascina ruota · rotellina zoom
clic nodo evidenzia connessioni · clic vuoto reset