Matches in SemOpenAlex for { <https://semopenalex.org/work/W2765472795> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2765472795 abstract "Russell is a logical framework for the specification and implementation of deductive systems. It is a high-level language with respect to Metamath language, so inherently it uses a Metamath foundations, i.e. it doesn't rely on any particular formal calculus, but rather is a pure logical framework. The main difference with Metamath is in the proof language and approach to syntax: the proofs have a declarative form, i.e. consist of actual expressions, which are used in proofs, while syntactic grammar rules are separated from the meaningful rules of inference. Russell is implemented in c++14 and is distributed under GPL v3 license. The repository contains translators from Metamath to Russell and back. Original Metamath theorem base (almost 30 000 theorems) can be translated to Russell, verified, translated back to Metamath and verified with the original Metamath verifier. Russell can be downloaded from the repository this https URL" @default.
- W2765472795 created "2017-11-10" @default.
- W2765472795 creator A5044325589 @default.
- W2765472795 date "2017-10-17" @default.
- W2765472795 modified "2023-09-27" @default.
- W2765472795 title "System Description: Russell - A Logical Framework for Deductive Systems" @default.
- W2765472795 cites W2272472459 @default.
- W2765472795 hasPublicationYear "2017" @default.
- W2765472795 type Work @default.
- W2765472795 sameAs 2765472795 @default.
- W2765472795 citedByCount "0" @default.
- W2765472795 crossrefType "posted-content" @default.
- W2765472795 hasAuthorship W2765472795A5044325589 @default.
- W2765472795 hasConcept C102315432 @default.
- W2765472795 hasConcept C108710211 @default.
- W2765472795 hasConcept C114408938 @default.
- W2765472795 hasConcept C138885662 @default.
- W2765472795 hasConcept C154945302 @default.
- W2765472795 hasConcept C184337299 @default.
- W2765472795 hasConcept C199343813 @default.
- W2765472795 hasConcept C199360897 @default.
- W2765472795 hasConcept C204321447 @default.
- W2765472795 hasConcept C20693621 @default.
- W2765472795 hasConcept C2524010 @default.
- W2765472795 hasConcept C26022165 @default.
- W2765472795 hasConcept C2776214188 @default.
- W2765472795 hasConcept C2777686260 @default.
- W2765472795 hasConcept C33923547 @default.
- W2765472795 hasConcept C41008148 @default.
- W2765472795 hasConcept C41895202 @default.
- W2765472795 hasConcept C60048249 @default.
- W2765472795 hasConcept C71924100 @default.
- W2765472795 hasConceptScore W2765472795C102315432 @default.
- W2765472795 hasConceptScore W2765472795C108710211 @default.
- W2765472795 hasConceptScore W2765472795C114408938 @default.
- W2765472795 hasConceptScore W2765472795C138885662 @default.
- W2765472795 hasConceptScore W2765472795C154945302 @default.
- W2765472795 hasConceptScore W2765472795C184337299 @default.
- W2765472795 hasConceptScore W2765472795C199343813 @default.
- W2765472795 hasConceptScore W2765472795C199360897 @default.
- W2765472795 hasConceptScore W2765472795C204321447 @default.
- W2765472795 hasConceptScore W2765472795C20693621 @default.
- W2765472795 hasConceptScore W2765472795C2524010 @default.
- W2765472795 hasConceptScore W2765472795C26022165 @default.
- W2765472795 hasConceptScore W2765472795C2776214188 @default.
- W2765472795 hasConceptScore W2765472795C2777686260 @default.
- W2765472795 hasConceptScore W2765472795C33923547 @default.
- W2765472795 hasConceptScore W2765472795C41008148 @default.
- W2765472795 hasConceptScore W2765472795C41895202 @default.
- W2765472795 hasConceptScore W2765472795C60048249 @default.
- W2765472795 hasConceptScore W2765472795C71924100 @default.
- W2765472795 hasLocation W27654727951 @default.
- W2765472795 hasOpenAccess W2765472795 @default.
- W2765472795 hasPrimaryLocation W27654727951 @default.
- W2765472795 hasRelatedWork W1501421016 @default.
- W2765472795 hasRelatedWork W1563218161 @default.
- W2765472795 hasRelatedWork W1568176286 @default.
- W2765472795 hasRelatedWork W1579200056 @default.
- W2765472795 hasRelatedWork W1701167083 @default.
- W2765472795 hasRelatedWork W1815469880 @default.
- W2765472795 hasRelatedWork W2164719159 @default.
- W2765472795 hasRelatedWork W2167624661 @default.
- W2765472795 hasRelatedWork W2169776427 @default.
- W2765472795 hasRelatedWork W2286721516 @default.
- W2765472795 hasRelatedWork W2332020840 @default.
- W2765472795 hasRelatedWork W2474384703 @default.
- W2765472795 hasRelatedWork W2515420469 @default.
- W2765472795 hasRelatedWork W3016159912 @default.
- W2765472795 hasRelatedWork W3099956889 @default.
- W2765472795 hasRelatedWork W3142914791 @default.
- W2765472795 hasRelatedWork W3193631004 @default.
- W2765472795 hasRelatedWork W43222467 @default.
- W2765472795 hasRelatedWork W197073196 @default.
- W2765472795 hasRelatedWork W2113017868 @default.
- W2765472795 isParatext "false" @default.
- W2765472795 isRetracted "false" @default.
- W2765472795 magId "2765472795" @default.
- W2765472795 workType "article" @default.