First-order logic with counting: at least, \textit{weak} Hanf normal forms always exist and can be computed! (Q5144680)

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

First-order logic with counting: at least, \textit{weak} Hanf normal forms always exist and can be computed!