Conditional terms in semantic programming (Q1694705)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Conditional terms in semantic programming |
scientific article; zbMATH DE number 6834938
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Conditional terms in semantic programming |
scientific article; zbMATH DE number 6834938 |
Statements
Conditional terms in semantic programming (English)
0 references
6 February 2018
0 references
formula
0 references
term
0 references
restricted quantifier
0 references
\(\Delta_0\)-formula
0 references
\(\Sigma\)-formula
0 references
semantic programming
0 references
computability
0 references
computability over abstract structures
0 references
conditional term
0 references
