User contributions
From Public Domain Knowledge Bank
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 00:39, 13 October 2016 (diff | hist) . . (+333) . . MELD features (→Appendix A: Formulas true in every MELD KB)
- 00:34, 13 October 2016 (diff | hist) . . (0) . . m MELD features (→;;; #$CollectionDenotingFunction)
- 00:32, 13 October 2016 (diff | hist) . . (+2,108) . . MELD features (→Appendix A: Formulas true in every MELD KB)
- 00:11, 13 October 2016 (diff | hist) . . (+359) . . m MELD features (→;;; #$AsymmetricBinaryPredicate)
- 00:07, 13 October 2016 (diff | hist) . . (+165) . . MELD features (→;;; #$Assertion)
- 00:06, 13 October 2016 (diff | hist) . . (+4) . . m MELD features (→;;; #$AntiSymmetricBinaryPredicate)
- 00:05, 13 October 2016 (diff | hist) . . (-1) . . MELD features (→;;; #$AntiSymmetricBinaryPredicate)
- 00:03, 13 October 2016 (diff | hist) . . (+3) . . m MELD features (→;;; #$AntiSymmetricBinaryPredicate)
- 00:02, 13 October 2016 (diff | hist) . . (-6) . . MELD features (→;;; #$AntiSymmetricBinaryPredicate)
- 00:01, 13 October 2016 (diff | hist) . . (+78) . . MELD features (→;;; #$AntiSymmetricBinaryPredicate)
- 00:00, 13 October 2016 (diff | hist) . . (+14) . . MELD features (→;;; #$AntiSymmetricBinaryPredicate)
- 23:58, 12 October 2016 (diff | hist) . . (+106) . . MELD features (→Appendix A: Formulas true in every MELD KB)
- 23:54, 12 October 2016 (diff | hist) . . (+499) . . MELD features (→Conditional Probability)
- 23:38, 12 October 2016 (diff | hist) . . (+348) . . m MELD features (→Probabilities, including Bayesian (Pearlian) nets)
- 23:29, 12 October 2016 (diff | hist) . . (+170) . . m MELD features (→alternate logic reasoning systems)
- 23:23, 12 October 2016 (diff | hist) . . (+225) . . m MELD features (→Microtheories)
- 23:14, 12 October 2016 (diff | hist) . . (+25) . . MELD features (→Function Arity)
- 23:13, 12 October 2016 (diff | hist) . . (+18) . . MELD features (→Non-Atomic Terms)
- 23:11, 12 October 2016 (diff | hist) . . (-6) . . MELD features (→Second-order Quantification)
- 23:06, 12 October 2016 (diff | hist) . . (+29) . . m MELD features (→#$thereExistExactly, #$thereExistAtLeast, #$thereExistAtMost)
- 23:02, 12 October 2016 (diff | hist) . . (+12) . . m MELD features (→GAFs vs Rules)
- 23:01, 12 October 2016 (diff | hist) . . (+208) . . MELD features (→exceptions & overriding default true)
- 22:58, 12 October 2016 (diff | hist) . . (+2) . . MELD features (→Meld argumentation system)
- 22:57, 12 October 2016 (diff | hist) . . (+2) . . MELD features (→Monotonic True vs Default True)
- 22:57, 12 October 2016 (diff | hist) . . (+8) . . MELD features (→Default True)
- 22:56, 12 October 2016 (diff | hist) . . (+41) . . MELD features (→Monotonically true)
- 22:52, 12 October 2016 (diff | hist) . . (+265) . . m MELD features (→Truth Values)
- 22:46, 12 October 2016 (diff | hist) . . (+7) . . m MELD features (→;;; #$AntiSymmetricBinaryPredicate)
- 22:45, 12 October 2016 (diff | hist) . . (+6) . . m MELD features (→;;; #$AntiSymmetricBinaryPredicate)
- 22:44, 12 October 2016 (diff | hist) . . (+14) . . MELD features (→;;; #$BaseKB)
- 22:43, 12 October 2016 (diff | hist) . . (+5) . . MELD features (→;;; #$AsymmetricBinaryPredicate)
- 22:42, 12 October 2016 (diff | hist) . . (+2) . . MELD features (→;;; #$AsymmetricBinaryPredicate)
- 20:10, 10 October 2016 (diff | hist) . . (+109) . . MELD features (→Individual Denoting Functions vs.Collection Denoting Functions)
- 20:06, 10 October 2016 (diff | hist) . . (+32) . . MELD features (→Individual Denoting Functions vs.Collection Denoting Functions)
- 20:05, 10 October 2016 (diff | hist) . . (+37) . . MELD features (→Individual Denoting Functions vs.Collection Denoting Functions)
- 20:04, 10 October 2016 (diff | hist) . . (+29) . . MELD features (→Function Argument Types and Result Types)
- 20:01, 10 October 2016 (diff | hist) . . (+167) . . MELD features (→Function Argument Types and Result Types)
- 19:57, 10 October 2016 (diff | hist) . . (+138) . . m MELD features (→Function Argument Types and Result Types)
- 19:54, 10 October 2016 (diff | hist) . . (+81) . . m MELD features (→Functions)
- 19:50, 10 October 2016 (diff | hist) . . (+6) . . m MELD features (→#$thereExistExactly, #$thereExistAtLeast, #$thereExistAtMost)
- 19:49, 10 October 2016 (diff | hist) . . (+912) . . m MELD features
- 19:29, 10 October 2016 (diff | hist) . . (+12) . . m MELD features
- 19:25, 10 October 2016 (diff | hist) . . (+5) . . m MELD features
- 19:24, 10 October 2016 (diff | hist) . . (+16) . . MELD features
- 19:20, 10 October 2016 (diff | hist) . . (+8) . . m MELD features (→;;; #$requiredArg1Pred)
- 19:19, 10 October 2016 (diff | hist) . . (+80) . . m MELD features (→;;; #$requiredArg1Pred)
- 19:17, 10 October 2016 (diff | hist) . . (+338) . . m MELD features
- 19:06, 10 October 2016 (diff | hist) . . (+45) . . m MELD features (→Formulas)
- 19:04, 10 October 2016 (diff | hist) . . (+6) . . m MELD features (→Constant Names)
- 18:51, 10 October 2016 (diff | hist) . . (+4) . . m MELD features (→Second-order Quantification)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
