ON PROOFS IN SYSTEM P (Q3427877)
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: ON PROOFS IN SYSTEM P |
scientific article; zbMATH DE number 5136755
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | ON PROOFS IN SYSTEM P |
scientific article; zbMATH DE number 5136755 |
Statements
ON PROOFS IN SYSTEM P (English)
0 references
27 March 2007
0 references
System P
0 references
qualitative probability
0 references
proof theory
0 references
0.7645352482795715
0 references
0.7594407796859741
0 references
0.7478582859039307
0 references
0.741013765335083
0 references
0.7384694814682007
0 references
