On the Performance of Axiom Systems (Q5055280)

From MaRDI portal
scientific article; zbMATH DE number 7632449
Language Label Description Also known as
English
On the Performance of Axiom Systems
scientific article; zbMATH DE number 7632449

    Statements

    title
    On the Performance of Axiom Systems (English)
    0 references
    author
    Wolfram Pohlers
    0 references
    publication date
    13 December 2022
    0 references
    cites work
    Q4893145
    0 references
    Q3138829
    0 references
    Q5622162
    0 references
    Q5316376
    0 references
    Q4215633
    0 references
    Q3809793
    0 references
    Q3081650
    0 references
    Q5665177
    0 references
    Q4220572
    0 references
    Q5519134
    0 references

    Identifiers

    zbMATH DE Number
    7632449
    0 references
    OpenAlex ID
    W4296129466
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5055280&oldid=37471812"
    Powered by MediaWiki