Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300341781> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W4300341781 abstract "We propose an extension of the Ehrenfeucht-Fraisse game able to deal with logics augmented with Lindstrom quantifiers. We describe three different games with varying balance between simplicity and ease of use." @default.
- W4300341781 created "2022-10-03" @default.
- W4300341781 creator A5024923217 @default.
- W4300341781 creator A5040390613 @default.
- W4300341781 date "2015-10-22" @default.
- W4300341781 modified "2023-10-01" @default.
- W4300341781 title "An extension of the Ehrenfeucht-Fraisse game for first order logics augmented with Lindstrom quantifiers" @default.
- W4300341781 doi "https://doi.org/10.48550/arxiv.1510.06581" @default.
- W4300341781 hasPublicationYear "2015" @default.
- W4300341781 type Work @default.
- W4300341781 citedByCount "0" @default.
- W4300341781 crossrefType "posted-content" @default.
- W4300341781 hasAuthorship W4300341781A5024923217 @default.
- W4300341781 hasAuthorship W4300341781A5040390613 @default.
- W4300341781 hasBestOaLocation W43003417811 @default.
- W4300341781 hasConcept C10138342 @default.
- W4300341781 hasConcept C144237770 @default.
- W4300341781 hasConcept C162324750 @default.
- W4300341781 hasConcept C182306322 @default.
- W4300341781 hasConcept C199360897 @default.
- W4300341781 hasConcept C2778029271 @default.
- W4300341781 hasConcept C33923547 @default.
- W4300341781 hasConcept C41008148 @default.
- W4300341781 hasConceptScore W4300341781C10138342 @default.
- W4300341781 hasConceptScore W4300341781C144237770 @default.
- W4300341781 hasConceptScore W4300341781C162324750 @default.
- W4300341781 hasConceptScore W4300341781C182306322 @default.
- W4300341781 hasConceptScore W4300341781C199360897 @default.
- W4300341781 hasConceptScore W4300341781C2778029271 @default.
- W4300341781 hasConceptScore W4300341781C33923547 @default.
- W4300341781 hasConceptScore W4300341781C41008148 @default.
- W4300341781 hasLocation W43003417811 @default.
- W4300341781 hasOpenAccess W4300341781 @default.
- W4300341781 hasPrimaryLocation W43003417811 @default.
- W4300341781 hasRelatedWork W1144300767 @default.
- W4300341781 hasRelatedWork W1595546368 @default.
- W4300341781 hasRelatedWork W2091331052 @default.
- W4300341781 hasRelatedWork W2153799584 @default.
- W4300341781 hasRelatedWork W2352495365 @default.
- W4300341781 hasRelatedWork W2468796127 @default.
- W4300341781 hasRelatedWork W2571596282 @default.
- W4300341781 hasRelatedWork W2993360480 @default.
- W4300341781 hasRelatedWork W3080875783 @default.
- W4300341781 hasRelatedWork W4251067554 @default.
- W4300341781 isParatext "false" @default.
- W4300341781 isRetracted "false" @default.
- W4300341781 workType "article" @default.