User contributions

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 18:27, 30 September 2019 (diff | hist) . . (+39)‎ . . N MELD features/Appendix C ‎ (Redirected page to MELD features/Appendix C/0) (current)
• 18:27, 30 September 2019 (diff | hist) . . (-4,571)‎ . . Template:MELD features/Appendix C ‎ (Replaced content with "Do you mean: MELD features/Appendix C ?")
• 18:25, 30 September 2019 (diff | hist) . . (+42)‎ . . Template:MELD features/Appendix A ‎
• 18:24, 30 September 2019 (diff | hist) . . (-99,120)‎ . . MELD features/Appendix A ‎ (Redirected page to MELD features/Appendix A/0) (current)
• 18:23, 30 September 2019 (diff | hist) . . (+99,159)‎ . . N MELD features/Appendix A/0 ‎ (Created page with "<noinclude> MELD features</noinclude> = Appendix A: Formulas true in every MELD KB = As we remarked above, the syntactic component of MELD includes a large number of con...") (current)
• 18:22, 30 September 2019 (diff | hist) . . (+99,159)‎ . . N MELD features/Appendix A ‎ (Created page with "<noinclude> MELD features</noinclude> = Appendix A: Formulas true in every MELD KB = As we remarked above, the syntactic component of MELD includes a large number of con...")
• 18:22, 30 September 2019 (diff | hist) . . (-99,159)‎ . . Template:MELD features/Appendix A ‎ (Blanked the page)
• 18:20, 30 September 2019 (diff | hist) . . (+205)‎ . . MELD features ‎ (current)
• 18:15, 30 September 2019 (diff | hist) . . (+105,501)‎ . . N MELD features/Appendix A/1 ‎ (Created page with "<noinclude> MELD features MELD features/Appendix A/2 = History = * version 1 put ASSERTION-num in for Assertions </noinclude> ** name Assertion-### for each asserti...") (current)
• 18:15, 30 September 2019 (diff | hist) . . (-105,501)‎ . . Template:MELD features/Appendix A/1 ‎ (Blanked the page) (current)
• 18:12, 30 September 2019 (diff | hist) . . (0)‎ . . MELD features/Appendix A/2 ‎
• 18:11, 30 September 2019 (diff | hist) . . (+105,547)‎ . . N MELD features/Appendix A/2 ‎ (Created page with "<noinclude> Meld features/Appendix A/1 MELD features = History = * version 1 put ASSERTION-num in for Assertions * version 2 put CONSTANT-num in for Constants </noin...")
• 18:10, 30 September 2019 (diff | hist) . . (+66)‎ . . Template:MELD features/Appendix A/1 ‎
• 17:39, 30 September 2019 (diff | hist) . . (+4)‎ . . Template:MELD features/Appendix A/1 ‎
• 17:39, 30 September 2019 (diff | hist) . . (+105,431)‎ . . N Template:MELD features/Appendix A/1 ‎ (Created page with "<noinclude> MELD features</noinclude> = History = * version 1 ** name Assertion-### for each assertion = Appendix A: Formulas true in every MELD KB = As we remarked abo...")
• 17:24, 30 September 2019 (diff | hist) . . (-21)‎ . . Template:MELD features/Appendix A ‎ (→‎Appendix A: Formulas true in every MELD KB)
• 17:21, 30 September 2019 (diff | hist) . . (+41)‎ . . Template:MELD features/Appendix A ‎
• 17:20, 30 September 2019 (diff | hist) . . (-2)‎ . . Template:MELD features/Appendix A ‎ (→‎Appendix A: Formulas true in every MELD KB)
• 17:19, 30 September 2019 (diff | hist) . . (-2)‎ . . MELD features ‎ (→‎Appendix B: Remarks about MELD Implementations)
• 17:18, 30 September 2019 (diff | hist) . . (-2)‎ . . Template:MELD features/Appendix C ‎ (→‎Appendix C: BNF Grammar for MELD)
• 17:15, 30 September 2019 (diff | hist) . . (+43)‎ . . Template:MELD features/Appendix C ‎
• 17:14, 30 September 2019 (diff | hist) . . (+4,573)‎ . . N Template:MELD features/Appendix C ‎ (Created page with "== Appendix C: BNF Grammar for MELD == This BNF can be used to check for syntactic well-formedness of a MELD formula, and -- coupled with the 650 formulas above in Appendix A...")
• 17:14, 30 September 2019 (diff | hist) . . (-4,545)‎ . . MELD features ‎
• 17:12, 30 September 2019 (diff | hist) . . (+99,141)‎ . . N Template:MELD features/Appendix A ‎ (Created page with "== Appendix A: Formulas true in every MELD KB == As we remarked above, the syntactic component of MELD includes a large number of constant terms (you can think of these as...")
• 17:11, 30 September 2019 (diff | hist) . . (-99,114)‎ . . MELD features ‎
• 17:08, 30 September 2019 (diff | hist) . . (+2,525)‎ . . N MELD/V/TRY-0 ‎ (Created page with " === #$AntiSymmetricBinaryPredicate === <font color=purple>001</font> '''('''#$isa #$AntiSymmetricBinaryPredicate #$Collection ''')'''...") (current)
• 17:07, 30 September 2019 (diff | hist) . . (-2,296)‎ . . Category:MELD/V ‎ (current)
• 17:03, 30 September 2019 (diff | hist) . . (-3)‎ . . Category:MELD/V ‎ (→‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate)
• 17:01, 30 September 2019 (diff | hist) . . (+726)‎ . . Category:MELD/V ‎ (→‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate)
• 16:55, 30 September 2019 (diff | hist) . . (0)‎ . . Template:MELD/A ‎ (Redirected page to Template:MELD-A2) (current)
• 16:55, 30 September 2019 (diff | hist) . . (+1)‎ . . Template:MELD/A ‎ (Redirected page to Template:MELD-A3)
• 16:53, 30 September 2019 (diff | hist) . . (+28)‎ . . N Template:MELD/V ‎ (Redirected page to Template:MELD-V) (current)
• 16:52, 30 September 2019 (diff | hist) . . (+28)‎ . . N Template:MELD/A ‎ (Redirected page to Template:MELD-A)
• 16:47, 30 September 2019 (diff | hist) . . (+4)‎ . . Category:MELD/V ‎ (→‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate)
• 16:45, 30 September 2019 (diff | hist) . . (-1)‎ . . Category:MELD/V ‎ (→‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate)
• 16:45, 30 September 2019 (diff | hist) . . (+188)‎ . . Category:MELD/V ‎ (→‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate)
• 16:23, 30 September 2019 (diff | hist) . . (+151)‎ . . Category:MELD/V ‎ (→‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate)
• 16:22, 30 September 2019 (diff | hist) . . (+152)‎ . . N Template:MELD-A2 ‎ (Created page with " <font color=purple> [[MELD/V/{{{1}}}|(]] {{MELD-V|{{{1}}}}} {{MELD-V|{{{2}}}}} </font> {{#ifexpr {{{3}}}{{{4}}}|<font color=red>{{{3}}}{{{4}}}</font>}}") (current)
• 16:20, 30 September 2019 (diff | hist) . . (+7)‎ . . Template:MELD-A1 ‎ (current)
• 16:19, 30 September 2019 (diff | hist) . . (-5)‎ . . Template:MELD-V ‎
• 16:19, 30 September 2019 (diff | hist) . . (+59)‎ . . N Template:MELD-V ‎ (Created page with " <font color=darkpurple> {{MELD-V/{{{1}}}|{{{1}}}}} </font>")
• 16:18, 30 September 2019 (diff | hist) . . (+32)‎ . . Template:MELD-A1 ‎
• 16:16, 30 September 2019 (diff | hist) . . (+106)‎ . . N Template:MELD-A1 ‎ (Created page with " <font color=purple> [[MELD/V/{{{1}}}|(]] {{MELD-V|{{{2}}}}} {{MELD-V|{{{3}}}}} {{MELD-V|{{{4}}}}} </font>")
• 16:13, 30 September 2019 (diff | hist) . . (+9)‎ . . Category:MELD/V ‎ (→‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate)
• 16:10, 30 September 2019 (diff | hist) . . (+17)‎ . . Category:MELD/V ‎ (→‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate)
• 16:08, 30 September 2019 (diff | hist) . . (+19)‎ . . Category:MELD/V ‎ (→‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate)
• 16:07, 30 September 2019 (diff | hist) . . (+137)‎ . . Category:MELD/V ‎
• 16:05, 30 September 2019 (diff | hist) . . (-17)‎ . . Category:MELD/V ‎ (→‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate)
• 16:04, 30 September 2019 (diff | hist) . . (-2)‎ . . Template:AssertionMELD ‎ (current)
• 16:02, 30 September 2019 (diff | hist) . . (+25)‎ . . Template:AssertionMELD ‎

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)