Published August 11, 2022 | Version v1
Conference paper Open

Lazy Paramodulation in Practice

Creators

  • 1. Zug Inc.
  • 2. University of Innsbruck

Description

PAAR 2022 workshop paper

Files

gpck-paar22.pdf

Files (767.2 kB)

Name Size Download all
md5:6b606ca1b9eb31cf5a59b5ab3cc1fb61
767.2 kB Preview Download

Additional details

Funding

SMART – Strong Modular proof Assistance: Reasoning across Theories 714034
European Commission