vampire 4.3 

http://www.cs.miami.edu/~tptp/CASC/J9/Entrants.html

make  vampire_rel

Макс Борн Атомная физика  1963

Л.Л. ГОЛЬДИН Г.И. НОВИКОВА  ВВЕДЕНИЕ В КВАНТОВУЮ ФИЗИКУ  1988

Александр Зиновьев  Фактор понимания

Всеволод Леонов - Обучение мобильной разработке на Delphi (2015) Embaradero RAD часть 2

Всеволод Леонов - Обучение мобильной разработке на Delphi (2015) Embaradero RAD часть 1

Л. В. Померанцев Своими руками Практическое руководство по изготовлению самодельных приборов Горьковское книжное издательство 1953 г.

vampire 4.2

Vampire 4.2

http://www.cs.miami.edu/~tptp/CASC/26/Entrants.html

ALWAYS(_varOccs.insert(vs.next(),{false,nullptr}));
ALWAYS(_varOccs.insert(var,{true,nullptr}));

Vampire 4.2

http://www.cs.miami.edu/~tptp/CASC/26/Entrants.html

ALWAYS(_varOccs.insert(vs.next(),{false,nullptr}));
ALWAYS(_varOccs.insert(var,{true,nullptr}));