{"entities":{"Q1303794":{"pageid":1314544,"ns":120,"title":"Item:Q1303794","lastrevid":68410809,"modified":"2026-04-12T23:31:52Z","type":"item","id":"Q1303794","labels":{"en":{"language":"en","value":"Combinations of tense and modality for predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1339294"}},"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":"Q1303794$CC201D1C-F010-40FB-AD20-098C8B577CA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7df75b32666a154c70a4b667727c8bf4a667257","datavalue":{"value":{"text":"Combinations of tense and modality for predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1303794$C236808C-3389-4304-8C28-6355C8EC6AFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8ff294a07679a386ae3751486113a6c99de4859","datavalue":{"value":"0933.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1303794$8A600CE3-CE9B-4686-8760-7F999195326F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6be1a2d9405fffc7bcc037cfd2e16af825b7e474","datavalue":{"value":"10.1023/A:1004359325754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1303794$995DE9B5-756A-431F-AED1-D007C2C04EC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dee4550e4759fe3f051df22f040a9d18cff5a91","datavalue":{"value":{"entity-type":"item","numeric-id":1303793,"id":"Q1303793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1303794$B25D2DB1-EF88-4B41-A908-50A516ABCCC2","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":"Q1303794$D4446DDB-8424-4DB3-8F05-0999EE67419D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1303794$CC7C7C0B-690C-4520-A181-945A7D854145","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1303794$BDFD8FB2-A0E9-4C28-9BD2-57C2EA794B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1303794$F4B66DB3-0B82-48DF-B6DC-4F3DC7D330ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1303794$7657CA1C-751E-4DC2-BF58-7CFD8665EBA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b921c147800601a75ccc782c8941d3d547d638a","datavalue":{"value":"1339294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1303794$E7CC9E88-A44F-46A3-A450-DF613463ECA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1303794$4F92D729-2496-4276-AF33-305D109F4E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1303794$2177F31A-F224-4E52-9477-BA8610E7A569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68245c0ff23bb85d2bc84a49705572fb3f8a84a6","datavalue":{"value":"tense","type":"string"},"datatype":"string"},"type":"statement","id":"Q1303794$89F13D1C-2CB0-4C70-BB26-1E64B91E281A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93bcd40cecb832d3577a8c84a0d4d42fafae2708","datavalue":{"value":"modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1303794$E8EF2D02-2E16-4684-9D73-C271EE399511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1303794$7574CCBB-C97A-4A63-8C10-5D197CEF06C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1303794$8BAA488F-B570-41FD-8907-1BF67BA2EEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46572d1a7329450f7dd97c858f824359366feb6e","datavalue":{"value":"Kamp-semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1303794$EDDE508B-92C0-45B9-ABB2-4B2CBA4CB29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31fca52ad01252a03f453d41d89622a27b05c95","datavalue":{"value":"\\(\\text{T}\\times \\text{W}\\)-semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1303794$E2BF2EE1-942D-446D-839A-32AE23A0ABF6","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":"Q1303794$441224C4-1DFC-48D0-AB32-D8B13C5EE8E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b3e7554c5b9ad3a018588230332941dd1bfea0","datavalue":{"value":{"entity-type":"item","numeric-id":1207433,"id":"Q1207433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1303794$8740838C-21E5-4826-8A5E-C1C169B41F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22cae326ca6782a9a0cf6ea4636c52afcebb5ab","datavalue":{"value":{"entity-type":"item","numeric-id":4518428,"id":"Q4518428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1303794$9C90BE0C-028D-46F3-B08B-F675B576F9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be41a763d6fe7e163bdbe800016a99335c40679d","datavalue":{"value":{"entity-type":"item","numeric-id":4182465,"id":"Q4182465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1303794$A81C625D-1F17-4672-A760-6BFC8CE5921E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326e802bee95ed2c822a5c7be798bb929636447e","datavalue":{"value":{"entity-type":"item","numeric-id":3669373,"id":"Q3669373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1303794$4A60B146-DB9B-43E7-A76D-8F8FEBECF7B2","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":"Q1303794$4F3BC884-3BEE-4114-B276-82EA5A87EB24","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":"Q1303794$C1E670C6-DA3F-44A5-B4E0-D572B5AF2A1B","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":"Q1303794$058967C1-5872-49BD-899A-C95111F372A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65eccfbc8697df514c56fc0b5164f8796af3eea","datavalue":{"value":{"entity-type":"item","numeric-id":1362587,"id":"Q1362587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1303794$B070884A-7ED2-4FBC-8992-83118FDB3D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8515414e75e094937d6e5df3b3292f9b8bcc8d2","datavalue":{"value":{"entity-type":"item","numeric-id":1310622,"id":"Q1310622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1303794$C8285C9A-A5A6-473A-8F90-71624C8A682E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1303794$58D44C90-BF11-4813-B3F4-B472601DDC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e4537b0757ba21c738936714d08bad554bee31","datavalue":{"value":{"entity-type":"item","numeric-id":4879898,"id":"Q4879898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1303794$F80E816C-5196-4192-8619-6FD560D0D33C","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":"Q1303794$19357A72-3FFC-4172-846B-C3DFBFECC3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb829f4f3c004622185cd16811967cd4ca05ab6f","datavalue":{"value":{"entity-type":"item","numeric-id":1092034,"id":"Q1092034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1303794$B247FE1A-CFD8-49AA-8A29-BC3CF044946D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4625a8b175c798b9b816252c4eb7b84249a3d851","datavalue":{"value":{"entity-type":"item","numeric-id":1066884,"id":"Q1066884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1303794$9CCF91A9-7569-4EB5-A22E-659E4B1F6168","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1510ba7b18e6b1438473e3903fb76b7838e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":2771498,"id":"Q2771498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3a1ead7ff5bb2ccf54639f6b61a8369b4d25bc","datavalue":{"value":{"amount":"+0.8213047385215759","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":"Q1303794$7BA5CCCF-79B6-4296-B501-7CF0009A113D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"342deff2648c97580bb7b486c3b3c7867ec812fa","datavalue":{"value":{"entity-type":"item","numeric-id":3695255,"id":"Q3695255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b7a8e794bcd4f3433099ed0e0fd2789ce3ba27","datavalue":{"value":{"amount":"+0.7833662033081055","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":"Q1303794$E36A5E08-1E0D-48A8-B126-D07B936DB773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1878e2ad8e5624cb2b4f21fecc9cc6ef85cb55aa","datavalue":{"value":{"entity-type":"item","numeric-id":3815279,"id":"Q3815279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f7e94078912a2be45bb4bcab765c99bbca4f0c","datavalue":{"value":{"amount":"+0.7814056873321533","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":"Q1303794$77355AC0-A7DC-438D-9D75-BF84D4A73FF5","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":"c3a4db002a7755833d9de44639c683acf76b9ac2","datavalue":{"value":{"amount":"+0.7672938108444214","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":"Q1303794$502E198D-B21E-476E-AD20-F621312AFAE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinations of tense and modality for predicate logic","badges":[]}}}}}