Zipperposition

MaRDI QIDQ43962swMATHFDO

Official website http://sneeuwballen.github.io/zipperposition/

Source code repository https://github.com/sneeuwballen/zipperposition/

Cited in

(19)

• Superposition with structural induction
• Superposition for -free higher-order logic
• NiVER
• Superposition with first-class booleans and inprocessing clausification
• Superposition for full higher-order logic
• StarExec
• HOT
• ZRes
• Lambda Free RPOs
• ekstrakto
• ArchSAT
• Superposition for lambda-free higher-order logic
• Efficient full higher-order unification
• The embedding path order for -free higher-order terms
• Superposition with lambdas
• Making higher-order superposition work
• Making higher-order superposition work
• Superposition with lambdas
• qbf2epr

This page was built for software: Zipperposition