10:5110:51, 8 April 2021diffhist0
m
Graph Query Language
A James Green moved page
Graph Query Language to
GQL (Graph Query Language): This follows a discussion on a prior move at [https://en.wikipedia.org/?title=User_talk:Cedar101&oldid=1009843283#Move_of_%22GQL_Graph_Query_Language%22_to_%22Graph_Query_Language%22_is_wrong Move of GQL Graph Query Language to Graph Query Language is wrong]
09:3609:36, 13 October 2019diffhist+4,093
Subtyping
Create section on Subsumption to give context/definition. State substitutability of S for T the right way round, and remove misleading use of term "type of an expression" for "type of term of an expression"
10:5110:51, 8 April 2021diffhist0
m
Graph Query Language
A James Green moved page
Graph Query Language to
GQL (Graph Query Language): This follows a discussion on a prior move at [https://en.wikipedia.org/?title=User_talk:Cedar101&oldid=1009843283#Move_of_%22GQL_Graph_Query_Language%22_to_%22Graph_Query_Language%22_is_wrong Move of GQL Graph Query Language to Graph Query Language is wrong]
09:3609:36, 13 October 2019diffhist+4,093
Subtyping
Create section on Subsumption to give context/definition. State substitutability of S for T the right way round, and remove misleading use of term "type of an expression" for "type of term of an expression"