Hypothesis-discharging rules in atomic bases (Q5213617)
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 7162492
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Hypothesis-discharging rules in atomic bases |
scientific article; zbMATH DE number 7162492 |
Statements
Hypothesis-Discharging Rules in Atomic Bases (English)
0 references
4 February 2020
0 references
assumption
0 references
atomic inference rule
0 references
discharge
0 references
extension
0 references
hypothesis
0 references
inference
0 references
validity
0 references
0.6355041265487671
0 references
0.6321612596511841
0 references
0.6306298971176147
0 references
0.6284613609313965
0 references
0.6253696084022522
0 references
