MétaCan
Menu

Works

Every work in the frame. Each row carries the routes that admitted it, because a frame that forgets how it found something cannot be audited.

Route
Field
Type
Language
Year range
to
Screen consensus
Sort
Flags
10,000+ workspage 2,860
affno abstract
Theorem Proving Modulo
2003· article· en· Journal of Automated Reasoning· Computer Science
214
citations