Hammer for Coq: Automation for Dependent Type Theory - Test2 - elhamkhani - TriplyDB

Hammer for Coq: Automation for Dependent Type Theory

Hammer for Coq: Automation for Dependent Type Theory

http://www.wikidata.org/entity/Q90699792

about

Hammer for Coq: Automation for Dependent Type Theory

http://www.wikidata.org/entity/Q90699792

description

scientific article published on 27 February 2018

@en

name

Hammer for Coq: Automation for Dependent Type Theory

@en

type

label

Hammer for Coq: Automation for Dependent Type Theory

@en

prefLabel

Hammer for Coq: Automation for Dependent Type Theory

@en

P1433

Q90699792-5D077A41-BD7E-4658-A741-B142F3C30EBB

P1476

Q90699792-AA1E815C-6BA7-4094-8EC3-9760CBD1FE59

P2093

Q90699792-429ECFDB-6949-44A0-A9B1-31989F671CCC

P304

Q90699792-CE026A53-6570-4502-A4CB-7A2D323B3FDA

P31

Q90699792-77F0FC71-92D4-4570-99DD-FB330B3D5050

P356

Q90699792-FC6EBD52-4689-4AB7-B0C9-1A05648041A1

P433

Q90699792-8883BAF3-E068-4C4D-96D5-4A7E761AF5EA

P478

Q90699792-333C8885-8598-4040-807F-719C8CE9E2AB

P50

Q90699792-5B70E6E3-F6AC-471F-BA78-479D389ABFF7

P577

Q90699792-0F46DC77-A501-44D2-AF88-F6137BCDD052

P698

Q90699792-6301773A-B1D9-4665-8130-B0F63037EA4F

P932

Q90699792-921E654C-237F-4104-ADB9-2816EAE77E64

P356

S10817-018-9458-4

P1433

Journal of Automated Reasoning

P1476

Hammer for Coq: Automation for Dependent Type Theory

@en

P2093

Łukasz Czajka

http://www.w3.org/2001/XMLSchema#string

P304

423-453

http://www.w3.org/2001/XMLSchema#string

P31

scholarly article

P356

10.1007/S10817-018-9458-4

http://www.w3.org/2001/XMLSchema#string

P433

1

http://www.w3.org/2001/XMLSchema#string

P478

61

http://www.w3.org/2001/XMLSchema#string

P50

Cezary Kaliszyk

P577

2018-02-27T00:00:00Z

http://www.w3.org/2001/XMLSchema#dateTime

P698

30069074

http://www.w3.org/2001/XMLSchema#string

P932

6044314

http://www.w3.org/2001/XMLSchema#string