{"entities":{"Q1207338":{"pageid":1218087,"ns":120,"title":"Item:Q1207338","lastrevid":66879699,"modified":"2026-04-12T13:28:49Z","type":"item","id":"Q1207338","labels":{"en":{"language":"en","value":"An axiomatization for until and since over the reals without the IRR rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 149607"}},"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":"Q1207338$3CE77874-383C-472B-A436-3DDCCA0C16B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cf6dee1b726e27c6b37205f6f08e5ef4184d422","datavalue":{"value":{"text":"An axiomatization for until and since over the reals without the IRR rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1207338$0CDB05FF-9723-40A5-BA27-B93C93028C6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf5cba838e31d25cef15373c0e86f61658f08699","datavalue":{"value":"0785.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207338$0D07D950-0388-4A22-BE00-11DE2DFC09A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1575a9c6da71fb43d994fc61d394ac89ff718969","datavalue":{"value":"10.1007/BF00370112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207338$BCA186AD-C81F-4D03-9922-23B8C8762EAE","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":"Q1207338$D7866E98-15FE-46A8-B35A-5E3502C67D82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1207338$D8B27B41-F4EE-443C-A501-5041C3E53C82","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f5a45b564148118567b70b39fc5557c20ed992ee","datavalue":{"value":"This paper deals with different kinds of approaches to axiomatization of temporal logic. The author considers the case of temporal logic with two temporal connectives: ``until'' and ``since''. The considered semantics consists of linear temporal structures with irreflexive linear order (flow of time). The offered axiomatic system for this temporal logic of real flow of time consists of some Burgess-Xu axioms, axioms of density and no end points, and some additional ones. A similar axiomatic system for ``until''-``since'' temporal logic of integers is also given. These axiomatic systems are orthodox (have only usual temporal rules).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207338$F06C2B1E-B6DD-4D6E-82EE-4BB20DF3A4B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207338$EBA4B36F-F63C-4211-8D42-A929D22A1416","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f63880d084d06d26a38ccb4086c9f2422e192d9","datavalue":{"value":"149607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207338$8959A0C7-A261-4B38-A60A-3155C1FBACE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ec31a5cfdd1c75868590e65ea4864216aab7cdc","datavalue":{"value":"axiomatization of temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207338$11E1B0CD-32BB-4435-94F3-6904A3E186E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207338$0448EE94-A727-43AB-A297-B85F7A00AEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c4ed112b9229ecd8e8ee58ee5aebffa22e0ad5","datavalue":{"value":"linear temporal structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207338$EBA594C0-DD79-4867-B923-A3264BA7EC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b8245c8d444ae8573323f0802bce40f57b60a3","datavalue":{"value":"real flow of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207338$E661B70C-73A3-4469-96B9-F8ED1FDE1F44","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":"Q1207338$11CA52C8-E7A9-44DF-8D1D-948329D72308","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b4569bc40e6a72bfae622e1549e11d4577f6e6fd","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207338$6FA692CE-948B-4027-A124-B284921116A3","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":"Q1207338$064BFF48-E0A0-49A6-886D-82B9038F8852","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdf7b36f5fc3a4d7c3714ec3c7dab3e680dea45","datavalue":{"value":{"entity-type":"item","numeric-id":1164615,"id":"Q1164615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207338$6D19DA13-E22E-4C21-91C1-B173E1D88BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156138aef606bd7a7128a417f2c9b76b54fcbdfd","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207338$B38F724B-70D2-4FD3-8726-AF5365993708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fd56f0e510a1ec684fa262294e71da16bb73b5","datavalue":{"value":{"entity-type":"item","numeric-id":1264142,"id":"Q1264142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207338$3C791A97-1834-4682-B674-565CAAA341D8","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":"Q1207338$89D69581-B466-461B-B74E-AA3B1A11B88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2138ffa5ca3eabca6f9aba6811963bb0c9c43f6","datavalue":{"value":{"entity-type":"item","numeric-id":4281254,"id":"Q4281254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207338$C0CA793A-7D9C-4E0D-9987-30EB14031F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0a35e0f6437333498404d4c6e47a075a316594","datavalue":{"value":{"entity-type":"item","numeric-id":1120562,"id":"Q1120562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207338$9CF84FB7-A91E-42A5-9E24-A61F36005544","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":"Q1207338$01413426-DDA0-464D-87E2-20309A772669","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":"Q1207338$E9363097-62C8-4FA5-BE59-3A7D791F8BC9","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":"844bd6926a2c9c208bf3768fb07d77db9052de79","datavalue":{"value":{"amount":"+0.864569902420044","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":"Q1207338$B93741AF-AAD3-4244-B81F-774166577482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b0f048830b5858cf7bd8523c2da2ba3917d7be","datavalue":{"value":{"entity-type":"item","numeric-id":2276945,"id":"Q2276945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45eebde7542fc3a1d180569fafe515199586eff","datavalue":{"value":{"amount":"+0.863219678401947","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":"Q1207338$83DDA2CA-360D-4486-9583-A6C08F5D68F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a268163365589a0d288d821dc138c43e323937","datavalue":{"value":{"entity-type":"item","numeric-id":2563451,"id":"Q2563451"},"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":"Q1207338$D563B0E8-C940-4937-A86D-C99BBAFF14C0","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":"f6c20107a2763f750077b0d1fbb9387b7cc2ce4c","datavalue":{"value":{"amount":"+0.8438460826873779","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":"Q1207338$3AD82742-2896-4726-9A7E-9AF80A4C03A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1790717f630dc6629e20790491820964669abb14","datavalue":{"value":{"entity-type":"item","numeric-id":5958467,"id":"Q5958467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e2da02a968767e9e62cdd988166edcacf510810","datavalue":{"value":{"amount":"+0.7934781908988953","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":"Q1207338$9378AF30-C2E7-4DB8-9B0E-2CA71B7E1CEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An axiomatization for until and since over the reals without the IRR rule","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_axiomatization_for_until_and_since_over_the_reals_without_the_IRR_rule"}}}}}