{"version":1,"pages":[{"id":"scw09F6BYWk4WApQEE2z","title":"Logic Programming","pathname":"/15-113-lecture-notes","siteSpaceId":"sitesp_I7Bsp","description":""},{"id":"Qg6XwsPystcqMCnLnZb4","title":"Infinite Streams and Negations","pathname":"/15-113-lecture-notes/infinite-streams-and-negations","siteSpaceId":"sitesp_I7Bsp","description":""}]}