\textsc{LeoPARD} -- a generic platform for the implementation of higher-order reasoners (Q3453128)
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 6512428
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | \textsc{LeoPARD} -- a generic platform for the implementation of higher-order reasoners |
scientific article; zbMATH DE number 6512428 |
Statements
LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners (English)
0 references
20 November 2015
0 references
0 references
0 references
0 references
0.7454778552055359
0 references
0.7452591061592102
0 references
0.7327166795730591
0 references
0.7204651236534119
0 references
0.6924383044242859
0 references
