Go engine Updated 2025-07-16
Klein four-group Updated 2025-07-16
Orgasm Updated 2025-07-16
Sedenion Updated 2025-07-16
The Guardian Updated 2025-07-16
Privacy coin Updated 2025-07-16
Notable ones:
TOP500 Updated 2025-07-16
Laser vendor Updated 2025-07-16
Taoism Updated 2025-07-16
Gene Updated 2025-07-16
Meh Updated 2025-07-16
PDF Updated 2025-07-16
Propositional logic Updated 2025-07-16
This is the part of the formalization of mathematics that deals only with the propositions.
In some systems, e.g. including Metamath, modus ponens alone tends to be enough, everything else can be defined based on it.
Technology Updated 2025-07-16
Database management system Updated 2025-07-16
A software that implements some database system, e.g. PostgreSQL or MySQL are two (widely extended) SQL implementations.

Unlisted articles are being shown, click here to show only listed articles.