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