{"entities":{"Q2373968":{"pageid":2384711,"ns":120,"title":"Item:Q2373968","lastrevid":72633021,"modified":"2026-04-14T06:12:50Z","type":"item","id":"Q2373968","labels":{"en":{"language":"en","value":"Construction of a monadic Heyting algebra in a logos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6663109"}},"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":"Q2373968$A2EF48DF-A639-46AA-A4D3-6161CC13662E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4ede66b415b4f5756e0143c4a87abb6620a7c14","datavalue":{"value":{"text":"Construction of a monadic Heyting algebra in a logos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373968$01D4CAFB-230F-47AD-AAB0-DC105E9CDF0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee4f951a5d943c539779af360c86d65182eb6fa6","datavalue":{"value":"1403.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373968$0DC13433-2E03-4B83-AC6C-56AEABF4FF83","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":"Q2373968$263CAA26-DD98-492D-8E46-C5885D33E661","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373968$C102B134-BFEF-46B2-BA6B-616967765C69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed18df05388c1365b6270680a64bf1da2b664703","datavalue":{"value":{"time":"+2016-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2373968$6C48D2FC-86CC-42A4-8A58-E5F2C5833B72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373968$90BFF02C-8584-4FE9-9CE7-8F2405946ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373968$06BC4149-EE14-4357-AA6F-33423D671586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373968$69056150-B6D3-4703-ADB9-3F226659A7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373968$677249AF-FF6B-41B4-AF22-561DFD68697F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a77883d0026d2c71a98c752c9a388f2575e0d2f1","datavalue":{"value":"6663109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373968$9C7E449A-34D4-4F7E-87FB-7E1B5A6E18BD","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":"Q2373968$6F759819-4307-4F4B-85C4-E44D5988F9CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e219a98e3c0b01aca7cc2698af48a4d8b1cab438","datavalue":{"value":"https://doi.org/10.1007/s10958-016-3065-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373968$86526319-2354-449C-A0FD-C67FD4DABDC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7301c035034890033a5a3bcbabe65dba9b39658","datavalue":{"value":"W2524979819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373968$3FE70C55-5567-4A46-9F41-DCCE05DB2647","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373968$068F1EC6-6EC1-4DFC-B9E9-28888D7D658E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373968$B942F1D8-B925-4447-8FD5-D587775C4A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373968$F0685D08-513F-4213-8068-CDA8E673BFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e0c1a4e478a32752a62b530cc2a5255baa77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1244216,"id":"Q1244216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373968$71F53604-46D6-49AE-9233-40FC2CEC903E","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":"Q2373968$EC77D03F-5D25-497B-8982-6C6A2A4FAD30","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":"Q2373968$7FA29712-5D0B-48B9-A5BB-20CF661FBC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae7a19248a426255891b704a4ec0d50b65ddd46","datavalue":{"value":{"entity-type":"item","numeric-id":4111556,"id":"Q4111556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373968$6F0C2CCB-6606-4E91-8B70-FC5FB1DC28E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9590cb4acbde83e1e7152bf40de2779f7c35feb0","datavalue":{"value":"10.1007/S10958-016-3065-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373968$C246C8B2-DC71-444B-82C4-C07D79A14415","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3198f77f2f94884031068d2a87983f1b4fc8a9b8","datavalue":{"value":{"entity-type":"item","numeric-id":2813431,"id":"Q2813431"},"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":"Q2373968$EAFE6A23-AF57-4A03-B9B3-B9FCCF6C9653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b583cc996c663254efb6b20a66488980023e11","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef2626acf664cdc6d9b8a0503afaaf26b52aa5e","datavalue":{"value":{"amount":"+0.7742438912391663","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":"Q2373968$378A54E2-EDE7-4888-A6B2-648FD0C40116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22306f86ecbe244c29702ba1468c094f1d60f493","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef2626acf664cdc6d9b8a0503afaaf26b52aa5e","datavalue":{"value":{"amount":"+0.7742438912391663","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":"Q2373968$00F1371E-2979-41C6-93B7-DD4BBC2CCF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc857418e348f60f0cc237b1d60472ce957f6fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4463988,"id":"Q4463988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7bd974737feddf9734e1c0decf85b15f62e610","datavalue":{"value":{"amount":"+0.7569001913070679","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":"Q2373968$6225DFF7-CF57-4607-9168-DA6518673CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a46d541e9766da545841d2fb0b5052e7a3b474c","datavalue":{"value":{"entity-type":"item","numeric-id":5028321,"id":"Q5028321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aadd0b878e4f10d42ed0698e0362ed19a153451","datavalue":{"value":{"amount":"+0.7480282187461853","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":"Q2373968$9A946C25-E400-4EF7-AE07-33A89C07FFDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Construction of a monadic Heyting algebra in a logos","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Construction_of_a_monadic_Heyting_algebra_in_a_logos"}}}}}