{"entities":{"Q708927":{"pageid":710776,"ns":120,"title":"Item:Q708927","lastrevid":63790785,"modified":"2026-04-11T15:34:03Z","type":"item","id":"Q708927","labels":{"en":{"language":"en","value":"An intuitionistic completeness theorem for classical predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5800412"}},"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":"Q708927$E210AA29-E093-461E-BFCF-80EF378A91CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a2c5de4a42c807da556e2bd39131629fc94302c","datavalue":{"value":{"text":"An intuitionistic completeness theorem for classical predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q708927$F3DC6C1F-156C-42BD-B0C5-5DC4775BC75E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9233b5a3e22365302de12846a8a8e7ab098d0c5","datavalue":{"value":"1204.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708927$DBF3AEFC-3FB9-4AC8-A893-5BEFDFEC8125","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab8df4cb13a509b9920268449820b6d1c56d9fb","datavalue":{"value":{"entity-type":"item","numeric-id":708926,"id":"Q708926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708927$04BD544C-19F4-481D-A2FC-8D17C45482BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708927$1E9BACC1-A984-4FAC-B8F9-3FB13876D631","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d214923a38e7ffd38eef0923ebec08ba9fb27220","datavalue":{"value":{"time":"+2010-10-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":"Q708927$8C8C94F1-CC3F-4B46-BCFF-CF12C0214870","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4beaafe6aabbf95a6692938582c8c089ad4c155b","datavalue":{"value":"The completeness of intuitionistic first-order logic with respect to the corresponding class of structures can be proved via a purely intuitionistic argument establishing a connection between Beth forcing and intuitionistic validity. The author shows that a similar argument leads to an intuitionistic version of G\u00f6del's completeness theorem for classical first-order logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q708927$635620B9-07A5-4A36-80B5-A2E8E39316B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708927$0FC8B6BE-93B9-48FA-8801-B600569747CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d994d6ada490fc7762ce6d25421ee9387edbbd8","datavalue":{"value":"5800412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708927$64577B87-5A63-4A5B-97FB-DDAD13A27697","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72408e7175e8f95f895d5003de2d4e1a618fc15d","datavalue":{"value":"classical predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q708927$4B9567EF-1F1F-4D74-8BEC-FD8188AC65DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71f9cb116398c11b6a4a0b0d4d04348399be8853","datavalue":{"value":"G\u00f6del completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q708927$E8992584-762F-489D-AAB6-0F44E9BB6541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c1e07db57b8e1079b750aa456d0af5513a30b53","datavalue":{"value":"intuitionistic completeness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q708927$CB64F752-CB89-40CE-9EF5-1E4483A5F5E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708927$20BDBEC0-3BC4-47B3-831B-AC26CAE2F98D","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":"Q708927$5A79C239-5404-4FF4-ABE2-B4C3E5B24E4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03625f3ffd780f493c464c9d317712ddfa93ba2d","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9273-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q708927$78F5B0E6-761E-42D0-A7C8-B374EF43FA6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3bf0aeaa3268a156c1deafa3d269e9bd03e3173","datavalue":{"value":"W2114956963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708927$D1768EB5-D259-488E-B5BD-20573099F5BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f767eb48d94ed0d52d2751735ed6a9462ed4e706","datavalue":{"value":{"entity-type":"item","numeric-id":3128482,"id":"Q3128482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708927$139F458C-4EDF-4D20-83AE-997A36679EA4","rank":"normal"},{"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":"Q708927$391ECDB8-FC7E-46D8-81F6-88F58C0061CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d999bb31d2cc5870b3257a9e594a050faf4cddd","datavalue":{"value":"10.1007/S11225-010-9273-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708927$17539D5C-5868-4734-BF01-D681A64D5EF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07aac25750eff53e5ccca8bee0eed4f1d1c3ba04","datavalue":{"value":{"entity-type":"item","numeric-id":4254637,"id":"Q4254637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"514de0bd4e76640aab19d641183fb47b68125afe","datavalue":{"value":{"amount":"+0.8572998642921448","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":"Q708927$D1EE732B-7D7A-4BFF-9F76-5D1BC831B961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b958373e2438e27311212a3abfee89b629d882e","datavalue":{"value":{"entity-type":"item","numeric-id":1882403,"id":"Q1882403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba883aa6ce6c187d03304a5d5c78e66bd6e06914","datavalue":{"value":{"amount":"+0.8428534865379333","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":"Q708927$37418FB8-8C45-4FC2-81A2-7AB631D032EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1e82d7c33a908c91ea9a97d1825da8daf0e9c2","datavalue":{"value":{"entity-type":"item","numeric-id":3481700,"id":"Q3481700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ce2cb6f4d935d793ca4a94b51fd7105403e6a1","datavalue":{"value":{"amount":"+0.8268041610717773","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":"Q708927$66226228-7357-41BF-B5A3-057607E78946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0e888fdcbe9803359bf4363aa72e847572b502","datavalue":{"value":{"entity-type":"item","numeric-id":392280,"id":"Q392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec656bc01a9e6348193110a96e826dcc12bc5efb","datavalue":{"value":{"amount":"+0.8262629508972168","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":"Q708927$63A7911C-985D-41D1-94A8-25ED02AC7D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22eed11b0b0c9c9ec9c7b273fbd8edcda3ada453","datavalue":{"value":{"entity-type":"item","numeric-id":4397034,"id":"Q4397034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c131405f19824b4c9bb0ad7f1174e84771e6988","datavalue":{"value":{"amount":"+0.8258103132247925","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":"Q708927$C089330D-4C92-460C-BE28-3E0AD23B9A91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An intuitionistic completeness theorem for classical predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_intuitionistic_completeness_theorem_for_classical_predicate_logic"}}}}}