{"entities":{"Q1092043":{"pageid":1102795,"ns":120,"title":"Item:Q1092043","lastrevid":66936330,"modified":"2026-04-12T13:50:17Z","type":"item","id":"Q1092043","labels":{"en":{"language":"en","value":"Lindenbaum algebras of intuitionistic theories and free categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4012605"}},"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":"Q1092043$51E2FC65-6C4E-467E-B93E-076FDA015592","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86c5f5e9ce409a995c569a8c6d0cb4e2a9b244bf","datavalue":{"value":{"text":"Lindenbaum algebras of intuitionistic theories and free categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1092043$E6410F4F-3D7B-43E5-B0D9-C1F5E1590B9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5365b3df7511f33651b03089b369759e9641bf5","datavalue":{"value":"0624.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092043$6F48FBF9-1FB9-4B54-9AE5-B5EEF3F35F35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42a03de1a7a7fe1634e6e62be04f453ed34d3b2c","datavalue":{"value":"10.1016/0168-0072(87)90061-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092043$FEFD068C-7EA6-4088-B545-934B00E2791D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$CCE4AB1B-47FB-4536-9AE3-7A57C809F228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"393cb06a1b35c9b2bbc65f1c43f6792dbf163865","datavalue":{"value":{"entity-type":"item","numeric-id":1393468,"id":"Q1393468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$842F304F-17FF-461C-B83F-2BC6288C5274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"183df695ae89db8e2a7647ddbe2de62ff0deb022","datavalue":{"value":{"entity-type":"item","numeric-id":1052316,"id":"Q1052316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$D6DB57C7-247D-425D-A64A-AFABBE1B59BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$377A2069-07B4-4AE1-BC15-406612C18EC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1092043$695174E8-A5D7-4FE2-9E7A-932C593C3D5C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01beec1b8b294a3de8641ed747704ef88e399059","datavalue":{"value":"Lindenbaum algebras (LA) of countable classical theories often coincide. For example this is the case for propositional calculus and ZF set theory. The authors show that the situation is different in the intuitionistic case. While excluded middle (EM) can be stated as a single sentence in the presence of comprehension, it is proved (by extension of Kleene slash) that no consistent sentence implies all closed instances of EM in Heyting arithmetic. There are sentences weaker than complete EM, that imply all closed instances of EM in the second order arithmetic. An example is the existence of X, Y such that  \\[  \\{X\\subset Y,\\quad ((n\\in X\\to m\\in X)\\to (n\\in Y\\to m\\in Y))\\quad and\\quad n\\in X\\leftrightarrow n\\in Y\\to (n\\in X\\vee n\\not\\in X)\\}.  \\]  Similar tricks allow to distinguish between LA of (i) intuitionistic propositional predicate logic and arithmetic, ii) second order arithmetic, (iii) propositional and predicate logic with finite number of predicates and functions. Some results on representation of the free Heyting algebra on one generator in Lindenbaum algebra are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092043$1F2E7E1C-2B27-499B-A211-E1A0B2B70643","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092043$EDBA70D1-BCEA-4B2C-B907-592B9C395A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092043$63B9FEF2-831D-4388-9B19-EB43015FA172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da1cfc4d297f07be02d2070a8c3d94f8baa13bc8","datavalue":{"value":"4012605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092043$CC4F472F-9029-4B78-99EE-68BB5805549D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9364daf8128a5af0c9ada1101ce791a7d05466e","datavalue":{"value":"logoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092043$675BFBAC-CCF9-458E-960F-3B77468DAA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671e0c595421b0acdcb3b604976107321e47c347","datavalue":{"value":"topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092043$4EC355F6-3A3A-4D2F-93CA-CF544240BEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf3bed896e5a5a8aeb251188bf9458fc3f73b97f","datavalue":{"value":"Lindenbaum algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092043$4AFEF470-D2CF-40E5-804A-C289AAFFDB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc6b3d2b6b47dae6657c46e82106c011e81b18bb","datavalue":{"value":"excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092043$E3A282C4-F16C-46FB-B24E-292DFCAC1E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3e621e000a5c3d196dbbd9db63c4eb08ebee0f","datavalue":{"value":"comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092043$2BE771EF-3E99-4598-ADA7-AEC622B80070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a879b7b3b70eecd5f498ee4fafacb15646a2a7f9","datavalue":{"value":"extension of Kleene slash","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092043$2F6F4C84-C663-41FA-B464-F340A6BA6B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a41277a96c57bb8a8bdc742fd2c5df7fbd0c339","datavalue":{"value":"consistent sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092043$FB98A9BA-5BB5-4B86-AD09-B53F0364C8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c06589026a3b6c5291d773995fa6cad2dfc25fae","datavalue":{"value":"closed instances","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092043$1609573F-57CA-4F27-9BFF-D1FEAD223439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092043$E42D59E6-E887-4A6A-B561-E739D64F84F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412978e917aa6faab6974f8754d702b872c51bd4","datavalue":{"value":"second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092043$CF9E8DD1-E3B9-4C51-B491-7AC93EC226C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cefddf0a310134f65cac3e295b8922ebe1ded9","datavalue":{"value":"free Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092043$A04135B2-5CC4-4FA5-BF8C-24103A063992","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$843C9F08-4BC4-40CA-8462-2DB430AF961D","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":"Q1092043$3A1F95F5-BA5C-436D-B002-C8D92C755EF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bbe79175de8a397ed661a92eea6a5b11507781c","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90061-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1092043$38A464C9-4598-4806-A976-8B8340E9ED28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c8effb1c14c35dc92c1cfb34043d28a15030436","datavalue":{"value":"W2091067796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092043$05B9E992-58A9-49C6-82CE-14DD5A47B3F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b50b41b14480fcc9beb507cfdcea5d47eafb6a","datavalue":{"value":{"entity-type":"item","numeric-id":3333040,"id":"Q3333040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$15987AE3-C820-4062-876B-2F4377514986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$1342130E-9768-4528-A766-DFAD3E6B5CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3879fdfca670d7f071d7baa350b899a1e5e0f697","datavalue":{"value":{"entity-type":"item","numeric-id":579255,"id":"Q579255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$80219B9E-7F30-4805-B584-C1AA8E34DF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$0F243FB3-1547-490F-82AB-FAC21E4CA76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7ea38f610625bcd545c72bc177a298f6e2eb43","datavalue":{"value":{"entity-type":"item","numeric-id":4109645,"id":"Q4109645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$9F07C5C9-7DAE-47FD-B615-479C63D30E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737af7fd7604b6559f5e67fbb4992a43c64a5893","datavalue":{"value":{"entity-type":"item","numeric-id":1071019,"id":"Q1071019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$EC402517-51E8-4731-9073-732634AFA8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3915a4a137f651afdbc1462ae531061b82fed5d8","datavalue":{"value":{"entity-type":"item","numeric-id":1071017,"id":"Q1071017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$6683DCE2-4917-4779-A9B5-8F5ED270EEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$69B5FCCE-5858-4525-ACCF-283CCBF3DC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932eb9f75e23d79158ee6b26a933dbdd68025fed","datavalue":{"value":{"entity-type":"item","numeric-id":3338239,"id":"Q3338239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$382234A5-20D0-4C47-B530-EDA3109BD43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$28308158-795E-445E-ABF6-AB06EBE964D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef22ccfd3445c32917c22845506eb5a9def00b50","datavalue":{"value":{"entity-type":"item","numeric-id":3919708,"id":"Q3919708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$789FD6AC-9FCB-4C5E-962F-C9E34DB65A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$787CE06A-DFF9-4D40-A7AB-F25CF4672740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e13325bae56272b4ba305483ee09cc3ad5047e8","datavalue":{"value":{"entity-type":"item","numeric-id":3214891,"id":"Q3214891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$B112155F-486D-44B7-839C-0A8577C56560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322c4c11391c1c0aa5fd668b6cf5c7f82ad0a3a0","datavalue":{"value":{"entity-type":"item","numeric-id":1053098,"id":"Q1053098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$DCDA994E-4DE5-43F2-B0BD-B25C39F155EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acea76b85bc7bf26ae9cf4f5e9a5a8039faf820c","datavalue":{"value":{"entity-type":"item","numeric-id":1055409,"id":"Q1055409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$10C6719F-94AC-48DE-8936-BE89ED3D4C6D","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":"Q1092043$E4A887E8-92A1-47E8-B0D5-39AE301DD573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8caccc1d27087ea7113b179eb58bddf183a3446c","datavalue":{"value":{"entity-type":"item","numeric-id":1102283,"id":"Q1102283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$DB5472F8-5100-427D-A348-7A091604F69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f8bfde05d12fa9e010f7662dec985cebbd1246","datavalue":{"value":{"entity-type":"item","numeric-id":3310620,"id":"Q3310620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$37F125C1-2A80-4468-8488-99D3102C0088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54ff0714d89eed060f16f5419dc654b4a0f7600","datavalue":{"value":{"entity-type":"item","numeric-id":3666845,"id":"Q3666845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$EF1C647F-E50F-485A-A45B-E7A0A42B2561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44e94863fb6f9eb6e8f5ddd08203713df6996c1","datavalue":{"value":{"entity-type":"item","numeric-id":3958510,"id":"Q3958510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092043$C0F739FF-5EF4-4382-84BB-54A6BC44B3E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c752f8d5e0d06f541065f2affacb05a9ddf707","datavalue":{"value":{"entity-type":"item","numeric-id":4458702,"id":"Q4458702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5279acefbbabb5ed7a20b20839f992721843f5c","datavalue":{"value":{"amount":"+0.7347729802131653","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":"Q1092043$AA62D225-30D3-4BA1-A80F-8F32A19A006E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2795744f80d739af37a1ae10261bf64beea5468","datavalue":{"value":{"entity-type":"item","numeric-id":4513975,"id":"Q4513975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c16f2631ffb2d0aa565729f5482b33f10fcfa2b","datavalue":{"value":{"amount":"+0.7293195724487305","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":"Q1092043$E76E1808-E2C8-4678-A655-97D98DC4827D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be1bcdb02a175df4f55696e0ca617dc6265d5099","datavalue":{"value":{"entity-type":"item","numeric-id":4799377,"id":"Q4799377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413518e1e868bb8518f25117aa4a8647956ef7a5","datavalue":{"value":{"amount":"+0.7234901785850525","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":"Q1092043$F6B98EBA-B41F-4911-86A5-786B9B14476E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c53ca25dc47075ca76493ed402671e17a88bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4724609,"id":"Q4724609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257e56cca23fc682dd8e76b62edb9b9b63c9afab","datavalue":{"value":{"amount":"+0.7221648097038269","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":"Q1092043$276B72BC-0B00-4AC9-AB11-05FC7ED256B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1ab61e71d247f1408f8b62909ecef004e4dbbb","datavalue":{"value":{"entity-type":"item","numeric-id":3837730,"id":"Q3837730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0449157142a658028569956b7220163d8f944e","datavalue":{"value":{"amount":"+0.7204787731170654","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":"Q1092043$88A8C3B0-C6C2-444A-9917-097B9E8C1064","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lindenbaum algebras of intuitionistic theories and free categories","badges":[]}}}}}