{"entities":{"Q3507465":{"pageid":5537369,"ns":120,"title":"Item:Q3507465","lastrevid":58183791,"modified":"2026-04-04T03:43:12Z","type":"item","id":"Q3507465","labels":{"en":{"language":"en","value":"The Relative Consistency of the Axiom of Choice \u2014 Mechanized Using Isabelle/ZF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5291066"}},"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":"Q3507465$E1FDEF10-21BA-45C5-9A8A-5463902A0CEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c62c4dd6a029c6665dfb7fcdad40a25b16349741","datavalue":{"value":{"text":"The Relative Consistency of the Axiom of Choice \u2014 Mechanized Using Isabelle/ZF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3507465$5BB453A8-E1F6-4329-A6F3-A9383B090146","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67241cf3ca32d6874912d28569b305477a47c3da","datavalue":{"value":"1142.03332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507465$323B8193-9517-46C1-A1C7-6C44867A8BF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef1f7367b3606d23451b0678112b3ebd5586cb38","datavalue":{"value":"10.1007/978-3-540-69407-6_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507465$E2F4F989-2485-46EB-B78E-C6D2CC86D587","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"825fe9d63267fff51faac6ffa3ce79c82f92e1da","datavalue":{"value":{"entity-type":"item","numeric-id":3507413,"id":"Q3507413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507465$987D1141-888C-4713-A176-028145D33A93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94adc6da8cc08e29523a0a31b3af6d1a94363069","datavalue":{"value":{"time":"+2008-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3507465$C56D3C1A-CB6B-472E-87DE-61267716AD66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66b10e838c33022b5c3bd564872edb2587fd634d","datavalue":{"value":"https://arxiv.org/abs/2104.12674","type":"string"},"datatype":"url"},"type":"statement","id":"Q3507465$43AACB01-EDB8-4ED9-AEBC-2793F49EF0E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507465$A4AE5574-AF2E-4388-A203-D0ECEFD917A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507465$A1AE2DBD-D5D1-4F6C-8831-C6F6C3F87741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507465$57F73C08-D9A3-43D7-9C93-7BDE0F85F73E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c5f2fd4d85f2bd4ecfb878c1d16929784f8f70d","datavalue":{"value":"5291066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507465$70EAE06E-1528-491D-B8B4-FD0D8D8E1528","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"218f51061747700406cec937baa014414c5e6102","datavalue":{"value":"Q57382628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507465$FD82BB4A-DA3B-430D-9B30-EED7A66E600C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507465$725EC69F-3AD8-4B4C-839B-4003CB39E488","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507465$7A401AD4-107C-49B8-A397-33BBD34DE545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507465$09384EB1-D909-499C-B3E5-57DE38C74256","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":"Q3507465$8A675A6F-F8B3-43B9-BBFD-D4F10B4BC3E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45080b59b089df3b26d79a04c693680fc463e95d","datavalue":{"value":"W2154189201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507465$E091AB4E-6F34-4C63-8623-6C3ACF22FE2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9660934c4dfb287417da637d46414e83ae767c82","datavalue":{"value":{"entity-type":"item","numeric-id":1868506,"id":"Q1868506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507465$31E49C1E-A63C-4077-B196-20B3B0F94E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398de7a970405d28147185cf9a4f4da6aa968a7d","datavalue":{"value":{"entity-type":"item","numeric-id":1284712,"id":"Q1284712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507465$E0953084-EBC5-471B-9977-0CA4C7CF0C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507465$7B9E6208-1C41-47F7-BE2E-A2A5EFE6C027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507465$3DBE590C-D605-4FF4-BC0B-C92DBA670475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097e358c778dbb154854453f32efc62a8e3614c","datavalue":{"value":{"entity-type":"item","numeric-id":1904402,"id":"Q1904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507465$4D10FACE-29D1-44EB-B1D6-82F7D898B711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09f99d6db815f76ae0a8a4fcddc01dc77134f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4809073,"id":"Q4809073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507465$CEEE8690-1275-40A0-AA19-79922CBF9039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0109241a704d91dc3140ac5a94ac34a08698fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4827615,"id":"Q4827615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507465$F33C01C3-2D9C-4B28-86BC-A29B6F412B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9e9c7ff207f36939585420da3be0c8db2297ca","datavalue":{"value":{"entity-type":"item","numeric-id":1187858,"id":"Q1187858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507465$0F320A79-B020-4848-8949-5C8A3D378B1C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ceb82711a1ad55411388f1d881377ef8c3ef88e1","datavalue":{"value":"conf/cie/Paulson08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507465$DCCC6B9A-87DC-4DD9-8252-21F84A7B8473","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbce8cd1cb95caa98f839893cfea5c1f671543e8","datavalue":{"value":{"entity-type":"item","numeric-id":4827615,"id":"Q4827615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fbf9343ac4162fe49748684e21f30999862e4c2","datavalue":{"value":{"amount":"+0.99623203","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":"Q3507465$C97C3F57-D189-473A-9880-B4790EAE8904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a6a9037a2b9a947506237b0b443df7b3bb5f8b","datavalue":{"value":{"entity-type":"item","numeric-id":3592784,"id":"Q3592784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb1f616c7865e760a4c4141be9a4c4f409902fc","datavalue":{"value":{"amount":"+0.8794137","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":"Q3507465$A1C7CCFE-372F-4F4D-9983-8FA8AD6D3AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f7a9cee27635f48dbe32c2b39a0e90d50d8fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4212925,"id":"Q4212925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8188ece7b3d69b638460bf43d4e65ca6a25b4f9e","datavalue":{"value":{"amount":"+0.8753551","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":"Q3507465$FC445F0C-CDD0-4A71-9EB5-A5AFBD9262AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6d9ad45740d23596fbe48f0cc64e294c62568e","datavalue":{"value":{"entity-type":"item","numeric-id":1199547,"id":"Q1199547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c8114d685189fa10d4817417fdd77f8d101fe1","datavalue":{"value":{"amount":"+0.8658429","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":"Q3507465$CFA5C742-2CA3-4144-BA93-38735E62ACD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec76e42ef0896a00bc9b4186c2625c4e348245b5","datavalue":{"value":{"entity-type":"item","numeric-id":3329454,"id":"Q3329454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8584555d5b35d8d590f6673bcf3aa57007fb5fb2","datavalue":{"value":{"amount":"+0.8635104","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":"Q3507465$7DB35C84-AEC4-426A-BB8F-21C4BF905633","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":"e7729ca377b9d911201357d4a92a743c19d03dcd","datavalue":{"value":{"amount":"+0.8619278","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":"Q3507465$054F8568-729C-484E-B191-FA41332DA51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7038d19c3414982abe7d596d4447b8dcf5a3bb2c","datavalue":{"value":{"entity-type":"item","numeric-id":5009707,"id":"Q5009707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260b262977b8ad67d73e56001eddd2855ac44cc0","datavalue":{"value":{"amount":"+0.85695565","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":"Q3507465$265517C4-7016-4A64-8E8D-3F96954F01CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f4aae526e20b9309e6af8e88049bbed25ec267","datavalue":{"value":{"entity-type":"item","numeric-id":286772,"id":"Q286772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b92612d943fbfa9ac528247061e942782f3877b","datavalue":{"value":{"amount":"+0.85256594","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":"Q3507465$74C90800-F84E-4AEF-BBF1-D59AE0EA7DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fa8f228ba2ac936575315a89e27fe276a94fff","datavalue":{"value":{"entity-type":"item","numeric-id":2757960,"id":"Q2757960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3140d52deff6d6f986cb7e81c2e801092d5ee229","datavalue":{"value":{"amount":"+0.8514341","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":"Q3507465$18FE1247-5FE8-4E9F-B9F4-04BE8A7A6BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef37830a73164b8460e0ad4185355782478042d8","datavalue":{"value":{"entity-type":"item","numeric-id":5028319,"id":"Q5028319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7c248ad0181928ac3fe6660351109e4d6bd408","datavalue":{"value":{"amount":"+0.85020727","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":"Q3507465$FA670F29-1BB8-4912-A3A8-637234A355BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3507465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3507465"}}}}}