KI-Telefonassistenten Entwicklung | spp2026.de | 216.73.216.163

ID	target	source	path	created at
692523395	mathstodon.xyz	blog.spp2026.de	/formalizations-in-lean/	2025-11-30 20:28:23.603
827569199	mathstodon.xyz	spp2026.de	/formalizations-in-lean/	2025-12-31 18:42:08.944
692523333	hm4mint.nrw	blog.spp2026.de	/freiraum-2023/	2025-11-30 20:28:23.285
827569150	hm4mint.nrw	spp2026.de	/freiraum-2023/	2025-12-31 18:42:07.219
827569953	math.msu.ru	spp2026.de	/sergei-novikov-1938-2024/	2025-12-31 18:42:41.983
827571422	dzhw.eu	spp2026.de	/ergebnisse-der-wissenschaftsb...	2025-12-31 18:43:49.688
827570061	euro-math-soc.eu	spp2026.de	/thomas-friedrich-1949-2018/	2025-12-31 18:42:46.917
692523481	math.berkeley.edu	blog.spp2026.de	/hausdorff-medal-2024/	2025-11-30 20:28:25.232
827570100	math.berkeley.edu	spp2026.de	/hausdorff-medal-2024/	2025-12-31 18:42:48.946
827569799	cims.nyu.edu	spp2026.de	/a-mathematical-conventions-su...	2025-12-31 18:42:35.648
827569450	sites.psu.edu	spp2026.de	/ams-special-session-on-the-ma...	2025-12-31 18:42:19.593
827571361	mypage.iu.edu	spp2026.de	/whats-new-on-the-arxiv-zimmer...	2025-12-31 18:43:46.816
827571009	math.mit.edu	spp2026.de	/tetrahedra/	2025-12-31 18:43:30.638
827571056	front.math.ucdavis.edu	spp2026.de	/whats-new-on-the-arxiv-a-loca...	2025-12-31 18:43:32.789
827571239	news.utexas.edu	spp2026.de	/shaw-prize-2018/	2025-12-31 18:43:40.335
827571226	web.ma.utexas.edu	spp2026.de	/shaw-prize-2018/	2025-12-31 18:43:39.751
827570107	ias.edu	spp2026.de	/79-2/	2025-12-31 18:42:49.454
827572082	math.uchicago.edu	spp2026.de	/wolf-prize-in-mathematics-201...	2025-12-31 18:44:17.083
827570726	nemmers.northwestern.edu	spp2026.de	/nemmers-prize-2018/	2025-12-31 18:43:17.668
827570738	web.math.princeton.edu	spp2026.de	/nemmers-prize-2018/	2025-12-31 18:43:18.315

target

role

source

path

created at

692523395

mathstodon.xyz

blog.spp2026.de

/formalizations-in-lean/

2025-11-30 20:28:23.603

827569199

mathstodon.xyz