Matches in SemOpenAlex for { <https://semopenalex.org/work/W1486010967> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1486010967 abstract "– The module extraction problem: given a terminology T1 and a signature Σ, extract from T1 a minimal self-contained terminology T0 such that T1 and T0 imply the same dependencies between Σ-terms. – The logical diff problem: given a signature Σ and two versions T0 and T1 of a terminology, check whether T0 and T1 are logically different in the sense that they do not imply the same dependencies between Σ-terms." @default.
- W1486010967 created "2016-06-24" @default.
- W1486010967 creator A5010967150 @default.
- W1486010967 creator A5032067568 @default.
- W1486010967 creator A5033965949 @default.
- W1486010967 creator A5034616829 @default.
- W1486010967 date "2008-01-01" @default.
- W1486010967 modified "2023-09-25" @default.
- W1486010967 title "Logical Difference and Module Extraction with CEX and MEX." @default.
- W1486010967 cites W144418952 @default.
- W1486010967 cites W1489267200 @default.
- W1486010967 cites W1537126384 @default.
- W1486010967 cites W2035707461 @default.
- W1486010967 cites W2036614464 @default.
- W1486010967 cites W2077797310 @default.
- W1486010967 cites W2160522235 @default.
- W1486010967 cites W2162438644 @default.
- W1486010967 cites W2163272338 @default.
- W1486010967 cites W2254087376 @default.
- W1486010967 cites W23932056 @default.
- W1486010967 cites W2403479679 @default.
- W1486010967 cites W53707990 @default.
- W1486010967 cites W2576877206 @default.
- W1486010967 hasPublicationYear "2008" @default.
- W1486010967 type Work @default.
- W1486010967 sameAs 1486010967 @default.
- W1486010967 citedByCount "10" @default.
- W1486010967 countsByYear W14860109672014 @default.
- W1486010967 crossrefType "journal-article" @default.
- W1486010967 hasAuthorship W1486010967A5010967150 @default.
- W1486010967 hasAuthorship W1486010967A5032067568 @default.
- W1486010967 hasAuthorship W1486010967A5033965949 @default.
- W1486010967 hasAuthorship W1486010967A5034616829 @default.
- W1486010967 hasConcept C105795698 @default.
- W1486010967 hasConcept C11413529 @default.
- W1486010967 hasConcept C138885662 @default.
- W1486010967 hasConcept C154945302 @default.
- W1486010967 hasConcept C185592680 @default.
- W1486010967 hasConcept C204321447 @default.
- W1486010967 hasConcept C2524010 @default.
- W1486010967 hasConcept C2779696439 @default.
- W1486010967 hasConcept C2983390893 @default.
- W1486010967 hasConcept C33923547 @default.
- W1486010967 hasConcept C41008148 @default.
- W1486010967 hasConcept C41895202 @default.
- W1486010967 hasConcept C43617362 @default.
- W1486010967 hasConcept C4725764 @default.
- W1486010967 hasConcept C547195049 @default.
- W1486010967 hasConcept C6260981 @default.
- W1486010967 hasConcept C80444323 @default.
- W1486010967 hasConceptScore W1486010967C105795698 @default.
- W1486010967 hasConceptScore W1486010967C11413529 @default.
- W1486010967 hasConceptScore W1486010967C138885662 @default.
- W1486010967 hasConceptScore W1486010967C154945302 @default.
- W1486010967 hasConceptScore W1486010967C185592680 @default.
- W1486010967 hasConceptScore W1486010967C204321447 @default.
- W1486010967 hasConceptScore W1486010967C2524010 @default.
- W1486010967 hasConceptScore W1486010967C2779696439 @default.
- W1486010967 hasConceptScore W1486010967C2983390893 @default.
- W1486010967 hasConceptScore W1486010967C33923547 @default.
- W1486010967 hasConceptScore W1486010967C41008148 @default.
- W1486010967 hasConceptScore W1486010967C41895202 @default.
- W1486010967 hasConceptScore W1486010967C43617362 @default.
- W1486010967 hasConceptScore W1486010967C4725764 @default.
- W1486010967 hasConceptScore W1486010967C547195049 @default.
- W1486010967 hasConceptScore W1486010967C6260981 @default.
- W1486010967 hasConceptScore W1486010967C80444323 @default.
- W1486010967 hasLocation W14860109671 @default.
- W1486010967 hasOpenAccess W1486010967 @default.
- W1486010967 hasPrimaryLocation W14860109671 @default.
- W1486010967 hasRelatedWork W1537126384 @default.
- W1486010967 hasRelatedWork W1538467105 @default.
- W1486010967 hasRelatedWork W1560547419 @default.
- W1486010967 hasRelatedWork W1594656587 @default.
- W1486010967 hasRelatedWork W1678959094 @default.
- W1486010967 hasRelatedWork W1866502235 @default.
- W1486010967 hasRelatedWork W1978211738 @default.
- W1486010967 hasRelatedWork W2112977402 @default.
- W1486010967 hasRelatedWork W2147729309 @default.
- W1486010967 hasRelatedWork W2154829072 @default.
- W1486010967 hasRelatedWork W2162438644 @default.
- W1486010967 hasRelatedWork W2982887048 @default.
- W1486010967 hasRelatedWork W53707990 @default.
- W1486010967 isParatext "false" @default.
- W1486010967 isRetracted "false" @default.
- W1486010967 magId "1486010967" @default.
- W1486010967 workType "article" @default.