Switch to: Citations

Add references

You must login to add references.
  1. Logic of many-sorted theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Proving semantic properties as first-order satisfiability.Salvador Lucas - 2019 - Artificial Intelligence 277 (C):103174.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Proof by consistency.Deepak Kapur & David R. Musser - 1987 - Artificial Intelligence 31 (2):125-157.
    Download  
     
    Export citation  
     
    Bookmark   1 citation