{"entities":{"Q5419876":{"pageid":7449450,"ns":120,"title":"Item:Q5419876","lastrevid":92436692,"modified":"2026-06-05T01:43:00Z","type":"item","id":"Q5419876","labels":{"en":{"language":"en","value":"Indexical hybrid tense logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302900"}},"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":"Q5419876$C0638C88-1FB1-4FA7-BED9-3CAEEAE00408","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c88f4dfd86035584c1f48d1e4f032da5aa5b9a67","datavalue":{"value":"1296.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419876$CDE7392F-D921-4549-9024-F6D095666CA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419876$250B8250-E20E-4D4F-9000-B8C1882F189C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f456bf130808cb9160461e9b1d7c9cf3ca51f8b","datavalue":{"value":{"entity-type":"item","numeric-id":516422,"id":"Q516422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419876$08C98F27-D431-4AE7-9B23-A8106F16FDB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43778674c2b2702627340bb6c16c332cef55ae85","datavalue":{"value":{"time":"+2014-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5419876$2B9C2162-2479-4A3F-82A4-E5BA20AB658C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419876$A69EF581-6AC3-4958-9B03-1A7834B6E386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419876$9A0AA7E6-FBE6-4EBA-86CF-EEA9F78AF29A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2618c7b0be5f4aa602fac6f64177a75092ed9281","datavalue":{"value":"6302900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419876$8A12B49C-68DB-4AB9-B589-F66FE86DE554","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419876$1A5DCB00-1FF5-4ED7-9192-835BDAA779DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc1e0c570b2db51740ceed0ddd3434f82608469","datavalue":{"value":"nominals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419876$1FEA51C0-81E3-4A22-BC53-69EBFEC48878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf36ee39dcc6791702b56e7bc25240b55b03c6ae","datavalue":{"value":"indexicals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419876$3055FDA3-DDD3-4ECC-88E1-72C203EC96EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419876$3E3B2A15-6670-446B-AFCA-716315811BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f3dca56b5f06e9539c1b7f9097f820645e1a33","datavalue":{"value":"two-dimensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419876$B9D125A7-8B72-420E-A78B-B6E4BF47DC81","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":"Q5419876$37B80185-36AB-4063-AFE8-F1629028F13C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016f2e7132a797ec59ff79678ad1db1e19b2ad09","datavalue":{"value":{"entity-type":"item","numeric-id":5172130,"id":"Q5172130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565f33a41ec22e669de092948e32a3d5684a734c","datavalue":{"value":{"amount":"+0.7928760051727295","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":"Q5419876$54E994CE-BC7C-4362-A522-952E78AD0CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9339ca1c225a0c60694be0847c31aae2d6a3d2d2","datavalue":{"value":{"entity-type":"item","numeric-id":4511543,"id":"Q4511543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24919fcb86e4ee4a557ac00ed6bbd6d064c38c4e","datavalue":{"value":{"amount":"+0.7744736075401306","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":"Q5419876$C35E5228-2C97-4A11-B892-28ED72542EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c083279b4fd49c1b0797eb61b9d0b7bdce2cd6","datavalue":{"value":{"entity-type":"item","numeric-id":4945233,"id":"Q4945233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24919fcb86e4ee4a557ac00ed6bbd6d064c38c4e","datavalue":{"value":{"amount":"+0.7744736075401306","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":"Q5419876$6F42C39A-BB6F-479A-AE62-78B3AC52CE1C","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":"4ba92120669a2f903d716c2a139eff1aa588b767","datavalue":{"value":{"amount":"+0.769014298915863","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":"Q5419876$1CE6271A-AE1F-464D-B579-14079E7E38A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e18215e6aaab067da7d24ea47c533fd8badc44","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aacd3d7dd9cb20d71f2020933780705d089286ef","datavalue":{"value":{"amount":"+0.7552275061607361","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":"Q5419876$EBCDA27C-7760-45EA-B191-10B0324F3EB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Indexical hybrid tense logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Indexical_hybrid_tense_logic"}}}}}