KI-Telefonassistenten Entwicklung | vprover.github.io | 216.73.216.102

ID	target	source	path	created
664152393	vprover.github.io	logic.at	/gapt	2025-11-14 20:32:12.228
655761589	validator.w3.org	vprover.github.io	/projects/vinter.html	2025-11-09 14:31:52.204
655761588	tuwien.ac.at	vprover.github.io	/projects/vinter.html	2025-11-09 14:31:52.200
655761587	informatik.tuwien.ac.at	vprover.github.io	/projects/vinter.html	2025-11-09 14:31:52.196
655761550	voronkov.com	vprover.github.io	/projects/interpol.html	2025-11-09 14:31:51.734
655761498	easyconferences.eu	vprover.github.io	/workshop.html	2025-11-09 14:31:51.086
655761492	complang.tuwien.ac.at	vprover.github.io	/projects.html	2025-11-09 14:31:51.042
655761467	plus.google.com	vprover.github.io	/history.html	2025-11-09 14:31:50.871
655761450	ieeexplore.ieee.org	vprover.github.io	/pubs.html	2025-11-09 14:31:50.436
655761449	il.linkedin.com	vprover.github.io	/pubs.html	2025-11-09 14:31:50.432
655761446	cs.toronto.edu	vprover.github.io	/pubs.html	2025-11-09 14:31:50.427
655761444	informatik.uni-trier.de	vprover.github.io	/pubs.html	2025-11-09 14:31:50.423
655761443	dx.doi.org	vprover.github.io	/pubs.html	2025-11-09 14:31:50.418
655761442	cav2013.forsyte.at	vprover.github.io	/pubs.html	2025-11-09 14:31:50.414
655761441	logic-cs.at	vprover.github.io	/pubs.html	2025-11-09 14:31:50.406
655761440	scorch-project.github.io	vprover.github.io	/team.html	2025-11-09 14:31:50.399
655761438	derivation.org	vprover.github.io	/team.html	2025-11-09 14:31:50.375
655761435	cse.chalmers.se	vprover.github.io	/team.html	2025-11-09 14:31:50.366
655761432	rawsons.uk	vprover.github.io	/team.html	2025-11-09 14:31:50.360
655761430	people.ciirc.cvut.cz	vprover.github.io	/team.html	2025-11-09 14:31:50.355

target

role

source

path

created

664152393

vprover.github.io

logic.at

/gapt

2025-11-14 20:32:12.228

655761589

validator.w3.org