Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953556507> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2953556507 abstract "We introduce a plugin for the interactive prover Coq to export its libraries to a machine readable XML format. The information exported is the one checked by Coq’s kernel after the input is elaborated, augmented with additional data coming from the elaboration itself." @default.
- W2953556507 created "2019-07-12" @default.
- W2953556507 creator A5081097346 @default.
- W2953556507 date "2019-01-01" @default.
- W2953556507 modified "2023-09-28" @default.
- W2953556507 title "A Plugin to Export Coq Libraries to XML" @default.
- W2953556507 cites W1502198328 @default.
- W2953556507 cites W1517818229 @default.
- W2953556507 cites W1560644653 @default.
- W2953556507 cites W1569318606 @default.
- W2953556507 cites W1579218062 @default.
- W2953556507 cites W1593320022 @default.
- W2953556507 cites W1881760753 @default.
- W2953556507 cites W1999680561 @default.
- W2953556507 cites W2004639559 @default.
- W2953556507 cites W2166662837 @default.
- W2953556507 cites W2506991938 @default.
- W2953556507 cites W2725162198 @default.
- W2953556507 cites W2792493843 @default.
- W2953556507 cites W2954163388 @default.
- W2953556507 cites W2956143085 @default.
- W2953556507 doi "https://doi.org/10.1007/978-3-030-23250-4_17" @default.
- W2953556507 hasPublicationYear "2019" @default.
- W2953556507 type Work @default.
- W2953556507 sameAs 2953556507 @default.
- W2953556507 citedByCount "4" @default.
- W2953556507 countsByYear W29535565072019 @default.
- W2953556507 countsByYear W29535565072020 @default.
- W2953556507 countsByYear W29535565072021 @default.
- W2953556507 crossrefType "book-chapter" @default.
- W2953556507 hasAuthorship W2953556507A5081097346 @default.
- W2953556507 hasConcept C115903868 @default.
- W2953556507 hasConcept C136764020 @default.
- W2953556507 hasConcept C199360897 @default.
- W2953556507 hasConcept C41008148 @default.
- W2953556507 hasConcept C4924752 @default.
- W2953556507 hasConcept C77088390 @default.
- W2953556507 hasConcept C8797682 @default.
- W2953556507 hasConceptScore W2953556507C115903868 @default.
- W2953556507 hasConceptScore W2953556507C136764020 @default.
- W2953556507 hasConceptScore W2953556507C199360897 @default.
- W2953556507 hasConceptScore W2953556507C41008148 @default.
- W2953556507 hasConceptScore W2953556507C4924752 @default.
- W2953556507 hasConceptScore W2953556507C77088390 @default.
- W2953556507 hasConceptScore W2953556507C8797682 @default.
- W2953556507 hasLocation W29535565071 @default.
- W2953556507 hasOpenAccess W2953556507 @default.
- W2953556507 hasPrimaryLocation W29535565071 @default.
- W2953556507 hasRelatedWork W180250184 @default.
- W2953556507 hasRelatedWork W1985957359 @default.
- W2953556507 hasRelatedWork W1995470085 @default.
- W2953556507 hasRelatedWork W2352934963 @default.
- W2953556507 hasRelatedWork W2353318323 @default.
- W2953556507 hasRelatedWork W2354517084 @default.
- W2953556507 hasRelatedWork W2751999904 @default.
- W2953556507 hasRelatedWork W1764799242 @default.
- W2953556507 hasRelatedWork W2117600431 @default.
- W2953556507 hasRelatedWork W2775673156 @default.
- W2953556507 hasRelatedWork W2845839628 @default.
- W2953556507 isParatext "false" @default.
- W2953556507 isRetracted "false" @default.
- W2953556507 magId "2953556507" @default.
- W2953556507 workType "book-chapter" @default.