FRINK Linked Data Fragments server

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

• W131777414 endingPage "84" @default.
• W131777414 startingPage "73" @default.
• W131777414 abstract "A logic has interpolation if whenever we have two formulas and such that j then there is a formula I in the common language of and and in our logic of course such that j I j This intermediate formula is called the interpolant By the language of a formula we mean the non logical symbols i e the atomic actions and propositional constants that occur in it This notion is familiar from rst order logic and is known there as Craig Interpolation" @default.
• W131777414 created "2016-06-24" @default.
• W131777414 creator A5038012736 @default.
• W131777414 creator A5090706191 @default.
• W131777414 date "1996-01-01" @default.
• W131777414 modified "2023-09-26" @default.
• W131777414 title "Uniform Interpolation, Automata and the Modal μ-Calculus." @default.
• W131777414 hasPublicationYear "1996" @default.
• W131777414 type Work @default.
• W131777414 sameAs 131777414 @default.
• W131777414 citedByCount "0" @default.
• W131777414 crossrefType "proceedings-article" @default.
• W131777414 hasAuthorship W131777414A5038012736 @default.
• W131777414 hasAuthorship W131777414A5090706191 @default.
• W131777414 hasConcept C100481476 @default.
• W131777414 hasConcept C102993220 @default.
• W131777414 hasConcept C104114177 @default.
• W131777414 hasConcept C110039528 @default.
• W131777414 hasConcept C11191006 @default.
• W131777414 hasConcept C114092440 @default.
• W131777414 hasConcept C118615104 @default.
• W131777414 hasConcept C121332964 @default.
• W131777414 hasConcept C136119220 @default.
• W131777414 hasConcept C137800194 @default.
• W131777414 hasConcept C14523651 @default.
• W131777414 hasConcept C154945302 @default.
• W131777414 hasConcept C165801399 @default.
• W131777414 hasConcept C172385210 @default.
• W131777414 hasConcept C185592680 @default.
• W131777414 hasConcept C188027245 @default.
• W131777414 hasConcept C199343813 @default.
• W131777414 hasConcept C199360897 @default.
• W131777414 hasConcept C202444582 @default.
• W131777414 hasConcept C203659156 @default.
• W131777414 hasConcept C27508121 @default.
• W131777414 hasConcept C2777686260 @default.
• W131777414 hasConcept C2777796570 @default.
• W131777414 hasConcept C33203268 @default.
• W131777414 hasConcept C33923547 @default.
• W131777414 hasConcept C41008148 @default.
• W131777414 hasConcept C62520636 @default.
• W131777414 hasConcept C69562738 @default.
• W131777414 hasConcept C71139939 @default.
• W131777414 hasConcept C71924100 @default.
• W131777414 hasConceptScore W131777414C100481476 @default.
• W131777414 hasConceptScore W131777414C102993220 @default.
• W131777414 hasConceptScore W131777414C104114177 @default.
• W131777414 hasConceptScore W131777414C110039528 @default.
• W131777414 hasConceptScore W131777414C11191006 @default.
• W131777414 hasConceptScore W131777414C114092440 @default.
• W131777414 hasConceptScore W131777414C118615104 @default.
• W131777414 hasConceptScore W131777414C121332964 @default.
• W131777414 hasConceptScore W131777414C136119220 @default.
• W131777414 hasConceptScore W131777414C137800194 @default.
• W131777414 hasConceptScore W131777414C14523651 @default.
• W131777414 hasConceptScore W131777414C154945302 @default.
• W131777414 hasConceptScore W131777414C165801399 @default.
• W131777414 hasConceptScore W131777414C172385210 @default.
• W131777414 hasConceptScore W131777414C185592680 @default.
• W131777414 hasConceptScore W131777414C188027245 @default.
• W131777414 hasConceptScore W131777414C199343813 @default.
• W131777414 hasConceptScore W131777414C199360897 @default.
• W131777414 hasConceptScore W131777414C202444582 @default.
• W131777414 hasConceptScore W131777414C203659156 @default.
• W131777414 hasConceptScore W131777414C27508121 @default.
• W131777414 hasConceptScore W131777414C2777686260 @default.
• W131777414 hasConceptScore W131777414C2777796570 @default.
• W131777414 hasConceptScore W131777414C33203268 @default.
• W131777414 hasConceptScore W131777414C33923547 @default.
• W131777414 hasConceptScore W131777414C41008148 @default.
• W131777414 hasConceptScore W131777414C62520636 @default.
• W131777414 hasConceptScore W131777414C69562738 @default.
• W131777414 hasConceptScore W131777414C71139939 @default.
• W131777414 hasConceptScore W131777414C71924100 @default.
• W131777414 hasLocation W1317774141 @default.
• W131777414 hasOpenAccess W131777414 @default.
• W131777414 hasPrimaryLocation W1317774141 @default.
• W131777414 hasRelatedWork W1424550817 @default.
• W131777414 hasRelatedWork W1517992131 @default.
• W131777414 hasRelatedWork W1524270697 @default.
• W131777414 hasRelatedWork W1601373259 @default.
• W131777414 hasRelatedWork W1972561006 @default.
• W131777414 hasRelatedWork W1999780552 @default.
• W131777414 hasRelatedWork W2022202403 @default.
• W131777414 hasRelatedWork W2036386940 @default.
• W131777414 hasRelatedWork W2067923908 @default.
• W131777414 hasRelatedWork W2111205199 @default.
• W131777414 hasRelatedWork W2153694786 @default.
• W131777414 hasRelatedWork W2205798497 @default.
• W131777414 hasRelatedWork W2606916197 @default.
• W131777414 hasRelatedWork W2885176283 @default.
• W131777414 hasRelatedWork W2897208881 @default.
• W131777414 hasRelatedWork W2962833857 @default.
• W131777414 hasRelatedWork W3006403626 @default.
• W131777414 hasRelatedWork W961986602 @default.
• W131777414 hasRelatedWork W174750449 @default.
• W131777414 hasRelatedWork W2432577492 @default.
• W131777414 isParatext "false" @default.

• next