English	German
logical inferences per second	logische Schlüsse je Sekunde
second-generation computer	Rechner der zweiten Generation
second-generation expert system	Expertensystem der zweiten Generation
second-order logic	Quantorenlogik zweiter Ordnung (Stufe)
second-order logic	Prädikatenlogik zweiter Ordnung (Stufe)
second-order logic	Prädikatenkalkül zweiter Ordnung (Stufe)
second-order predicate calculus	Prädikatenlogik zweiter Ordnung (Stufe)
second-order predicate calculus	Quantorenlogik zweiter Ordnung (Stufe)
second-order predicate calculus	Prädikatenkalkül zweiter Ordnung (Stufe)
second-order quantification	Quantifizierung zweiter Ordnung
second-order set	Menge zweiter Ordnung