{"entities":{"Q5028310":{"pageid":7057887,"ns":120,"title":"Item:Q5028310","lastrevid":98300642,"modified":"2026-06-05T17:10:22Z","type":"item","id":"Q5028310","labels":{"en":{"language":"en","value":"Towards a proof theory for Henkin quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471460"}},"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":"Q5028310$DB48B539-A5C7-4156-A1C4-8D43BDC30C8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2136836788fc7ee3791a8df473a9fb26558da277","datavalue":{"value":{"text":"Towards a proof theory for Henkin quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5028310$98393FEF-B961-4800-BB49-2BAC444524CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028310$5DB2D2F8-6BE0-42F1-9C50-E4910F4118DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0af247aeda0d0aefbfde68ae92601a0a6b67c69","datavalue":{"value":{"entity-type":"item","numeric-id":670703,"id":"Q670703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028310$27116AA9-8713-4746-9F12-077358E31661","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"488e6207134e67ec131f48c4bb4bab2c61330f44","datavalue":{"value":{"time":"+2022-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028310$9C55C7BC-6D23-4667-ABC8-C4C80F856F25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028310$AB958A5E-2205-43CB-82AD-08C90D5A04D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028310$86FF162B-27A0-452F-83A3-CEFB51DDF9A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f626e3807b97ecccf029a807d30a206090d8d579","datavalue":{"value":"7471460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028310$E8955360-7808-421F-986F-0429919940F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa7375a8be181c3039c91f3ce4d4f578384a46f0","datavalue":{"value":"Henkin quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028310$EA4EA6AB-7EC0-42BD-A4F0-B7C31FF5B9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028310$24545672-53CC-41FA-9B48-3F5E1D870227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028310$8A78AB3D-539C-407A-A6D9-1817F6FF3769","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":"Q5028310$0D95D8B2-E12E-4BA5-8CFE-0E1274768458","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26141c12c7d9cb10c1a579aa87e2bfd4f76c92ee","datavalue":{"value":"https://doi.org/10.1093/logcom/exaa071","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028310$7B76BABF-1E2A-4D0B-85B2-1FE4E2E7CA30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86cb791f6505e9f576c7e43a56267a648355dab1","datavalue":{"value":"W3118625108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028310$CBEA7169-1C8F-43C4-BCE8-9BAA863FF0D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cff9c130b8b91e98777e5ef51e2832f7b21c6f4","datavalue":{"value":"10.1093/LOGCOM/EXAA071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028310$46D3BC5E-2C15-474C-AD5F-39C4F29C9557","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028310$E1CE033C-386A-4CFA-9694-3864CC6E083E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11d9685fd65e509364a8de2bff465a6a5a684cf3","datavalue":{"value":{"entity-type":"item","numeric-id":2177584,"id":"Q2177584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338bd2b1a85b616a1ee38535fbdf8c5ccb833023","datavalue":{"value":{"amount":"+0.9620139598846436","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":"Q5028310$A51D6805-AA7E-40FC-8FB5-3EC52DEF0BA9","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":"39cb74d91d2e2e09494bea096eb0b3fed006c283","datavalue":{"value":{"amount":"+0.7476460933685303","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":"Q5028310$3E2B640B-7B0B-4D72-BFDB-3A49BD6A1B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3985ee2e21281aa56695fe70a99bfcd0780d28","datavalue":{"value":{"entity-type":"item","numeric-id":1088983,"id":"Q1088983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd183ed08b214432606d72032f33239033f6ca5f","datavalue":{"value":{"amount":"+0.7447701096534729","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":"Q5028310$79403F83-2DE8-41E3-9CC5-2D234C841959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"befd362986e34cbcbc334be1fbbe9eaa2de54c68","datavalue":{"value":{"entity-type":"item","numeric-id":4661902,"id":"Q4661902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc7f415c2326d3eea535b66804262983011d9110","datavalue":{"value":{"amount":"+0.7304293513298035","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":"Q5028310$2A6B920E-244F-43B2-ACFD-434DF22C5034","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":"1da3839dd9fb0f838f8b78e1e1c84a8324ce3ce3","datavalue":{"value":{"amount":"+0.7240591049194336","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":"Q5028310$2617319E-19E7-4CAE-B227-F60ED50340AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a proof theory for Henkin quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_proof_theory_for_Henkin_quantifiers"}}}}}