{"entities":{"Q2367411":{"pageid":2378154,"ns":120,"title":"Item:Q2367411","lastrevid":74092548,"modified":"2026-04-14T18:20:13Z","type":"item","id":"Q2367411","labels":{"en":{"language":"en","value":"Rudimentary Kripke models for the intuitionistic propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 243575"}},"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":"Q2367411$BE717B57-7479-4F99-BE53-88AA68860653","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"536fe294eeb7ac415fe19158f9f91f79db858fb4","datavalue":{"value":{"text":"Rudimentary Kripke models for the intuitionistic propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2367411$4371E409-C1E5-4A71-86D8-168F3E2E34BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55e3210084a2488ab527b48e183dc4441f4ffff4","datavalue":{"value":"0847.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367411$95B31077-6879-4ED9-A7FB-6E48C9214620","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fe6bee62c291981bac68094e51b57bab2801984","datavalue":{"value":"10.1016/0168-0072(93)90186-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367411$8869C550-AEC6-4261-885E-184EF484B9A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367411$25870AED-4038-41E1-A87B-69985905FC01","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":"Q2367411$820F3E21-FAEB-4840-BFAC-9A0A3DEEA334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a03d7e72c2f27d8f30f9a3e566010dcf9193975","datavalue":{"value":{"time":"+1993-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2367411$9B0D3461-CCF6-4AFB-B9D5-E4B9DEA6887E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367411$25A45B38-3247-48B5-B058-52B7947BA93B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05a68c579923272412aac8c82eb4f0d923fbbf77","datavalue":{"value":"243575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367411$C8E62D6A-1054-4D81-8422-15544BA715B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367411$0103B01D-E695-4011-8A44-58EF1B3FA071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367411$E5DD32AE-DD35-49C2-A7B2-520930D97B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367411$9A36F1D8-05CC-4203-96AD-AF0F912C9981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cf70eb8f4566753c2eae26ead8d06d5e868b56a","datavalue":{"value":"Kripke-style models that are not quasi-ordered","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367411$92DF81C4-7640-403E-AD1F-E41333D9728B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a1e5bc7f4e17a6dded5da86e9b432e39332c19d","datavalue":{"value":"rudimentary Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367411$CABE18D8-C170-41BF-9AA4-3314672594C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958052d6bd0e0bd4d6c381d2c78056f7b43afd5e","datavalue":{"value":"converse heredity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367411$D069EB86-998E-4260-84B2-79B9C9AC6F0A","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":"Q2367411$EAB96B3E-0B8F-4C79-B257-3640EB59FFE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367411$80677777-4A4F-4480-A61C-48A784A2EFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b048122d2766cbe912f0cc28c51c9a869f1767","datavalue":{"value":{"entity-type":"item","numeric-id":3787970,"id":"Q3787970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367411$841E24E9-B356-4660-80CD-80A00271F61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063eaea76b8b50fa9030ca1051f2518c1741c74e","datavalue":{"value":{"entity-type":"item","numeric-id":4694248,"id":"Q4694248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367411$A02E88D7-02DA-4D93-839D-B3512A563CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0d0de38874f4cd1cd29cdf13ffd45ba121667c","datavalue":{"value":{"entity-type":"item","numeric-id":3983936,"id":"Q3983936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367411$8217001B-0887-44A3-924D-BF5AE3159494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b5b3163d7b7afe7a7a26ebad8a9198674f3678","datavalue":{"value":{"entity-type":"item","numeric-id":1182695,"id":"Q1182695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367411$6FDEAE5A-A312-449C-91D0-DB33A4248AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a782c8f72fea36e1de25cf14ddbdf540dc4f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4295227,"id":"Q4295227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367411$E2B89D0D-9E6B-4E5C-AF67-F50D9DEE6F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367411$B3F45564-5846-4855-933D-22B302E797F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367411$B84BDB40-1019-43C1-B412-9F82A0961557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367411$F9B8B485-DCFC-45C4-AFFB-3E936C25EAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367411$2CA19E7C-F94C-43EC-9AB7-238459C1ADA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"249c5aa03a3f8dc1e1ea9f4528b91bd8b2c4f2c0","datavalue":{"value":{"entity-type":"item","numeric-id":4711191,"id":"Q4711191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367411$53A5D38F-B257-411A-88DC-CAC435FF0BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ebcb581746ff3056945fa63a66e3dcfaa65027","datavalue":{"value":{"entity-type":"item","numeric-id":4198476,"id":"Q4198476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367411$10C2D2F8-4B43-4CA5-AE46-1DAC49100DD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96be669504ca1f5688d7ba552950698d311487d5","datavalue":{"value":{"entity-type":"item","numeric-id":3983936,"id":"Q3983936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc026827550c19184d919ed33d35785db715c26a","datavalue":{"value":{"amount":"+0.8894978165626526","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":"Q2367411$CE174819-729C-4905-8E55-30ECB0933D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"addbf5ea46b46b0bb70ede91ccb8120cfe46a787","datavalue":{"value":{"entity-type":"item","numeric-id":1182695,"id":"Q1182695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3513c726e9939744e7792a23fc859f2e3214e1e8","datavalue":{"value":{"amount":"+0.8077324628829956","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":"Q2367411$DCA96E03-9193-43FE-98AE-EBD47AED90F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406ae853a568748fd2915613e4cb326f18137a11","datavalue":{"value":{"entity-type":"item","numeric-id":2904065,"id":"Q2904065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c6d13c8c69641d02e19b11f6e54432127009b4","datavalue":{"value":{"amount":"+0.7883020043373108","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":"Q2367411$802B8B0B-A979-4B58-9E68-25790244C722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a07a71ff9e10e437d24c22e2b7b6202a14824c","datavalue":{"value":{"entity-type":"item","numeric-id":4434503,"id":"Q4434503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629cf3a51e56a966e58073e7d03e52deaace434d","datavalue":{"value":{"amount":"+0.7819283604621887","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":"Q2367411$9594889D-7218-47D7-82A0-9B0DB69D059F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585cc5ece9ce481425a23c97008e60b843ef6ace","datavalue":{"value":{"entity-type":"item","numeric-id":5413358,"id":"Q5413358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82af67c7a5d90710ea53f328c7eae304c33830e1","datavalue":{"value":{"amount":"+0.7683528661727905","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":"Q2367411$52598399-D375-4AE7-B666-DC41EB8FFB7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rudimentary Kripke models for the intuitionistic propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rudimentary_Kripke_models_for_the_intuitionistic_propositional_calculus"}}}}}