Politeness and combination methods for theories with bridging functions (Q2303236)
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 7176594
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Politeness and combination methods for theories with bridging functions |
scientific article; zbMATH DE number 7176594 |
Statements
Politeness and combination methods for theories with bridging functions (English)
0 references
3 March 2020
0 references
satisfiability modulo theories
0 references
combination method
0 references
non-disjoint theories
0 references
bridging functions
0 references
0 references
0.9310961
0 references
0.8290484
0 references
0.8231812
0 references
0.82066125
0 references
0.8178338
0 references
0.8076158
0 references
0.80419326
0 references
0.80419326
0 references
0.80181503
0 references
