Publications

Explore 467 academic publications

Showing 12 of 467 publications

MizAR 60 for Mizar 50

As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60% of the Mizar theorems in the hammer setting. We also automatically ...

2023 Leibniz-Zentrum für Informatik (Schlo... 70225 citations

Society and the Adolescent Self-Image

Over 5,000 high-school students of different social, religious, and national backgrounds were studied to show the effects of family experience, neighborhoods, minority groups, e...

1965 Princeton University Press eBooks 28687 citations

A Theory of Cognitive Dissonance

Leon Festinger's theory of cognitive dissonance has been widely recognized for its important and influential concepts in areas of motivation and social psychology. The theory of...

1957 Stanford University Press eBooks 22881 citations