Zipperposition

swMATH32251MaRDI QIDQ43962FDOQ43962

Author name not available (Why is that?)

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

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

Cited In (19)

• Superposition with lambdas
• Title not available (Why is that?)
• Superposition with structural induction
• Making higher-order superposition work
• Superposition with lambdas
• qbf2epr
• The embedding path order for \(\lambda\)-free higher-order terms
• Title not available (Why is that?)
• NiVER
• StarExec
• HOT
• Lambda Free RPOs
• ZRes
• ArchSAT
• ekstrakto
• Making higher-order superposition work
• Superposition with first-class booleans and inprocessing clausification
• Superposition for full higher-order logic
• Superposition for \(\lambda\)-free higher-order logic

This page was built for software: Zipperposition