Modular termination and combinability for superposition modulo counter arithmetic (Q3172895)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5954771
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modular termination and combinability for superposition modulo counter arithmetic |
scientific article; zbMATH DE number 5954771 |
Statements
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic (English)
0 references
7 October 2011
0 references
0 references
0 references
0.819327175617218
0 references
0.7882570624351501
0 references
0.7855486273765564
0 references
0.7788097858428955
0 references
0.7711641192436218
0 references
