{"entities":{"Q4262565":{"pageid":6292166,"ns":120,"title":"Item:Q4262565","lastrevid":41859317,"modified":"2025-05-09T03:47:02Z","type":"item","id":"Q4262565","labels":{"en":{"language":"en","value":"Cut-elimination for simple type theory with an axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1335188"}},"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":"Q4262565$B45AE3F9-0E1D-4C96-AD72-76B7183BCA6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"920db7b5523259dbfd1f12f98b07a68043d34c04","datavalue":{"value":{"text":"Cut-elimination for simple type theory with an axiom of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4262565$3C285CA5-3AF7-42CD-A382-6B4D56A3CAF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87b8e529c0fa93ebeaf65578e0d50584227e522a","datavalue":{"value":"0930.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262565$006F5026-2D0E-41D9-B05D-B1E89071FD34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cc8ad017139bc71e61f9fcce724839e93a1e0e1","datavalue":{"value":"10.2307/2586480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262565$41A643AA-7E6C-49DF-A7B7-A3321DC724A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262565$9BDA9BA1-97F7-4F20-958F-EB1A2270BEFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1fc4aef5934748942375a0bc47ba7404f9f415e","datavalue":{"value":{"time":"+1999-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4262565$57C321EB-504E-4D35-803E-DFF2601AA8ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262565$233DFDCD-43EB-4BDD-834C-5B2553DA4A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262565$FD8B5B23-8C04-4075-802B-34CFE9476B09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18b855e6c165e48d7db946ad585563b1bd4d037a","datavalue":{"value":"1335188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262565$C6B67F33-EAF8-418D-89D7-FE1EFAFBDFCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262565$9DB9430D-E289-4BF7-A700-3F6ECBCE2B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262565$2D69B2AE-E5A5-41E7-8DB7-894C613D37F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262565$7A94FDEA-0F98-46A9-85E3-1107D3ACEAD0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1f23608d0a708062753722960c5fe33839eaf4b6","datavalue":{"value":"Q114004529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262565$66504793-EB5B-4E1E-BD69-77FD6878E911","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":"Q4262565$C220AEB4-06F1-4A9D-872E-044670392021","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":"Q4262565$6643CED0-A726-45B4-97CB-26BD7D95C2E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a714cf59ff30bd1f7a098f99d9ab0b01a6894451","datavalue":{"value":"https://doi.org/10.2307/2586480","type":"string"},"datatype":"url"},"type":"statement","id":"Q4262565$0FD19CE4-DDA3-482C-BDA4-124EC4208C5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5738cf5f942a1cb06b152d7221f7df4b32056450","datavalue":{"value":"W2153378801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262565$25CA1B09-2247-4986-9AD1-FF60862DDCBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c03adfd0d13ffb9cca204894d0f8ede1fe92d2","datavalue":{"value":{"entity-type":"item","numeric-id":3086776,"id":"Q3086776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5d826b3e0dad514b2bd8d712a728ff3c0a3ca3","datavalue":{"value":{"amount":"+0.94871926","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":"Q4262565$683D8915-3E69-4207-8C27-6ADE7511A190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823bf123ebe6faa90aff855086ed04687b1aef94","datavalue":{"value":{"entity-type":"item","numeric-id":3540178,"id":"Q3540178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f41cf6718be3984ba4b026fc26513f7829d3c0","datavalue":{"value":{"amount":"+0.9381366","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":"Q4262565$ADA1DD68-08C8-4EC8-A68B-BD58CBC5D55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc3e932e7760daaadb77d898716e1973b9a7d02","datavalue":{"value":{"entity-type":"item","numeric-id":3371147,"id":"Q3371147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e39c90e6f1cddc935e177b722a6b58a94f4935","datavalue":{"value":{"amount":"+0.928408","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":"Q4262565$29A161C8-9F70-4926-B104-3017357EB047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca32bfebc5ee8b344c13dade8a516a1005272067","datavalue":{"value":{"entity-type":"item","numeric-id":4924532,"id":"Q4924532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4795c545e079afb09c7df15b56c98362dc689e","datavalue":{"value":{"amount":"+0.9256482","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":"Q4262565$AD7BD7F7-743D-49D1-A692-B5D80E881A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2397fade5c4f2cc3ab5fbe5a3a21d58401c456bc","datavalue":{"value":{"entity-type":"item","numeric-id":3553922,"id":"Q3553922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96681c184f4f2e82e3f77e4f9e068dc2e541cdc","datavalue":{"value":{"amount":"+0.91314936","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":"Q4262565$9980AC16-09D9-4EDA-8468-C316E9B7AE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d34b7d774edfca08e0351e69b18a9df03a7d74d","datavalue":{"value":{"entity-type":"item","numeric-id":2732287,"id":"Q2732287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4be95ea85f11f1cde4a735ffc0e0e4e471d281","datavalue":{"value":{"amount":"+0.9118651","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":"Q4262565$C3E73D76-71D0-4C10-AB9B-FF7978CD94F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e23afaa1cc24ca382ffa53e115fed45d1c2da4c2","datavalue":{"value":{"entity-type":"item","numeric-id":3845372,"id":"Q3845372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3088578d281264ca73aa50b8f274ce390080e7e2","datavalue":{"value":{"amount":"+0.9035036","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":"Q4262565$9E22CC02-16A7-4B5B-8921-C30D529E9C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075fcd34a4592948a87843444960ccd267513921","datavalue":{"value":{"entity-type":"item","numeric-id":3216642,"id":"Q3216642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d409ec05819af21cc23143f49a2f3308b1e66701","datavalue":{"value":{"amount":"+0.89357096","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":"Q4262565$7AD71322-08F5-40E4-9039-AAC4A9D08F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa7c7deda2d99749c9a7da3451ff92510b2bbb12","datavalue":{"value":{"amount":"+0.8833097","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":"Q4262565$C519E7E4-9F06-462F-AFB2-C830A004B921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0d7030a98165cc42a9b6e6d2663432534eac90","datavalue":{"value":{"entity-type":"item","numeric-id":4903719,"id":"Q4903719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b949fd1bba51ee3eb3db6a4cd71758e5523bd76c","datavalue":{"value":{"amount":"+0.8826286","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":"Q4262565$C39889AD-3B51-4634-A5A1-612F96BC8CBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4262565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4262565"}}}}}