26 citations · 43 across the 8 of their papers we have counts for
1 paper · 1 filter
Josef Urban, Piotr Rudnicki, Geoff Sutcliffe
This paper describes the Automated Reasoning for Mizar (MizAR) service, which integrates several automated reasoning, artificial intelligence, and presentation tools with Mizar and…