Google Ads Kampagnenentwicklung und Betreuung | coq-tactician.github.io | 216.73.217.162

ID	target	source	path	created at
1885893710	people.ciirc.cvut.cz	coq-tactician.github.io	/people	2026-08-11 15:36:53.756
1885893716	cl-informatik.uibk.ac.at	coq-tactician.github.io	/people	2026-08-11 15:36:53.777
1885893713	pestun.ihes.fr	coq-tactician.github.io	/people	2026-08-11 15:36:53.770
1885893766	coq.inria.fr	coq-tactician.github.io	/manual/usage/	2026-08-11 15:36:54.233
1885893767	coq.io	coq-tactician.github.io	/manual/coq-packages/	2026-08-11 15:36:54.285
1885893698	coqhammer.github.io	coq-tactician.github.io	/	2026-08-11 15:36:53.338
1483926292	coq-tactician.github.io	gardenofminds.art	/research/the-isabelle-enigma/	2026-05-15 22:44:43.567
1428972338	coq-tactician.github.io	machine-learning-for-theorem-proving.github.io	/	2026-05-02 04:30:02.451
1895857528	coq-tactician.github.io	du-ke.pl	/	2026-08-13 11:37:33.183
1163434712	coq-tactician.github.io	sws.cs.ru.nl	/News	2026-03-03 02:12:50.986
958067506	coq-tactician.github.io	mbsd.cs.ru.nl	/News	2026-01-22 10:52:21.774
1885893714	fidel-schaposnik.github.io	coq-tactician.github.io	/people	2026-08-11 15:36:53.772
1885893712	jasonrute.github.io	coq-tactician.github.io	/people	2026-08-11 15:36:53.765
1885893718	docs.conda.io	coq-tactician.github.io	/api/graph2tac/	2026-08-11 15:36:53.905
1885893699	link.springer.com	coq-tactician.github.io	/publications	2026-08-11 15:36:53.588
1885893709	fr.linkedin.com	coq-tactician.github.io	/people	2026-08-11 15:36:53.751
1885893715	nl.linkedin.com	coq-tactician.github.io	/people	2026-08-11 15:36:53.775
1885893696	github.com	coq-tactician.github.io	/	2026-08-11 15:36:53.331
1885893711	cs.ru.nl	coq-tactician.github.io	/people	2026-08-11 15:36:53.762
1885893773	formulae.brew.sh	coq-tactician.github.io	/api/datasets/	2026-08-11 15:36:54.573

target

role

source

path

created at

1885893710

people.ciirc.cvut.cz

coq-tactician.github.io

/people

2026-08-11 15:36:53.756

1885893716

cl-informatik.uibk.ac.at