{"entities":{"Q969688":{"pageid":971536,"ns":120,"title":"Item:Q969688","lastrevid":65826756,"modified":"2026-04-12T05:38:09Z","type":"item","id":"Q969688","labels":{"en":{"language":"en","value":"L\u00e4uchli's completeness theorem from a topos-theoretic perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705486"}},"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":"Q969688$09C14041-842C-4C6C-A11F-C6EB97D43EC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de3c318f5e1ff155d2234ae8a6aafc8a8def5a7e","datavalue":{"value":{"text":"L\u00e4uchli's completeness theorem from a topos-theoretic perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q969688$94D2A7C6-31EB-4B38-8657-57BE196B19B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1653c140fb898666ba33f94efb51845e0a6beaa5","datavalue":{"value":"1211.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969688$27A140EE-194F-4E6F-BD60-0EEF78495C96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$0C1C885A-C433-4A74-9A4B-A60ACFF545EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q969688$553C00EC-D637-40C3-B8BB-9500B780CF63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c8fda7cc708bc4741fca8c681b0d6831430a39d","datavalue":{"value":"The aim of this paper is to prove a variant of L\u00e4uchli's completeness theorem for intuitionistic predicate calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q969688$35C93317-3224-42DF-9D6C-DA9A7158789A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10ee60e048f57d786cf4faf8663c70804ed6a9ba","datavalue":{"value":{"entity-type":"item","numeric-id":277572,"id":"Q277572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$9A9A8DE4-D192-47C2-973A-0F14D3ABC7B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969688$2B5053F1-247A-4641-975B-4308C154595C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969688$82C7AB52-A892-4509-8765-3FDB38E77CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969688$19399BDA-3E96-4307-8DBB-D08BBFD9DD02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a26099f3bd11f00e70fb72109184eeb6fa82bf80","datavalue":{"value":"5705486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969688$A9FE5084-7729-45AF-ACBE-F4336C4A6D8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b0d992004c7aff84704447ab43e88978d2df6b","datavalue":{"value":"L\u00e4uchli's completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q969688$882D29D9-95BA-4E2D-9FFB-A949344D6B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45978cc1f07424b684d69690e94e969bb5cd8ab","datavalue":{"value":"topos theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q969688$E5AF2B47-D246-4F98-8B4A-E5EC6724799F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7fd26f3b9db18e91571135b6e6a63a3f7fa303","datavalue":{"value":"intuitionistic predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q969688$C8851255-6A02-4AD0-B5F7-580FB00AB2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q969688$0C59F662-B570-42BE-A2A3-2517D16A097C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab32c1f90131ab1a3fd8f83a8169013b996be532","datavalue":{"value":{"entity-type":"item","numeric-id":1681851,"id":"Q1681851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$E7F6E179-7282-4307-892D-2CF61EE57F76","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":"Q969688$CE2E822F-BBB2-48D0-95F5-966AB6C63E99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a20af82516baa66a700a5865649b1cf157cceba5","datavalue":{"value":"https://doi.org/10.1007/s10485-008-9124-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q969688$4150AE9F-EB8F-4319-A1B0-5DA94427585D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d899a89fa7ba5105cbe6e60ded72007d6cfcf524","datavalue":{"value":"W2056936739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969688$294C190C-4466-46D6-B894-121B37EB51AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dca7c80e1cd5ae62682fea758b9ddcb372e9b5a","datavalue":{"value":{"entity-type":"item","numeric-id":1919529,"id":"Q1919529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$043467BE-6A21-45F7-ACDF-257E32C0EE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474289dd9e25ee23fc3092151775a30e7a4f9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$DA122501-63E1-49EF-9976-96CCB8E47E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e664c53debae71bd3947b36756de2ad2859884e","datavalue":{"value":{"entity-type":"item","numeric-id":4008758,"id":"Q4008758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$ED5BB5C5-A7EB-46D7-B7E3-FF949588E825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bd2cc0badda1bd2b407ae76037505554d94b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4828514,"id":"Q4828514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$ED6C03B7-5B48-48AE-9330-E518AA8C0E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$13CD92CA-72B7-47A2-845C-52D51493CE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$B8596F6A-448B-4E71-89E0-0BA816A300D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$2AD0DBED-C1E9-43AC-B37B-CDDD38221FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b0460315c394111a85b86c27b16ba7dc618fad","datavalue":{"value":{"entity-type":"item","numeric-id":4896510,"id":"Q4896510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$5B962746-BA14-4E0A-80DF-E1B062368465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4dc969c8bfb3f24910ebe4979e630408a402208","datavalue":{"value":{"entity-type":"item","numeric-id":1923579,"id":"Q1923579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$EA37CCCB-0C82-4047-8EFB-2B74B61C77E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$0DB0AE9B-FF5D-4FFA-8E01-4D3190B78639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a373c4e8b445b3944886af7de398c5d3d3bd8","datavalue":{"value":{"entity-type":"item","numeric-id":1317983,"id":"Q1317983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$6527B9AC-9C2F-4CE9-8976-5CF09CE7F1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f0a9885188da958c0124762509ca39d0da6b2e","datavalue":{"value":{"entity-type":"item","numeric-id":886236,"id":"Q886236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969688$98C80A86-1918-4CA8-889E-E02849F0B74B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fb39be66c9eaea93a0426fe929204630d4d767b","datavalue":{"value":"10.1007/S10485-008-9124-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969688$213C00F8-6207-4E29-9CC8-F9CD1A0BB3B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0af1c605a66afe7276fce5add40651b3122f883","datavalue":{"value":{"entity-type":"item","numeric-id":1317969,"id":"Q1317969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e1e7a9c95e1558b267883b069fb42db8b20d2c","datavalue":{"value":{"amount":"+0.7598164081573486","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":"Q969688$EC501E51-EB98-4861-B240-928774B9DA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08244048fe8215cd8373e554edbb2972d2954c1c","datavalue":{"value":{"entity-type":"item","numeric-id":1919529,"id":"Q1919529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e1e7a9c95e1558b267883b069fb42db8b20d2c","datavalue":{"value":{"amount":"+0.7598164081573486","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":"Q969688$5160C219-D8CB-4D67-8353-2430716DD115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cf0092b223699992e363dfeb119325463eb344","datavalue":{"value":{"entity-type":"item","numeric-id":708927,"id":"Q708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06229e996047254a2d92187b38a447e4aff27a85","datavalue":{"value":{"amount":"+0.7403597831726074","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":"Q969688$6D9357AC-32A3-4824-92BF-52E1656883B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4a694c34fc03151dd8c5e1e0e902e883202924","datavalue":{"value":{"entity-type":"item","numeric-id":4008758,"id":"Q4008758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3cf21be800d090aaef4ad5e90c48cef2b41e40","datavalue":{"value":{"amount":"+0.7380072474479675","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":"Q969688$6695ED82-65F4-421F-8A12-88F647A5F8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa695d8eab720d39e744106226b47d8c734bd5ee","datavalue":{"value":{"entity-type":"item","numeric-id":1887656,"id":"Q1887656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5596fe32d4bee10bcb9bb7c59d96b3b498b0f4","datavalue":{"value":{"amount":"+0.7268323302268982","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":"Q969688$3F707438-796A-4681-86EE-425E3CA770BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"L\u00e4uchli's completeness theorem from a topos-theoretic perspective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/L%C3%A4uchli%27s_completeness_theorem_from_a_topos-theoretic_perspective"}}}}}