#EXTM3U #EXT-SL-VERSION:1 #EXT-SL-ACCOUNT-ID:66180 #EXT-SL-PRESENTATION-ID:38940733 #EXT-SL-PRESENTATION-TITLE:Towards Grounding of Formulae #EXT-SL-PRESENTATION-UPDATED-AT:2023-10-20T13:41:36Z #EXT-SL-PLAYER-TYPE:video_slideshow #EXT-SL-PRESENTATION-THUMBNAIL:https://ma.slideslive.com/library/presentations/38940733/thumbnail/towards-grounding-of-formulae_kcu8dp_big.jpg #EXT-SL-SLIDESLIVE-LOGO-VISIBLE:false #EXT-SL-SLIDESLIVE-LOGO-LINKIFY:false #EXT-SL-CUSTOM-CMCD-TRACKING:false #EXT-SL-PLAYLIST-TYPE:vod #EXT-SL-PRESENTATION-MEDIA-SET-ID:76246 #EXT-SL-VOD-VIDEO-SERVICE-NAME:yoda #EXT-SL-VOD-VIDEO-ID:uf_HV16btZdG #EXT-SL-VOD-VIDEO-KEN-ENABLED: #EXT-SL-VOD-VIDEO-SERVERS:["sl-yoda-v3-stream-016-alpha.b-cdn.net","1504562137.rsc.cdn77.org","1896834465.rsc.cdn77.org","sl-yoda-v3-stream-016-beta.b-cdn.net"] #EXT-SL-VOD-SLIDES-XML-URL:https://s.slideslive.com/38940733/v3/38940733.xml?1642086013 #EXT-SL-VOD-SLIDES-JSON-URL:https://s.slideslive.com/38940733/v3/slides.json?1642086013 #EXT-SL-VOD-SUBTITLES:[{"name":"English","language":"en","subtitles_id":40299,"webvtt_url":"https://slideslive-video-subtitles.s3.amazonaws.com/40299/subtitles.vtt?X-Amz-Algorithm=AWS4-HMAC-SHA256\u0026X-Amz-Credential=AKIAXWNGJW2E2DUNCDBO%2F20241118%2Fus-east-1%2Fs3%2Faws4_request\u0026X-Amz-Date=20241118T194317Z\u0026X-Amz-Expires=86400\u0026X-Amz-SignedHeaders=host\u0026X-Amz-Signature=76045239c1936a333da29292c6b41ce1b13ebe5b7f2f508d7602388c1687a60b"}]