{"entities":{"Q4508267":{"pageid":6537860,"ns":120,"title":"Item:Q4508267","lastrevid":81976223,"modified":"2026-05-06T19:48:14Z","type":"item","id":"Q4508267","labels":{"en":{"language":"en","value":"A completeness theorem for higher order logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512484"}},"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":"Q4508267$7FE40E0F-23E3-4CE5-BE2D-C4B3234C6DB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"226003fa12eca63bef9b45f03d36871dbc148ec4","datavalue":{"value":{"text":"A completeness theorem for higher order logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4508267$CDB1464D-F71A-4326-8C77-E454BEFED312","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"082067a698dcb1efcf660de04e9bf6550f89506b","datavalue":{"value":"0979.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508267$EC82A666-6E91-4CF6-A5FD-27E23F83BE03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50ee63b0e237a336cfaba0e43617d10d57b1d79e","datavalue":{"value":"10.2307/2586575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508267$F713337A-0CC9-4210-89ED-CB5DD2792B0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e71c19e87340dba88ba954fa31440b4fe6e422a9","datavalue":{"value":{"entity-type":"item","numeric-id":861611,"id":"Q861611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508267$02CC3E25-A2A4-4B30-85BD-581517033A9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508267$EA57D496-A4DF-43BB-966F-0DADE8064FBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a831e2ddd3ec081d65f9d9ba86075a05ae19362","datavalue":{"value":{"time":"+2000-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4508267$C82340E5-805F-45B0-AF1A-E13A4C238754","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508267$AE87E070-3893-4DBA-94D7-6CA75203666C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0870fd9ac087ff67de92ebe29b7f497d07b85c3","datavalue":{"value":"1512484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508267$D4C1E65C-EC12-42DF-81CD-594A9024313A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2d449b522b216cf98fe6db77f967ff2c1dcb434","datavalue":{"value":"representable directed cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508267$D40E6CC5-2B85-4B2F-BC19-A7215088269B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0d3c9b8c40c60fa3ae73c053e1bd11362654cc","datavalue":{"value":"finitely axiomatizable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508267$9F9883C1-57D9-4B0E-906E-4ACAF00A8804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508267$F59AA5A6-8D21-423A-A387-7CD6E5A970C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e6123c877ae125532bb6ca53cb3fd2d2fe17a4","datavalue":{"value":"non-well-founded set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508267$D34B401D-F2E8-4E10-B0F4-3EDA766FD2EB","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":"Q4508267$BD1009BE-EFE7-42D3-9C98-953DB94A6F52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4ea9253c6d39b54478fecea70f54f0a13d790ed","datavalue":{"value":"https://doi.org/10.2307/2586575","type":"string"},"datatype":"url"},"type":"statement","id":"Q4508267$A2EAA639-028E-4828-ADB5-46A810FEFDE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e93efb5fad4db0a2c7cffe01b993d702b457d07","datavalue":{"value":"W2073070049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508267$3D35D1DD-77E5-42D7-A5FB-A4A68CFC152E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d159655db040654f25d54689f98b3a3abd7b19f","datavalue":{"value":{"entity-type":"item","numeric-id":1277794,"id":"Q1277794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508267$581CEFB9-B99E-4C46-89A0-143ACA36C3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b45040fd34c75b9be5e9bd7b2ce74e7beb68bc","datavalue":{"value":{"entity-type":"item","numeric-id":4340926,"id":"Q4340926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508267$959BB71D-6236-43A3-9CEA-7A8AE5092593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126de90821be28cb2e987d414e00b8309a2c31a3","datavalue":{"value":{"entity-type":"item","numeric-id":1249576,"id":"Q1249576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508267$1963C7D8-C79B-4204-BDF6-E274B97FF312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508267$EDA444BB-2213-4B5C-9AD5-E27CCE71B8F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778721f45725cceffb8d1c00d31f091cb6ea571f","datavalue":{"value":{"entity-type":"item","numeric-id":1005971,"id":"Q1005971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14442709d85f9b74afe87452d2aef00f2241238f","datavalue":{"value":{"amount":"+0.8316844701766968","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":"Q4508267$3F65B0B1-C744-4008-BED7-218058690208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a7e100b5f63435846d131df0ec3dfe8538fadc2","datavalue":{"value":{"entity-type":"item","numeric-id":2276955,"id":"Q2276955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423d60bdfe09c91eebc864014c26c267e5b311de","datavalue":{"value":{"amount":"+0.8010811805725098","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":"Q4508267$ED97074D-CFA0-4654-9ECB-B77A00D4E86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb02ee74983bfb8fdf1a0aea215e3716635a9f0","datavalue":{"value":{"entity-type":"item","numeric-id":1821100,"id":"Q1821100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e4c5150b929873628d584650b02f0673b5d48f","datavalue":{"value":{"amount":"+0.7733466625213623","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":"Q4508267$BEA5A170-7239-4CC5-B80E-C53D5DC440E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"333dd4280a2ae81b7dd26c7caffb51448dfcb7f2","datavalue":{"value":{"entity-type":"item","numeric-id":5215389,"id":"Q5215389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145e1a2703bc6c3ba15049bfd888ba4990584743","datavalue":{"value":{"amount":"+0.7715333700180054","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":"Q4508267$F5B34E95-F4F0-4B33-A59C-166B7D6E6C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7519011d23c6d3f91e55e829d986856a89d1ea62","datavalue":{"value":{"entity-type":"item","numeric-id":5956890,"id":"Q5956890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e4606a4ce66d0163f51034e5e041bf6cbf400c","datavalue":{"value":{"amount":"+0.7600894570350647","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":"Q4508267$BE6F01EF-4AB0-49F3-95B4-033DA95151B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A completeness theorem for higher order logics","badges":[]}}}}}