FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2267946875> ?p ?o ?g. }

• W2267946875 abstract "We examine the relationship between proof and computation in mathematics, especially in formalized mathematics. We compare the various approaches to proofs with a significant computational component, including (i) verifying  the algorithms, (ii) verifying the results of the unverified algorithms, and (iii) trusting an external computation." @default.
• W2267946875 created "2016-06-24" @default.
• W2267946875 creator A5034098863 @default.
• W2267946875 date "2016-01-01" @default.
• W2267946875 modified "2023-09-26" @default.
• W2267946875 title "Mixing Computations and Proofs" @default.
• W2267946875 cites W121484200 @default.
• W2267946875 cites W1494553505 @default.
• W2267946875 cites W1514486135 @default.
• W2267946875 cites W1516397683 @default.
• W2267946875 cites W1516795788 @default.
• W2267946875 cites W1521372188 @default.
• W2267946875 cites W1523874359 @default.
• W2267946875 cites W1525737662 @default.
• W2267946875 cites W1534850143 @default.
• W2267946875 cites W1536871194 @default.
• W2267946875 cites W1568559122 @default.
• W2267946875 cites W1589866633 @default.
• W2267946875 cites W1590828018 @default.
• W2267946875 cites W1603543937 @default.
• W2267946875 cites W1607231186 @default.
• W2267946875 cites W1755672467 @default.
• W2267946875 cites W1766647772 @default.
• W2267946875 cites W1768814311 @default.
• W2267946875 cites W183809628 @default.
• W2267946875 cites W1972785857 @default.
• W2267946875 cites W1981455273 @default.
• W2267946875 cites W1984801909 @default.
• W2267946875 cites W2004639559 @default.
• W2267946875 cites W2033513250 @default.
• W2267946875 cites W2045689965 @default.
• W2267946875 cites W2059327787 @default.
• W2267946875 cites W2078700544 @default.
• W2267946875 cites W2079280457 @default.
• W2267946875 cites W2081019971 @default.
• W2267946875 cites W2098909266 @default.
• W2267946875 cites W2103898608 @default.
• W2267946875 cites W2106226212 @default.
• W2267946875 cites W2133093325 @default.
• W2267946875 cites W2133403781 @default.
• W2267946875 cites W2135750745 @default.
• W2267946875 cites W2136446682 @default.
• W2267946875 cites W2137810559 @default.
• W2267946875 cites W2157925461 @default.
• W2267946875 cites W2316406086 @default.
• W2267946875 cites W2413029416 @default.
• W2267946875 cites W2552343984 @default.
• W2267946875 cites W2949579053 @default.
• W2267946875 cites W1577467529 @default.
• W2267946875 cites W2491370528 @default.
• W2267946875 cites W2517404649 @default.
• W2267946875 doi "https://doi.org/10.6092/issn.1972-5787/4552" @default.
• W2267946875 hasPublicationYear "2016" @default.
• W2267946875 type Work @default.
• W2267946875 sameAs 2267946875 @default.
• W2267946875 citedByCount "4" @default.
• W2267946875 countsByYear W22679468752016 @default.
• W2267946875 countsByYear W22679468752020 @default.
• W2267946875 countsByYear W22679468752022 @default.
• W2267946875 crossrefType "journal-article" @default.
• W2267946875 hasAuthorship W2267946875A5034098863 @default.
• W2267946875 hasBestOaLocation W22679468752 @default.
• W2267946875 hasConcept C108710211 @default.
• W2267946875 hasConcept C11413529 @default.
• W2267946875 hasConcept C121332964 @default.
• W2267946875 hasConcept C138777275 @default.
• W2267946875 hasConcept C168167062 @default.
• W2267946875 hasConcept C203265346 @default.
• W2267946875 hasConcept C2524010 @default.
• W2267946875 hasConcept C33923547 @default.
• W2267946875 hasConcept C41008148 @default.
• W2267946875 hasConcept C45374587 @default.
• W2267946875 hasConcept C62520636 @default.
• W2267946875 hasConcept C80444323 @default.
• W2267946875 hasConcept C97355855 @default.
• W2267946875 hasConceptScore W2267946875C108710211 @default.
• W2267946875 hasConceptScore W2267946875C11413529 @default.
• W2267946875 hasConceptScore W2267946875C121332964 @default.
• W2267946875 hasConceptScore W2267946875C138777275 @default.
• W2267946875 hasConceptScore W2267946875C168167062 @default.
• W2267946875 hasConceptScore W2267946875C203265346 @default.
• W2267946875 hasConceptScore W2267946875C2524010 @default.
• W2267946875 hasConceptScore W2267946875C33923547 @default.
• W2267946875 hasConceptScore W2267946875C41008148 @default.
• W2267946875 hasConceptScore W2267946875C45374587 @default.
• W2267946875 hasConceptScore W2267946875C62520636 @default.
• W2267946875 hasConceptScore W2267946875C80444323 @default.
• W2267946875 hasConceptScore W2267946875C97355855 @default.
• W2267946875 hasLocation W22679468751 @default.
• W2267946875 hasLocation W22679468752 @default.
• W2267946875 hasOpenAccess W2267946875 @default.
• W2267946875 hasPrimaryLocation W22679468751 @default.
• W2267946875 hasRelatedWork W1483284084 @default.
• W2267946875 hasRelatedWork W1506927614 @default.
• W2267946875 hasRelatedWork W1516299941 @default.
• W2267946875 hasRelatedWork W1519256419 @default.
• W2267946875 hasRelatedWork W1521485168 @default.
• W2267946875 hasRelatedWork W1589368437 @default.
• W2267946875 hasRelatedWork W1835022414 @default.
• W2267946875 hasRelatedWork W2022751246 @default.

• next