Category:MELD/V - Revision history

DavidWhitten at 17:07, 30 September 2019

2019-09-30T17:07:57Z

2019-09-30T17:03:25Z

‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate

2019-09-30T17:01:25Z

‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate

2019-09-30T16:47:09Z

‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate

2019-09-30T16:45:34Z

‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate

2019-09-30T16:45:00Z

‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate

2019-09-30T16:23:51Z

‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate

2019-09-30T16:13:06Z

‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate

2019-09-30T16:10:18Z

‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate

2019-09-30T16:08:36Z

‎MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate

@@ Line 45: / Line 45: @@
   ''')'''
-=== [[#$AntiSymmetricBinaryPredicate]] ===
+{{assertionMELD/1|001|  '''('''[[#$isa]] [[#$AntiSymmetricBinaryPredicate]] [[#$Collection]] ''')''' }}
- <font color=purple>[[MELD KERNEL KB/4|004]]</font>
+* [[MELD/V/TRY-1]]
- <font color=purple>[[MELD KERNEL KB/5|005]]</font>
+* [[MELD/V/TRY-0]]

@@ Line 30: / Line 30: @@
 === MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate ===
 {{MELD/A|1|001|
-  '''('''[[#$isa]] [[#$AntiSymmetricBinaryPredicate]] [[#$Collection]] ''')''' }}
+  '''('''[[#$isa]] [[#$AntiSymmetricBinaryPredicate]] [[#$Collection]] ''')'''
 {{MELD/A|2|002|
   '''('''[[#$genls]] [[#$AntiSymmetricBinaryPredicate]] [[#$BinaryPredicate]] ''')'''

@@ Line 10: / Line 10: @@
-=== MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate ===
+=== Experiments: #$AntiSymmetricBinaryPredicate ===
 name in URL 2 :
@@ Line 26: / Line 28: @@
 TRY 0: {{assertionMELD|004|(%20%25%24%26%27isa%20%24Assertion%20%24Collection%20%29|(_{{lb|#$isa}}_[[#$Assertion]]_#$Collection)}}
 === [[#$AntiSymmetricBinaryPredicate]] ===

← Older revision		Revision as of 16:47, 30 September 2019
Line 12:		Line 12:
	=== MELD/V/AntiSymmetricBinaryPredicate\| #$AntiSymmetricBinaryPredicate ===		=== MELD/V/AntiSymmetricBinaryPredicate\| #$AntiSymmetricBinaryPredicate ===

−	name in URL: {{MELD/A\|1\|001\|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)\| '''(''' {{MELD/V\|%$isa}} {{MELD/V\|%$AntiSymmetricBinaryPredicate]] {{MELD/V\|%$Collection}} ''')''' }}	+	name in URL 2 :
		+	{{MELD/A\|1\|001\|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)\| '''(''' {{MELD/V\|%$isa}} {{MELD/V\|%$AntiSymmetricBinaryPredicate}} {{MELD/V\|%$Collection}} ''')''' }}

← Older revision		Revision as of 16:45, 30 September 2019
Line 12:		Line 12:
	=== MELD/V/AntiSymmetricBinaryPredicate\| #$AntiSymmetricBinaryPredicate ===		=== MELD/V/AntiSymmetricBinaryPredicate\| #$AntiSymmetricBinaryPredicate ===

−	name in URL: {{MELD/A\|1\|001\|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)\|	+	name in URL: {{MELD/A\|1\|001\|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)\| '''(''' {{MELD/V\|%$isa}} {{MELD/V\|%$AntiSymmetricBinaryPredicate]] {{MELD/V\|%$Collection}} ''')''' }}
−	'''(''' {{MELD/V\|%$isa}} {{MELD/V\|%$AntiSymmetricBinaryPredicate]] {{MELD/V\|%$Collection}} ''')''' }}

← Older revision		Revision as of 16:45, 30 September 2019
Line 11:		Line 11:

	=== MELD/V/AntiSymmetricBinaryPredicate\| #$AntiSymmetricBinaryPredicate ===		=== MELD/V/AntiSymmetricBinaryPredicate\| #$AntiSymmetricBinaryPredicate ===
		+
		+	name in URL: {{MELD/A\|1\|001\|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)\|
		+	'''(''' {{MELD/V\|%$isa}} {{MELD/V\|%$AntiSymmetricBinaryPredicate]] {{MELD/V\|%$Collection}} ''')''' }}
		+

	name in URL: {{MELD-A\|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)\|[[MELD/V/%$isa\|%$isa]]\|[[%$AntiSymmetricBinaryPredicate]]\|%$Collection}}		name in URL: {{MELD-A\|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)\|[[MELD/V/%$isa\|%$isa]]\|[[%$AntiSymmetricBinaryPredicate]]\|%$Collection}}

← Older revision		Revision as of 16:23, 30 September 2019
Line 11:		Line 11:

	=== MELD/V/AntiSymmetricBinaryPredicate\| #$AntiSymmetricBinaryPredicate ===		=== MELD/V/AntiSymmetricBinaryPredicate\| #$AntiSymmetricBinaryPredicate ===
		+
		+	name in URL: {{MELD-A\|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)\|[[MELD/V/%$isa\|%$isa]]\|[[%$AntiSymmetricBinaryPredicate]]\|%$Collection}}
		+

	name in URL: {{assertionMELD\|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)\|[[MELD/V/%$isa\|%$isa]]\|[[%$AntiSymmetricBinaryPredicate]]\|%$Collection}}		name in URL: {{assertionMELD\|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)\|[[MELD/V/%$isa\|%$isa]]\|[[%$AntiSymmetricBinaryPredicate]]\|%$Collection}}

← Older revision		Revision as of 16:13, 30 September 2019
Line 12:		Line 12:
	=== MELD/V/AntiSymmetricBinaryPredicate\| #$AntiSymmetricBinaryPredicate ===		=== MELD/V/AntiSymmetricBinaryPredicate\| #$AntiSymmetricBinaryPredicate ===

−	name in URL: {{assertionMELD\|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)\|[[%$isa]] [[%$AntiSymmetricBinaryPredicate]] [[%$Collection]]}}	+	name in URL: {{assertionMELD\|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)\|[[MELD/V/%$isa\|%$isa]]\|[[%$AntiSymmetricBinaryPredicate]]\|%$Collection}}

@@ Line 12: / Line 12: @@
 === MELD/V/AntiSymmetricBinaryPredicate| #$AntiSymmetricBinaryPredicate ===
-TRY 2: {{assertionMELD|001|[[%$isa]] [[%$AntiSymmetricBinaryPredicate]] [[%$Collection]]}}
+Arbitrary Number: {{assertionMELD|001|[[%$isa]] [[%$AntiSymmetricBinaryPredicate]] [[%$Collection]]}}
-TRY 1: {{assertionMELD|(_%$isa_%$AntiSymmetricBinaryPredicate_%$Collection_)|[[%$isa]] [[%$AntiSymmetricBinaryPredicate]] [[%$Collection]]}}
+TRY 0: {{assertionMELD|004|(%20%25%24%26%27isa%20%24Assertion%20%24Collection%20%29|(_{{lb|#$isa}}_[[#$Assertion]]_#$Collection)}}
 === [[#$AntiSymmetricBinaryPredicate]] ===