The use of embeddings to provide a clean separation of term and annotation for higher order rippling (Q540694): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68T15 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 5903839 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
higher order logic | |||
| Property / zbMATH Keywords: higher order logic / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
automated theorem proving | |||
| Property / zbMATH Keywords: automated theorem proving / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
proof planning | |||
| Property / zbMATH Keywords: proof planning / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
rippling | |||
| Property / zbMATH Keywords: rippling / rank | |||
Normal rank | |||
Revision as of 11:09, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The use of embeddings to provide a clean separation of term and annotation for higher order rippling |
scientific article |
Statements
The use of embeddings to provide a clean separation of term and annotation for higher order rippling (English)
0 references
3 June 2011
0 references
higher order logic
0 references
automated theorem proving
0 references
proof planning
0 references
rippling
0 references
