Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction (Q6487292)
From MaRDI portal
scientific article; zbMATH DE number 7627757
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction |
scientific article; zbMATH DE number 7627757 |
Statements
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction (English)
0 references
7 December 2022
0 references
0 references
