Matches in SemOpenAlex for { <https://semopenalex.org/work/W1558859407> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1558859407 endingPage "35" @default.
- W1558859407 startingPage "23" @default.
- W1558859407 abstract "Modern proof-assistants are now mature enough to formalise many aspects of mathematics. I outline some work we have done using the proof-assistant Isabelle to machine-check aspects of proof theory in general, and specifically the proof theory of provability logic GL." @default.
- W1558859407 created "2016-06-24" @default.
- W1558859407 creator A5088219777 @default.
- W1558859407 date "2008-01-01" @default.
- W1558859407 modified "2023-09-23" @default.
- W1558859407 title "Machine Checking Proof Theory: An Application of Logic to Logic" @default.
- W1558859407 cites W1545081843 @default.
- W1558859407 cites W1995718667 @default.
- W1558859407 cites W2036161385 @default.
- W1558859407 cites W2058973858 @default.
- W1558859407 cites W2059933820 @default.
- W1558859407 doi "https://doi.org/10.1007/978-3-540-92701-3_2" @default.
- W1558859407 hasPublicationYear "2008" @default.
- W1558859407 type Work @default.
- W1558859407 sameAs 1558859407 @default.
- W1558859407 citedByCount "3" @default.
- W1558859407 countsByYear W15588594072016 @default.
- W1558859407 countsByYear W15588594072017 @default.
- W1558859407 crossrefType "book-chapter" @default.
- W1558859407 hasAuthorship W1558859407A5088219777 @default.
- W1558859407 hasConcept C105605280 @default.
- W1558859407 hasConcept C108710211 @default.
- W1558859407 hasConcept C135754263 @default.
- W1558859407 hasConcept C173613240 @default.
- W1558859407 hasConcept C195653647 @default.
- W1558859407 hasConcept C199343813 @default.
- W1558859407 hasConcept C199360897 @default.
- W1558859407 hasConcept C203265346 @default.
- W1558859407 hasConcept C206880738 @default.
- W1558859407 hasConcept C2318724 @default.
- W1558859407 hasConcept C2524010 @default.
- W1558859407 hasConcept C2777686260 @default.
- W1558859407 hasConcept C33923547 @default.
- W1558859407 hasConcept C41008148 @default.
- W1558859407 hasConcept C47884741 @default.
- W1558859407 hasConcept C71924100 @default.
- W1558859407 hasConcept C80444323 @default.
- W1558859407 hasConceptScore W1558859407C105605280 @default.
- W1558859407 hasConceptScore W1558859407C108710211 @default.
- W1558859407 hasConceptScore W1558859407C135754263 @default.
- W1558859407 hasConceptScore W1558859407C173613240 @default.
- W1558859407 hasConceptScore W1558859407C195653647 @default.
- W1558859407 hasConceptScore W1558859407C199343813 @default.
- W1558859407 hasConceptScore W1558859407C199360897 @default.
- W1558859407 hasConceptScore W1558859407C203265346 @default.
- W1558859407 hasConceptScore W1558859407C206880738 @default.
- W1558859407 hasConceptScore W1558859407C2318724 @default.
- W1558859407 hasConceptScore W1558859407C2524010 @default.
- W1558859407 hasConceptScore W1558859407C2777686260 @default.
- W1558859407 hasConceptScore W1558859407C33923547 @default.
- W1558859407 hasConceptScore W1558859407C41008148 @default.
- W1558859407 hasConceptScore W1558859407C47884741 @default.
- W1558859407 hasConceptScore W1558859407C71924100 @default.
- W1558859407 hasConceptScore W1558859407C80444323 @default.
- W1558859407 hasLocation W15588594071 @default.
- W1558859407 hasOpenAccess W1558859407 @default.
- W1558859407 hasPrimaryLocation W15588594071 @default.
- W1558859407 hasRelatedWork W1500659951 @default.
- W1558859407 hasRelatedWork W1503170941 @default.
- W1558859407 hasRelatedWork W1858809161 @default.
- W1558859407 hasRelatedWork W2050283601 @default.
- W1558859407 hasRelatedWork W2055920195 @default.
- W1558859407 hasRelatedWork W2463991046 @default.
- W1558859407 hasRelatedWork W2795365301 @default.
- W1558859407 hasRelatedWork W1852954869 @default.
- W1558859407 hasRelatedWork W2119682046 @default.
- W1558859407 hasRelatedWork W2611984052 @default.
- W1558859407 isParatext "false" @default.
- W1558859407 isRetracted "false" @default.
- W1558859407 magId "1558859407" @default.
- W1558859407 workType "book-chapter" @default.