{"entities":{"Q1096384":{"pageid":1107136,"ns":120,"title":"Item:Q1096384","lastrevid":66956562,"modified":"2026-04-12T13:58:22Z","type":"item","id":"Q1096384","labels":{"en":{"language":"en","value":"Temporal logics in AI: semantical and ontological considerations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4030959"}},"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":"Q1096384$76AF7ABE-E502-4E4E-B636-12F07116A713","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af8d7c349ed6b849d5ab88cf67c772dfa1a81511","datavalue":{"value":{"text":"Temporal logics in AI: semantical and ontological considerations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1096384$956D70D1-9421-4130-90DC-1C5F4F489B82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb14ad757120cd078e681ad374887dcf1128a8ab","datavalue":{"value":"0633.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096384$E3477228-874D-410A-AC37-6B1B9B3B3CE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ccd2cc235a0dda96946251504bd30450665019e","datavalue":{"value":"10.1016/0004-3702(87)90052-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096384$ED23DB50-C8E2-419B-B14B-08AEDC69F60F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fc2f5fad3d06b38a294e2203be88a9ce0641dde","datavalue":{"value":{"entity-type":"item","numeric-id":192135,"id":"Q192135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096384$0DB208EC-800A-44A3-8DC2-C061DD809AFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096384$891F92D8-2249-4631-A38F-BC1A937D21F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1096384$56CEB8CE-471B-4825-A8DA-0A33B4EAE6EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc9bf7d4c60ea450ce3aa2a150e70b5c49706769","datavalue":{"value":"Two temporal formalisms in AI are examined and problems for application are shown. A new formalism, interval logic, is presented with syntax similar to meta-syntax and semantics similar Kripke-semantics. Some ontological definitions are given on this formal basis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096384$E49794A2-EC57-4E76-B7FF-6DF22EE69B79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096384$49C77CF7-5E29-4C18-8C02-32D235B8CCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096384$7B8AA3F5-5180-4C98-B299-A0B6E3CE8D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096384$36E8A10A-82D2-4688-9472-FBD1BB04BB89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f1de323dcba4bcd173f58b74af8d168c7b2636c","datavalue":{"value":"4030959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096384$E59C03FB-1FF8-4D57-8E68-14B6B3C36F08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89182cbf2f6a10e4c0bba956c0be6e4cbd7b19c5","datavalue":{"value":"representation of temporal information","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096384$EA1528C9-1646-430C-A222-A939616E7171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096384$719C945D-4723-4FEB-A24A-B17BBC318C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084a60c40b841821d57b1a3b1b9abf23fb819810","datavalue":{"value":"interval logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096384$E8A5AE90-4E65-4BDC-8F0A-5727DF542983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c1c17ee222630858079464099d15c4977016633","datavalue":{"value":"Kripke-semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096384$0B566AD1-1935-4673-8B98-DF02AF025044","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1abe44d7226d9c92045519e02ae380a3c14e8800","datavalue":{"value":{"entity-type":"item","numeric-id":1188507,"id":"Q1188507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096384$03896326-C1EF-4FD1-BC6E-69D1DBD3B183","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":"Q1096384$F7F59237-7E0E-40C9-95DD-03F988B94A9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfead181c4df7b86f6e62184823b49dfa079ebaf","datavalue":{"value":{"entity-type":"item","numeric-id":1060013,"id":"Q1060013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096384$C05D0600-7E5D-41B3-BBFC-C8D54DB93FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096384$0931EACB-5800-42B9-B2AA-FC69CBBF2975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849850b9ed12440696721a397c7b09f48058467e","datavalue":{"value":{"entity-type":"item","numeric-id":1258727,"id":"Q1258727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096384$DDA6F4C9-417F-4669-ABA8-57A259327D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096384$E18A29D0-08D4-43B4-A5A9-3C7B7D914084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096384$FDD89580-5A34-4779-8E19-478C50D46A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a27d29d6c8a6d90cf683150add9e5ddb2d9f1b6","datavalue":{"value":{"entity-type":"item","numeric-id":3806791,"id":"Q3806791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096384$29DCC3D6-0E16-4C0E-BF3B-57540754DD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a611178c9514d07b0c91d8e5c3480708a2f42617","datavalue":{"value":{"entity-type":"item","numeric-id":1147692,"id":"Q1147692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096384$6A862714-BD22-45E0-BE8B-AF50B8EA98F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5369f7705a9971b9ce79070649b5971c656a82da","datavalue":{"value":"https://doi.org/10.1016/0004-3702(87)90052-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1096384$4C72859B-B9C1-4F15-ACC1-B16D8F9C9E67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4a8f158052ca7df73bf98728f054400bd58a992","datavalue":{"value":"W2005678616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096384$DFE37D7E-D0B5-4B5F-BF7A-C134605EEC09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665701bd077432fa61ff2f89ec3c6946880a2840","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55499e732034263ceada7bca6f5a89ebedb6934b","datavalue":{"value":{"amount":"+0.8144724369049072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1096384$92098CF6-3EBF-48F8-A6A8-6CDA19296045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b347872709d7e70c765b6daeac5a422da11371","datavalue":{"value":{"entity-type":"item","numeric-id":3221966,"id":"Q3221966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a4f41b9bf87120361321dbb9695bf4abb42cf3","datavalue":{"value":{"amount":"+0.8126901984214783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1096384$99BC4DCD-B471-4724-AF90-3377E2F18917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e2cb8ebc963c111445a39a6380220c85041fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1604669,"id":"Q1604669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0794e496cdfe53aae4e9f37b3c98a44db273437b","datavalue":{"value":{"amount":"+0.807793915271759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1096384$D498A5F0-4750-4535-9E34-23B1F6BFCC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9018f377fa2e90bdc459499163ec4ce02607840","datavalue":{"value":{"entity-type":"item","numeric-id":5432670,"id":"Q5432670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be47e4584747b3c5a15f61feecf334890b5dd503","datavalue":{"value":{"amount":"+0.8045699596405029","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1096384$0C9527CC-7E0E-46F7-8ACF-07CEF1C210C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4c69860fc2e6fa162f5652e438785fa228faaf8","datavalue":{"value":{"entity-type":"item","numeric-id":4316294,"id":"Q4316294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec023f9390de57e79871cced5ebe79172cbf16f2","datavalue":{"value":{"amount":"+0.7991933226585388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1096384$241FCFD3-B082-442C-B1A3-7FE2FEF9B0D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal logics in AI: semantical and ontological considerations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_logics_in_AI:_semantical_and_ontological_considerations"}}}}}