{"entities":{"Q3597456":{"pageid":5627362,"ns":120,"title":"Item:Q3597456","lastrevid":50564702,"modified":"2026-01-14T10:09:25Z","type":"item","id":"Q3597456","labels":{"en":{"language":"en","value":"First-order predicate logic and G\u00f6del's completeness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5504407"}},"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":"Q3597456$0F28D7DC-5E62-4B56-B758-1E58E5F1A5A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c34f393aca447dbae682e5096e4de3a6c5532e7","datavalue":{"value":"1161.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3597456$0EE85DC9-7D43-4C1D-A877-BA2620469C35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20238974542f5d9c64c2684f03a16279b962f335","datavalue":{"value":{"entity-type":"item","numeric-id":178370,"id":"Q178370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3597456$59383009-F290-4C06-BF46-AE8CDDAA4A28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"534babf470585851b3efc418a9a4130e46805740","datavalue":{"value":{"time":"+2009-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3597456$EFD2F31C-895B-489A-ABF4-96AF548FDA06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3597456$C3A10E62-B1F7-4190-A686-2047DB0477EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05c503f0a54fe4be25d59880f42ad80381ad27c1","datavalue":{"value":"5504407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3597456$13D1AF02-F65A-4171-8C3F-5EBF2AC97E0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3597456$DDD9E75B-184F-4039-94B0-0639E8ABB658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3597456$1705EE2F-A5EF-4195-9950-4CF7C3B383B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3597456$FC407FDB-B796-4FF0-9139-2514A913DC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3597456$947F3E5C-13F4-4B06-B8E0-FEEA02424B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3597456$2FE97027-2337-4C61-AE3A-919E16643D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3597456$9C11F3D2-75CF-487F-8E7D-18780E3023B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f833a3a9634ca9495fb83d8fd433acde681770ac","datavalue":{"value":"fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q3597456$AFEE1EE8-2C21-4D00-B5AD-6D99DE9809AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"790cc4d9f205303344573617c9f3355982e1350e","datavalue":{"value":"ZFC set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3597456$9FC7671E-E71A-4E76-B95D-363A38360C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c650cd24025fda13c07b573c157ff74ce0568a88","datavalue":{"value":"incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3597456$843F1A28-B3FE-4D3D-A666-31CE0C37DEBE","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":"Q3597456$87D8EC78-55D2-4D81-B559-D791F3A4E2F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a09f2fef67545b50c056365a173d1e07e4e189","datavalue":{"value":{"entity-type":"item","numeric-id":1312692,"id":"Q1312692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73a47d34545b472b3d64895f62fe5a0bd1eff8c","datavalue":{"value":{"amount":"+0.838020384311676","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":"Q3597456$1FBB1FA6-E145-4AE3-852B-DC4E73B139B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40be2615568ee7cf17894d6a64ed0f73c2dcfb3","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1108149ef8d6ef00fdd0fb062fbe69150258ed5","datavalue":{"value":{"amount":"+0.7666523456573486","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":"Q3597456$954A7380-4D7F-442C-9610-4C8602D2CD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d157dbabd4997af3757c3ae2a0b15087f5cee929","datavalue":{"value":{"entity-type":"item","numeric-id":3594444,"id":"Q3594444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2824e2e83c7bf6dfc512b0ef2f6d584d4d66b10a","datavalue":{"value":{"amount":"+0.7633813619613647","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":"Q3597456$CB1229E2-2F57-47D6-B50F-928E96A62479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc37b3ecdc3614498aa7d21fa868da17245b9c3a","datavalue":{"value":{"entity-type":"item","numeric-id":3598173,"id":"Q3598173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd07ad5b3278522de3923b226ed202d581122a0","datavalue":{"value":{"amount":"+0.7524911165237427","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":"Q3597456$3DE839F9-D98C-4ECF-AE7D-5776F6ACFAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023ec1c9fae40928496819f3036f4b2ff7e8206f","datavalue":{"value":{"entity-type":"item","numeric-id":5536236,"id":"Q5536236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e73c0ef5b7ad49821960c990bba1f524bbae04b","datavalue":{"value":{"amount":"+0.7455859184265137","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":"Q3597456$19EE7627-7445-4168-81A4-A8DA79C8474F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3597456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3597456"}}}}}