wird geladen
P-Vollständigkeit von Inverted-Index-Auswertung formal bewiesen · Lumeric