{"entities":{"Q1328657":{"pageid":1339407,"ns":120,"title":"Item:Q1328657","lastrevid":68481231,"modified":"2026-04-12T23:59:45Z","type":"item","id":"Q1328657","labels":{"en":{"language":"en","value":"Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 611376"}},"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":"Q1328657$45B534A7-465D-46B2-95A8-0C8616549E2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8c19bb30aa21a0a9449009f7da9687aaa798657","datavalue":{"value":{"text":"Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1328657$D656DBDA-2C7C-4669-A8F6-F1852DCC602B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd0e74d27c71976ac17846cb72bdee4a81c16760","datavalue":{"value":"0875.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328657$15CC3BBF-B7CE-463F-86FE-D9D5EFF01629","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328657$F7A9E7D8-7FC0-4D67-95A3-2DB9A19AF3CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ce6b605d86b3d97b1a4810ba01e12a3ca3478f","datavalue":{"value":{"time":"+1994-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1328657$0F9F0C80-D931-4405-A4C2-CD34C33A1F1F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"315a74f222501aa06d5679bbaf5b8cc06beff835","datavalue":{"value":"The articles of this volume will be reviewed individually within the Lecture Notes in Computer Science Database.  Indexed articles:  \\textit{S\u00f8rensen, M. U.; Hansen, O. E.; L\u00f8vengreen, H. H.}, Combining temporal specification techniques, 1-16 [Zbl 0949.68540]  \\textit{Katz, S.}, Global equivalence proofs for ISTL, 17-29 [Zbl 0949.68542]  \\textit{Baeten, J. C. M.; Bergstra, J. A.; Bol, R. N.}, A real time process logic, 30-47 [Zbl 0949.68538]  \\textit{Fiadeiro, J. L.; Maibaum, T.}, Action refinement in a temporal logic of objects, 48-66 [Zbl 0949.68539]  \\textit{Bonner, A. J.; Kifer, M.}, Applications of transaction logic to knowledge representation, 67-81 [Zbl 0949.68573]  \\textit{Doherty, P.; \u0141ukaszewicz, W.}, Circumscribing features and fluents, 82-100 [Zbl 0949.68574]  \\textit{Badaloni, S.; Berati, M.}, Dealing with time granularity in a temporal planning system, 101-116 [Zbl 0949.68602]  \\textit{Reynolds, M.}, Axiomatizing U and S over integer time, 117-132 [Zbl 0949.03507]  \\textit{Goranko, V.}, Temporal logic with reference pointers, 133-148 [Zbl 0949.03515]  \\textit{Venema, Y.}, Completeness through flatness in two-dimensional temporal logic, 149-164 [Zbl 0949.03510]  \\textit{Vergauwen, B.; Lewi, J.; Avau, I.; Pot\u00e9, A.}, Efficient computation of nested fix-points, with applications to model checking, 165-179 [Zbl 0949.68541]  \\textit{Grumberg, O.; Kurshan, R. P.}, How linear can branching-time be?, 180-194 [Zbl 0949.03512]  \\textit{Kutty, G.; Moser, L. E.; Melliar-Smith, P. M.; Dillon, L. K.; Ramakrishna, Y. S.}, First-order future interval logic, 195-209 [Zbl 0949.03511]  \\textit{Bernholtz, O.; Grumberg, O.}, Buy one, get one free!!!, 210-224 [Zbl 0949.03509]  \\textit{Blackburn, P.; Gardent, C.; de Rijke, M.}, Back and forth through time and events, 225-237 [Zbl 0949.03508]  \\textit{Hwang, C. H.; Schubert, L. K.}, Interpreting tense, aspect and time adverbials: A compositional, unified approach, 238-264 [Zbl 0949.03522]  \\textit{Di Maio, M. C.; Zanardo, A.}, Synchronized histories in Prior-Thomason representation of branching time, 265-282 [Zbl 0949.03514]  \\textit{B\u00f6hlen, M.; Marti, R.}, On the completeness of temporal database query languages, 283-300 [Zbl 0949.68523]  \\textit{Van Belleghem, K.; Denecker, M.; De Schreye, D.}, The abductive event calculus as a general framework for temporal databases, 301-316 [Zbl 0949.68525]  \\textit{Wooldridge, M.; Fisher, M.}, A decision procedure for a temporal belief logic, 317-331 [Zbl 0949.03504]  \\textit{Xu, Ming}, Decidability of deliberative stit theories with multiple agents, 332-348 [Zbl 0949.03501]  \\textit{Ribeiro, C.; Porto, A.}, Abduction in temporal reasoning, 349-364 [Zbl 0949.68572]  \\textit{Felder, M.; Morzenti, A.}, A temporal logic approach to implementation and refinement in timed Petri nets, 365-381 [Zbl 0949.68543]  \\textit{Mokkedem, A.; M\u00e9ry, D.}, A stuttering closed temporal logic for modular reasoning about concurrent programs, 382-397 [Zbl 0949.03516]  \\textit{Kwiatkowska, M.; Peled, D.; Penczek, W.}, A hierarchy of partial order temporal properties, 398-414 [Zbl 0949.68537]  \\textit{Dixon, C.; Fisher, M.; Barringer, H.}, A graph-based approach to resolution in temporal logic, 415-429 [Zbl 0949.03505]  \\textit{McGuire, H.; Manna, Z.; Waldinger, R.}, Annotation-based deduction in temporal logic, 430-444 [Zbl 0949.03506]  \\textit{Orgun, Mehmet A.; Ma, Wanli}, An overview of temporal and modal logic programming, 445-479 [Zbl 0949.68513]  \\textit{Fisher, M.}, A survey of concurrent MetateM -- the language and its applications, 480-505 [Zbl 0949.68532]  \\textit{Chomicki, J.}, Temporal query languages: A survey, 506-534 [Zbl 0949.68524]  \\textit{H\u00e4hnle, R.; Ibens, O.}, Improving temporal logic tableaux using integer constraints, 535-539 [Zbl 0949.03513]  \\textit{Melliar-Smith, P. M.; Moser, L. E.; Ramakrishna, Y. S.; Kutty, G.; Dillon, L. K.}, A system for automated deduction in graphical interval logic, 540-542 [Zbl 0949.03503]  \\textit{Bertossi, L. E.; Ferretti, J. C.}, SCDBR: A reasoner for specifications in the situation calculus of database updates, 543-545 [Zbl 0949.68526]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328657$9D334DEC-C14F-4D2A-9399-FD328DED4AD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328657$E3A9C875-7326-467A-9175-F1501B116575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328657$E11FEAAD-16DA-40EC-8065-F6E54574E4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328657$92FA6BB0-23A7-4E86-B1E9-0722ABD660B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328657$991849F6-C918-4D7D-AEF9-FA032D07464A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328657$F842067A-B757-4384-865A-A81B9E240381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328657$51317CD9-5877-4062-9409-7D1C93E6B82D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0fa6eb88cadf1a835dacd15b2f86f561eb144a6","datavalue":{"value":"611376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328657$840292E0-0AE2-4B34-958E-05C4405D54A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca95d18af6b8bec20c149b9212bebb9e6a7625f","datavalue":{"value":"Bonn (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328657$B08BD5FF-4DDC-4B4D-9644-CC3C2FAA9CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328657$58D27EF6-8C5A-4AB4-BAEC-1E8F7839D6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328657$C843732D-A98F-417F-8D68-600A50D37F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7126d1df39824114a178aef8dbb1343a005cef80","datavalue":{"value":"ICTL '94","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328657$F5CE75D6-DFAE-43C8-A825-A9D21519D1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328657$ACD30992-AC6B-4DB9-90ED-3240659693F9","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":"Q1328657$8B9FAB18-9DBB-4424-99AA-9B3A2B899CA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54641b1f3ce4d623f17aa0a567c971b9101ff286","datavalue":{"value":"10.1007/BFB0013976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328657$83DB3FBB-8365-418A-9CBE-03B3939FBAD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_logic._1st_International_Conference,_ICTL_%2794,_Bonn,_Germany,_July_11-14,_1994._Proceedings"}}}}}