{"entities":{"Q2062217":{"pageid":2072959,"ns":120,"title":"Item:Q2062217","lastrevid":82536476,"modified":"2026-05-06T21:08:12Z","type":"item","id":"Q2062217","labels":{"en":{"language":"en","value":"Lattices of finitely alternative normal tense logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7450687"}},"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":"Q2062217$0EB95631-B2D6-46D3-9997-C3D570D28413","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8af0c1b57c0f88d734a92e61f653be3660c25a0","datavalue":{"value":{"text":"Lattices of finitely alternative normal tense logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2062217$64F389B1-244D-45B4-A41B-C463385552B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65bbc12e41ccd0239f4a6ab18981809067d1568a","datavalue":{"value":{"entity-type":"item","numeric-id":313132,"id":"Q313132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062217$69CEC87B-45DF-4BF8-95D1-F50C8956F579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"516004f02fae17b2a62df508ff161c848bb00b3c","datavalue":{"value":{"entity-type":"item","numeric-id":590081,"id":"Q590081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062217$6224B704-497F-42B8-95F3-F2A50CD3BE6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062217$CA5AC6D2-4503-4183-9BF6-56275971DF1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e280b55b5616e58d755c5121c3b03bd5f8690da1","datavalue":{"value":{"time":"+2021-12-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2062217$66432279-9FF0-4FB0-90C9-91E958F7863F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062217$E0CF4644-067D-4293-9B72-6CE307414165","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41bb1928e64bbba088acf862daf4a6b8a5b9ca8a","datavalue":{"value":"7450687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062217$EA343E03-3FB1-4FE3-8AAC-3BBB210D527D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"251a5700a9fb96c347360b44e0dcd1f0388b39c3","datavalue":{"value":"normal tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062217$4BFC8F5F-BF62-4AEC-9EBA-9CAA01D3E4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062217$617B908B-5D1F-4392-A82D-C4030EFD7D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2062217$58A4AF74-92E6-4FB1-895C-87220ACC2357","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":"Q2062217$372156E5-47AF-4A32-86D1-F4BEF3E84B1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caa7b8362f7b9af3e825412f4484af473fcb8c77","datavalue":{"value":"https://doi.org/10.1007/s11225-021-09942-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2062217$56922A62-E1CF-40B5-9E4C-30DFD702C00C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7775eccd81b94014dfdd7f344b14d40ccea4a49","datavalue":{"value":"W3138172327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062217$AFE78F52-A39A-41AA-91C0-1720447E0A25","rank":"normal"}],"P223":[{"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":"Q2062217$8D36FC2C-59E9-473B-9E11-30162DC19C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb3963b13caa0d3ff235f1cf69469b8cc3f0ca6","datavalue":{"value":{"entity-type":"item","numeric-id":1111541,"id":"Q1111541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062217$7BCA8EA9-B9AC-4C12-8835-96273C67A039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f09b53b7c446f5ba60a17b5b11a35f4dcc7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1188997,"id":"Q1188997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062217$AD4C1318-AC91-4BF6-AE29-479546FD7C52","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":"Q2062217$CC3E7052-16BC-4A3B-A60B-B667571AC57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ea2adf32071e7e8e366627422a4d0b7bac158f","datavalue":{"value":{"entity-type":"item","numeric-id":2550380,"id":"Q2550380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062217$190A7073-145A-4C58-AD4D-2E974E07C3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5027a3eaba33b9be22f282f6e7a4f20eed22af9e","datavalue":{"value":{"entity-type":"item","numeric-id":1204117,"id":"Q1204117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062217$32B9DE35-E8D6-4FED-97DA-0904F3650E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062217$E7551CD6-DEF4-41A3-B461-7FA1C1DA5307","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":"Q2062217$77A2E89F-EF68-4B2D-93D3-61FF87A1EE22","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":"Q2062217$3999C512-4F86-4B95-8AD3-6C7149961B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c2bf4a72849a6874a4b0df9473f28739fe05a8","datavalue":{"value":{"entity-type":"item","numeric-id":4198726,"id":"Q4198726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062217$9453A5B1-8671-40CC-94D7-D2F0786D8DC3","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":"Q2062217$40D009FD-EAD8-4D3B-B210-6F9BC3BCDBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1b82cf4871faf69538f3161df586c7c8cbdea","datavalue":{"value":{"entity-type":"item","numeric-id":5648343,"id":"Q5648343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062217$03302135-A0E5-4673-93AD-406653598302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e7e1dcbf368305b0805eed3df01bf4e94561f3","datavalue":{"value":{"entity-type":"item","numeric-id":4858814,"id":"Q4858814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062217$18DF7FC0-6514-4674-AEDB-D290B636937E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08266fb296610b8b6ec216cb4bb0ae4f2a49def6","datavalue":{"value":"10.1007/S11225-021-09942-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062217$A4B47B3E-FE54-45B0-A71E-5DEF3734777D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be92db28b2fab68fba5a02a501a67af199314953","datavalue":{"value":{"entity-type":"item","numeric-id":1111541,"id":"Q1111541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3fb868238d2e0f7a1a3261d99bfde289ab2b136","datavalue":{"value":{"amount":"+0.7973271012306213","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":"Q2062217$C11C0F05-B638-4A08-A4E0-DB5298B3069F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d024f3c5dd8d9d87d33cb123f2594c9c36aab351","datavalue":{"value":{"entity-type":"item","numeric-id":1204117,"id":"Q1204117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d1d23869c7efe0136cfbb497cde75697c0a04be","datavalue":{"value":{"amount":"+0.7824351787567139","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":"Q2062217$AB5943CD-5698-4323-917A-D9EF12C2BE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3142dac90fd20b631fb151b91f1f0adaee3161","datavalue":{"value":{"entity-type":"item","numeric-id":1288959,"id":"Q1288959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0244730157e73b908fa1fd96870e9d006f1b1e5e","datavalue":{"value":{"amount":"+0.7700464725494385","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":"Q2062217$EA679488-1D6B-44FB-A87A-DE5D26A918AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a10a811d54b394540726160ab89e8107e1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4834484,"id":"Q4834484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f873d21f02c2b5dc8867113f2ab0b6a9bb08a4","datavalue":{"value":{"amount":"+0.7541945576667786","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":"Q2062217$819EA8E2-A86D-4AC7-9FD3-A94DA0F62B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a01e4e3540347809a19d72b0f19664fa641020b","datavalue":{"value":{"entity-type":"item","numeric-id":4858814,"id":"Q4858814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff74fa2e10bd814c2f723f353c37e25019760f50","datavalue":{"value":{"amount":"+0.7472890019416809","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":"Q2062217$980E6FA6-B510-4A70-BF3E-CA1D60732EFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lattices of finitely alternative normal tense logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lattices_of_finitely_alternative_normal_tense_logics"}}}}}