A Coq Library for Mechanised First-Order Logic Article Swipe

View

Dominik Kirst , Johannes Hostert , Andrej Dudenhefner , Yannick Forster , Marc Hermes , Mark Koch , Dominique Larchey-Wendling , Niklas Mück , Benjamin Peters , Gert Smolka , Dominik Wehr ·

YOU? · · 2022 · Open Access ·

International audience

Related Topics

Concepts

Computer science Order (exchange) Programming language Business Finance

Metadata

Type: preprint
Language: en
Landing Page: https://hal.science/hal-03756335
OA Status: green
Cited By: 2
Related Works: 10
OpenAlex ID: https://openalex.org/W4292639357

All OpenAlex metadata

Raw OpenAlex JSON

OpenAlex ID: https://openalex.org/W4292639357

Canonical identifier for this work in OpenAlex
Title: A Coq Library for Mechanised First-Order Logic

Work title
Type: preprint

OpenAlex work type
Language: en

Primary language
Publication year: 2022

Year of publication
Publication date: 2022-08-12

Full publication date if available
Authors: Dominik Kirst, Johannes Hostert, Andrej Dudenhefner, Yannick Forster, Marc Hermes, Mark Koch, Dominique Larchey-Wendling, Niklas Mück, Benjamin Peters, Gert Smolka, Dominik Wehr

List of authors in order
Landing page: https://hal.science/hal-03756335

Publisher landing page
Open access: Yes

Whether a free full text is available
OA status: green

Open access status per OpenAlex
OA URL: https://hal.science/hal-03756335

Direct OA link when available
Concepts: Computer science, Order (exchange), Programming language, Business, Finance

Top concepts (fields/topics) attached by OpenAlex
Cited by: 2

Total citation count in OpenAlex
Citations by year (recent): 2024: 1, 2023: 1

Per-year citation counts (last 5 years)
Related works (count): 10

Other works algorithmically related by OpenAlex

Full payload

id	https://openalex.org/W4292639357
doi
ids.openalex	https://openalex.org/W4292639357
fwci	0.24613832
type	preprint
title	A Coq Library for Mechanised First-Order Logic
biblio.issue
biblio.volume
biblio.last_page
biblio.first_page
topics[0].id	https://openalex.org/T12029
topics[0].field.id	https://openalex.org/fields/13
topics[0].field.display_name	Biochemistry, Genetics and Molecular Biology
topics[0].score	0.675000011920929
topics[0].domain.id	https://openalex.org/domains/1
topics[0].domain.display_name	Life Sciences
topics[0].subfield.id	https://openalex.org/subfields/1312
topics[0].subfield.display_name	Molecular Biology
topics[0].display_name	DNA and Biological Computing
topics[1].id	https://openalex.org/T11567
topics[1].field.id	https://openalex.org/fields/17
topics[1].field.display_name	Computer Science
topics[1].score	0.6700999736785889
topics[1].domain.id	https://openalex.org/domains/3
topics[1].domain.display_name	Physical Sciences
topics[1].subfield.id	https://openalex.org/subfields/1703
topics[1].subfield.display_name	Computational Theory and Mathematics
topics[1].display_name	semigroups and automata theory
topics[2].id	https://openalex.org/T13182
topics[2].field.id	https://openalex.org/fields/17
topics[2].field.display_name	Computer Science
topics[2].score	0.652400016784668
topics[2].domain.id	https://openalex.org/domains/3
topics[2].domain.display_name	Physical Sciences
topics[2].subfield.id	https://openalex.org/subfields/1703
topics[2].subfield.display_name	Computational Theory and Mathematics
topics[2].display_name	Quantum-Dot Cellular Automata
is_xpac	False
apc_list
apc_paid
concepts[0].id	https://openalex.org/C41008148
concepts[0].level	0
concepts[0].score	0.6194362044334412
concepts[0].wikidata	https://www.wikidata.org/wiki/Q21198
concepts[0].display_name	Computer science
concepts[1].id	https://openalex.org/C182306322
concepts[1].level	2
concepts[1].score	0.5039100050926208
concepts[1].wikidata	https://www.wikidata.org/wiki/Q1779371
concepts[1].display_name	Order (exchange)
concepts[2].id	https://openalex.org/C199360897
concepts[2].level	1
concepts[2].score	0.44900378584861755
concepts[2].wikidata	https://www.wikidata.org/wiki/Q9143
concepts[2].display_name	Programming language
concepts[3].id	https://openalex.org/C144133560
concepts[3].level	0
concepts[3].score	0.11433964967727661
concepts[3].wikidata	https://www.wikidata.org/wiki/Q4830453
concepts[3].display_name	Business
concepts[4].id	https://openalex.org/C10138342
concepts[4].level	1
concepts[4].score	0.0
concepts[4].wikidata	https://www.wikidata.org/wiki/Q43015
concepts[4].display_name	Finance
keywords[0].id	https://openalex.org/keywords/computer-science
keywords[0].score	0.6194362044334412
keywords[0].display_name	Computer science
keywords[1].id	https://openalex.org/keywords/order
keywords[1].score	0.5039100050926208
keywords[1].display_name	Order (exchange)
keywords[2].id	https://openalex.org/keywords/programming-language
keywords[2].score	0.44900378584861755
keywords[2].display_name	Programming language
keywords[3].id	https://openalex.org/keywords/business
keywords[3].score	0.11433964967727661
keywords[3].display_name	Business
language	en
locations[0].id	pmh:oai:HAL:hal-03756335v1
locations[0].is_oa	True
locations[0].source.id	https://openalex.org/S4306402512
locations[0].source.issn
locations[0].source.type	repository
locations[0].source.is_oa	False
locations[0].source.issn_l
locations[0].source.is_core	False
locations[0].source.is_in_doaj	False
locations[0].source.display_name	HAL (Le Centre pour la Communication Scientifique Directe)
locations[0].source.host_organization	https://openalex.org/I1294671590
locations[0].source.host_organization_name	Centre National de la Recherche Scientifique
locations[0].source.host_organization_lineage	https://openalex.org/I1294671590
locations[0].license	other-oa
locations[0].pdf_url
locations[0].version	submittedVersion
locations[0].raw_type	Conference papers
locations[0].license_id	https://openalex.org/licenses/other-oa
locations[0].is_accepted	False
locations[0].is_published	False
locations[0].raw_source_name	The Coq Workshop 2022, Aug 2022, Haifa, Israel
locations[0].landing_page_url	https://hal.science/hal-03756335
authorships[0].author.id	https://openalex.org/A5067282848
authorships[0].author.orcid	https://orcid.org/0000-0003-4126-6975
authorships[0].author.display_name	Dominik Kirst
authorships[0].affiliations[0].raw_affiliation_string	Programming Systems Lab [Saarland]
authorships[0].author_position	first
authorships[0].raw_author_name	Dominik Kirst
authorships[0].is_corresponding	False
authorships[0].raw_affiliation_strings	Programming Systems Lab [Saarland]
authorships[1].author.id	https://openalex.org/A5017162501
authorships[1].author.orcid	https://orcid.org/0000-0001-5038-8283
authorships[1].author.display_name	Johannes Hostert
authorships[1].affiliations[0].raw_affiliation_string	Programming Systems Lab [Saarland]
authorships[1].author_position	middle
authorships[1].raw_author_name	Johannes Hostert
authorships[1].is_corresponding	False
authorships[1].raw_affiliation_strings	Programming Systems Lab [Saarland]
authorships[2].author.id	https://openalex.org/A5017299598
authorships[2].author.orcid	https://orcid.org/0000-0003-1104-444X
authorships[2].author.display_name	Andrej Dudenhefner
authorships[2].affiliations[0].raw_affiliation_string	Programming Systems Lab [Saarland]
authorships[2].author_position	middle
authorships[2].raw_author_name	Andrej Dudenhefner
authorships[2].is_corresponding	False
authorships[2].raw_affiliation_strings	Programming Systems Lab [Saarland]
authorships[3].author.id	https://openalex.org/A5080496189
authorships[3].author.orcid	https://orcid.org/0000-0002-8676-9819
authorships[3].author.display_name	Yannick Forster
authorships[3].affiliations[0].raw_affiliation_string	Programming Systems Lab [Saarland]
authorships[3].author_position	middle
authorships[3].raw_author_name	Yannick Forster
authorships[3].is_corresponding	False
authorships[3].raw_affiliation_strings	Programming Systems Lab [Saarland]
authorships[4].author.id	https://openalex.org/A5009337783
authorships[4].author.orcid	https://orcid.org/0000-0002-0375-759X
authorships[4].author.display_name	Marc Hermes
authorships[4].affiliations[0].raw_affiliation_string	Programming Systems Lab [Saarland]
authorships[4].author_position	middle
authorships[4].raw_author_name	Marc Hermes
authorships[4].is_corresponding	False
authorships[4].raw_affiliation_strings	Programming Systems Lab [Saarland]
authorships[5].author.id	https://openalex.org/A5025991505
authorships[5].author.orcid	https://orcid.org/0000-0001-8511-2703
authorships[5].author.display_name	Mark Koch
authorships[5].affiliations[0].raw_affiliation_string	Programming Systems Lab [Saarland]
authorships[5].author_position	middle
authorships[5].raw_author_name	Mark Koch
authorships[5].is_corresponding	False
authorships[5].raw_affiliation_strings	Programming Systems Lab [Saarland]
authorships[6].author.id	https://openalex.org/A5069943669
authorships[6].author.orcid	https://orcid.org/0000-0001-9860-7203
authorships[6].author.display_name	Dominique Larchey-Wendling
authorships[6].countries	CA
authorships[6].affiliations[0].institution_ids	https://openalex.org/I4210130134
authorships[6].affiliations[0].raw_affiliation_string	Logic, Proof Theory and Programming
authorships[6].institutions[0].id	https://openalex.org/I4210130134
authorships[6].institutions[0].ror	https://ror.org/039j5vj89
authorships[6].institutions[0].type	nonprofit
authorships[6].institutions[0].lineage	https://openalex.org/I4210130134
authorships[6].institutions[0].country_code	CA
authorships[6].institutions[0].display_name	Prevention of Organ Failure
authorships[6].author_position	middle
authorships[6].raw_author_name	Dominique Larchey-Wendling
authorships[6].is_corresponding	False
authorships[6].raw_affiliation_strings	Logic, Proof Theory and Programming
authorships[7].author.id	https://openalex.org/A5026999515
authorships[7].author.orcid	https://orcid.org/0009-0006-9622-0762
authorships[7].author.display_name	Niklas Mück
authorships[7].affiliations[0].raw_affiliation_string	Programming Systems Lab [Saarland]
authorships[7].author_position	middle
authorships[7].raw_author_name	Niklas Mück
authorships[7].is_corresponding	False
authorships[7].raw_affiliation_strings	Programming Systems Lab [Saarland]
authorships[8].author.id	https://openalex.org/A5084076989
authorships[8].author.orcid	https://orcid.org/0000-0002-6219-4897
authorships[8].author.display_name	Benjamin Peters
authorships[8].affiliations[0].raw_affiliation_string	Programming Systems Lab [Saarland]
authorships[8].author_position	middle
authorships[8].raw_author_name	Benjamin Peters
authorships[8].is_corresponding	False
authorships[8].raw_affiliation_strings	Programming Systems Lab [Saarland]
authorships[9].author.id	https://openalex.org/A5073707150
authorships[9].author.orcid
authorships[9].author.display_name	Gert Smolka
authorships[9].affiliations[0].raw_affiliation_string	Programming Systems Lab [Saarland]
authorships[9].author_position	middle
authorships[9].raw_author_name	Gert Smolka
authorships[9].is_corresponding	False
authorships[9].raw_affiliation_strings	Programming Systems Lab [Saarland]
authorships[10].author.id	https://openalex.org/A5004734899
authorships[10].author.orcid	https://orcid.org/0000-0001-6456-8111
authorships[10].author.display_name	Dominik Wehr
authorships[10].affiliations[0].raw_affiliation_string	Programming Systems Lab [Saarland]
authorships[10].author_position	last
authorships[10].raw_author_name	Dominik Wehr
authorships[10].is_corresponding	False
authorships[10].raw_affiliation_strings	Programming Systems Lab [Saarland]
has_content.pdf	False
has_content.grobid_xml	False
is_paratext	False
open_access.is_oa	True
open_access.oa_url	https://hal.science/hal-03756335
open_access.oa_status	green
open_access.any_repository_has_fulltext	False
created_date	2025-10-10T00:00:00
display_name	A Coq Library for Mechanised First-Order Logic
has_fulltext	False
is_retracted	False
updated_date	2025-11-06T04:12:42.849631
primary_topic.id	https://openalex.org/T12029
primary_topic.field.id	https://openalex.org/fields/13
primary_topic.field.display_name	Biochemistry, Genetics and Molecular Biology
primary_topic.score	0.675000011920929
primary_topic.domain.id	https://openalex.org/domains/1
primary_topic.domain.display_name	Life Sciences
primary_topic.subfield.id	https://openalex.org/subfields/1312
primary_topic.subfield.display_name	Molecular Biology
primary_topic.display_name	DNA and Biological Computing
related_works	https://openalex.org/W2748952813, https://openalex.org/W2390279801, https://openalex.org/W2358668433, https://openalex.org/W2376932109, https://openalex.org/W2001405890, https://openalex.org/W2382290278, https://openalex.org/W2478288626, https://openalex.org/W4391913857, https://openalex.org/W2350741829, https://openalex.org/W2530322880
cited_by_count	2
counts_by_year[0].year	2024
counts_by_year[0].cited_by_count	1
counts_by_year[1].year	2023
counts_by_year[1].cited_by_count	1
locations_count	1
best_oa_location.id	pmh:oai:HAL:hal-03756335v1
best_oa_location.is_oa	True
best_oa_location.source.id	https://openalex.org/S4306402512
best_oa_location.source.issn
best_oa_location.source.type	repository
best_oa_location.source.is_oa	False
best_oa_location.source.issn_l
best_oa_location.source.is_core	False
best_oa_location.source.is_in_doaj	False
best_oa_location.source.display_name	HAL (Le Centre pour la Communication Scientifique Directe)
best_oa_location.source.host_organization	https://openalex.org/I1294671590
best_oa_location.source.host_organization_name	Centre National de la Recherche Scientifique
best_oa_location.source.host_organization_lineage	https://openalex.org/I1294671590
best_oa_location.license	other-oa
best_oa_location.pdf_url
best_oa_location.version	submittedVersion
best_oa_location.raw_type	Conference papers
best_oa_location.license_id	https://openalex.org/licenses/other-oa
best_oa_location.is_accepted	False
best_oa_location.is_published	False
best_oa_location.raw_source_name	The Coq Workshop 2022, Aug 2022, Haifa, Israel
best_oa_location.landing_page_url	https://hal.science/hal-03756335
primary_location.id	pmh:oai:HAL:hal-03756335v1
primary_location.is_oa	True
primary_location.source.id	https://openalex.org/S4306402512
primary_location.source.issn
primary_location.source.type	repository
primary_location.source.is_oa	False
primary_location.source.issn_l
primary_location.source.is_core	False
primary_location.source.is_in_doaj	False
primary_location.source.display_name	HAL (Le Centre pour la Communication Scientifique Directe)
primary_location.source.host_organization	https://openalex.org/I1294671590
primary_location.source.host_organization_name	Centre National de la Recherche Scientifique
primary_location.source.host_organization_lineage	https://openalex.org/I1294671590
primary_location.license	other-oa
primary_location.pdf_url
primary_location.version	submittedVersion
primary_location.raw_type	Conference papers
primary_location.license_id	https://openalex.org/licenses/other-oa
primary_location.is_accepted	False
primary_location.is_published	False
primary_location.raw_source_name	The Coq Workshop 2022, Aug 2022, Haifa, Israel
primary_location.landing_page_url	https://hal.science/hal-03756335
publication_date	2022-08-12
publication_year	2022
referenced_works_count	0
abstract_inverted_index.audience	1
abstract_inverted_index.International	0
cited_by_percentile_year.max	94
cited_by_percentile_year.min	89
countries_distinct_count	1
institutions_distinct_count	11
citation_normalized_percentile.value	0.502581
citation_normalized_percentile.is_in_top_1_percent	False
citation_normalized_percentile.is_in_top_10_percent	False