Matches in SemOpenAlex for { <https://semopenalex.org/work/W2207610991> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2207610991 abstract "We present an encoding of Zermelo-Fraenkel set theory into many-sorted first-order logic, the input language of state-of-the-art SMT solvers. This translation is the main component of a back-end prover based on SMT solvers in the TLA+ Proof System." @default.
- W2207610991 created "2016-06-24" @default.
- W2207610991 creator A5019333672 @default.
- W2207610991 creator A5067310583 @default.
- W2207610991 date "2015-12-16" @default.
- W2207610991 modified "2023-09-23" @default.
- W2207610991 title "Encoding TLA+ set theory into many-sorted first-order logic" @default.
- W2207610991 cites W129696796 @default.
- W2207610991 cites W1494832913 @default.
- W2207610991 cites W1504504841 @default.
- W2207610991 cites W1561838277 @default.
- W2207610991 cites W1583295953 @default.
- W2207610991 cites W1878755246 @default.
- W2207610991 cites W1957756542 @default.
- W2207610991 cites W2022589543 @default.
- W2207610991 cites W2139488993 @default.
- W2207610991 cites W29617856 @default.
- W2207610991 cites W93810569 @default.
- W2207610991 hasPublicationYear "2015" @default.
- W2207610991 type Work @default.
- W2207610991 sameAs 2207610991 @default.
- W2207610991 citedByCount "0" @default.
- W2207610991 crossrefType "posted-content" @default.
- W2207610991 hasAuthorship W2207610991A5019333672 @default.
- W2207610991 hasAuthorship W2207610991A5067310583 @default.
- W2207610991 hasBestOaLocation W22076109911 @default.
- W2207610991 hasConcept C10138342 @default.
- W2207610991 hasConcept C125411270 @default.
- W2207610991 hasConcept C144133560 @default.
- W2207610991 hasConcept C154945302 @default.
- W2207610991 hasConcept C177264268 @default.
- W2207610991 hasConcept C182306322 @default.
- W2207610991 hasConcept C199360897 @default.
- W2207610991 hasConcept C33923547 @default.
- W2207610991 hasConcept C41008148 @default.
- W2207610991 hasConcept C80444323 @default.
- W2207610991 hasConceptScore W2207610991C10138342 @default.
- W2207610991 hasConceptScore W2207610991C125411270 @default.
- W2207610991 hasConceptScore W2207610991C144133560 @default.
- W2207610991 hasConceptScore W2207610991C154945302 @default.
- W2207610991 hasConceptScore W2207610991C177264268 @default.
- W2207610991 hasConceptScore W2207610991C182306322 @default.
- W2207610991 hasConceptScore W2207610991C199360897 @default.
- W2207610991 hasConceptScore W2207610991C33923547 @default.
- W2207610991 hasConceptScore W2207610991C41008148 @default.
- W2207610991 hasConceptScore W2207610991C80444323 @default.
- W2207610991 hasLocation W22076109911 @default.
- W2207610991 hasLocation W22076109912 @default.
- W2207610991 hasLocation W22076109913 @default.
- W2207610991 hasOpenAccess W2207610991 @default.
- W2207610991 hasPrimaryLocation W22076109911 @default.
- W2207610991 hasRelatedWork W2054384926 @default.
- W2207610991 hasRelatedWork W2118359714 @default.
- W2207610991 hasRelatedWork W2142423295 @default.
- W2207610991 hasRelatedWork W2380356231 @default.
- W2207610991 hasRelatedWork W2389073067 @default.
- W2207610991 hasRelatedWork W250853007 @default.
- W2207610991 hasRelatedWork W2562957045 @default.
- W2207610991 hasRelatedWork W2886988328 @default.
- W2207610991 hasRelatedWork W3086245469 @default.
- W2207610991 hasRelatedWork W4380203703 @default.
- W2207610991 isParatext "false" @default.
- W2207610991 isRetracted "false" @default.
- W2207610991 magId "2207610991" @default.
- W2207610991 workType "article" @default.