{"entities":{"Q2176405":{"pageid":2187148,"ns":120,"title":"Item:Q2176405","lastrevid":57767376,"modified":"2026-04-02T10:58:07Z","type":"item","id":"Q2176405","labels":{"en":{"language":"en","value":"A Lindstr\u00f6m theorem for intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196090"}},"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":"Q2176405$A6AAC25D-39BB-4113-B803-04D9E9B82DCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7e32c82c911f2b82725dd31756127f59538fd40","datavalue":{"value":{"text":"A Lindstr\u00f6m theorem for intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2176405$82CB4350-9F83-4720-8B86-39FBA26BAA6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b397eeeaf2beafc15bbc08fe5f2f7f6a0f346dff","datavalue":{"value":"1484.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176405$3A5C19D1-9FE9-43EF-8AFA-1473249F8E5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f26a3727f0f9ad05733bf2be22d82f2e891ca766","datavalue":{"value":"10.1215/00294527-2019-0030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176405$5EE973D0-3824-4BB5-A3FE-BE95592849E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b1041ba8f5005efa707f8a2eaa62c8625af6c2","datavalue":{"value":{"entity-type":"item","numeric-id":332083,"id":"Q332083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$8989FA45-1E23-4EAA-BE98-2310EFA5D4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d22101869b543fd7825e868dc1991448741557c3","datavalue":{"value":{"entity-type":"item","numeric-id":518746,"id":"Q518746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$B3624337-6F50-4DED-B68B-076F3AD262C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$FBEB58E2-026B-423F-957D-BF6D21E30908","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"266349113821a9568dc8e478c029e41016cf97fa","datavalue":{"value":{"time":"+2020-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2176405$132BC387-E74E-4F4C-8702-99BA06CC1CB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13d1d71d2404a78dbd9995eb16836dff33d37157","datavalue":{"value":"https://arxiv.org/abs/1810.09744","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176405$FEC5F5AF-969B-45AD-B780-45BB5B833688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"587c0c62eecc3de3d727ec67709d9abc5fb37ee3","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1574996412","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176405$133310ED-8627-41D9-A755-6CADBA082C55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176405$A93D468C-C7DE-48C4-A90F-03974E089402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176405$D6C5BEB0-3C0A-4014-8C11-7243F1AE1820","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebb73882489bffb35ab1b94a479680c353ca5579","datavalue":{"value":"7196090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176405$7F72FA9C-B477-46BB-9231-6BEDF3DA9E9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3114c8e2d0e26c2dc056ff6cf4eed5d18dc13fe3","datavalue":{"value":"Lindstr\u00f6m theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176405$D93E757B-8E44-4026-A716-075C4A61083A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176405$0811AC15-728A-49F1-AF15-39D825FC8EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23514bd03f6103866da5ab5a95c4b6d980fae6c","datavalue":{"value":"abstract model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176405$C653E1B3-9B77-4368-B648-78ED5B23E808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeab3b4a065dc564057c5c2b79320121f359fd68","datavalue":{"value":"asimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176405$FE44A06E-F122-4F85-B44C-B01AAAD99ED4","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":"Q2176405$D541076C-CF9C-452C-803B-9B38F6C4AD44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd35aff4547235463c4facd9bc656c08850d6ad7","datavalue":{"value":"W2963199370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176405$F79265C6-43C8-4D0B-902D-30C42033C565","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$38AEDBB9-B974-4A2E-8C28-09FAF618D0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ffd914fb40fd415cd6457781b1a74ab632c8ce","datavalue":{"value":{"entity-type":"item","numeric-id":3714044,"id":"Q3714044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$7FBC8C7E-BA08-4849-B32E-C3A9A7308A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$1F946D69-2EA5-442F-9770-20273393DCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f003d97b8791549ad0ccbce7bdc2e2b089daaf5","datavalue":{"value":{"entity-type":"item","numeric-id":4395560,"id":"Q4395560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$34FE726E-8980-451F-9F21-078C9D728F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$AA4F3E29-12D2-4AB0-8724-A70BFCD2F393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9ac022c6cae467eb1a9a797333a6ca75ac2f18","datavalue":{"value":{"entity-type":"item","numeric-id":1912325,"id":"Q1912325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$D8A7C1D3-8839-4416-8BBC-90C84DEA3D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32364f26b927f8643204c6652109becb85f1292f","datavalue":{"value":{"entity-type":"item","numeric-id":2392014,"id":"Q2392014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$D3E94A1E-265F-4C29-AA70-9D82785E5078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980230b2294bd800457d154623346224506ae10b","datavalue":{"value":{"entity-type":"item","numeric-id":4049058,"id":"Q4049058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$DBD52DDB-4BD1-46EB-8A88-F28751229FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5218a24130b4aa5afd6bc029ad837bf70fcffa44","datavalue":{"value":{"entity-type":"item","numeric-id":4109641,"id":"Q4109641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$218009F3-69D2-48A5-A868-1935583F52A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$A5E396CA-1C54-4C12-9401-53B19CB57FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfd5e3557d1211c397f41b1440147daf2f150b8","datavalue":{"value":{"entity-type":"item","numeric-id":5311054,"id":"Q5311054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$F6334A66-6259-45E9-A804-39C13B5E0252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda48c6fe1d00676a9ea25600dee5c75b4a4898d","datavalue":{"value":{"entity-type":"item","numeric-id":3226265,"id":"Q3226265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$F5343145-1CEB-4E19-88E2-190644F0B2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97378a9da43870e4a735d29fada9868a4f38f98e","datavalue":{"value":{"entity-type":"item","numeric-id":4351799,"id":"Q4351799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$EC194F39-3DDD-44B7-B467-3C971EA61DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cb28752dc35f8a23290bf55748c21263637b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5606559,"id":"Q5606559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$0202F13E-872E-4723-BB9F-4BBF4E7ECBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97da8496b28db85496ac2d8dd8ba5af704460112","datavalue":{"value":{"entity-type":"item","numeric-id":4928778,"id":"Q4928778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$DAFA964A-5865-4704-B2A4-28E992ABBC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c497ba0415aee16ef78714750d4ad72bbcbe1b7","datavalue":{"value":{"entity-type":"item","numeric-id":2937693,"id":"Q2937693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$5253BC14-7715-43DE-AEF4-A8F6E75DD0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd2208de10e590b54b1aaf577ec08a5898d2148","datavalue":{"value":{"entity-type":"item","numeric-id":518747,"id":"Q518747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$E1C593F3-7AE6-41DA-A203-42EAB199F2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bac9f0663eab019e38c3ae558483967885cb80ee","datavalue":{"value":{"entity-type":"item","numeric-id":2358625,"id":"Q2358625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$AB1EEB9B-972E-4797-813B-F6B316B18B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b2ff5dadfce4fed6e539da5c8d2970417c93391","datavalue":{"value":{"entity-type":"item","numeric-id":3085171,"id":"Q3085171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$B8C3C335-5771-479A-B428-1B7F16639416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6aa57168966833d5ed7ce5e0f3078b8885cd4b","datavalue":{"value":{"entity-type":"item","numeric-id":5817392,"id":"Q5817392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$31C7798E-2CD0-48C9-86AE-9948E189DAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605f622f3a12725668bf044b690b4b1ff40ed061","datavalue":{"value":{"entity-type":"item","numeric-id":874750,"id":"Q874750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176405$933CBED2-BDC1-4AF9-9896-C5FCCBD51DF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d353193d645f492418de14fa5d803186eb43d85","datavalue":{"value":{"entity-type":"item","numeric-id":609765,"id":"Q609765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1ef4e75d0cfbe3f3be33db43956e6e00bbb214","datavalue":{"value":{"amount":"+0.7397024035453796","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":"Q2176405$2DF67409-2231-4570-B426-2FC48D312025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a2409a040f80dc645b66ae6ce44b3058410ac7c","datavalue":{"value":{"entity-type":"item","numeric-id":2219166,"id":"Q2219166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda39f26641b553e96283d7f414d0bd9176bc1be","datavalue":{"value":{"amount":"+0.7375537753105164","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":"Q2176405$03144951-6625-4ABC-97A1-1F476D5DACEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54795456dcba8b9657e574f31180fc2a51ba8952","datavalue":{"value":{"entity-type":"item","numeric-id":4644534,"id":"Q4644534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab283819ec12198899c5644512d55f2f95f633c","datavalue":{"value":{"amount":"+0.7326003313064575","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":"Q2176405$B543BCF3-D034-4B7E-AB95-24B4891CE987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37c02e5fc129026c4872920f1f5be7b13eae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dacf0e03394b90381b128264ab16699a753e9fde","datavalue":{"value":{"amount":"+0.7281442284584045","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":"Q2176405$B9ECE60F-6135-444A-A34A-24DC9FC9E80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9770465d7f69fe8ef103545c3a7a892f9e3611","datavalue":{"value":{"entity-type":"item","numeric-id":4928778,"id":"Q4928778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c81756cec0b7e21a4db899ffddb1d4e902cab0","datavalue":{"value":{"amount":"+0.7273044586181641","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":"Q2176405$28A22A0C-2393-4EC6-9AF3-CC6CC0067876","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2176405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2176405"}}}}}