VOOZH about

URL: https://oeis.org/history?seq=A256120

⇱ The On-Line Encyclopedia of Integer Sequences (OEIS)

login

Showing entries 1-10 | older changes
Number of tautologies in propositional calculus of length n.
#46 by Michel Marcus at Thu Jul 02 09:19:30 EDT 2020
STATUS
#45 by Joerg Arndt at Thu Jul 02 08:29:58 EDT 2020
STATUS
#44 by Michel Marcus at Thu Jul 02 04:44:32 EDT 2020
STATUS
#43 by Michel Marcus at Thu Jul 02 04:44:28 EDT 2020
LINKS
EXTENSIONS
STATUS
#42 by Matthew Scroggs at Thu Jul 02 04:36:48 EDT 2020
STATUS
#41 by Matthew Scroggs at Thu Jul 02 04:36:31 EDT 2020
DATA
EXTENSIONS
STATUS
#40 by Bruno Berselli at Mon Oct 10 07:47:14 EDT 2016
STATUS
#39 by Joerg Arndt at Mon Oct 10 07:09:29 EDT 2016
STATUS
#38 by Joerg Arndt at Mon Oct 10 07:09:26 EDT 2016
STATUS
#37 by Omar E. Pol at Sat Oct 08 16:32:37 EDT 2016
STATUS
Discussion
Mon Oct 10
06:06
Michel Marcus: Yes a bit early
07:09
Joerg Arndt: Now soon to be approved.