Notes
  • business
    • coding
      • concepts
        • design
          • drawings
            • obsidian
              • resources
                • stuff
                  • university
                    • Notes
                    • Working Note
                    Navigation

                    Tags

                    • All tags
                    • #Algorithmus(48)
                    • #Algorithmus, codesnippet, code, js, Python(1)
                    • #E(1)
                    • #Gemischt-ganzzahlige(1)
                    • #MOC(8)
                    • #P-hard(1)
                    • #bachelor(1)
                    • #code(1)
                    • #codesnippet, code, js, programmingassignment(5)
                    • #codesnippet, code, programmingassignment, js(1)
                    • #confirm(1)
                    • #data(1)
                    • #datascience(1)
                    • #excalidraw(14)
                    • #infovislearn(2)
                    • #keep(2)
                    • #lnsexam(1)
                    • #note(2)
                    • #note, datascience, keep(1)
                    • #paper(1)
                    • #programmingassignment(4)
                    • #question(4)
                    • #todo(21)
                    • #uebung(1)

                    On this page

                    1. university /
                    2. Logic /
                    3. Logical System /
                    4. First Order Predicate Logic /
                    5. First-Order Unification

                    First-Order Unification

                    5 items

                    • More General
                    • Most General Unifier
                    • Solved Form
                    • Unification
                    • Unification Algorithm