Shared-memory multiprocessing for interactive theorem proving (Q5327360)
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: Shared-memory multiprocessing for interactive theorem proving |
scientific article; zbMATH DE number 6196179
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Shared-memory multiprocessing for interactive theorem proving |
scientific article; zbMATH DE number 6196179 |
Statements
Shared-Memory Multiprocessing for Interactive Theorem Proving (English)
0 references
7 August 2013
0 references
0.8190168738365173
0 references
0.7752161622047424
0 references
0.7504067420959473
0 references
0.7373184561729431
0 references
0.7250618934631348
0 references
