Q1150675

From Wikidata
Jump to: navigation, search

computer-assisted proof(Q1150675)

Mathematical proof at least partially generated by computer
    No aliases defined.
[edit]
Language Label Description Also known as
English
computer-assisted proof
Mathematical proof at least partially generated by computer

    Statements