{"entities":{"Q1887664":{"pageid":1898406,"ns":120,"title":"Item:Q1887664","lastrevid":69194439,"modified":"2026-04-13T05:23:47Z","type":"item","id":"Q1887664","labels":{"en":{"language":"en","value":"Saturated models of intuitionistic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2117333"}},"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":"Q1887664$00579F3D-EEED-4936-821D-4ED568E0C675","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fb6a52a2631ec440d4de3f29ab852fdf3a417f5","datavalue":{"value":{"text":"Saturated models of intuitionistic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887664$F2D7D8D2-00AA-416B-9DFE-B959AEF9F118","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0ca7c42a6f20f47911e61185a69e11384242426","datavalue":{"value":"1082.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887664$F846FEDE-17D8-44DB-AA91-1129741B99B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c649f5f7648e8dbc6d4f8b5caa18d974a50063e3","datavalue":{"value":{"entity-type":"item","numeric-id":386621,"id":"Q386621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$A5B1A595-891D-45F3-BD20-D569EAB297A9","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":"Q1887664$D574EE41-68F1-4BCE-8EE9-AAFD901DC587","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df3f0f81c599b7f3be622e55e11802c61c03707a","datavalue":{"value":{"time":"+2004-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887664$EA915087-5732-4692-A5A6-8EC92E85B561","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb38cad5606348bdf656ef3e1408a3a961c4684d","datavalue":{"value":"The paper sets out to construct models of intuitionistic first-order theories that realize an arbitrary family of formulae if every finite subset is realized. Hence such models can be construed as \\textit{saturated} models of intuitionistic theories. The language used is that of categorical logic and the saturated models lie in Grothendieck toposes (this would also work for Kripke or Heyting-valued models). An application to classical logic is to show that infinitary first-order logic with complete distributivity and a saturation rule is conservative over finitary first-order logic.   The main technique is the study of the filter construction on small categories with finite limits, the completion of subobject lattices under filtered meets. The construction restricts well to regular and coherent categories, giving for coherent categories filtered meet coherent categories. Then coherent filter logic is introduced via sequents, and moreover coherent logic with an additional rule for infinitary meets and two rules saying that binary disjunctions and existential quantification both distribute over filtered meets.   For a coherent theory \\textbf{T} identified with its classifying coherent category \\(\\Phi\\)(\\textbf{T}) -- \\(\\Phi\\) being the contravariant embedding from small coherent categories \\(\\mathcal Coh\\) into \\(\\mathcal Top^{\\text{op}}\\) of the opposite of Grothendieck toposes -- the topos \\(\\Phi\\)(\\textbf{T}) contains a saturated model of \\textbf{T}. This goes through also for Heyting categories (not the restriction of the filter construction). An example studied is the saturated model of Heyting arithmetic (HA) in \\(\\Phi\\)(HA).   Finally, a different construction of saturated models of intuitionistic first-order theories is given which produces models with stronger infinitary theories. If the first-order theory satisfies classical \\textit{tertium non datur}, this gives a Boolean topos which contains a conservative saturated model of the theory, proving the conservativity result for classical logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887664$B9F244CF-D0EA-40F2-A1A8-18AF7A660F62","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bc7a4844df6c1e7fd45e2597303e18bd88cee256","datavalue":{"value":{"entity-type":"item","numeric-id":598278,"id":"Q598278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$01624A65-D446-4102-B97B-4817A8203EDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887664$BA27B6CD-7DB1-4096-B84B-96654A9F39F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887664$F1A0A3B6-2990-4C4B-A1D9-9BD4697BB240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887664$EA88989D-0666-4B72-84D7-B06D5809ECA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f310a53474904ba9b60ca746064a84721003e74e","datavalue":{"value":"2117333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887664$138BA1AB-3576-465F-B66F-8D1AB531957E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887664$C874FDAD-58C3-4020-9797-4892BCEBABFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9085217a3e522ac963a303423b3fdb8abcea585","datavalue":{"value":"saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887664$8E2A5BE9-F92D-4997-A0E2-C76E49D1AEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20d362ffe83d0c9cef8194f5c98afe3fe5803803","datavalue":{"value":"intuitionistic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887664$B781BF8C-E437-4739-8451-FBEE3BE8B1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887664$0557825A-C540-4B17-8CB6-B4DB9ECAEBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c6221cc1cab8c9c3bbe1378cac48b99776025d9","datavalue":{"value":"Heyting categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887664$ADC654FD-FDA6-4B33-8C7F-90346C69AAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6e538f2495b0aaabc0d98ce81248cc125a5265","datavalue":{"value":"Heyting-valued models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887664$CC6C4357-8465-41B3-B538-8AE628B1C259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887664$B21EF9AA-990C-494D-A707-02712FF02A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"990aaa40b906df41aae8efb4e84d9a3de86c80e0","datavalue":{"value":"filter construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887664$34628EB2-F8CB-4E90-8AB7-5C947C1F9A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ad1089faf9db9d92fe9540bed1f90590d29a87","datavalue":{"value":"coherent filter logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887664$3C1A3DED-C311-4BAF-8D7B-FADFF7337BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bba53ac37815c3638ad7299947ae6eeba567e802","datavalue":{"value":"filter topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887664$5551B934-5F83-4932-AE75-F444554B841A","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":"Q1887664$004520C7-382C-4CE5-B430-FCF3AB57AF9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca94d28c027b098891f5834c85ad335086e019bb","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887664$B46AD444-AF34-4EE6-895C-8D6D017D6FEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7864d6d75ed928fe35a85d801e9c00ed1916a623","datavalue":{"value":"W1996830918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887664$A4288B18-B2D6-4546-8BBD-7DC196320A57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d248cbfc7feae2d5c5e1983acca757ec689a41c2","datavalue":{"value":{"entity-type":"item","numeric-id":1407559,"id":"Q1407559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$C838C853-0C9E-47D9-A8EA-65C47DD0D8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a91faad94d4fcf16f7e5d814dd41f3aff14433","datavalue":{"value":{"entity-type":"item","numeric-id":558435,"id":"Q558435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$998A1FF6-0F71-4A24-9C2A-0933F530DB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30cccd3d4d953f76703ddd41f88090b8ffe874e1","datavalue":{"value":{"entity-type":"item","numeric-id":1921351,"id":"Q1921351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$A68E66D2-13A8-41F8-B508-19B57888C205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7e6dc0eb6e914e43c4b8d75a8fe1fbc659c249","datavalue":{"value":{"entity-type":"item","numeric-id":4129618,"id":"Q4129618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$D76DFD59-C908-4F47-9879-92FAD62339AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$91532D15-58C5-4052-A762-F8B9697BD3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91d609421008f36c8aecac1d4fcc0fc39c191a4","datavalue":{"value":{"entity-type":"item","numeric-id":1382183,"id":"Q1382183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$8F7026E1-C77D-4A2A-B18B-94A66BB3D0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$AF7078EA-BEA5-496A-B29D-21E4D1994F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b4b6d643321d18f1c56373895312c94298046a","datavalue":{"value":{"entity-type":"item","numeric-id":5288471,"id":"Q5288471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$91F06046-91DE-4A2A-95DA-5B02B2F6AC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6597e68e98311b8f563942ed16c6f11d5b3cc14a","datavalue":{"value":{"entity-type":"item","numeric-id":1236172,"id":"Q1236172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$920830AE-6158-41F7-9242-B44F39946FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcd6a400857ef1f992bc6bb803a4613b7d3d2d0","datavalue":{"value":{"entity-type":"item","numeric-id":1762726,"id":"Q1762726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$255F8457-D3F3-4873-BCB7-70897E7D6502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639fefd2a61da7bae9add8b420a666b5e94a2773","datavalue":{"value":{"entity-type":"item","numeric-id":4047545,"id":"Q4047545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$B6480270-A7DA-43A2-B167-965B4902DF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cfc8526d7bbeaa334a467ae9845f5a7bb1a4291","datavalue":{"value":{"entity-type":"item","numeric-id":3469144,"id":"Q3469144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$D69E8292-1ECB-4826-8080-7AA4D4CBA42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$65013B75-4F10-4ACF-82B9-76EE2B16A961","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":"Q1887664$41709986-F8E0-4E1A-B180-F2C6163798B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bd2cc0badda1bd2b407ae76037505554d94b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4828514,"id":"Q4828514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$11554EDE-DC25-469F-AD43-88CF8401AEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22ce0d00904c592b2c342fd4ac2e1568a2dad2a","datavalue":{"value":{"entity-type":"item","numeric-id":5597563,"id":"Q5597563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$E9EB5949-8127-44C1-9631-B5E99A79B015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$E7969410-4DD5-4723-8E2D-A0025B037F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b777ad6cfa5d17e02e6b82477c3e88455a33e07c","datavalue":{"value":{"entity-type":"item","numeric-id":1150356,"id":"Q1150356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$2EE4D810-42EE-4D67-A277-35C18CF1EBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$BCE855E5-FDC1-4130-881B-DE3B8313B5F6","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":"Q1887664$94234660-55DA-4F00-BB29-B19534B3B792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b13c272f7e0efff584d99603822371efbd61ab","datavalue":{"value":{"entity-type":"item","numeric-id":1891250,"id":"Q1891250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$983C8F52-6A5E-4F27-B6BF-121FFFE6656C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc579453f457e41131451ea61628bb8dc4bfb61","datavalue":{"value":{"entity-type":"item","numeric-id":4382484,"id":"Q4382484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$409010A0-11F0-4D00-942A-E6FF0E755F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f778479093285ea3dacc5eeef27bd12a369e1155","datavalue":{"value":{"entity-type":"item","numeric-id":1105021,"id":"Q1105021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$E47CDCF7-8102-4D8A-A1F3-FDE3ACD07510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bf8ae60623eb3188c620c073497d7469f01d79","datavalue":{"value":{"entity-type":"item","numeric-id":4227854,"id":"Q4227854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$992B928B-2AF6-48F1-B4D0-B875BE78CC5D","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":"Q1887664$94E8285D-AF23-4C2E-A702-1227E7FF84D2","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":"Q1887664$8ED1C4CF-071C-444F-A185-8BDC3EA1F875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db426aecf011f6a4f9247eb5c7f5150dabacc1e","datavalue":{"value":{"entity-type":"item","numeric-id":1115868,"id":"Q1115868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$77F4BBA1-AA0D-44A7-8664-2A1508E8B994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21a67219021c44c7c1683639caae8147d97bcfc","datavalue":{"value":{"entity-type":"item","numeric-id":1071039,"id":"Q1071039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887664$A669CD6E-A3B2-4AD8-9493-8B3E7C4C4AB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"909926c0a1e74d9d3b92ea399a7d4e3abba670b8","datavalue":{"value":"10.1016/J.APAL.2004.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887664$034F195A-C46E-425D-98B7-75CD665A5C5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d308f87f21acdcac3ca813426510730a01c928","datavalue":{"value":{"entity-type":"item","numeric-id":992038,"id":"Q992038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888b020b206f506b0729ab5509020fb3db687169","datavalue":{"value":{"amount":"+0.7827133536338806","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":"Q1887664$E187204A-EC59-415E-8FEB-89DC5D4631F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e103bd4c9dd0bc95ae7a2aac812824b74dc5c8be","datavalue":{"value":{"entity-type":"item","numeric-id":5701016,"id":"Q5701016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4a018920fd0f307bcf5cc17987a73650a0cb56","datavalue":{"value":{"amount":"+0.7819013595581055","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":"Q1887664$ADC29B7D-8EE8-4D88-861C-88362C34093F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac27ed1f9a72f3e00a842561cf35e69b0b735390","datavalue":{"value":{"entity-type":"item","numeric-id":1891250,"id":"Q1891250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a97067a659218bda0f10df3ce9662ea530cca89","datavalue":{"value":{"amount":"+0.7678868174552917","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":"Q1887664$6C86AC52-CDD4-45CF-B128-AC6512F48360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a53ea7ef327c74383b11b31595ac887d654741","datavalue":{"value":{"entity-type":"item","numeric-id":1115868,"id":"Q1115868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61aa2497fc11efb36e745fa93ccce601484d70f2","datavalue":{"value":{"amount":"+0.7632084488868713","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":"Q1887664$716BE1CE-D0AD-406F-8B18-DCEEF54CC760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2cf4809c433f270014c1fdcfd424b293f573b7","datavalue":{"value":{"entity-type":"item","numeric-id":5393630,"id":"Q5393630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8cb271c6b6a821920fb956aecd6b20d1c0a1cc8","datavalue":{"value":{"amount":"+0.7570003271102905","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":"Q1887664$7BB0F4D2-7FF6-47CA-9DE4-13870CF6A8B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Saturated models of intuitionistic theories","badges":[]}}}}}