Skolem normal form

Available in 13 languages

• Español
• Français
• Deutsch
• 中文
• 日本語
• Português
• Italiano
• Catalan
• Esperanto
• Hungarian
• Ukrainian
• 한국어

via Wikidata sitelinks · CC0