Checking content consistency of integrated web documents (Q2508393): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s11390-006-0418-9 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1989458738 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385542 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992908 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4471938 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4739543 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4425934 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2723446 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4406531 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A survey of temporal extensions of description logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidable fragments of first-order temporal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2782498 / rank
 
Normal rank

Latest revision as of 21:42, 24 June 2024

scientific article
Language Label Description Also known as
English
Checking content consistency of integrated web documents
scientific article

    Statements

    Checking content consistency of integrated web documents (English)
    0 references
    0 references
    0 references
    12 October 2006
    0 references
    0 references
    document verification
    0 references
    content consistency
    0 references
    model checking
    0 references
    temporal description logics
    0 references
    CTL
    0 references
    \(\mathcal {DL}\)
    0 references
    0 references