{"entities":{"Q4796460":{"pageid":6826040,"ns":120,"title":"Item:Q4796460","lastrevid":74653902,"modified":"2026-04-14T23:46:31Z","type":"item","id":"Q4796460","labels":{"en":{"language":"en","value":"Display Calculi for Nominal Tense Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1876742"}},"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":"Q4796460$852A3284-BDA8-44DA-B3B7-51A0C5E230D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b614dc99680bbae3449fb347eef9f071268158f2","datavalue":{"value":{"text":"Display Calculi for Nominal Tense Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4796460$89811ADF-0F8C-4DBA-A5BE-FEF7D129552E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2b92e23f41f2b01f9bb59721b70129d790fce87","datavalue":{"value":"1016.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796460$E272D879-E1B2-4684-9749-460B4C16346B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796460$6457C5EF-BF99-4484-BAA1-8E639BF51504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796460$BB3D82FC-F0DB-49CF-8699-6E72570F5C99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77adafc20945d0e29a914c84d50e89458fb662b6","datavalue":{"value":{"time":"+2003-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4796460$4FFE4CCB-21C7-466D-BC63-5FD51065DB6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796460$123E0879-630A-4FA8-AF2E-1222A7FCD607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796460$E3E15226-1F46-4A09-801A-62C922FC2763","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6528d1713e33b0c119e8bcafd72ec7e01d67500e","datavalue":{"value":"1876742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796460$88CEF70D-0371-4FC7-A586-27AB6D325B5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af6ffade9213337df2026a9baf6116610e51e1ff","datavalue":{"value":"nominal tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796460$0569E0A1-1796-4D5C-B909-38EBA25AAFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc3a19089d3c475a56535a8622363edd5f36cd5","datavalue":{"value":"display logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796460$246226EA-7080-4DC0-81EE-B11973CB4B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6b2394774747f377a5ba84345f9ee50cd643f3f","datavalue":{"value":"cut elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796460$0B493ABB-621E-43EB-BFFD-4E253ABA5A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"435384251c94575896314103bb09ce53fe656f4a","datavalue":{"value":"difference modal operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796460$F4903A28-B5EB-4282-AEFC-A07EBCEC7D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2250d985d8dc18d4251ed49e789e4abce9f44e56","datavalue":{"value":"Sahlqvist tense formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796460$DD60AAEC-0D64-42CD-9ADB-F90350E3A278","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":"Q4796460$0597DAA3-56DE-4832-8A4C-84779138BEBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbfe56da7ff785fa76444b32094b55a3c47973a7","datavalue":{"value":"https://doi.org/10.1093/logcom/12.6.993","type":"string"},"datatype":"url"},"type":"statement","id":"Q4796460$8A4D9959-B6E0-4952-B930-430DFB4F0E92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c3dbe02ed437c4d5e303b454b713f44467cbdc7","datavalue":{"value":"W1991893598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796460$8EA4E34D-13FF-4C71-AD0D-94FD16A2E432","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb5e801a41a2012affae1b807a889fda84997f81","datavalue":{"value":"10.1093/LOGCOM/12.6.993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796460$8EB756B7-3D09-4CB4-A238-43487BDAE170","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796460$E09E75E0-27D3-4B22-A580-DA7B456C2713","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"554b66eb08a291086befebb863cc1555ec988938","datavalue":{"value":{"entity-type":"item","numeric-id":4263013,"id":"Q4263013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a43e518ccce2cbf5379350c5165f9ef84524cd2","datavalue":{"value":{"amount":"+0.9132760167121888","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":"Q4796460$2E89AB8F-DA98-4A44-B327-7039875C2FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed356b5d3221abf7374259e61e636f2d7c68372c","datavalue":{"value":{"entity-type":"item","numeric-id":4263012,"id":"Q4263012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"521596378322580eb771ad9801be893fc84fc9ef","datavalue":{"value":{"amount":"+0.7888522148132324","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":"Q4796460$1F33140E-917D-43F9-A3E6-1919DAB9BC79","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":"19c1379418be4ad699854d6ce595abbc70162c51","datavalue":{"value":{"amount":"+0.7776426672935486","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":"Q4796460$CCD3D786-B039-4285-B568-38646CB38A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6a3b3464904406b908bfc2ed88d01fa2bf50f5","datavalue":{"value":{"entity-type":"item","numeric-id":5688807,"id":"Q5688807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12eebd390f672333ac346ce35deae04a8680d0c","datavalue":{"value":{"amount":"+0.7772182822227478","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":"Q4796460$168F414A-EE58-4FCE-9312-C15699278108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cc7780ba43a8ea5c56365615a44d25e91d56cb","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12eebd390f672333ac346ce35deae04a8680d0c","datavalue":{"value":{"amount":"+0.7772182822227478","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":"Q4796460$20B4700C-659E-4A05-997C-85AC9DE3AE30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Display Calculi for Nominal Tense Logics","badges":[]}}}}}