QED manifesto
id:
qed-manifesto-236-3334555
title:
QED manifesto
text:
The QED manifesto was a proposal for a computer-based database of all mathematical knowledge, strictly formalized and with all proofs having been checked automatically.
brand slug:
wiki
category slug:
encyclopedia
description:
Proposal for a computer-based database of all mathematical knowledge
original url:
https://en.wikipedia.org/wiki/QED_manifesto
date created:
date modified:
2023-11-12T19:52:44Z
main entity:
{"identifier":"Q7265420","url":"https://www.wikidata.org/entity/Q7265420"}
image:
fields total:
13
integrity:
14