Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
28 May 2024
- diffhist Knowledge engineering 07:15 −65 113.160.44.130 talk (shorten)
- diffhist Knowledge-based systems 01:31 −50 Turtlecrown talk contribs (copy edit; tags)
27 May 2024
- diffhist Constraint satisfaction 23:54 −33 Liz talk contribs (Removing link(s) to "Comet (programming language)": Removing links to deleted page Comet (programming language).) Tag: Twinkle
26 May 2024
- diffhist Proof assistant 01:01 +54 95.25.206.108 talk
25 May 2024
- diffhist Automated theorem proving 19:47 +36 Jarble talk contribs (disambiguating a link)
- diffhist Automated theorem proving 19:39 +178 Jarble talk contribs (→Applications: another reference)
- diffhist Automated theorem proving 19:37 +378 Jarble talk contribs (describing applications of theorem provers in natural language processing) Tags: Visual edit: Switched Disambiguation links added
- diffhist Knowledge level modeling 11:28 −388 Chris Capoccia talk contribs
- diffhist Knowledge level modeling 11:27 +609 Chris Capoccia talk contribs
23 May 2024
- diffhist Knowledge level modeling 20:55 −1 132.208.66.122 talk
- diffhist Knowledge level modeling 20:54 +2 132.208.66.122 talk
- diffhist Knowledge level modeling 20:53 +205 132.208.66.122 talk
- diffhist Knowledge level modeling 20:52 +5 132.208.66.122 talk
- diffhist Knowledge level modeling 20:46 +114 132.208.66.122 talk
- diffhist Knowledge level modeling 20:34 +92 132.208.66.122 talk