SPASS (Q7392459)

From Wikidata
Jump to: navigation, search
No description defined
  • Synergetic Prover Augmenting Superposition with Sorts
edit
Language Label Description Also known as
English
SPASS
No description defined
  • Synergetic Prover Augmenting Superposition with Sorts

Statements

1.0.0
0 references
1.0.3
0 references
2.0
0 references
2.1
0 references
2.2
0 references
3.0
0 references
3.5
0 references
3.7
0 references
3.9
0 references
0 references
0 references
0 references
0 references
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit