{"entities":{"Q5928923":{"pageid":8105725,"ns":120,"title":"Item:Q5928923","lastrevid":47599354,"modified":"2026-01-02T04:39:56Z","type":"item","id":"Q5928923","labels":{"en":{"language":"en","value":"Henkin quantifiers and the definability of truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1587747"}},"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":"Q5928923$1C566D66-7A6C-479C-A6BE-03C42A59DCF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b514e44ecf4f4d091c9e5128d0a2dccc4ab7819","datavalue":{"value":{"text":"Henkin quantifiers and the definability of truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5928923$118EA5DB-22B6-465B-A3FC-0C03452F1764","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15b02a5b4bb333d1297ba3eb4599afaaa3c930bc","datavalue":{"value":"0970.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928923$7156A060-1813-4AB7-A843-4E1AE441DF33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f889c6090321ae2bab172880e8c01ac4c1929f2","datavalue":{"value":"10.1023/A:1026533210855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928923$F4671AA9-B4AD-4CE1-A535-2FBC93CC9D6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bea1d0142d11d1c2ccc74930bc0b7645a3b45e9","datavalue":{"value":{"entity-type":"item","numeric-id":169439,"id":"Q169439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$CFDD7A85-15EE-4086-B799-BA34E0E72A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf10ba91ac137fa03b29a145299a9342d8636d27","datavalue":{"value":{"entity-type":"item","numeric-id":169440,"id":"Q169440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$9494F1D5-3171-4068-8ABE-0B7D7730C4DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$4E162617-792E-407A-AF68-2F9924637C62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2c37c3249990a784c17752a81c2a2ad74923736","datavalue":{"value":{"time":"+2001-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5928923$3855A58C-3820-4FC7-96FD-4DF6A0557840","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928923$66930586-F086-4A6E-BA22-2E4A1566DA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928923$C9DF2DE2-8E63-4768-B893-5E89B87EE00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928923$665FF93F-6D00-48DC-848C-1A124D923537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928923$07956F6C-2E98-4117-9512-B925107A9287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928923$50CB9C3B-F673-4AAF-86C0-A874203E13F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae0db523d7a1b98e2f6626b378a05e6ea64b65bb","datavalue":{"value":"1587747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928923$BA598246-FD4E-4271-8489-74111DEA9B06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39314e8577c6771db53e4d40b069f41ec5308898","datavalue":{"value":"IF logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928923$497EF4B6-8DC0-4E3E-A2CF-0F8DEE212F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40953c2325db86cbab905851b0cf565a13fce3d0","datavalue":{"value":"fixed point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928923$B138D1FD-DBC1-4E9E-8798-276970152365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558ef5885b654486e0f61805c5a943313bb4f805","datavalue":{"value":"definability of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928923$329E8AF9-51AE-4F81-B832-5F8204776ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76d797a0d444b524a5821fa450f69440856dfae0","datavalue":{"value":"independence-friendly logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928923$8B2BD7FD-FF2F-4544-8804-6F049FF65CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"204206a2f11fac2e164f68d9eaa80872c4d6a41b","datavalue":{"value":"Henkin quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928923$AEEE2B38-5197-49EA-BC6D-A59F3B4A06F9","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":"Q5928923$12A76092-B4A5-48AE-8978-C3DEFE85C3AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a12811d593d7fbb31f6db7c6765ebbd7a124f14","datavalue":{"value":{"entity-type":"item","numeric-id":4699335,"id":"Q4699335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$FC18C2B6-C453-4A88-8C79-431D71B942C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaacce59fa1f221109265c34b720287e0cba028e","datavalue":{"value":{"entity-type":"item","numeric-id":5708365,"id":"Q5708365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$29579982-F9B8-4C8C-BF01-64E6B4EA0309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbafa006b14468b64b745fc68aa9332b146a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4135463,"id":"Q4135463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$A63C1C3F-23BE-4C68-B26E-10A0FE624160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8413e35396f689c527307b15a1f798700960d2aa","datavalue":{"value":{"entity-type":"item","numeric-id":5691485,"id":"Q5691485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$654A78F2-567A-486B-AB9A-EBCA82B4C767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159a5b6bc122136ca7e837726b08a530e0338246","datavalue":{"value":{"entity-type":"item","numeric-id":4732440,"id":"Q4732440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$D2EF350D-D29F-41FF-8182-2FEFBC04606F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee679aade6405d6694d01f0efb209e3a97aacb8","datavalue":{"value":{"entity-type":"item","numeric-id":4353719,"id":"Q4353719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$CA7EA112-5643-4A09-9713-05F5BF7CEE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$CA0AF18E-6D72-4685-8CFA-22B2FCE8922B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b8c34f7360577ed3f9838e4e1cc5fbde3f960f","datavalue":{"value":{"entity-type":"item","numeric-id":4304113,"id":"Q4304113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$11C2200C-27C5-477D-B4DF-55DA93A19D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be83189eee96f476007cc10cc3631cc2d2bee9dd","datavalue":{"value":{"entity-type":"item","numeric-id":4395559,"id":"Q4395559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$7063BAD1-F21E-4F38-A2FA-D0BAB750BB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac366ac97a9adbea83879d2f3a7c01ff6e55871","datavalue":{"value":{"entity-type":"item","numeric-id":1208148,"id":"Q1208148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$2BFC505A-F82C-4470-92AB-399932F76BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4e2906f0c154243ecaaf21a3388202946d4b00","datavalue":{"value":{"entity-type":"item","numeric-id":1267079,"id":"Q1267079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$D1F745B5-F459-48E7-9486-7F91E5F879BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3411570788f9e99d8bb1f5ae68a4c3bc5d5698e","datavalue":{"value":{"entity-type":"item","numeric-id":4295216,"id":"Q4295216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$67806938-662F-4E4C-8ACA-AB004AFDB61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca7bf9ff748343f2efbe736997f3fd4b0e9f589","datavalue":{"value":{"entity-type":"item","numeric-id":5623654,"id":"Q5623654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928923$37DBE607-27B3-481D-8DE9-C46F6AF29002","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"348a5166358acc3c9857d0daaece364ce732f4c5","datavalue":{"value":"https://doi.org/10.1023/a:1026533210855","type":"string"},"datatype":"url"},"type":"statement","id":"Q5928923$09976D25-731D-4334-96D7-823BDCB075F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7cc35ee51b7f6129dc7edb63667b1e36a052875","datavalue":{"value":"W1967259846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928923$0B533782-C720-40F8-ACC3-80F9A2A73E65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb8eab794a3429910041b5eb979be66ae922d38","datavalue":{"value":{"entity-type":"item","numeric-id":1882566,"id":"Q1882566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c14cd32bcd7143f8ebc2ba95ebed013e92c6da8","datavalue":{"value":{"amount":"+0.7559363842010498","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":"Q5928923$5EE5A7CA-F742-436E-B65F-182B11F3E6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2024be0f1a9ecb7a1a909f6b0ab570c0c3ed23e6","datavalue":{"value":{"entity-type":"item","numeric-id":1198829,"id":"Q1198829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11692f76dd3d9a15d1e50ca1dc48c456b9691053","datavalue":{"value":{"amount":"+0.7419608235359192","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":"Q5928923$97E35C8B-8AE9-4534-92E6-23330FFC4988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6511d704a634294ed8d3c38647688542733da696","datavalue":{"value":{"entity-type":"item","numeric-id":3984230,"id":"Q3984230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b01af7109af5ed5d22233722c98d052d850e50","datavalue":{"value":{"amount":"+0.7413414716720581","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":"Q5928923$DB66AC27-D37D-4555-9E99-1A694C2E4A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074af5759ffdf1f1349822ccbb36965394aba7bc","datavalue":{"value":{"entity-type":"item","numeric-id":3789541,"id":"Q3789541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c4828b067ff2f0524f825dcf819bec123292140","datavalue":{"value":{"amount":"+0.7386404275894165","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":"Q5928923$3CE5A37A-8600-4F3D-ACF9-F39773B429A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096384d9ed4d6391cd036ff90316be59d7a4b15b","datavalue":{"value":{"entity-type":"item","numeric-id":4395559,"id":"Q4395559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1418ff3db974f685e8640d42141d0b4fc362556d","datavalue":{"value":{"amount":"+0.7342581152915955","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":"Q5928923$4A143596-EA50-4C7F-BBA0-0D0D0C5886E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5928923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5928923"}}}}}