Matches in SemOpenAlex for { <https://semopenalex.org/work/W3006484230> ?p ?o ?g. }
Showing items 1 to 37 of
37
with 100 items per page.
- W3006484230 created "2020-02-24" @default.
- W3006484230 creator A5011363508 @default.
- W3006484230 date "2020-01-01" @default.
- W3006484230 modified "2023-10-18" @default.
- W3006484230 title "A Decision Procedure of EUF Formulas Based on Eager Encoding" @default.
- W3006484230 doi "https://doi.org/10.12677/sea.2020.91006" @default.
- W3006484230 hasPublicationYear "2020" @default.
- W3006484230 type Work @default.
- W3006484230 sameAs 3006484230 @default.
- W3006484230 citedByCount "0" @default.
- W3006484230 crossrefType "journal-article" @default.
- W3006484230 hasAuthorship W3006484230A5011363508 @default.
- W3006484230 hasConcept C125411270 @default.
- W3006484230 hasConcept C154945302 @default.
- W3006484230 hasConcept C15744967 @default.
- W3006484230 hasConcept C41008148 @default.
- W3006484230 hasConceptScore W3006484230C125411270 @default.
- W3006484230 hasConceptScore W3006484230C154945302 @default.
- W3006484230 hasConceptScore W3006484230C15744967 @default.
- W3006484230 hasConceptScore W3006484230C41008148 @default.
- W3006484230 hasLocation W30064842301 @default.
- W3006484230 hasOpenAccess W3006484230 @default.
- W3006484230 hasPrimaryLocation W30064842301 @default.
- W3006484230 hasRelatedWork W10957549 @default.
- W3006484230 hasRelatedWork W12482956 @default.
- W3006484230 hasRelatedWork W1396951 @default.
- W3006484230 hasRelatedWork W1460658 @default.
- W3006484230 hasRelatedWork W3016978 @default.
- W3006484230 hasRelatedWork W3773308 @default.
- W3006484230 hasRelatedWork W4233740 @default.
- W3006484230 hasRelatedWork W5684657 @default.
- W3006484230 hasRelatedWork W6123924 @default.
- W3006484230 hasRelatedWork W9380573 @default.
- W3006484230 isParatext "false" @default.
- W3006484230 isRetracted "false" @default.
- W3006484230 magId "3006484230" @default.
- W3006484230 workType "article" @default.