{"entities":{"Q1190791":{"pageid":1201540,"ns":120,"title":"Item:Q1190791","lastrevid":47072641,"modified":"2025-12-31T14:14:02Z","type":"item","id":"Q1190791","labels":{"en":{"language":"en","value":"A non-reified temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 56242"}},"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":"Q1190791$3CDEF785-B4D2-4524-81F5-0F518541E43C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fac7d3a200fdc689893bd5e3106fb0e9cdbe45d2","datavalue":{"value":{"text":"A non-reified temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1190791$B6328687-D688-45DD-B225-EC5CE5D44CAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc78c5d844f0e8f54d33215d0c7722e0f59fa387","datavalue":{"value":"0762.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190791$3A3FE025-2701-4516-94C8-73498B4CC85E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53a4263bcc09d88d19d209f6d99586a06994c5b8","datavalue":{"value":"10.1016/0004-3702(91)90025-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190791$1487908D-BAC3-46A8-8645-E5ACC4CD642B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e72237755cee80f4100dfa096b99fdb0fefd7fe","datavalue":{"value":{"entity-type":"item","numeric-id":835824,"id":"Q835824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$7405FBC8-9830-45D5-BBE6-D26546CA7B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4220785a18a90fd0b3612a311fad39271e7a91c","datavalue":{"value":{"entity-type":"item","numeric-id":1190789,"id":"Q1190789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$510E304B-87BA-433C-9E5E-D5412B162057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b67f572ca66b1630d2589481bba4da8e6924ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1190790,"id":"Q1190790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$DA69FAEF-C7CB-49C2-A03E-45C5F8CA4920","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":"Q1190791$74EEEAB5-6963-4A00-AA75-533E4E394439","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-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":"Q1190791$841A7E5C-E83B-478A-9F15-E31D97C0C609","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c18a5d670bed61d72eb7b2fcf485e3d12902c09e","datavalue":{"value":"The authors present a temporal logic BTK for propositions whose truth values might change as a function of time. The logic is based on a sorted first-order logic where predicates take additional temporal arguments. Temporal and non-temporal values are separated into two disjoint sorts. The semantics of formulae is defined using standard interpretation models for two-sorted predicate logics. The authors discuss issues of proof theory and axiomatization for their logic.    The second part of the paper discusses the relation of the presented logic to Shoham's logic [\\textit{Y. Shoham}, ibid. 33, 89-104 (1987; Zbl 0633.68014)]. In Shoham's logic temporal arguments are not added as parameters to arbitrary predicates. A special predicate TRUE (defining a so-called reifying context), having as parameters two temporal values and a predicate term, models temporal information. After a discussion of differences between both logics the subsumption of Shoham's logic by BTK is shown.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190791$DDE0B50B-F238-4143-A58C-D18F33B5048E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190791$55D65493-2845-4A0C-BA7C-59FA6246BF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190791$226176BE-FE90-4540-9D23-7652B11301B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190791$28CBC533-4931-47E5-926A-B1EC25545035","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"408588a4bd9197f47d8d1d918d1717108f50a974","datavalue":{"value":"56242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190791$7BF51619-DF75-4DC5-89E9-A06C64E4A010","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b212b71703842572698080a8e27b5346c8044220","datavalue":{"value":"temporal propositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190791$9066130F-2EFD-4A82-A009-0A7F8739B158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190791$7872FC7C-2190-41CB-AB4D-D2B739FD9CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190791$5682D420-2ADA-4379-8214-2E65FC040164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190791$F8B0FD8E-1166-4C41-9B5B-7E303982381E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b9f5bf0986b07d1de753b9b8d8aff013cf51653d","datavalue":{"value":{"entity-type":"item","numeric-id":1095681,"id":"Q1095681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$E0DE9A7A-FB69-4385-B54A-FB878017B531","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":"Q1190791$176C3647-BF87-4D17-8837-CF4A28DB5EF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$1ACF6D58-D31D-40B8-99A8-CDDFA5369B48","rank":"normal"},{"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":"Q1190791$CA65B6DF-D435-4D94-8A76-3A81A03E795C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbb240c2d96b404c86cd73082f8ce049836f0e1","datavalue":{"value":{"entity-type":"item","numeric-id":5618341,"id":"Q5618341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$6084DA82-649B-46D5-9484-28FEE9FAE5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2504937f1791bf4620ba4f97a722b7276c3a48f","datavalue":{"value":{"entity-type":"item","numeric-id":3964033,"id":"Q3964033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$2AF0E6E6-AE9E-4020-96E9-B50B1D5874FE","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":"Q1190791$F89A0779-1125-42E1-833F-CC82C3218B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6e5c31662f78bf90b1a832beec9759bf1e84fbe","datavalue":{"value":{"entity-type":"item","numeric-id":3361916,"id":"Q3361916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$2680C3A3-FFE9-4CA3-B6D0-4D2F8422B960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ffc6b2c1d0c46bcf3a582f7c34bb6301f43675","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$919B49AC-C105-4436-88F3-AEE1868BDB43","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":"Q1190791$71E61AA4-E7F6-4AF2-9C51-932DCC86A535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$DC468DC6-C716-4BD0-9EA8-4BF211E4FF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3707174ec23e82046efbd8aa7a8afdfb7f792e4","datavalue":{"value":{"entity-type":"item","numeric-id":1096384,"id":"Q1096384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$17DA46E3-8DF4-463C-B9B0-5369A909B6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$CBB6EDE4-253A-464A-9BCD-1CA21BC213B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a177420faefcfce6396fc744cae98a5ec9b03f8","datavalue":{"value":{"entity-type":"item","numeric-id":3992821,"id":"Q3992821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$60A93DE3-6DCC-409B-82EE-1FC3EA7ABFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"718380434e13ecab09fa4cf3bd463d4c47181c65","datavalue":{"value":{"entity-type":"item","numeric-id":5816105,"id":"Q5816105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190791$3B276884-A6F7-4DC3-AD89-582128F85E56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"671e37121f2475c40b9cd14b28a482c651546719","datavalue":{"value":"https://doi.org/10.1016/0004-3702(91)90025-f","type":"string"},"datatype":"url"},"type":"statement","id":"Q1190791$317B300A-0421-464D-ACFF-B56C4CA14C1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f98349331e2d3ec64382b129b11ac5e905bc91da","datavalue":{"value":"W2110415540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190791$E65F70B6-78D8-489C-89F6-FE810FB07DC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80b726a14accdfc41b7c7c865c6cc671fa6b32c","datavalue":{"value":{"entity-type":"item","numeric-id":3486547,"id":"Q3486547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2022bd3743868fac3880563d8d5d281c1fa04b4","datavalue":{"value":{"amount":"+0.8990936279296875","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":"Q1190791$B2591ACE-A9D1-43A1-BB59-46A9C2FC88D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63ff32bb61f7bc6047f24bd116691182459ee7d","datavalue":{"value":{"entity-type":"item","numeric-id":5939380,"id":"Q5939380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d154b20969175acbbace27e2277cf400c24808","datavalue":{"value":{"amount":"+0.7623981237411499","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":"Q1190791$16A41EA4-ED29-47BB-85FD-DF3DFBACD435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f399a2d2e57d2144d37586d0754c9e4e1308a9","datavalue":{"value":{"amount":"+0.7614206671714783","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":"Q1190791$567AA24B-A872-4438-8DA5-8DD7C1E5BF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4908c5983c5fd202b8ba5072d5fe994d868c15e7","datavalue":{"value":{"entity-type":"item","numeric-id":3981716,"id":"Q3981716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aee55f61c9f2fb4d685e050c3a0073002e2f442","datavalue":{"value":{"amount":"+0.7587632536888123","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":"Q1190791$17BF074E-1C4D-4969-88E7-42DC182D3D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b01c80268aee810072055b12089515babfd57c7","datavalue":{"value":{"entity-type":"item","numeric-id":4733384,"id":"Q4733384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b997afe84565864d2dd0b2f08c2e10fd25d0a00b","datavalue":{"value":{"amount":"+0.755081057548523","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":"Q1190791$C0108373-F5B2-4B1B-94A0-3D486DB89A18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1190791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1190791"}}}}}