Similar to 命題
COBOL
COBOLCODASYL
CODASYLCommon Gateway Interface
Common Gateway InterfaceCommon Object Request Broker Architecture
Common Object Request Broker ArchitectureComputer Systems Research Group
Computer Systems Research GroupConcurrent Versions System
Concurrent Versions SystemController Area Network
CAN busCP/M
CP/MCRCプレス
CRC Press第4SS警察装甲擲弾兵師団
4th SS Polizei Panzergrenadier Division第15SS武装擲弾兵師団
15th Waffen Grenadier Division of the SS (1st Latvian)第20SS武装擲弾兵師団
20th Waffen Grenadier Division of the SS (1st Estonian)AM (航空機)
Martin AM MaulerAMX (航空機)
AMX International AMXANT-20 (航空機)
Tupolev ANT-20Apache Hadoop
Apache HadoopApache Wicket
Apache WicketXB-70 (航空機)
North American XB-70 ValkyrieBDWM交通
Bremgarten-Dietikon-BahnBerkeley Software Distribution
Berkeley Software Distribution50
50 (number)12345679
論理式 (数学)
Logical formula原子論理式
Atomic formulaシークエント
Sequent推論規則
Rule of inference数式
Expression (mathematics)全称記号
Universal quantification