{"entities":{"Q2177584":{"pageid":2188327,"ns":120,"title":"Item:Q2177584","lastrevid":43644453,"modified":"2025-11-04T10:28:22Z","type":"item","id":"Q2177584","labels":{"en":{"language":"en","value":"A globally sound analytic calculus for Henkin quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7197410"}},"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":"Q2177584$200CFD92-BE4D-4332-A1DB-A951A67D6B86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"852d5dcb18edb93984fea46acad716c584e59c93","datavalue":{"value":{"text":"A globally sound analytic calculus for Henkin quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2177584$BAE32DDB-BD2B-4338-B81F-1FEDED99DB4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c0c2bd745b954b6a8eb75ea7305c2c350935d7c","datavalue":{"value":"1485.03140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177584$4720F994-004A-4E7B-A855-632B69912C0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73dfa699e0beb78a3857b553aa2337432d2637aa","datavalue":{"value":"10.1007/978-3-030-36755-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177584$99E588C5-D018-47EE-9B26-11913D98D706","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":"Q2177584$14D35140-96CD-48E6-9A4A-C6495F87B9CC","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":"Q2177584$BF626446-CC24-45CE-A10C-AB91F66E6E23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63b133e2f3cdb47e2584c85d3d40bfb2c7f5272d","datavalue":{"value":{"time":"+2020-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2177584$BEAAAFE8-9B41-4998-B522-18446A261FF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177584$4959D3BC-082D-441F-9AC1-096349EA2404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177584$E51D1F97-5A28-4E60-B91C-AF6F73DFA067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177584$9C771F79-4E3F-419B-A4CB-E33DD3870A19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"982b5e7038e10fc8723e0c0c06f32f6244c1312f","datavalue":{"value":"7197410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177584$5C69B034-F4BB-41DA-B143-390C52C5A78B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa7375a8be181c3039c91f3ce4d4f578384a46f0","datavalue":{"value":"Henkin quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177584$E7A168B4-6C6E-436B-B6EF-EBE484B11C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177584$30878186-7287-48FB-B363-821552CE6690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177584$83EED79D-AD9C-468E-B060-2DD4AAF7CD04","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":"Q2177584$7814E47F-5EF5-44E1-BF3C-59F0F98932B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a77310c612aec07aab10a8acc85f0dde22946e4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-36755-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2177584$C2A80295-119A-4723-857F-36ABDDB2424A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f09bc29a133328453dc4554e582acc8bc22fce28","datavalue":{"value":"W2996464291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177584$3D30BA7B-A01D-4A3E-9EAE-E5DDD5D02250","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a787d854aabdde116f7609f005bb2d23f89854d2","datavalue":{"value":{"entity-type":"item","numeric-id":2303611,"id":"Q2303611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88286e1bfa2962e0e617e77e814d94ee5d1bbdd","datavalue":{"value":{"amount":"+0.913102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177584$163F3851-0E3E-4A89-83B2-5B8E27621F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27bb16c56b01b547484be486ea212678e509d907","datavalue":{"value":{"entity-type":"item","numeric-id":5028310,"id":"Q5028310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1459d1298024c6e885205a8bb806036b5ea28e","datavalue":{"value":{"amount":"+0.8843163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177584$F99F5346-9612-4ED5-8068-D608B4824C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09a195dc3816293cc96c1c7077a8bebc888efe75","datavalue":{"value":{"entity-type":"item","numeric-id":2721191,"id":"Q2721191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44286a99c90c604f1dd3d769a65a6df1e7d96b31","datavalue":{"value":{"amount":"+0.8797762","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177584$4DF2ACC2-0D83-49F2-AD69-FCF635F1B54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2faa735fddeaf6e8fdcbb0a47d4bf0f0d6107c","datavalue":{"value":{"entity-type":"item","numeric-id":2330501,"id":"Q2330501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cbca8bc8adbffbeb2e62e7bef9464706e395253","datavalue":{"value":{"amount":"+0.87679493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177584$A5FFC156-C7E5-4C7E-B682-6F6F6BD0E93E","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":"6c1e4eb852dd5e8545645bc0624091d6938964ec","datavalue":{"value":{"amount":"+0.86518943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177584$55265E25-29E8-4502-9847-B8717C5D1670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6206581fe31d3603075a02cb73b5ee14e48a981","datavalue":{"value":{"entity-type":"item","numeric-id":1121872,"id":"Q1121872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18339839374182f8f9e7835d1d3dd6f96e4144e2","datavalue":{"value":{"amount":"+0.8651893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177584$025ABBB1-EE3E-49B2-AC09-4AF525C6661E","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":"e59cb18a88d7775974e0756c266eca02c0c44749","datavalue":{"value":{"amount":"+0.8598587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177584$0DC40D78-A0EF-4BD4-92A9-4FE4253759B5","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":"19000062078352297ac949db6eabd3e03028ddfa","datavalue":{"value":{"amount":"+0.857898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177584$388081E9-E402-4009-8DD6-B11B928C2F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef000c162c6ba2bd687c6bf95a97e5830479c830","datavalue":{"value":{"entity-type":"item","numeric-id":4412860,"id":"Q4412860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96db5cae00c75fd2fc68384220c8de8771463c66","datavalue":{"value":{"amount":"+0.85576916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177584$1CCA2FCD-3012-4AD9-9511-BC25A4586637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed1205122ab61c0b506725fbe6c6767248bf19c","datavalue":{"value":{"entity-type":"item","numeric-id":5159492,"id":"Q5159492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486b8e260bb1e5b86c037d741de32ec54a62a90d","datavalue":{"value":{"amount":"+0.853811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177584$307A539C-A422-47DD-9AC8-BBD8A0310A1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2177584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2177584"}}}}}