Pages that link to "Item:Q4723703"

The following pages link to An algorithm to determine, for any prime <i>p</i>, a polynomial-sized Horn sentence which expresses “The cardinality is not <i>p</i>” (Q4723703):

Displaying 2 items.

• Horn sentences excluding a prime (Q1080848) (← links)
• European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 (Q4724593) (← links)