Automated reasoning with restricted intensional sets (Q2666960)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated reasoning with restricted intensional sets |
scientific article |
Statements
Automated reasoning with restricted intensional sets (English)
0 references
23 November 2021
0 references
set theory
0 references
intensional sets
0 references
setlog
0 references
\(\{log\}\)
0 references
constraint programming
0 references
set unification
0 references
restricted universal quantifier
0 references
0 references
0 references
0 references
0 references
