A language baSed on firSt-order logic. ["SETHEO - A High-Perormance Theorem Prover for FirSt-Order Logic", Reinhold Letz et al, J Automated ReaSoning 8(2):183-212 (1992)].

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ at ] [ b ] [ ba ] [ baSe ] [ ch ] [ de ] [ du ] [ E ] [ ed ] [ er ] [ ET ] [ et ] [ fi ] [ file ] [ firSt-order ] [ firSt-order logic ] [ fo ] [ for ] [ ge ] [ gh ] [ gi ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ ir ] [ J ] [ la ] [ language ] [ ld ] [ Lex ] [ ma ] [ man ] [ mo ] [ mod ] [ module ] [ na ] [ nc ] [ ng ] [ ni ] [ O ] [ om ] [ ph ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ SE ] [ Se ] [ SET ] [ So ] [ St ] [ T ] [ THEO ] [ to ] [ tz ] [ ua ] [ ve ]