{"entities":{"Q657427":{"pageid":659276,"ns":120,"title":"Item:Q657427","lastrevid":63378672,"modified":"2026-04-11T12:28:05Z","type":"item","id":"Q657427","labels":{"en":{"language":"en","value":"Algebraic axiomatization of tense intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5998006"}},"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":"Q657427$21EEF7B1-1A74-424B-A757-0126B3A6B015","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ead3b6b33a905961affca90480a0274610dc18b7","datavalue":{"value":{"text":"Algebraic axiomatization of tense intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q657427$03F3991D-98F8-40ED-BDAB-C45BB11CD186","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a80339dfc3e330df4e73abf70512591c01c085f0","datavalue":{"value":"1260.03113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657427$B4BEEBF9-19CE-42BF-8614-C483CDE1B72D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$DE6564A4-D92C-4C58-B07F-35C0CA9E4FAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc7d268a183ade5451538ec2970855ed7396f2d7","datavalue":{"value":{"entity-type":"item","numeric-id":352702,"id":"Q352702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$EA9AC083-2825-426B-8C40-585DA4D266C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11141c441dfb84ae49e81caacd22daea66deabf0","datavalue":{"value":{"time":"+2012-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q657427$9931696F-EBC0-48D6-BBE1-21E110B54D18","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"27c56dcf22f3b26a4e57663471ffe29545e2e1c3","datavalue":{"value":"The paper studies the tense intuitionistic logics. The algebraic models of such logics are Heyting algebras endowed with tense operators. The operators \\(G\\) (it is always going to be the case that) and \\(H\\) (it has always been the case that) can be defined by the following conditions:  1. \\(G(1) = 1\\) and \\(H(1) = 1\\);  2. \\(G(x \\to y) \\leq G(x) \\to G(y)\\) and \\(H(x \\to y) \\leq H(x) \\to H(y)\\);  3. \\(G(x \\land y) \\leq G(x) \\to G(y)\\) and \\(H(x \\land y) \\leq H(x) \\to H(y)\\);  4. \\(G(x \\lor y) \\leq G(x) \\to G(y)\\) and \\(H(x \\lor y) \\leq H(x) \\to H(y)\\);  5. \\(x \\leq G(P(x))\\) and \\(x \\leq H(F(x))\\), where \\(P(x) = H(x^\\ast)^\\ast\\) and \\(F = G(x^\\ast)^\\ast\\) and \\(x^\\ast = x \\to 0\\).  The justification for such an algebraic interpretation of the tense operators is given by the following theorem.  Theorem. Let \\(\\mathcal{L} = (L; \\lor, \\land, \\to)\\) be a complete relatively pseudocomplemented lattice and \\((T, \\leq)\\) be a frame. For \\(p \\in \\mathcal{L}^T\\) we define coordinatewise \\(G(p)(x) = \\bigwedge\\{ p(y) ; x \\leq y \\} \\text{ and } H(p)(x) = \\bigwedge\\{ p(y) ; y \\leq x \\}\\). Then \\(G,H\\) are tense operators on \\(\\mathcal{L}^T\\) satisfying the above conditions and such that \\(G(0)=0=H(0)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q657427$08FA7034-F421-42B9-955A-9EA7B5028326","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42952f847986d97f96b12a6dfd7da21342953d87","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$C11F7CB1-BB7B-4C04-8F83-5C7201015891","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657427$7699D3AE-1C6A-4A8C-9FBF-707478DFA242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657427$D8CE7BB0-D97F-492F-B1FC-85227B197BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657427$CE4DFB9E-A2E4-4895-93BB-03F17E62928A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657427$9E0EA0B7-E8D4-4D5A-8D43-9F6E1263CB77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a100e106acc35eb62ec429245943f157311b8eb0","datavalue":{"value":"5998006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657427$3ECF58B6-1088-4E25-A115-8F37A15CCBCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec6b6c4a67380b48d31808965ad5312447a631dc","datavalue":{"value":"tense intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q657427$78792E47-944D-4C63-984B-9AD7741D7747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q657427$765964EC-9E00-4504-A96F-F9754A1F9BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q657427$9CD69210-AE4B-45F2-9711-92865E1F9568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffb2b54a0a4f1333cea60f37f4a264b38cf0f68e","datavalue":{"value":"tense operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q657427$386DC6A4-912D-45E6-A294-FF856532BFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q657427$B8C74DE2-4CCC-486B-879D-0670DD692312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82967ff1cdfecc17868780f2d98a5a8ecbb1769d","datavalue":{"value":"Brouwerian lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q657427$CD9DBE0A-FEC5-442E-BAD9-8090AF65D01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40fa0f5dc3a222ca939f8bed8bf738873c3682e6","datavalue":{"value":"relative pseudocomplementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q657427$3DE2CFE0-B6FB-4F75-A198-48BA495544D7","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":"Q657427$7CAE88DB-A72A-4776-AFAB-4704F16EE1EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f710943e65e937b23f7cf4831c219ae0969649b","datavalue":{"value":"https://doi.org/10.2478/s11533-011-0063-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q657427$2FE87742-C23D-4B17-AB80-A7783A1637EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"759d9adac9e486f57b6404b8486843a3dbbc5f14","datavalue":{"value":"W2051677278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657427$BBDFD3FC-3B9F-4683-ACB2-001B10E70DF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$7558543C-F97F-401C-A39D-71D05EA7BF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4d547ca76e4b86d8cf82e89e649681bd87bf7b","datavalue":{"value":{"entity-type":"item","numeric-id":429927,"id":"Q429927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$8886C318-DA0F-4BCC-A4B8-6D3EDD8B0E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$9043A64E-C2E0-4DC8-B32A-86E03DF991B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912d0682c116b883e8739123fcba6277cdc14bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5293965,"id":"Q5293965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$B96AF642-4938-4BBB-BE29-B14E2B39449F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3849be10a4433a465fbc67aa1550a8117b20f45c","datavalue":{"value":{"entity-type":"item","numeric-id":2883997,"id":"Q2883997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$8D21BCBA-2BCF-4F3E-9668-150BE3300C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97957893567d24ba7bf9f14877c3440ebe3d71cb","datavalue":{"value":{"entity-type":"item","numeric-id":5389310,"id":"Q5389310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$CE35C7DB-FF1E-4842-A1C0-C9D13988B851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6cb8e5d189d145033442c74733fc9a8459f4df","datavalue":{"value":{"entity-type":"item","numeric-id":5445179,"id":"Q5445179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$90ECE600-3DE2-4D81-BE91-6055709A41EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$22508917-3B4D-433B-9C32-9BF86667E778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$C10C0981-7704-4647-A464-9BA804BF47DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$01A6F5FF-9E44-4059-A1B4-D08467B4CCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c520f466c29fa1a2f58f5de0c0bb794166e00444","datavalue":{"value":{"entity-type":"item","numeric-id":1125164,"id":"Q1125164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$F7458EC4-6FDD-4941-8E2E-13930FE1069F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26651eb44736bccdd9116d5c165190dd746d76fd","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$79F74949-3689-4B4E-BA63-14C039C2C266","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fccb8467bf11901e618cda75cbd7794cb8ae85b3","datavalue":{"value":"10.2478/S11533-011-0063-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q657427$7EFBB5A4-5E20-45B9-95B2-252B33D271B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc16c57b745e11e27c0fad98a51a479d053de3b7","datavalue":{"value":{"entity-type":"item","numeric-id":894527,"id":"Q894527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33bd9fb604b9bdd91d147a7e80d3c5c12b969de0","datavalue":{"value":{"amount":"+0.96020067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657427$B546999C-2579-4626-A3F8-6269DCD0E36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d9fc29bc1f2d377df32d785fe7aa1af27f3e34","datavalue":{"value":{"entity-type":"item","numeric-id":2291233,"id":"Q2291233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cdcd9bcfc2a4e36b161e6810e991ed03846305","datavalue":{"value":{"amount":"+0.9423458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657427$AE25EABB-88CB-4F0A-852F-5D30FD02C9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6389e98dc4e5b611022bf9c993ec5967d871daef","datavalue":{"value":{"entity-type":"item","numeric-id":5537602,"id":"Q5537602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27818ee6e726e0d66d5b009417b425035a5bf60d","datavalue":{"value":{"amount":"+0.9194891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657427$9F2D0D07-0D93-4B7E-938F-2AF9363C822D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a59025c5b438d387ec14bd73b1dcf3ebac0ca3","datavalue":{"value":{"entity-type":"item","numeric-id":3344178,"id":"Q3344178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab2776b8e0dbbb3023c8d20860f781de20e43f2","datavalue":{"value":{"amount":"+0.9173557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657427$6F030535-5D5F-48DD-95DD-E6348DF0E281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be90cc9f3b7ecbe4895e85412ec3457f4f9be806","datavalue":{"value":{"entity-type":"item","numeric-id":5163983,"id":"Q5163983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0112cb61b01c54bf840b8f53e16f4b7fea75677d","datavalue":{"value":{"amount":"+0.9141053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657427$068810AB-521F-4A47-B38A-EEF090E05368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3edaef82ba66d0c6203c7b31678ad1ae92db83","datavalue":{"value":{"entity-type":"item","numeric-id":6102994,"id":"Q6102994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893912f986dd92662dd2595e42b68d3ac4706c4b","datavalue":{"value":{"amount":"+0.9140081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657427$63177B0D-05DF-448B-BD67-9276AF238493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce14981e2f375995f4633327150ba1e44a38264","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5367a338c90f53f020b7c5d8299014887e6bbd","datavalue":{"value":{"amount":"+0.9041904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657427$CBCB022D-8B05-4700-8F43-BE0A0C1776A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763d130f3b49f257791dc1eb63369a47b3d2a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":2296760,"id":"Q2296760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890336fd27eb00971e5d3a8f64b815bfd5db4afb","datavalue":{"value":{"amount":"+0.9033331","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657427$1BBE375C-F897-43F1-818B-42AFA7EF162F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47185b62de340f38d0d2c776518cff916fe942e","datavalue":{"value":{"entity-type":"item","numeric-id":4853317,"id":"Q4853317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2f7d2dc145236a2609b9da5809b5a55b94fbd2","datavalue":{"value":{"amount":"+0.9032351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657427$136A517D-8977-47C3-A8A7-D2FF394C286D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148aedc62ba4ca33e660fb9156583006a1587ef7","datavalue":{"value":{"entity-type":"item","numeric-id":904480,"id":"Q904480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bceddd2aec72a1bd5816322bfa79443c2e4ae57c","datavalue":{"value":{"amount":"+0.9031424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q657427$A6222427-BE17-41D5-8C96-21B0284AE55B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q657427$825A9DB2-95DC-4CFF-9847-6DF35499C367","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic axiomatization of tense intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_axiomatization_of_tense_intuitionistic_logic"}}}}}