{"entities":{"Q1961607":{"pageid":1972349,"ns":120,"title":"Item:Q1961607","lastrevid":73097514,"modified":"2026-04-14T14:30:58Z","type":"item","id":"Q1961607","labels":{"en":{"language":"en","value":"Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394372"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961607$7262139A-4F1F-49C3-B94F-BE00AC27EF7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f11976e19a2669777e74b0c565367f434ae8ebec","datavalue":{"value":{"text":"Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1961607$06C8D437-8D34-444C-8F42-E65BE722C611","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b78f7cdc030ba26e0681fade6906075d9dfb2781","datavalue":{"value":"0931.00025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961607$5312883A-D9E2-4439-A2ED-6450C5121C83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"059d67558a7cf3b6a152997163f7ee7dfecaafdd","datavalue":{"value":{"entity-type":"item","numeric-id":232650,"id":"Q232650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961607$A1EC39F6-E66B-4D01-BDBB-2BD5A8C2B507","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a55f3aff8e421376e6a53544327002c7c786556","datavalue":{"value":{"time":"+2000-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1961607$8256D5FE-7F21-4C62-9403-D077A10175C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6899f2545d43fcd0b9c572de888ce68672a0603f","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference (1, 1994) has been reviewed (see Zbl 0875.03007).  Indexed articles:  \\textit{Cervesato, Iliano; Franceschet, Massimo; Montanari, Angelo}, A hierarchy of modal event calculi: Expressiveness and complexity, 1-20 [Zbl 0945.03017]  \\textit{Krabbendam, Jeroen; Meyer, John-Jules}, Release logics for temporalizing dynamic logic. Orthogonalizing modal logics, 21-45 [Zbl 0974.03504]  \\textit{Levi, Francesca}, Compositional verification of timed statecharts, 47-70 [Zbl 0945.03042]  \\textit{Lakhnech, Yassine; Siegel, Michael}, Temporal logic for stabilizing systems, 71-90 [Zbl 0945.03021]  \\textit{Montanari, Angelo; Peron, Adriano; Policriti, Alberto}, Decidable theories of \\(\\omega\\)-layered metric temporal structures, 91-108 [Zbl 0945.03022]  \\textit{Kupferman, Orna; Vardi, Moshe Y.}, Synthesis with incomplete information, 109-127 [Zbl 0953.68090]  \\textit{Bj\u00f8rner, Nikolaj S.; Lerner, Uri; Manna, Zohar}, Deductive verification of parametrized fault-tolerant systems: A case study, 129-148 [Zbl 0956.68083]  \\textit{Dixon, Clare}, Using Otter for temporal resolution, 149-166 [Zbl 0945.03018]  \\textit{Fisher, Michael; Dixon, Clare}, Guiding clausal temporal resolution, 167-184 [Zbl 0949.03009]  \\textit{Bra\u00fcner, Torben; Hasle, Per; \u00d8hstr\u00f8m, Peter}, Determinism and the origins of temporal logic, 185-206 [Zbl 0945.03016]  \\textit{Leith, Miguel; Cunningham, Jim}, Modelling linguistic events, 207-222 [Zbl 0945.03037]  \\textit{Naumann, Ralf}, A dynamic temporal logic for aspectual phenomena in natural language, 223-253 [Zbl 0945.03038]  \\textit{Pratt, Ian; Francez, Nissim}, A decidable temporal logic for temporal prepositions, 255-278 [Zbl 0945.03039]  \\textit{Galton, Antony}, Transitions in continuous time, with an application to qualitative changes in spatial relations, 279-297 [Zbl 0953.68129]  \\textit{Nunes, Isabel; Fiadeiro, Jose Luiz; Turski, Wladyslaw M.}, A modal logic of durative actions, 299-317 [Zbl 0945.03043]  \\textit{Ohlbach, Hans J\u00fcrgen}, About real time, calendar systems and temporal notions, 319-338 [Zbl 0945.03023]  \\textit{Gnesi, Stefania; Ristori, Gioia}, A model checking algorithm for \\(\\pi\\)-calculus agents, 339-357 [Zbl 0953.68091]  \\textit{Luo, Tiegeng; Chen, Huowang; Wang, Bingshan; Wang, Ji; Qi, Zhichang; Gong, Zhenghu}, Interleaving model and verification of distributed probabilistic real-time systems, 359-375 [Zbl 0953.68092]  \\textit{Thompson, Simon}, Constructive interval temporal logic in Alf, 377-392 [Zbl 0945.03024]  \\textit{Finger, Marcelo; Reynolds, Mark}, Two-dimensional executable temporal logic for bitemporal databases, 393-411 [Zbl 0945.03020]  \\textit{Dixon, Clare; Fisher, Michael; Reynolds, Mark}, Execution and proof in a Horn-clause temporal logic, 413-433 [Zbl 0945.03019]  \\textit{Bowman, Howard; Cameron, Helen; King, Peter; Thompson, Simon}, Specification and prototyping of structured multimedia documents using interval temporal logic, 435-453 [Zbl 0953.68537]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961607$E02D4B8A-B488-4C0B-93CB-52121F7B0EC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961607$2D97F780-F042-4A85-8E39-06C9131D42D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961607$2E77EBEE-68FE-4CA7-8223-4F42127491E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961607$89801964-7072-4D5B-944D-75076A830A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961607$BE53E6B4-4AEC-4717-96EF-1BE394FA9BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961607$2BD37056-F436-4025-9531-00580E7F3284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961607$313D61DA-4710-4DB0-90F4-22796245D55E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7030aa9f1a830836e9ea49ef76a4ddce2d59fe0a","datavalue":{"value":"1394372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961607$E8397234-79B1-43D7-9EB6-853B93666317","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961607$04A760B9-05BD-498A-AA01-2B1FF62E9A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961607$C833CF81-CA18-4687-A438-F62E37DC27E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961607$2AE7E22F-02EA-4110-8A0A-4E04C1D44FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e684f3ec4510c7e2c533019cd4a88d198abc56e7","datavalue":{"value":"Manchester (GB)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961607$A83FCF89-6EF4-4E09-BA41-1208026FC781","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961607$C7F46F26-BFC9-4A48-8BC9-93E7066C24F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Advances_in_temporal_logic._Selected_papers_of_the_2nd_international_conference_on_temporal_logic,_ICTL,_Manchester,_UK,_1997"}}}}}