Checking content consistency of integrated web documents (Q2508393): Difference between revisions
From MaRDI portal
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
12 October 2006
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