Go engine

Klein four-group

Orgasm

Sedenion

The Guardian

Chinese television drama

Privacy coin

TOP500

Laser vendor

{c}
{wiki}

= Taoist
{synonym}

= 道教
{synonym}
{title2}


Taoism

Gene

Personal name

Symmetric and public-key cryptography

{wiki}

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.


Propositional logic

Technology

Characteristic polynomial

{wiki}

= DBMS
{c}
{synonym}

A <software> that implements some database system, e.g. <PostgreSQL> or <MySQL> are two (widely extended) <SQL> implementations.


Database management system

Directed graph

Ciro Santilli @cirosantilli 37