{"entities":{"Q5251374":{"pageid":7280942,"ns":120,"title":"Item:Q5251374","lastrevid":100673219,"modified":"2026-06-05T22:44:47Z","type":"item","id":"Q5251374","labels":{"en":{"language":"en","value":"A Henkin-style proof of completeness for first-order algebraizable logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6437567"}},"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":"Q5251374$9B4EDCAA-2A7F-44FE-9D7C-FC5A609F3C4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc26d48655d1ae8597ab2d6540b7fb1513c10be4","datavalue":{"value":{"text":"A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5251374$73B00447-E53B-4A4F-8C33-B05FB3624882","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca50884def90a12113876af44d574d62979db9ab","datavalue":{"value":"1372.03102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251374$9F31288D-01B5-4E60-AE3B-FFAEB30C006B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbd9eb0af194aad6887db9ada71123c181f0c126","datavalue":{"value":{"entity-type":"item","numeric-id":283092,"id":"Q283092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251374$603A3BC7-D545-42B9-9523-874D6453F81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251374$BE26FC19-509E-470D-BCD5-EB7DA29D65A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"631610dccb144b2ff0a9d09f9ee858e6009e5407","datavalue":{"value":{"time":"+2015-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5251374$533E99B9-E2C3-4F1A-BCF9-88CC7DC44AB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38a571e904d754c3ba2e0d4d39779eeae8463a40","datavalue":{"value":"https://semanticscholar.org/paper/bd8985e12d04e37809f3089b12246ba110ff3305","type":"string"},"datatype":"url"},"type":"statement","id":"Q5251374$48F97A3C-D79A-4CD7-99F7-411E7E3716B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251374$3562AE2F-2306-4BC5-BCE3-9421E1B07FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251374$A27AB3F0-2ECB-4F33-B98B-C9E4777644D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251374$12803843-266A-431B-8E2D-F37494471FBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06e736e54faa57d74513d66c1631394131e7c243","datavalue":{"value":"6437567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251374$B0EA38E6-5395-460E-AD96-42C75E4DA9F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251374$D55BFE5A-A342-4993-800C-7CC4EB6C1FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001b851ddff316609206c04cd333e0b8b1643725","datavalue":{"value":"algebraizable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251374$AFC0654C-17E5-4496-8CF9-67C6A841AC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251374$A6BA15F6-DA70-4E42-85B1-E717AA2BB998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"178aa8fa0c087612102670e6d0e56749d8bf252a","datavalue":{"value":"Henkin theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251374$48621BF6-0EC5-4890-91AE-E5082670B980","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":"Q5251374$E9ABD472-C658-4572-ACEB-831CD4B53F7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efb4a8124444901769fe2b22751dfd316933c44b","datavalue":{"value":"W2168995070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251374$5302DF5F-DB33-4540-8F7B-7FACEE38F09C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6240387d1f22d12014301b49d4f390878abd7ff","datavalue":{"value":{"entity-type":"item","numeric-id":5951916,"id":"Q5951916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251374$415AAB9B-8951-46AB-9C3E-6C0B2A2DC61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0603383c0b46dc23f9ce1246374ced8d274d62d6","datavalue":{"value":{"entity-type":"item","numeric-id":1765100,"id":"Q1765100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251374$FF33E6CF-FA2C-4078-8B0E-D860830F1AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340bd380d9c4a64ddf77847a2cd20bf716793c33","datavalue":{"value":{"entity-type":"item","numeric-id":3520231,"id":"Q3520231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251374$E67BEF69-A708-4272-8F03-E5B78C27E873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251374$6F1ADDA7-3060-4B8E-BF3D-756E587159A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251374$901FF082-04D2-4913-92F2-DB2B2D7D6772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251374$D4A8154D-D87D-4BD0-949C-3C896EA5D75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251374$146E6D23-E976-4AAF-A668-2980C38F8B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa190d3d8ac417994969335d39b5ad3f09712b9","datavalue":{"value":{"entity-type":"item","numeric-id":368486,"id":"Q368486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251374$4A412266-4691-4941-8FD9-F0D5DDA6A5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251374$AAD0B6B8-83C9-449F-968E-1520E43D5A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6ce3442adad4f243c7807f68882f3b166b3f62","datavalue":{"value":{"entity-type":"item","numeric-id":2426733,"id":"Q2426733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251374$7C9E8530-D074-4458-AEEC-7B32E4BE1253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251374$81B388D3-9E82-4FA7-8950-902BC7176CDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9cec195f4ce84c3714557392cc76543f5d632fb","datavalue":{"value":"10.1017/JSL.2014.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251374$87061C55-DB0E-4CFE-9BFD-50F5A6FAF2A6","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":"Q5251374$0AA4CE30-4C3D-4443-BEF3-1F1431CC9F7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efef4cabd84c0cc9c999da57b908650579c8bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4806272,"id":"Q4806272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3255fc3145a1cf32a6637fe4e0f72ab51b6968e8","datavalue":{"value":{"amount":"+0.7996585369110107","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":"Q5251374$E194FCFB-38AD-4596-9E66-9456AE3B0DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f9ae8df5c25beb735813622f960226697534d9","datavalue":{"value":{"entity-type":"item","numeric-id":5698282,"id":"Q5698282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab38071dd5fc9e1125fac43cb52e7451e004ea6c","datavalue":{"value":{"amount":"+0.7851172089576721","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":"Q5251374$65C30C3C-E61E-4C32-B577-8DDB43F10607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13e9cdd04d4b637dfae0354f41c3d4af456599e","datavalue":{"value":{"entity-type":"item","numeric-id":3454811,"id":"Q3454811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d574f576aa227e48c7749308d0eb703173bd72","datavalue":{"value":{"amount":"+0.7515647411346436","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":"Q5251374$2318B8BC-863E-4E7A-8117-FF25E6629DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8634e46f82ea73503a275cfaa8bc5a48102d5491","datavalue":{"value":{"entity-type":"item","numeric-id":4644543,"id":"Q4644543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd936dd16d6abe2137517131eb21ab0e1cbf7db","datavalue":{"value":{"amount":"+0.7480127215385437","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":"Q5251374$104DCBBF-7DA2-4861-B68B-42D5F14C64DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0490f062a5088d41f2f522347c11055c8fe872","datavalue":{"value":{"entity-type":"item","numeric-id":1344840,"id":"Q1344840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511ddf418516f7a3f95ab86c984c6025fbb3079f","datavalue":{"value":{"amount":"+0.7473981380462646","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":"Q5251374$2EB25D2D-478A-4799-877A-702C1B570B3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Henkin-style proof of completeness for first-order algebraizable logics","badges":[]}}}}}