The Ludwig Wittgenstein Project

MediaWiki:Minerva.js: Difference between revisions

Message Discussion

MediaWiki:Minerva.js (view source)

Revision as of 21:13, 31 March 2022

No change in size ,  2 years ago
Undo revision 3243 by MLavazza (talk)
No edit summary
(Undo revision 3243 by MLavazza (talk))
Tag: Undo
Line 19: Line 19:
const TLPPropositions = ["1",
const TLPPropositions = ["1",
"2",
"2",
"2.01",
"2.011",
"2.012",
"2.0121",
"2.0122",
"2.0123",
"2.01231",
"2.0124",
"2.013",
"2.0131",
"2.014",
"2.0141",
"2.02",
"2.0201",
"2.021",
"2.0211",
"2.0212",
"2.022",
"2.023",
"2.0231",
"2.0232",
"2.0233",
"2.02331",
"2.024",
"2.025",
"2.0251",
"2.026",
"2.027",
"2.0271",
"2.0272",
"2.03",
"2.031",
"2.032",
"2.033",
"2.034",
"2.04",
"2.05",
"2.06",
"2.061",
"2.062",
"2.063",
"3",
"3",
"3.001",
"3.01",
"3.02",
"3.03",
"3.031",
"3.032",
"3.0321",
"3.04",
"3.05",
"4",
"4",
"4.001",
"4.002",
"4.003",
"4.0031",
"4.01",
"4.011",
"4.012",
"4.013",
"4.014",
"4.0141",
"4.015",
"4.016",
"4.02",
"4.021",
"4.022",
"4.023",
"4.024",
"4.025",
"4.026",
"4.027",
"4.03",
"4.031",
"4.0311",
"4.0312",
"4.032",
"4.04",
"4.041",
"4.0411",
"4.0412",
"4.05",
"4.06",
"4.061",
"4.062",
"4.0621",
"4.063",
"4.064",
"4.0641",
"5",
"5",
"5.01",
"5.02",
"6",
"6",
"6.001",
"6.002",
"6.01",
"6.02",
"6.021",
"6.022",
"6.03",
"6.031",
"7",
"7",
"1.1",
"1.1",
Line 125: Line 28:
"2.1",
"2.1",
"2.2",
"2.2",
"2.201",
"2.202",
"2.203",
"3.1",
"3.1",
"3.2",
"3.2",
"3.201",
"3.202",
"3.203",
"3.3",
"3.3",
"3.4",
"3.4",
Line 142: Line 39:
"4.5",
"4.5",
"5.1",
"5.1",
"5.101",
"5.2",
"5.2",
"5.3",
"5.3",
"5.4",
"5.4",
"5.5",
"5.5",
"5.501",
"5.502",
"5.503",
"5.6",
"5.6",
"6.1",
"6.1",
Line 160: Line 53:
"1.13",
"1.13",
"1.21",
"1.21",
"2.01",
"2.02",
"2.03",
"2.04",
"2.05",
"2.06",
"2.11",
"2.11",
"2.12",
"2.12",
Line 171: Line 70:
"2.21",
"2.21",
"2.22",
"2.22",
"3.01",
"3.02",
"3.03",
"3.04",
"3.05",
"3.11",
"3.11",
"3.12",
"3.12",
Line 187: Line 91:
"3.41",
"3.41",
"3.42",
"3.42",
"4.01",
"4.02",
"4.03",
"4.04",
"4.05",
"4.06",
"4.11",
"4.11",
"4.12",
"4.12",
Line 207: Line 117:
"4.52",
"4.52",
"4.53",
"4.53",
"5.01",
"5.02",
"5.11",
"5.11",
"5.12",
"5.12",
Line 229: Line 141:
"5.52",
"5.52",
"5.53",
"5.53",
"5.5301",
"5.5302",
"5.5303",
"5.54",
"5.54",
"5.55",
"5.55",
Line 238: Line 147:
"5.63",
"5.63",
"5.64",
"5.64",
"6.01",
"6.02",
"6.03",
"6.11",
"6.11",
"6.12",
"6.12",
"6.1201",
"6.1202",
"6.1203",
"6.13",
"6.13",
"6.21",
"6.21",
Line 264: Line 173:
"6.53",
"6.53",
"6.54",
"6.54",
"2.011",
"2.012",
"2.013",
"2.014",
"2.021",
"2.022",
"2.023",
"2.024",
"2.025",
"2.026",
"2.027",
"2.031",
"2.032",
"2.033",
"2.034",
"2.061",
"2.062",
"2.063",
"2.131",
"2.131",
"2.141",
"2.141",
Line 274: Line 201:
"2.181",
"2.181",
"2.182",
"2.182",
"2.201",
"2.202",
"2.203",
"2.221",
"2.221",
"2.222",
"2.222",
Line 279: Line 209:
"2.224",
"2.224",
"2.225",
"2.225",
"3.001",
"3.031",
"3.032",
"3.141",
"3.141",
"3.142",
"3.142",
"3.143",
"3.143",
"3.144",
"3.144",
"3.201",
"3.202",
"3.203",
"3.221",
"3.221",
"3.251",
"3.251",
Line 313: Line 249:
"3.344",
"3.344",
"3.411",
"3.411",
"4.001",
"4.002",
"4.003",
"4.011",
"4.012",
"4.013",
"4.014",
"4.015",
"4.016",
"4.021",
"4.022",
"4.023",
"4.024",
"4.025",
"4.026",
"4.027",
"4.031",
"4.032",
"4.041",
"4.061",
"4.062",
"4.063",
"4.064",
"4.111",
"4.111",
"4.112",
"4.112",
Line 342: Line 301:
"4.465",
"4.465",
"4.466",
"4.466",
"5.101",
"5.121",
"5.121",
"5.122",
"5.122",
Line 384: Line 344:
"5.475",
"5.475",
"5.476",
"5.476",
"5.501",
"5.502",
"5.503",
"5.511",
"5.511",
"5.512",
"5.512",
Line 415: Line 378:
"5.634",
"5.634",
"5.641",
"5.641",
"6.001",
"6.002",
"6.021",
"6.022",
"6.031",
"6.111",
"6.111",
"6.112",
"6.112",
Line 450: Line 418:
"6.521",
"6.521",
"6.522",
"6.522",
"2.0121",
"2.0122",
"2.0123",
"2.0124",
"2.0131",
"2.0141",
"2.0201",
"2.0211",
"2.0212",
"2.0231",
"2.0232",
"2.0233",
"2.0251",
"2.0271",
"2.0272",
"2.1511",
"2.1511",
"2.1512",
"2.1512",
Line 455: Line 438:
"2.1514",
"2.1514",
"2.1515",
"2.1515",
"3.0321",
"3.1431",
"3.1431",
"3.1432",
"3.1432",
Line 461: Line 445:
"3.3441",
"3.3441",
"3.3442",
"3.3442",
"4.0031",
"4.0141",
"4.0311",
"4.0312",
"4.0411",
"4.0412",
"4.0621",
"4.0641",
"4.1121",
"4.1121",
"4.1122",
"4.1122",
Line 496: Line 488:
"5.5261",
"5.5261",
"5.5262",
"5.5262",
"5.5301",
"5.5302",
"5.5303",
"5.5321",
"5.5321",
"5.5351",
"5.5351",
Line 510: Line 505:
"5.5571",
"5.5571",
"5.6331",
"5.6331",
"6.1201",
"6.1202",
"6.1203",
"6.1221",
"6.1221",
"6.1222",
"6.1222",
Line 538: Line 536:
"6.4312",
"6.4312",
"6.4321",
"6.4321",
"2.01231",
"2.02331",
"2.15121",
"2.15121",
"4.12721",
"4.12721",
Retrieved from "https://www.wittgensteinproject.org/w/index.php/Special:MobileDiff/3244"