{"entities":{"Q1203774":{"pageid":1214523,"ns":120,"title":"Item:Q1203774","lastrevid":66343857,"modified":"2026-04-12T09:29:08Z","type":"item","id":"Q1203774","labels":{"en":{"language":"en","value":"Unifying some modifications of the Henkin construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 120379"}},"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":"Q1203774$986D2E70-CA7D-4EF3-9AC9-23670FE71E10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3996aa422e9a9ad50ed6a9e6dd771f42c69c5e4","datavalue":{"value":{"text":"Unifying some modifications of the Henkin construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1203774$9B63B507-572F-48C3-BCD3-0D73731E8BD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"015dd892ebba7493bb4a74f771b85ac140248c84","datavalue":{"value":"0768.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203774$92CC08E1-ED8D-4C66-B264-6CC9A9B9AC09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203774$793926C4-DEFE-4CA4-BA42-AB6EF46D1678","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23a4a462ecb1c2bb71942cea74b7fdc5aca3680","datavalue":{"value":{"time":"+1993-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1203774$17617E43-82B4-47BC-864C-CB81B87A6BFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203774$F089BCBC-BE40-4498-BADF-53C88D0FD8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203774$13E85E71-B35A-41DC-B14E-669AE20BD111","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c862550718e452af988bed52c43a9334f45c4cdd","datavalue":{"value":"120379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203774$17D5F7FC-7F5C-4A5D-94A8-16BAD0EF8D6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55ffc480b7689493db25f48246e54bedf32a196","datavalue":{"value":"abstract deducibility relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203774$83CB5DB4-446C-4B53-B6D9-3A5AB29A0B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c28beee0ae53ee179924dd759bb0e80bdc55f2c1","datavalue":{"value":"Goldblatt's Countable Henkin Principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203774$BDDC5C37-DAD6-426E-B954-062021169913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5a1a6199384ac183d7776d37d5ed7b5119ca3c","datavalue":{"value":"\\(\\omega\\)-completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203774$05DA4823-B709-4E59-B19F-D16DBB00AC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44624ed27d93594c9d7e63e70f05fe788d938f52","datavalue":{"value":"\\(\\omega\\)-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203774$82DF670D-5093-465B-8F9F-2E142903CB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25c55b28bc3a57086b2fd3c81ad04e093cf349d","datavalue":{"value":"\\(\\omega\\)-complete sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203774$68F718BD-393E-4F38-B044-BD2E0D292B55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb22934de46582f1d34874e34f371e1c38ac742","datavalue":{"value":{"entity-type":"item","numeric-id":1327487,"id":"Q1327487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203774$DC56101D-1178-4C23-8DF9-AE779F97B7F8","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":"Q1203774$C37C1BDC-651A-4035-BC69-DE383F06A3E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8dfa161ce51a79818e6570c065c88827078172c","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634409","type":"string"},"datatype":"url"},"type":"statement","id":"Q1203774$EA28C014-E2F8-475B-BB59-E300704980E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20eb7f3dcd362ee55e0a3820a35c290076122107","datavalue":{"value":"W1974391479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203774$6B6A74FF-E79F-4CCD-93C2-166DA18FFA2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cca7e79b4204224de865d03019f56019e3bc2c5","datavalue":{"value":"10.1305/NDJFL/1093634409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203774$47DCFA25-B16B-4527-9E45-DBA985B61993","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145a58948ed4bc18925304f2cdf932c575e86cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3033747,"id":"Q3033747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060529f6c15309531a65b8fbf7ba8ae1847c81be","datavalue":{"value":{"amount":"+0.8024027347564697","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":"Q1203774$EF085521-FA01-491E-B9D1-9FCEA8EA0A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3079533b7cd031884c3f7ee4a56962df2840017","datavalue":{"value":{"entity-type":"item","numeric-id":3454812,"id":"Q3454812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d20986fb102d65eb0d73158b307000b71c9a72","datavalue":{"value":{"amount":"+0.750698447227478","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":"Q1203774$BC5D9998-59DE-4B8C-95DF-F1723065B202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131d10c4225507427d5073947b959e46a90642f5","datavalue":{"value":{"entity-type":"item","numeric-id":1183715,"id":"Q1183715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139526f999154d039ed2ba7c9c9b68e705f777e3","datavalue":{"value":{"amount":"+0.7365345358848572","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":"Q1203774$281A354C-B1EE-431B-8020-C419CAD1DDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"648d50cc4a95fdad6e26fbf85cf52efd6209600b","datavalue":{"value":{"entity-type":"item","numeric-id":2785552,"id":"Q2785552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0dab2add2ae6a7cb97159fb742de785927f141a","datavalue":{"value":{"amount":"+0.7340373992919922","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":"Q1203774$A24C9BE0-5E16-4100-8CE9-E46D9291D46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b326950c0d2170347479f5eb72b0da66080e99","datavalue":{"value":{"entity-type":"item","numeric-id":5251374,"id":"Q5251374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3d9d66c28f8f1ce30a5088c6f4a11e624db6aa","datavalue":{"value":{"amount":"+0.6968536972999573","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":"Q1203774$09EA35D0-A62A-4A37-A2B3-B64C694BB766","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unifying some modifications of the Henkin construction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unifying_some_modifications_of_the_Henkin_construction"}}}}}