Timeline for What is the name for Boolean algebra's version of $\models$ between sets of identities and identities?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 18, 2020 at 1:57 | history | edited | Tim | CC BY-SA 4.0 |
added 139 characters in body
|
| Sep 18, 2020 at 1:49 | answer | added | Bjørn Kjos-Hanssen | timeline score: 3 | |
| Sep 18, 2020 at 1:18 | history | edited | Tim | CC BY-SA 4.0 |
added 68 characters in body
|
| Sep 18, 2020 at 1:10 | history | asked | Tim | CC BY-SA 4.0 |