Q1150675

From Wikidata
Jump to: navigation, search

computer-assisted proof (Q1150675) [edit]

Mathematical proof at least partially generated by computer [edit]

No aliases defined.
    [add]

    Statements

    Language Code Linked page
    Deutsch dewiki
    English enwiki
    français frwiki
    한국어 kowiki
    македонски mkwiki
    русский ruwiki
    中文 zhwiki
    [add]
    [add]
    [add]
    [add]
    [add]
    [add]