{"entities":{"Q4711501":{"pageid":6741078,"ns":120,"title":"Item:Q4711501","lastrevid":41586134,"modified":"2025-05-06T03:19:11Z","type":"item","id":"Q4711501","labels":{"en":{"language":"en","value":"A NORMAL FORM THEOREM FOR SECOND-ORDER CLASSICAL LOGIC WITH AN AXIOM OF CHOICE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2597"}},"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":"Q4711501$7DDEF0EC-6493-4938-BE0A-9D68EC538DA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbe99113dfe8fa86743e5bd7c1a6280c3088ae9e","datavalue":{"value":{"text":"A NORMAL FORM THEOREM FOR SECOND-ORDER CLASSICAL LOGIC WITH AN AXIOM OF CHOICE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4711501$5FF510F2-F4B1-48BA-871C-6610B04A3AF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"726a4c78f3cbdd7b32226960b833799244557c5a","datavalue":{"value":"0850.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4711501$62173166-9585-41C6-A5FB-5BD3D0F33096","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7b33a6340c2e117b07fcbe639005ddb5de09fe7","datavalue":{"value":{"entity-type":"item","numeric-id":3025699,"id":"Q3025699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4711501$06DE2E1F-7B39-4F45-9A61-435ACF9ED370","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4711501$04C2709F-AA54-42B5-9EFC-5018E0733FCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4711501$CFB7E879-9B9F-4C96-B464-ABADC0FF2B5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63bbba6a421361f9f1051cedbec4678076ff3988","datavalue":{"value":"2597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4711501$D75A64F9-B2ED-44E2-AC08-FBCBAD3604DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711501$302F62B7-A613-4271-889B-95556D8A2CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711501$90D498DB-DA6B-46E8-AF9F-C2B4D3770730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"484314a94bce6026a60999b15fb6d54ca92a4478","datavalue":{"value":"epsilon symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711501$C166A2C2-C28F-4368-96BE-5A56F3543B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711501$9649B8C1-D5F7-4A97-AE86-2F344E0CFAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e60c382d34494b5fd80dc7c38b43980673d4b8","datavalue":{"value":"absorption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711501$47F9DE77-50AB-4F59-8313-6346523333AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55a6a84515fba32d28d5c23994a1c60e12a78f17","datavalue":{"value":"cut-free derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711501$FADEC673-8E72-4A43-A232-31CB5473E3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d40e6d2405da5e9ed64329175516386d141b33af","datavalue":{"value":"semi-valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4711501$C0A42A9C-B244-4513-9593-0541948959D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4711501$EAED5FE1-FD8D-4D81-9A4B-3AB04E05825D","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":"Q4711501$E7F5A643-7B85-4A1A-BEB5-44C59E9918B4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e02dc46d5da87d911d9f71c2a5db4845c23ce268","datavalue":{"value":"Q114644213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4711501$8C840199-0143-4BCB-9363-9F85DED251C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f11f2b160d13fa9fadadf98ce974eb00e6443013","datavalue":{"value":"https://doi.org/10.1070/im1989v032n03abeh000782","type":"string"},"datatype":"url"},"type":"statement","id":"Q4711501$B094DDD9-9B0A-4434-9B0D-3B460B78DDA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca5ba27db4fb45681cf753fe2291b25dfff23b38","datavalue":{"value":"W2059983916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4711501$D9C43F26-8D4E-498F-9900-1D54A1E5826B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5404c974c760bb9fe56ce37c904ccb3e25706f6b","datavalue":{"value":"10.1070/IM1989V032N03ABEH000782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4711501$C236DAA0-E6ED-49ED-BBDA-48D28DB98140","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7976d912fecd5683a1f57959832ce8dca91be1","datavalue":{"value":{"entity-type":"item","numeric-id":3800028,"id":"Q3800028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302298d251841d0f112cf6c64db920781d465a08","datavalue":{"value":{"amount":"+0.9985128","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":"Q4711501$AD4E2348-D263-422A-BB68-D52697070974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b3d9dfa6c8b836921b5f0174dc9d57444123c4","datavalue":{"value":{"entity-type":"item","numeric-id":4315328,"id":"Q4315328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f1182d7c2dc0f8d15bfce82aa57c1724cd408f","datavalue":{"value":{"amount":"+0.90503067","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":"Q4711501$C26162B9-AFFD-479C-90D9-0C52DBD41D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d97faa2ac5a7df01c3b864c90903470d7e32d38","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95fa86c660c9233a3ec7601c7a9a820d2e8b678a","datavalue":{"value":{"amount":"+0.8942037","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":"Q4711501$7A602D3F-94BC-4153-9F25-6DC9E4B512D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334f384fac04ba1290de4cf2413de51c981431d6","datavalue":{"value":{"entity-type":"item","numeric-id":6041339,"id":"Q6041339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa3168dd9718a7a88d4d27ba2b997cdae631fae","datavalue":{"value":{"amount":"+0.8919717","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":"Q4711501$039AD429-9C83-4E17-885A-2BE6C4DFD730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45c7dff42ba9946e9a8acd3e138332c15ef18e2","datavalue":{"value":{"entity-type":"item","numeric-id":1902976,"id":"Q1902976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4d8a5b5e2653af4f77777f1f7ad207403991c4","datavalue":{"value":{"amount":"+0.8877387","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":"Q4711501$1DEA44A3-014E-44B8-BDAC-93EC07C8273D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab8f2efce65f1bb0e13fc4caa073a89436edf6c","datavalue":{"value":{"entity-type":"item","numeric-id":1769440,"id":"Q1769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ada18f29f522db772aae3db4587a925f40fdf6","datavalue":{"value":{"amount":"+0.88224375","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":"Q4711501$ADC01DAA-00A2-4A6A-B35D-86E5E2956F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933f31e0f582d4b33184ff8b7c003da49410303c","datavalue":{"value":{"entity-type":"item","numeric-id":1575930,"id":"Q1575930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d35c9daf583e74a4b33d3b7f591b0e2b24b8bd","datavalue":{"value":{"amount":"+0.87367487","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":"Q4711501$E90F4185-748D-4791-8C1A-44BEB0CF389F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"754004f8b1b6b914acdca98a77265b3de5c12682","datavalue":{"value":{"entity-type":"item","numeric-id":2826425,"id":"Q2826425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dac4ca97cb92507335f19e03c3a1162ce36f93d","datavalue":{"value":{"amount":"+0.87161946","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":"Q4711501$0B884854-B2B3-4F39-8AB8-FE3741AB314E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e6bb7dda20623d2db9353b8782844b4b760de6","datavalue":{"value":{"entity-type":"item","numeric-id":1919763,"id":"Q1919763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f8f29f7de05732d5d446a7ac900fd2754dc2fd","datavalue":{"value":{"amount":"+0.8686688","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":"Q4711501$9C8D006D-0B57-43D3-9D1E-761317E2E57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0408c0d7dfc173c00f52df72da5ff9eeb3b8e2","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f303c25f1a2cf437ece945cd0d49191d817e1a","datavalue":{"value":{"amount":"+0.8660294","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":"Q4711501$CAC5F24F-F63B-4FA7-93F2-7732C9374F5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4711501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4711501"}}}}}