{"entities":{"Q2813431":{"pageid":2824169,"ns":120,"title":"Item:Q2813431","lastrevid":83651732,"modified":"2026-05-07T09:41:42Z","type":"item","id":"Q2813431","labels":{"en":{"language":"en","value":"Construction of monadic Heyting algebra in any logos."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6597822"}},"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":"Q2813431$AD98D986-AB28-4D30-8F29-A450C27E135C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"211d2fd85ab81e0b57129f2c75cf3c01340d7855","datavalue":{"value":"1342.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813431$EFAB1DF6-37C4-40B0-AA3E-28295FE78783","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef552830687229ea650f2f07bdfd4a39a84ce3a5","datavalue":{"value":{"entity-type":"item","numeric-id":2373967,"id":"Q2373967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813431$084DA52D-ED63-42C8-B08A-5191CE6BE821","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9d6952a7603f551cb4d5517360c8c4c3bf4d91a","datavalue":{"value":{"time":"+2016-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2813431$071510A7-308E-4DB0-A58A-D6C6AC5F8720","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d5b6b107640917ba706f2571941fe094336dcca","datavalue":{"value":"http://science.org.ge/old/moambe/8-3/Klimiashvili.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2813431$3C77A014-34C0-43E2-BA9D-39F70FCC86F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813431$7A848A1E-351D-4C40-B925-245C834BFE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813431$29A49B09-9595-49FA-A64A-17940272FA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813431$8C9FA5D8-4665-4959-AF4C-2821301BA403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813431$985C0EC9-7F8E-45F7-8965-0EAD7C34E41C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a10b4e11f1c8ef3e3d6f2bf5acaa8972bb0604a9","datavalue":{"value":"6597822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813431$0E28D09A-F291-49E5-920A-221076F22010","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813431$BEE70E47-9D54-49AC-A3ED-0C95D9B17EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2469bd1e85c62a8a706eb3242baccee5fe1ca8e","datavalue":{"value":"logos","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813431$EE5AB035-0403-4B65-A45A-DB656B7A6A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f225847bebbbd70d61785ce4ab123db6af3778","datavalue":{"value":"categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813431$EE2A0F06-F9D8-4B8D-BC43-2AC20FB2180F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671e0c595421b0acdcb3b604976107321e47c347","datavalue":{"value":"topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813431$987DE89F-0056-4405-B8B5-3A57163E05BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813431$0A649855-C592-4B31-95D7-B97A4F2E4373","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":"Q2813431$5064D383-6FB7-4F07-896B-9A6C63871B69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d75699c72b92b7091893706419aec2558f08d2c6","datavalue":{"value":{"text":"Construction of monadic Heyting algebra in any logos.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2813431$9641EA2E-4B97-4487-84B8-FC38EC2894C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"667137ffef25b0128480cc1afc426c1186901ed1","datavalue":{"value":{"entity-type":"item","numeric-id":6635381,"id":"Q6635381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813431$35030082-F058-46B0-A93D-3929580D406A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9ec67f3873d7863813b538dcc818764a7c3909","datavalue":{"value":{"entity-type":"item","numeric-id":2373968,"id":"Q2373968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1935eee2df81dec2e43512c27f8f287801b88b26","datavalue":{"value":{"amount":"+0.8880326747894287","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":"Q2813431$C4474F13-3B0A-4990-AB3C-B81BE35DFE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7830490a7c3e935f795dee81d31349ed914335","datavalue":{"value":{"entity-type":"item","numeric-id":1580648,"id":"Q1580648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb26134557cfa75dbd644f9643cb22f38e897f0","datavalue":{"value":{"amount":"+0.8078270554542542","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":"Q2813431$454FE633-6EDD-4283-84F0-BD8F3BEE0EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11da3c77fa6b53da4ea8226500118b87944628af","datavalue":{"value":{"entity-type":"item","numeric-id":2887377,"id":"Q2887377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb26134557cfa75dbd644f9643cb22f38e897f0","datavalue":{"value":{"amount":"+0.8078270554542542","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":"Q2813431$B5062990-D52F-44CC-BB28-DE9B5DEBD116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae11e794c4c686c836359ee9b6a071345415e44","datavalue":{"value":{"entity-type":"item","numeric-id":1283133,"id":"Q1283133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"454dc0c5ff870eaf8d5bb8e62ab27eb78001ff49","datavalue":{"value":{"amount":"+0.8001151084899902","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":"Q2813431$5E213228-9201-4B2E-8F95-CB810A8948D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee608b393463611c492e5fc8554fdab74ad3018","datavalue":{"value":{"entity-type":"item","numeric-id":1405891,"id":"Q1405891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ad8091837f7639bb3db7a95b7daecf09ca0f66","datavalue":{"value":{"amount":"+0.8001149296760559","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":"Q2813431$9E6A53AA-9FF8-4427-9F9A-A229A849A721","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Construction of monadic Heyting algebra in any logos.","badges":[]}}}}}