{"entities":{"Q3424136":{"pageid":3434839,"ns":120,"title":"Item:Q3424136","lastrevid":50033566,"modified":"2026-01-12T18:04:50Z","type":"item","id":"Q3424136","labels":{"en":{"language":"en","value":"Diagram Construction in Intuitionistic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5127364"}},"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":"Q3424136$9B957F32-4675-4272-8E53-FCD06DF42661","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d19c3ae02fec3078a0f562ae0ac216732f3ec4cf","datavalue":{"value":{"text":"Diagram Construction in Intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3424136$756AB044-BADA-4C5B-8AC4-B375AE05F07C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da06fedcb2fe77ded931a94002eb5282965601a4","datavalue":{"value":"1119.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424136$A28D916F-A82D-4146-BDE3-ED2193412361","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41bc4c2d950eab368ba88a9f05df1a96135cda1f","datavalue":{"value":{"entity-type":"item","numeric-id":481877,"id":"Q481877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3424136$2E13DE86-5F47-4B67-B2C5-506DACFE3B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7097034c0cf0558505ca039b4a3181acf067c5bf","datavalue":{"value":{"entity-type":"item","numeric-id":506975,"id":"Q506975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3424136$51197195-6C0C-40F3-95BC-D2593C28E4B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b3ead6168ee7e4a65e07f7e44713ef795f1233","datavalue":{"value":{"time":"+2007-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3424136$7B63FE04-D520-456E-8E12-EB362B534A0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424136$40C74487-C37D-4A94-AE52-411FFF02844D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424136$9441BFB3-2CF9-49F1-8C77-70CF22B92646","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fda05a63e4debc083073c5ccd3d16d1209662be7","datavalue":{"value":"5127364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424136$D8BB5462-79A6-48BC-9CC7-BF90477BD64E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424136$B4CDC569-5A0D-4F07-A47D-DDF56F9C5F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a49994aa4d76021c4fec8ce1d7772881de18f288","datavalue":{"value":"diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424136$165AA4CD-B8C3-4C47-82B6-9946D86A9E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"378448158c61eba6ffb374a062a8a6a6d4ee4ec7","datavalue":{"value":"submodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424136$BE876F0B-2C96-4DD1-B026-FCDF8F42E334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07c3d5b754955b6bf65477291574088546d50e2","datavalue":{"value":"ultraproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424136$DE9B30D2-AE63-4D87-AF1B-1889608955B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424136$D7F2B2F3-0C00-4596-9A0F-6F515DD494A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156ad6e460683e0b5762d62ba720794e14ce7454","datavalue":{"value":"semi-classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3424136$17C13307-58BB-4AAF-BFCC-0F6916541CB2","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":"Q3424136$A6ED9314-5324-4C9F-9FF0-92AE6AEEFC37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b21972a98cc45741017314979435f3eea200bb3","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzl028","type":"string"},"datatype":"url"},"type":"statement","id":"Q3424136$4A4EF814-0CB2-40F5-AD79-3810EFDBC0BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"324593bf6a20fdf2745dbf02266ee262152a3dfe","datavalue":{"value":"W2022836701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424136$7AAE20AB-B1B8-44EC-B58E-64875DE2CF2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc86d7f946896aacb653a63378e40337e19e5543","datavalue":{"value":"10.1093/JIGPAL/JZL028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3424136$C177E013-13ED-4F3D-A268-05411DC6DCE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3424136$5DD77DCF-1D44-4913-BB0A-98F9A494E3ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b15f4fe52969708915a840416b91e058676297d","datavalue":{"value":{"entity-type":"item","numeric-id":1181713,"id":"Q1181713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e8958fe4d936a8c2a37ea56b3cad3a9eadfe8ad","datavalue":{"value":{"amount":"+0.7227097749710083","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":"Q3424136$31BACB36-6713-4336-A630-16FA24F31D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bb4616350717dbd89b34e030c3b3c6aa67ae851","datavalue":{"value":{"entity-type":"item","numeric-id":5469105,"id":"Q5469105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51fbf75de6992e35bd1175521cecd7b4e28d268f","datavalue":{"value":{"amount":"+0.7225891947746277","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":"Q3424136$A4E4B86C-871A-4AA9-AAD2-24D600DBACCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d20a0eedbe2b5321d8fe4fc79ce33e8cf32ff0d","datavalue":{"value":{"entity-type":"item","numeric-id":539154,"id":"Q539154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68bd4de74e69a82b459ce08e10ec96b99cf42499","datavalue":{"value":{"amount":"+0.7208607196807861","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":"Q3424136$17E91F0F-6CF3-4769-822A-66D4C7771D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ccb217906026c5eb78ccaf0000aadcbc60a3347","datavalue":{"value":{"amount":"+0.7177653908729553","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":"Q3424136$E4FC90C7-7EA1-476B-9BB9-6798B492ECAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0903965a9c0cfe11f2fc27ec1972889b50d9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":583197,"id":"Q583197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d8de2f1f57b51df49a59ef51db8d20e2de276f0","datavalue":{"value":{"amount":"+0.7091468572616577","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":"Q3424136$75007B30-1CAB-47EE-828B-D418EB755B2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3424136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3424136"}}}}}