Pages that link to "Item:Q4635883"
From MaRDI portal
The following pages link to Hanf normal form for first-order logic with unary counting quantifiers (Q4635883):
Displayed 2 items.
- (Q5002820) (← links)
- (Q5136301) (← links)