FRINK Linked Data Fragments server

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

• W1566809768 abstract "New successes in dealing with set theories by means of stateof-the-art theorem-provers may ensue from terse and concise axiomatizations, such as can be moulded in the framework of the (fully equational) Tarski-Givant map calculus. In this paper we carry out this task in detail, setting the ground for a number of experiments." @default.
• W1566809768 created "2016-06-24" @default.
• W1566809768 creator A5049720199 @default.
• W1566809768 creator A5050863922 @default.
• W1566809768 date "2000-01-01" @default.
• W1566809768 modified "2023-09-26" @default.
• W1566809768 title "An Equational Re-engineering of Set Theories" @default.
• W1566809768 cites W1485170666 @default.
• W1566809768 cites W1495433690 @default.
• W1566809768 cites W1505743816 @default.
• W1566809768 cites W1544799691 @default.
• W1566809768 cites W1549237291 @default.
• W1566809768 cites W1558325643 @default.
• W1566809768 cites W1567558468 @default.
• W1566809768 cites W1966945932 @default.
• W1566809768 cites W1968724907 @default.
• W1566809768 cites W1984699712 @default.
• W1566809768 cites W1990347565 @default.
• W1566809768 cites W2006006495 @default.
• W1566809768 cites W2016058610 @default.
• W1566809768 cites W2018944629 @default.
• W1566809768 cites W2026387431 @default.
• W1566809768 cites W2034137401 @default.
• W1566809768 cites W2041161966 @default.
• W1566809768 cites W2062980567 @default.
• W1566809768 cites W2073127449 @default.
• W1566809768 cites W2081706307 @default.
• W1566809768 cites W2091542811 @default.
• W1566809768 cites W2137033866 @default.
• W1566809768 cites W3145287507 @default.
• W1566809768 cites W637577631 @default.
• W1566809768 doi "https://doi.org/10.1007/3-540-46508-1_12" @default.
• W1566809768 hasPublicationYear "2000" @default.
• W1566809768 type Work @default.
• W1566809768 sameAs 1566809768 @default.
• W1566809768 citedByCount "14" @default.
• W1566809768 countsByYear W15668097682015 @default.
• W1566809768 countsByYear W15668097682018 @default.
• W1566809768 crossrefType "book-chapter" @default.
• W1566809768 hasAuthorship W1566809768A5049720199 @default.
• W1566809768 hasAuthorship W1566809768A5050863922 @default.
• W1566809768 hasConcept C11413529 @default.
• W1566809768 hasConcept C136119220 @default.
• W1566809768 hasConcept C153046414 @default.
• W1566809768 hasConcept C154564781 @default.
• W1566809768 hasConcept C154690210 @default.
• W1566809768 hasConcept C162324750 @default.
• W1566809768 hasConcept C177264268 @default.
• W1566809768 hasConcept C187736073 @default.
• W1566809768 hasConcept C199343813 @default.
• W1566809768 hasConcept C199360897 @default.
• W1566809768 hasConcept C202444582 @default.
• W1566809768 hasConcept C206880738 @default.
• W1566809768 hasConcept C2777686260 @default.
• W1566809768 hasConcept C2780451532 @default.
• W1566809768 hasConcept C33923547 @default.
• W1566809768 hasConcept C41008148 @default.
• W1566809768 hasConcept C71924100 @default.
• W1566809768 hasConcept C80444323 @default.
• W1566809768 hasConceptScore W1566809768C11413529 @default.
• W1566809768 hasConceptScore W1566809768C136119220 @default.
• W1566809768 hasConceptScore W1566809768C153046414 @default.
• W1566809768 hasConceptScore W1566809768C154564781 @default.
• W1566809768 hasConceptScore W1566809768C154690210 @default.
• W1566809768 hasConceptScore W1566809768C162324750 @default.
• W1566809768 hasConceptScore W1566809768C177264268 @default.
• W1566809768 hasConceptScore W1566809768C187736073 @default.
• W1566809768 hasConceptScore W1566809768C199343813 @default.
• W1566809768 hasConceptScore W1566809768C199360897 @default.
• W1566809768 hasConceptScore W1566809768C202444582 @default.
• W1566809768 hasConceptScore W1566809768C206880738 @default.
• W1566809768 hasConceptScore W1566809768C2777686260 @default.
• W1566809768 hasConceptScore W1566809768C2780451532 @default.
• W1566809768 hasConceptScore W1566809768C33923547 @default.
• W1566809768 hasConceptScore W1566809768C41008148 @default.
• W1566809768 hasConceptScore W1566809768C71924100 @default.
• W1566809768 hasConceptScore W1566809768C80444323 @default.
• W1566809768 hasLocation W15668097681 @default.
• W1566809768 hasOpenAccess W1566809768 @default.
• W1566809768 hasPrimaryLocation W15668097681 @default.
• W1566809768 hasRelatedWork W1502451498 @default.
• W1566809768 hasRelatedWork W1505743816 @default.
• W1566809768 hasRelatedWork W1522762082 @default.
• W1566809768 hasRelatedWork W1549237291 @default.
• W1566809768 hasRelatedWork W1561011284 @default.
• W1566809768 hasRelatedWork W1573750525 @default.
• W1566809768 hasRelatedWork W1583437941 @default.
• W1566809768 hasRelatedWork W1599598116 @default.
• W1566809768 hasRelatedWork W1607506791 @default.
• W1566809768 hasRelatedWork W1793297433 @default.
• W1566809768 hasRelatedWork W1984699712 @default.
• W1566809768 hasRelatedWork W1986995658 @default.
• W1566809768 hasRelatedWork W2018944629 @default.
• W1566809768 hasRelatedWork W2032047212 @default.
• W1566809768 hasRelatedWork W2166841305 @default.
• W1566809768 hasRelatedWork W2481077391 @default.
• W1566809768 hasRelatedWork W2505757016 @default.
• W1566809768 hasRelatedWork W2949263622 @default.
• W1566809768 hasRelatedWork W3120568258 @default.
• W1566809768 hasRelatedWork W3184275293 @default.

• next