Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

Automated Deduction

https://id.confref.org/data/confident/26448

rdf:typecf:Category_Academic_Field
rdfs:labelAutomated Deduction
cf:Academic_Field_OECD_FOS_2007Computer And Information Sciences
cf:Academic_Field_OECD_FOS_2007Mathematics
cf:Academic_Field_OECD_FOS_2007_Missingfalse
cf:Creation_date2022-08-24T12:52:35
cf:Display_TitleAutomated Deduction
cf:Modification_date2022-10-19T11:02:28
cf:pagehttps://www.confident-conference.org/index.php/Academic_Field:Automated_Deduction
cf:pageTitleAcademic Field:Automated Deduction

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.