{"entities":{"Q2563451":{"pageid":2574194,"ns":120,"title":"Item:Q2563451","lastrevid":46814730,"modified":"2025-12-25T15:49:46Z","type":"item","id":"Q2563451","labels":{"en":{"language":"en","value":"Axiomatising first-order temporal logic: Until and since over linear time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 957480"}},"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":"Q2563451$8666950D-F832-4C30-A547-0E3AAAA97659","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b76a693cdc628d8de02c54c260f57cf142f8522","datavalue":{"value":{"text":"Axiomatising first-order temporal logic: Until and since over linear time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563451$CE6CAFEA-BB1B-40A0-AB14-420B96F1D357","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cef6f1de9abf6e96f113777063bbee1be1f06c03","datavalue":{"value":"0864.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563451$089F23AF-FDB2-4921-BBD5-1E9ADEB8F7DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93a55483833e1f52560bf396d5bd1b114742ceab","datavalue":{"value":"10.1007/BF00370836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563451$F54FA0AB-A904-4BB9-A8A0-D4993D380974","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$736CA7EF-2DB6-4509-90CB-1B407FD75E52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a12bcc24bcb1687cc3955f148bdc9dcf1a4ac38","datavalue":{"value":{"time":"+1997-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563451$75692C13-58A3-4773-B992-554E2E8359DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb6e8bd1946fa90a3e839e83a5beaa462e65b070","datavalue":{"value":"The author presents a complete axiomatisation for first-order temporal logic with the connectives \\(U\\) (Until) and \\(S\\) (Since) over all linear time flows. Adding two more axioms, he obtains also a complete axiomatisation over the rational numbers flow of time. The result extends the corresponding one of Burgess for propositional logic, as well as Scott's result for first-order temporal logic with the connectives \\(F\\) and \\(P\\), but the proof is by no means a straightforward generalization of them. In fact, he avoids ``datings'' for reducing \\(U\\), \\(S\\) to \\(F\\) and \\(P\\), and unnatural rules. For the construction of the model of a consistent set of formulas, he uses subtle and nice techniques in order to cope with completeness of quantified formulas (``omega completeness''). The model is constructed a the limit of finite pieces in countably many steps over a subset of the rationals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563451$FF836892-FE9E-440D-AC3F-7EABA96CF533","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1ccec5bcfe8acf430d68a7dbc17c1b6cb071bfe3","datavalue":{"value":{"entity-type":"item","numeric-id":175059,"id":"Q175059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$E78D0ACB-0F6F-4537-8B88-86F83DF2B3DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563451$DB159DED-3DF7-4D58-88E1-E5DCFB9928F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fe5d9ffc79ed711f2b07f70c935f5c8a58c44aa","datavalue":{"value":"957480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563451$85121B38-5284-4FB8-8A62-52C2D6BD8F33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c8dbe187574198d8a16cea0768a9115c70ddf40","datavalue":{"value":"first-order modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563451$126D91EE-006B-4902-8955-CBC787952693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563451$F73150E1-9D94-4726-BF39-BD83ED15E9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1a1b4de2f6601636779c475343b36943870036","datavalue":{"value":"first-order temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563451$3DAD8A03-21FA-4339-AA23-3F09749BAF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6c78b67096b558b6a5b7f77cad8eea1fc65662","datavalue":{"value":"linear time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563451$D2B40A22-9220-45D8-9B28-82CD2679F2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d37a731564d73e7b659fe7576f12bbde60fb7e3","datavalue":{"value":"rational numbers flow of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563451$651F635E-8231-4DA9-BCDD-E62577A79E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7f05070b37f138133c22eadc4831aa284fe7c75","datavalue":{"value":"completeness of quantified formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563451$E7EC8638-D3F4-441B-9098-C23CC24488EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$F1ED6888-693F-4D61-8551-199A925A35FB","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":"Q2563451$D46D716C-5A70-4EE3-B71D-1CFC5FF5EDC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$B35FB62E-9256-4EF8-8A6A-D1FD3BF1C746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$A971BE91-54E2-4B79-8B46-361CD10EA92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"068c2180566322e7e6ae6561991d844472fe844c","datavalue":{"value":{"entity-type":"item","numeric-id":4063120,"id":"Q4063120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$FCA1233C-4642-4112-B0DA-B207D527BF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13946f1d5a57299c2b772eb839c22d24efd0a83","datavalue":{"value":{"entity-type":"item","numeric-id":4713419,"id":"Q4713419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$BD2934CA-F4BE-4FA6-BB9C-0C0B9147608F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$66F84A01-03CB-44E3-9B30-C07F2B07FA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cb7f6d1b490c05a83224e0a588d211d03b2f5b","datavalue":{"value":{"entity-type":"item","numeric-id":4342087,"id":"Q4342087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$92346ACD-2FE5-42AD-B38A-0EC5CE593E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$BEF87558-D65D-49A7-ACE6-CC65E882A589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076c363cab69eb6e9f1d705e8fcdc709f30f81fe","datavalue":{"value":{"entity-type":"item","numeric-id":1207338,"id":"Q1207338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$7C9D4914-071C-4F44-A5DA-964D8B31F275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12754be2dde76deb61f2dea60d3e4b7cd16fc70","datavalue":{"value":{"entity-type":"item","numeric-id":1101100,"id":"Q1101100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$E22498D6-CB3E-49A7-B7BA-D820C929B9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56abf17fe38c9d6f19bb07c76c7c037b3d964b6","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$ACBC2667-48E0-4301-B3E0-C4ECDE1BC9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a0dcc2d0213e91e3cc5762a03bed927bf1a171","datavalue":{"value":{"entity-type":"item","numeric-id":4833779,"id":"Q4833779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$954C99ED-620B-471F-85B9-6F659EB7172B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5f5a8693e3e3343e0cb3998b121d3d28977a59","datavalue":{"value":{"entity-type":"item","numeric-id":1104920,"id":"Q1104920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$79D79A14-E7CB-4AEC-BCA7-710C34D53DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9780875674f2eb4319bcaa913fb0db3d4e7e8f01","datavalue":{"value":{"entity-type":"item","numeric-id":2276945,"id":"Q2276945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563451$0731EED5-47C9-413F-BB38-D0B3F6537F07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f13b50d0406480a50eca52ed483513a3c61cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4713419,"id":"Q4713419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8420e4a1746b15f732bffa71eb85122bce2452c1","datavalue":{"value":{"amount":"+0.863125741481781","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":"Q2563451$A88E3CD5-51F4-41D4-B067-886B11CF97DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5138e9ce84ee2461890c47af357ce40ded06f3db","datavalue":{"value":{"entity-type":"item","numeric-id":1207338,"id":"Q1207338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323be5d280abb24d5877e649397663416a4a853b","datavalue":{"value":{"amount":"+0.8572884798049927","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":"Q2563451$A2BBA6A3-DD42-4F10-9347-1B840AA2ADDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081bd63286da1909b7245ea381f5077097f31ff7","datavalue":{"value":{"entity-type":"item","numeric-id":2913981,"id":"Q2913981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a09793e83f5b134215a04350c9c290a23d732f8","datavalue":{"value":{"amount":"+0.833465039730072","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":"Q2563451$0E26B19B-14F6-40ED-9F69-E770861EFAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57f6916c640cfb43b4feb52ab3c50e60f0e06ed","datavalue":{"value":{"entity-type":"item","numeric-id":4518419,"id":"Q4518419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e70b4bd6f90f46bec966357e2f00b4191f2e983","datavalue":{"value":{"amount":"+0.8260394334793091","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":"Q2563451$D55EF34E-1164-4646-BA34-095FBC47FBCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2563451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2563451"}}}}}