00

self-equivalence with don't-cares

Concept ☆ WATCH ⎘ SHARE

First seen 6/9/2026

Last seen 6/9/2026

Evidence 2 chunks

01

NEIGHBORHOOD

2 nodes · 1 edges

graph · self-equivalence with don't-cares · depth=1

02

RELATIONSHIPS

1 connections

Averroes ← evaluates 100% 1e evidence

Averroes is used to verify the self-equivalence with don't-cares (SEQX) property.