{"entities":{"Q965860":{"pageid":967708,"ns":120,"title":"Item:Q965860","lastrevid":77699753,"modified":"2026-05-06T09:52:22Z","type":"item","id":"Q965860","labels":{"en":{"language":"en","value":"Temporal reference in linear tense logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5701560"}},"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":"Q965860$D145B723-B3D1-42E8-AC07-5A8F2C362402","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87182ef2fcf925e4736149ad8c2f3fbdc68a6a98","datavalue":{"value":{"text":"Temporal reference in linear tense logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q965860$6E372D95-7A5F-4913-B47D-5D369A951511","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"801109ea1a4bb3bb80cd460843e61f9bf119903f","datavalue":{"value":"1202.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965860$6D8C9DCC-6754-4DEF-A068-C1BAF9832EBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa282e821b812e4d17511e7ea2ea3bb995433a21","datavalue":{"value":{"entity-type":"item","numeric-id":516413,"id":"Q516413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$85B396BE-1376-49B9-849F-71BCE0628D44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$68DB6746-5432-4DD3-AF0E-DB2C13D89322","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf11706925c44dddfc197e0393a2ad75b3d2238f","datavalue":{"value":{"time":"+2010-04-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":"Q965860$E14A0DFA-B791-4FDD-B8BF-CE35072BAEFD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"16075aa354ab8c449529899cb84b0fae5ab86b30","datavalue":{"value":"This detailed paper presents a first-order theory, ET, within predicate linear tense logic (K4.\\(3_t\\)) which enables reference to individual times and in which `now' and `then' can be formalized. This theory contains a single short axiom in addition to those for first-order linear tense logic. That axiom is \\(\\exists x(\\phi_N x\\wedge G\\sim\\phi_N x)\\), or simply \\(\\exists xNx\\), where `\\(Nx\\)' abbreviates `\\(\\phi_Nx\\wedge G\\sim\\phi_N x\\)', for a single designated predicate \\(\\phi_N\\). It is noteworthy that the reference to times does not require a special class of singular terms; all the work is done by regular individual variables and quantifiers and the predicate \\(\\phi_N\\). The bulk of the paper establishes the expressive adequacy of ET and various properties of models in which the axiom is valid. This demonstrates that \\(N\\) itself possesses appropriate properties. This approach is then contrasted with other methods of extending the expressive capacity of predicate tense logic, and briefly generalized to other forms of modal and tense logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q965860$C6162401-7352-4C68-8CC7-7FB94A1197E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$1E1B4672-3841-429E-90F1-6915788A8B5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965860$62A4C563-E1B0-4490-ADF8-EA7E625115DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965860$1F8A9DA6-D0FF-4EAF-B671-EB10FF187EA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5ffb3c0585af3a1fe07e95c33c9dc947b0d4bc6","datavalue":{"value":"5701560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965860$60CC424E-BE7C-4D3D-9713-27609FE22E87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c780d5e9775757b459988b7de72540810e1b9b93","datavalue":{"value":"predicate tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q965860$A25A9C09-E145-4F01-832F-BA63F590AF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcf81434313f1b257bf11d33ca4f0f71b49f549e","datavalue":{"value":"temporal reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q965860$98CB3FFA-896A-47B6-B3CE-B0E338354E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2e16bb6913149faf0ca2899891a30f741687b75","datavalue":{"value":"`now' and `then'","type":"string"},"datatype":"string"},"type":"statement","id":"Q965860$860C8C70-5496-404A-ABA0-F45059C4A85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4675a74524331a8e00fee8d0a123bcb4e843ca78","datavalue":{"value":"modal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q965860$D530E25A-10A9-4494-8F7A-4499A0BB9AA0","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":"Q965860$1064D916-F2C2-42A6-9D0B-4FFBDE145C77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8e64417be3912cb81de7efa48ce873b845c2734","datavalue":{"value":"https://doi.org/10.1007/s10992-009-9122-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q965860$B61351FD-8174-47CD-AC9C-574F45B2697E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f92566da02daf16a5699d45b51921bc25d6f431a","datavalue":{"value":"W1978121847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965860$6219AC3B-1945-4E20-9947-4D50470EB3D4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"437d59bf1377605981a012873bc2b48f1373c70a","datavalue":{"value":"Q56852792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965860$F8BE48F9-6B5D-4598-9935-746DA2F466D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d070aa766f6d7e922513295256b5be75e6cbec2","datavalue":{"value":{"entity-type":"item","numeric-id":2560224,"id":"Q2560224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$8ECF8701-5758-41B3-BCF0-814B0E763106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27171c45081d17a491640c9d376b6b836e297fe","datavalue":{"value":{"entity-type":"item","numeric-id":689193,"id":"Q689193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$A04476B7-F7B7-4CF6-9BEA-A58C4CD50504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$0813ACBE-AAFA-4F35-8FC2-6CE4851525F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab4282fd2c987cd127e606c2f21862eeb8b8b9fb","datavalue":{"value":{"entity-type":"item","numeric-id":2641285,"id":"Q2641285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$5B934076-83C8-4281-A864-8239FEB864F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4e510f1b77f8d5e2181406dae1af709f4aba8c","datavalue":{"value":{"entity-type":"item","numeric-id":1050331,"id":"Q1050331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$A560BA40-8C04-4D59-BEA0-6CB6BB0D1829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"940574eae46dfd94e0e350735e331859816e37b1","datavalue":{"value":{"entity-type":"item","numeric-id":5960007,"id":"Q5960007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$EFDF7325-55EC-4BEA-B874-4E699C856A4E","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":"Q965860$AB036769-6BC2-4F4C-90E3-48B234670263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff88c8deafe84aa3979279617493df51d40e2371","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$7F6020A1-8C5D-4578-B26F-99AAA70C0BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5fe7a89f7f67f2bcf836fe38b4eb4e332645b1","datavalue":{"value":{"entity-type":"item","numeric-id":1919987,"id":"Q1919987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$C4711555-E404-4993-BC4D-96360975B46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$6E52C587-745E-4915-A000-0EF51B0CDC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a89ce9cc9d4526f905bc32ec4a63b9897395663d","datavalue":{"value":{"entity-type":"item","numeric-id":861518,"id":"Q861518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$91507A0E-DBD1-4235-AD42-32C8330AD45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f4cf4ff644c5a2ead5e80e32317fa095ea47f7","datavalue":{"value":{"entity-type":"item","numeric-id":1150594,"id":"Q1150594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$72FC8953-0B0A-49A3-B174-4FFC3230276E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a73cb08d2241c15801016c9f2e93aa3828b1dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5686019,"id":"Q5686019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$2EB9BAE8-0E58-4B19-9E3F-7D1D20F2F94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d53b4d0b65edc05fb0be75134b1388f4c6f47e2","datavalue":{"value":{"entity-type":"item","numeric-id":759003,"id":"Q759003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$927ADB83-CC02-49AC-BCAD-CED949FB2B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$D5CCD08A-7C65-4661-915F-2B109B2C51B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08150682cc9e8e72659517e0cc63a9ead175d47a","datavalue":{"value":{"entity-type":"item","numeric-id":2271188,"id":"Q2271188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$B010F6EA-E267-4C4E-A62A-82B607BC310C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd446b97673ed30e429f4c9963ece99d4611ecff","datavalue":{"value":{"entity-type":"item","numeric-id":1258724,"id":"Q1258724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$A3FBA8CE-36BF-41A3-8ADD-998B02D53190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$116CBB0E-ADA9-417F-86FA-CAB6A3EEF62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$D4282C07-773F-4E7E-B79A-8514DE1BB167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8396ffc040804b6969e47e9cd073ff2761d315","datavalue":{"value":{"entity-type":"item","numeric-id":5596205,"id":"Q5596205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$1C091EDE-E254-4B86-A287-D07ADCA3761A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1aa455643840f81c7fdc76f5376fcaf25a08bf","datavalue":{"value":{"entity-type":"item","numeric-id":3269129,"id":"Q3269129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$6F8EA72B-1726-40EE-A8D5-A0E204F6BE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de13176db053258a2a7f2c9f378f0fa7ced71429","datavalue":{"value":{"entity-type":"item","numeric-id":5626600,"id":"Q5626600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$98E3E524-A4B6-42BF-A309-D8EB7CB487FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$BA132D97-095D-4218-95E5-7A6EE29045E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q965860$8D4D4CE5-E23A-4BA3-AFBC-9B8CD02FBEF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c68ef429f248add895d9feda0b3c318d7b69b1a2","datavalue":{"value":"10.1007/S10992-009-9122-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q965860$F37FD89B-CFFB-4C58-AEF8-6C22EFF1B384","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450af4c774f273e1677adadf02112c9eb299639e","datavalue":{"value":{"entity-type":"item","numeric-id":4925870,"id":"Q4925870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4425f45d4f10ac89b7ef3046e02dc428f7fcae0a","datavalue":{"value":{"amount":"+0.7841675877571106","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":"Q965860$910FAB87-3FEA-4F82-BBE2-E244D776F8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ee6c670a3e349156e0a56d45ca2a363b64436a","datavalue":{"value":{"entity-type":"item","numeric-id":689193,"id":"Q689193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f4ef9901408bfefd8e9a2430e0db8594be5a5b1","datavalue":{"value":{"amount":"+0.7795918583869934","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":"Q965860$2A81D584-D26C-4429-8C31-CEBC88122748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813fad0eef549b6e08a7396be42ff842b010c383","datavalue":{"value":{"entity-type":"item","numeric-id":1947028,"id":"Q1947028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181348753b6b2e3a8aeff359bb466d4a859c99d6","datavalue":{"value":{"amount":"+0.7411492466926575","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":"Q965860$C1B029A1-2910-46D8-B822-50B3E4844982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab883464740a24d5b2e11f29690e8b8b1aaa1049","datavalue":{"value":{"entity-type":"item","numeric-id":791514,"id":"Q791514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75a0c36f8104b8848035396370404cf44ab13a3","datavalue":{"value":{"amount":"+0.7331344485282898","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":"Q965860$E1B9170C-1554-4AA0-B53B-3BE1E2D4EA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360239ee967a99923353823b2c670201eea2bfa4","datavalue":{"value":{"entity-type":"item","numeric-id":4518420,"id":"Q4518420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f063eea92c5109387160f25087f33c553c72b7","datavalue":{"value":{"amount":"+0.7302545309066772","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":"Q965860$BEEA48C3-D667-4742-A484-B4C22B6E85A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal reference in linear tense logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_reference_in_linear_tense_logic"}}}}}