{"entities":{"Q2007876":{"pageid":2018618,"ns":120,"title":"Item:Q2007876","lastrevid":72339000,"modified":"2026-04-14T04:14:34Z","type":"item","id":"Q2007876","labels":{"en":{"language":"en","value":"Determinate logic and the axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135275"}},"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":"Q2007876$622C4792-9BC4-4508-B43E-57C7CA577390","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cd9ca303069d22071f4e3d292af8edd00853349","datavalue":{"value":{"text":"Determinate logic and the axiom of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2007876$39249F70-3D9D-401C-A168-7FF9B7C851A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b013b7a9d2a2f8dca67e43ff0a0f9cda9e012d","datavalue":{"value":{"entity-type":"item","numeric-id":1699739,"id":"Q1699739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007876$23D5D8DF-A499-4662-9F97-355D00A7CA15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007876$7A64CC93-CEFB-4E26-B524-F57EE339C0A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2007876$2AC654EA-6410-47DB-BE75-1CF863E58F77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007876$B36FDE43-A6E1-43E9-81E8-932A810270E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007876$DC22195F-CC24-4104-A5B1-DF3C04E5A271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007876$42FF0E5C-795D-4055-A53D-B03CCAC70E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007876$BE37CA36-206C-4592-B90D-85BD091CDF2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18601ea264a4ab77f79160dc6f2f62bc83acc0d4","datavalue":{"value":"7135275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007876$E7147D9F-FEB6-44F5-A71E-E1061193260F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9526f15170419bc705dea315a677a6a7d7bb36e","datavalue":{"value":"determinate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007876$1FC28006-7392-4DB7-B44E-16F38E01FD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007876$F2EACCC0-8D9D-4A9F-8FD0-86D95C589354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007876$4DC6B090-E538-4090-BA48-12C27771ACA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007876$08CFFF10-FC88-43E2-9227-42BB7C6A4C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6805cd779fb0b2cacd6147aa42cec0eee9b2950","datavalue":{"value":"infinitary proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007876$C4EB2987-3E9F-4BDA-9986-F9021758E371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007876$4E159978-1D8B-4EB0-A1F9-82C8760368B4","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":"Q2007876$311E1239-D518-4D8C-9640-944E00D636AB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"853c74b48cc09326d6eec2144e484a9bddf9c9ee","datavalue":{"value":"Q114016289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007876$12F0A50A-91F7-4BBF-A811-AF08875962C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cc37f509decfb27983daae0d4352d13228e3a08","datavalue":{"value":"https://doi.org/10.1016/j.apal.2019.102745","type":"string"},"datatype":"url"},"type":"statement","id":"Q2007876$BA987899-F526-42F1-AA8D-FF29360A93F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"670e538f776dd4c75560f3db43fd4f7425ba0b5a","datavalue":{"value":"W2979509518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007876$4C2D037F-3AC2-4BC0-815D-D717683B5FBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b20e64309aa4bc4429fc1aff3c5454eb9d97ad","datavalue":{"value":{"entity-type":"item","numeric-id":4628675,"id":"Q4628675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007876$C6013F2A-B13F-4B2B-BCFA-07321664EEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ef5320c9fac4edcdfceec2974ff1b66d973d6e","datavalue":{"value":{"entity-type":"item","numeric-id":2659104,"id":"Q2659104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007876$EF51A9A1-635A-42FF-9B47-A9F4E8E8F487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9356503bebf4af0dd0ef32628c1581e3db3e2e67","datavalue":{"value":{"entity-type":"item","numeric-id":3607628,"id":"Q3607628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007876$2B85EA62-9099-4C0F-9211-28002BE1F0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e9621e33c24015246230bab72a5d6f133223db","datavalue":{"value":{"entity-type":"item","numeric-id":3820593,"id":"Q3820593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007876$0C838561-802C-4383-8E97-EB469DB4F444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf48b78f5557ed611e592475931844edcabea4","datavalue":{"value":{"entity-type":"item","numeric-id":5639716,"id":"Q5639716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007876$0E1133AE-0F5A-4FAD-AFFD-EA1D8295752B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b419f33f77ddd9ee10039ca652237fd02192c0","datavalue":{"value":{"entity-type":"item","numeric-id":1889743,"id":"Q1889743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007876$A61EC4CF-A5C2-45A1-8503-83C17E0E4B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007876$4B49F165-46F1-425D-9B90-92465E4C460A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"345e0fe916b0dc0bd8f55522c7a28ef44793156b","datavalue":{"value":"10.1016/J.APAL.2019.102745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007876$75D0E301-CC91-446B-88BA-32AA552F7B30","rank":"normal"}],"P1643":[{"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":"e3b6a076f5545e3fffcf4652cd48beaf6d69b14f","datavalue":{"value":{"amount":"+0.904161","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":"Q2007876$AF880C40-1553-42F2-8BC8-3177DBE63886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0981983a30bacc3f35523f63becaaeea3403f3","datavalue":{"value":{"entity-type":"item","numeric-id":4670607,"id":"Q4670607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85b7d310c31e5dc1d1fab9156dc04600a191a65e","datavalue":{"value":{"amount":"+0.9032693","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":"Q2007876$D59FCA9B-8983-4225-BB2A-C57194AED19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acfde58e372d46283d90d4977f7f07592ea21a08","datavalue":{"value":{"entity-type":"item","numeric-id":4650272,"id":"Q4650272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669178bf02d9c320bbf98e376363ccf45919d018","datavalue":{"value":{"amount":"+0.89640987","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":"Q2007876$075A4690-5485-4484-B341-E3D18ED4207A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6337ac57636c3edff5842429a218428456273592","datavalue":{"value":{"entity-type":"item","numeric-id":3580669,"id":"Q3580669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1dacddb5ec27a659e9eeab2989e7aa6a0293d78","datavalue":{"value":{"amount":"+0.8939369","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":"Q2007876$7F2CEF01-47EF-4F66-B7F0-D3C5D5D14598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f45614c0fbd952410e5783100cfc5202cad7aa5","datavalue":{"value":{"entity-type":"item","numeric-id":4263792,"id":"Q4263792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106f41d016290bd0da34c6faf90c25d4e564a0d8","datavalue":{"value":{"amount":"+0.8906472","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":"Q2007876$9A692ECF-88D1-4561-BAB1-11F857D6DCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2172040ac463e38700b10fca278458ac1f8de1","datavalue":{"value":{"entity-type":"item","numeric-id":3586990,"id":"Q3586990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270481b41d0b47d2eeccac2e92eff4caf68497a8","datavalue":{"value":{"amount":"+0.89063215","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":"Q2007876$01C1BB5A-C5A9-4250-9664-89C6C3B1DB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b788a442a478407d709d98ac00fd19cf6f12d5","datavalue":{"value":{"entity-type":"item","numeric-id":3283894,"id":"Q3283894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da66eb378356cc95ef07c18ef7a29fb77ad68257","datavalue":{"value":{"amount":"+0.8897924","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":"Q2007876$D73C804B-6069-48E8-A8AE-59384299ACB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526cd1b6f75a7bef94c301a844f00e932e97dc03","datavalue":{"value":{"entity-type":"item","numeric-id":4961740,"id":"Q4961740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6c74c4bf74b021c2fbdd484536a9daf315aff1","datavalue":{"value":{"amount":"+0.88862514","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":"Q2007876$E02DF7A9-F989-4017-AE39-ADB828CDD3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c27468a1fdb9e29e6517ca913aee6d99c482fae1","datavalue":{"value":{"entity-type":"item","numeric-id":1976877,"id":"Q1976877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd252a95d98e0bb484e40f40dc5aeed71f506214","datavalue":{"value":{"amount":"+0.8874649","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":"Q2007876$66DDB610-381A-4A76-9102-A02FF786E34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8da261ac6e161dd5e975770a7412528a326d626","datavalue":{"value":{"entity-type":"item","numeric-id":2765568,"id":"Q2765568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6213569711bbae9c3039e3804fb64ff85af21269","datavalue":{"value":{"amount":"+0.8865718","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":"Q2007876$41BC12C6-1DBB-40B0-84CA-57318908EABD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Determinate logic and the axiom of choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Determinate_logic_and_the_axiom_of_choice"}}}}}