Skolem normal form الإنجليزية (Q3254482)

من Marefa data
Formalism of first-order logic الإنجليزية
اللغة التسمية الوصف أسماء أخرى
العربية
لم تُضف التسمية
لا يوجد وصف
    الإنجليزية
    Skolem normal form
    Formalism of first-order logic

      بيانات

      Wikidata item الإنجليزية
      ٠ مرجع
      Freebase ID الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      instance of الإنجليزية
      canonical form الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      named after الإنجليزية
      Thoralf Skolem الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      facet of الإنجليزية
      subclass of الإنجليزية
      prenex normal form الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      has cause الإنجليزية
      skolemization الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Microsoft Academic ID الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية