![](/files/happy5.png)
LucSegoufin
Type | Post | Author | Replies | Last post |
---|---|---|---|---|
Open problem | Finite entailment of Positive Horn logic | LucSegoufin | 1 | 4 years 6 weeks ago |
Type | Post | Author | Replies | Last post |
---|---|---|---|---|
Open problem | Finite entailment of Positive Horn logic | LucSegoufin | 1 | 4 years 6 weeks ago |