International Workshop on First-Order Theorem Proving
id:
international-workshop-on-first-order-theorem-proving-309-5315398
title:
International Workshop on First-Order Theorem Proving
text:
The International Workshop on First-Order Theorem Proving (FTP) is a scientific meeting of researchers interested in automated theorem proving for first-order logic and related fields. FTP workshops are less formal than many conferences, but more formal than most workshops. While FTP proceedings are published informally, most FTP workshops have resulted in a special issue of a recognized peer-reviewed academic journal. FTP is one of the constituent meetings of the International Joint Conference
brand slug:
wiki
category slug:
encyclopedia
description:
Scientific meeting on automated theorem proving for first-order logic and related fields
original url:
https://en.wikipedia.org/wiki/International_Workshop_on_First-Order_Theorem_Proving
date created:
date modified:
2024-02-10T09:08:18Z
main entity:
{"identifier":"Q6054337","url":"https://www.wikidata.org/entity/Q6054337"}
image:
fields total:
13
integrity:
14