Open Induction (Q53718)
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:
AFP entry Open_Induction
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Open Induction |
AFP entry Open_Induction |
Statements
Mizuhito Ogawa
0 references
Christian Sternagel
0 references
A proof of the open induction schema based on J.-C. Raoult, Proving open properties by induction, Information Processing Letters 29, 1988, pp.19-23. This research was supported by the Austrian Science Fund (FWF): J3202.
0 references
2 November 2012
0 references
Open Induction (English)
0 references
