{"entities":{"Q3128482":{"pageid":3139198,"ns":120,"title":"Item:Q3128482","lastrevid":46719747,"modified":"2025-12-25T11:26:05Z","type":"item","id":"Q3128482","labels":{"en":{"language":"en","value":"Une Preuve Formelle et Intuitionniste du Th\u00e9or\u00e8me de Compl\u00e9tude de la Logique Classique"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1000499"}},"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":"Q3128482$B12EC9FD-3008-4BF0-A411-18ADEB44B842","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98db89a854f02dad752aad42e2476fe9ca339836","datavalue":{"value":{"text":"Une Preuve Formelle et Intuitionniste du Th\u00e9or\u00e8me de Compl\u00e9tude de la Logique Classique","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3128482$91BF93CC-BE39-4221-9DF7-E227FF2BB310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a33e8ec3e859307471c9997a42dafa9c6d6b011c","datavalue":{"value":"0872.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128482$5C476F8F-7504-45E6-990D-646ECBF9116A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f636d97a3b78761bf87b9fe6b23f5ca9493fa9e","datavalue":{"value":"10.2307/421172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128482$09712AEA-EE5B-45D0-81E2-88C800902D2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c930bfaa88d0466feb9bef34cfbca5f6b60b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":206560,"id":"Q206560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128482$1E0025C3-B445-476B-A2EC-798FA84DC6D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d055fb3109bca705377a91671f6048909534fe40","datavalue":{"value":{"time":"+1997-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3128482$EB0754BE-427C-4378-928F-7D72BD2BF5D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd4f320a89371da6d51353ed7c991b92d50dbd75","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0204-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q3128482$A4927140-E903-4D30-B31D-10E75180FFEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128482$8992B7EA-F3D6-40E8-AC8A-8D85F9B191FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128482$8D84FBA5-26C3-4B2E-BC35-B8716CB9C06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128482$441CAFBC-9A83-4FAF-9D65-96D4DEC745FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128482$0BCE343A-D1AD-4681-8A14-34EC382ED584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128482$0E80C968-5662-4C29-A7CF-C59AB6929567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128482$9A8C5264-8167-411D-9C7E-AF916084C989","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"132a408c67a9e7d52511cfd2d60b2208ad0b2faf","datavalue":{"value":"1000499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128482$6DF69420-1D09-4D3B-8E71-16222CA323D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a78fc3cc6f91ce2454618e302f9c6551c333b5","datavalue":{"value":"intuitionistic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128482$EAB6B55F-75E9-40BA-8585-FF4337BB8A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0026bcd8bc6d68d1a3ce499b2f0a76cbce8d2686","datavalue":{"value":"extension of \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128482$4B33B170-5898-48FB-91D4-9CE012042039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128482$3FB5344D-0775-4532-A490-0430781DA541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971739708dc0c65eac5907a40495e162bbcd121a","datavalue":{"value":"operational behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128482$ADCBDC11-0342-4935-ABA2-02089E1C2D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"877dc9c84f258c5d393b4d298ab7127e1b761b9e","datavalue":{"value":"\\(\\lambda\\)-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128482$23CAA134-5D3D-4F6D-9394-76729057C8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b731ea3e698f1d9c9f945b7e37e2fb906297381","datavalue":{"value":"completeness theorem of classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128482$04A0CC46-E3C9-4257-A551-FB34469E0301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72be79479494521f3a6efb1a6f911f115906873","datavalue":{"value":"formalization in second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128482$46ABE4C7-9528-49BF-AE5C-CB80A1E7695E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128482$C4023D88-030D-4FED-A746-35E44F45ECA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268983d921681d1eca24794b9bbe16048b0645ca","datavalue":{"value":"interactive disassembler","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128482$00DDBEEF-2420-43E2-9E49-37F8D54F5CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe983dce2fa51c245a3caf72793d7ba047890605","datavalue":{"value":"protection device for system calls","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128482$E518F033-145C-4E5A-928D-DC46C978B860","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":"Q3128482$5B7F5C00-7B6A-4A4C-8EFB-77ECBE446B19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9be7f5b4d916373bf6442d2d54d123e3d7120604","datavalue":{"value":"W2147202919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128482$ACD1E07D-9406-4478-9951-9654A75135EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128482$3F66F1F4-F8B0-410D-A142-DF86AD9A340A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e93b7524b60bb9ab3f8d71fd24ac2451f79309","datavalue":{"value":{"entity-type":"item","numeric-id":1326769,"id":"Q1326769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128482$66057B98-3D6B-420D-89D4-CBC8F049271E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128482$2988A89F-A688-4936-8FB2-3FE7B8147DDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128482$7F324F20-50A9-40D1-B052-0DCFAF7C390E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2739fbfff016a5e366eac26cb88c1736bd7b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96a360a0874e667cc928b8820329464fbf5a993","datavalue":{"value":{"amount":"+0.8088431358337402","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":"Q3128482$EF81E635-75FC-4D3F-A24B-98D31E5754DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4c4734d659f93d2745046fe9762c21e168e528","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa2238e557c7544b74d8aa78444d2ba9119f16d","datavalue":{"value":{"amount":"+0.7931526303291321","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":"Q3128482$CE5598DD-30A2-4B65-94CF-BF01E02AEAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8666ed9331dd0b79d5048e10e8d9eb901e034449","datavalue":{"value":{"entity-type":"item","numeric-id":5055999,"id":"Q5055999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764e0a769dd52f20e30254319987b7807a6ef075","datavalue":{"value":{"amount":"+0.773930549621582","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":"Q3128482$B17FECA8-38B1-4F27-834B-E92B7C70ED46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e0543f12dcc75b2e1908820bcde5d5ee0eb1eb","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1fa4f54cdb08942b0fe62102f672af8b012b81","datavalue":{"value":{"amount":"+0.7735753655433655","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":"Q3128482$6F6B1897-EC1A-40BE-A132-E80DC241B38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28069bf629f24e37acb80b97f6ba07029d5decc5","datavalue":{"value":{"entity-type":"item","numeric-id":1884882,"id":"Q1884882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e24c6bb9725d7b8d2e81bb385ac37f6a657810d","datavalue":{"value":{"amount":"+0.7733265161514282","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":"Q3128482$24A0F5C4-4B6E-4DB9-9CE8-085B5757A996","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3128482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3128482"}}}}}