{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q657585","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q657585","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q657585","kernelVersion":"v1","immutable":true,"modified":"2026-01-18T02:08:10Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q657585","name":"Automated theorem provers: a practical tool for the working mathematician?","headline":"Automated theorem provers: a practical tool for the working mathematician?","description":"scientific article; zbMATH DE number 5996003","url":"https://portal.mardi4nfdi.de/entity/Q657585","datePublished":"2012-01-10","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q438542"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q276517"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S10472-011-9248-8","url":"https://doi.org/10.1007/S10472-011-9248-8"},"sameAs":["https://doi.org/10.1007/S10472-011-9248-8"],"comment":"The author lists some reasons which in his opinion form obstacles for using automated theorem provers by mathematicians and speculates on potential applications of the related work of his group.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1250223"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5717453"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5301859"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5462949"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5763293"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1150266"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2852358"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4946078"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5302559"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1801222"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3941595"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2737646"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2494223"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5302558"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3154457"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4263839"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2852039"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5765445"}]},"provenance":{"prov:generatedAtTime":"2026-01-18T02:08:10Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}