[[Category:Comment]] [[Comments::Doug Lenat (1950-2023)]]
[[Category:Comment]] [[Comments::Doug Lenat (1950-2023)]] [[Published::+]]
[[Category:Blog post]] [[Published::+]] [[Published::≤1 September 2023]]
Doug Lenat (1950-2023)# QUERY63c1cc5b26bde9ebd3d102806bc21ba5
[[Category:Blog post]] [[Published::+]] [[Published::≥1 September 2023]]