FRINK Linked Data Fragments server

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

• W2125706593 endingPage "197" @default.
• W2125706593 startingPage "193" @default.
• W2125706593 abstract "Summary This article is the first in a series of two Mizar articles constituting a formal proof of the Gödel Completeness theorem [17] for uncountably large languages. We follow the proof given in [18]. The present article contains the techniques required to expand formal languages. We prove that consistent or satisfiable theories retain these properties under changes to the language they are formulated in." @default.
• W2125706593 created "2016-06-24" @default.
• W2125706593 creator A5039140966 @default.
• W2125706593 creator A5078814566 @default.
• W2125706593 date "2012-12-01" @default.
• W2125706593 modified "2023-09-26" @default.
• W2125706593 title "Transition of Consistency and Satisfiability under Language Extensions" @default.
• W2125706593 cites W107759667 @default.
• W2125706593 cites W128806138 @default.
• W2125706593 cites W1576245638 @default.
• W2125706593 cites W1794809807 @default.
• W2125706593 cites W184456889 @default.
• W2125706593 cites W192809544 @default.
• W2125706593 cites W2016310740 @default.
• W2125706593 cites W2098464720 @default.
• W2125706593 cites W2105559527 @default.
• W2125706593 cites W2108728595 @default.
• W2125706593 cites W2109438096 @default.
• W2125706593 cites W2112898323 @default.
• W2125706593 cites W2118242375 @default.
• W2125706593 cites W2126642037 @default.
• W2125706593 cites W2132924548 @default.
• W2125706593 cites W2145029022 @default.
• W2125706593 cites W2145928847 @default.
• W2125706593 cites W2149867064 @default.
• W2125706593 cites W2150348213 @default.
• W2125706593 cites W2155379752 @default.
• W2125706593 cites W2155453192 @default.
• W2125706593 cites W2169277455 @default.
• W2125706593 cites W22141270 @default.
• W2125706593 cites W2296232473 @default.
• W2125706593 cites W2304533832 @default.
• W2125706593 cites W2305524360 @default.
• W2125706593 cites W2965145857 @default.
• W2125706593 cites W141803834 @default.
• W2125706593 cites W180239714 @default.
• W2125706593 cites W260340778 @default.
• W2125706593 doi "https://doi.org/10.2478/v10037-012-0022-0" @default.
• W2125706593 hasPublicationYear "2012" @default.
• W2125706593 type Work @default.
• W2125706593 sameAs 2125706593 @default.
• W2125706593 citedByCount "1" @default.
• W2125706593 countsByYear W21257065932012 @default.
• W2125706593 crossrefType "journal-article" @default.
• W2125706593 hasAuthorship W2125706593A5039140966 @default.
• W2125706593 hasAuthorship W2125706593A5078814566 @default.
• W2125706593 hasBestOaLocation W21257065931 @default.
• W2125706593 hasConcept C108710211 @default.
• W2125706593 hasConcept C11413529 @default.
• W2125706593 hasConcept C118615104 @default.
• W2125706593 hasConcept C134306372 @default.
• W2125706593 hasConcept C146072743 @default.
• W2125706593 hasConcept C168773769 @default.
• W2125706593 hasConcept C17231256 @default.
• W2125706593 hasConcept C199343813 @default.
• W2125706593 hasConcept C199360897 @default.
• W2125706593 hasConcept C203265346 @default.
• W2125706593 hasConcept C2524010 @default.
• W2125706593 hasConcept C2776436953 @default.
• W2125706593 hasConcept C2777686260 @default.
• W2125706593 hasConcept C33923547 @default.
• W2125706593 hasConcept C41008148 @default.
• W2125706593 hasConcept C71924100 @default.
• W2125706593 hasConceptScore W2125706593C108710211 @default.
• W2125706593 hasConceptScore W2125706593C11413529 @default.
• W2125706593 hasConceptScore W2125706593C118615104 @default.
• W2125706593 hasConceptScore W2125706593C134306372 @default.
• W2125706593 hasConceptScore W2125706593C146072743 @default.
• W2125706593 hasConceptScore W2125706593C168773769 @default.
• W2125706593 hasConceptScore W2125706593C17231256 @default.
• W2125706593 hasConceptScore W2125706593C199343813 @default.
• W2125706593 hasConceptScore W2125706593C199360897 @default.
• W2125706593 hasConceptScore W2125706593C203265346 @default.
• W2125706593 hasConceptScore W2125706593C2524010 @default.
• W2125706593 hasConceptScore W2125706593C2776436953 @default.
• W2125706593 hasConceptScore W2125706593C2777686260 @default.
• W2125706593 hasConceptScore W2125706593C33923547 @default.
• W2125706593 hasConceptScore W2125706593C41008148 @default.
• W2125706593 hasConceptScore W2125706593C71924100 @default.
• W2125706593 hasIssue "3" @default.
• W2125706593 hasLocation W21257065931 @default.
• W2125706593 hasLocation W21257065932 @default.
• W2125706593 hasOpenAccess W2125706593 @default.
• W2125706593 hasPrimaryLocation W21257065931 @default.
• W2125706593 hasRelatedWork W109180904 @default.
• W2125706593 hasRelatedWork W1527862632 @default.
• W2125706593 hasRelatedWork W2023056990 @default.
• W2125706593 hasRelatedWork W2024501204 @default.
• W2125706593 hasRelatedWork W2141010048 @default.
• W2125706593 hasRelatedWork W2151523288 @default.
• W2125706593 hasRelatedWork W2961983551 @default.
• W2125706593 hasRelatedWork W2966552573 @default.
• W2125706593 hasRelatedWork W4297384396 @default.
• W2125706593 hasRelatedWork W2485483011 @default.
• W2125706593 hasVolume "20" @default.
• W2125706593 isParatext "false" @default.
• W2125706593 isRetracted "false" @default.
• W2125706593 magId "2125706593" @default.

• next