{"entities":{"Q3532208":{"pageid":5562112,"ns":120,"title":"Item:Q3532208","lastrevid":50484746,"modified":"2026-01-14T04:24:08Z","type":"item","id":"Q3532208","labels":{"en":{"language":"en","value":"Realizability of the axiom of choice in HOL. (An analysis of Krivine's work)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5360219"}},"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":"Q3532208$94F6FCA5-7399-4A51-9A20-31CBC2716E1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f8d8286ab1be5fec96aaa0415f540d6578ecb3a","datavalue":{"value":"1183.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532208$A13BF211-16AD-4011-A8DC-69FD376CC2E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d414bc46b937c0cde9a2332705308ee3484d715","datavalue":{"value":{"entity-type":"item","numeric-id":3532207,"id":"Q3532207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532208$B770C6BC-CADC-4D24-8F62-222CEB1A8476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d839fd7cc47e26695d7e86daac1e29277216273","datavalue":{"value":{"entity-type":"item","numeric-id":1382181,"id":"Q1382181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532208$4D441D09-8909-40E7-BD90-E48DE8CF33B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa0c907e757ea6538f0873f5687cd9c9199f6951","datavalue":{"value":{"time":"+2008-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3532208$FD2929AA-636E-4FE7-AA82-EB4321CFB29C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532208$A14CC9B4-9F56-448F-9F3E-7D609EBE4688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532208$7BC78D98-1466-4FF8-A6FD-14959EC67651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532208$AE8B8C40-A35D-41F5-BCC0-BCE982D23BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532208$24C5709D-BF8B-45FB-8DA7-7C53441740A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0baac9a27f11e75a04613ca937cc66058077654","datavalue":{"value":"5360219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532208$004DFA30-DF1D-4524-88E5-CC327A5E9DAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3532208$F4FBA669-7451-4D09-8D6E-C9457547B16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3532208$ACF9E4A0-2D55-499A-AF27-07BF1BCD0865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3532208$BB444BF0-0A20-4F16-8428-61D34FD763AF","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":"Q3532208$C3ADBED5-E3D4-470E-80F5-BB0670402DF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52a879a36070095bb20e1d6cbced7ef6874943e1","datavalue":{"value":{"entity-type":"item","numeric-id":1884884,"id":"Q1884884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074dc5fa655851bee8395bf068321b0148d4f193","datavalue":{"value":{"amount":"+0.7732359766960144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3532208$3D6C1CE9-1093-4493-B0EA-C7222DFE9E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef612339f8baa6f9ccfb9942d9407e41bfb1650","datavalue":{"value":{"entity-type":"item","numeric-id":3532205,"id":"Q3532205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81fc41ae1f69480e414e5f063120db5e1140423","datavalue":{"value":{"amount":"+0.7642624378204346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3532208$53438621-2257-464D-AD1E-6853AC2DB522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14338fac203005828e9642d20df6d731dbb3b644","datavalue":{"value":{"entity-type":"item","numeric-id":3024822,"id":"Q3024822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a383e559da7f3dd4e6629a72b37cf6fbcc45c6","datavalue":{"value":{"amount":"+0.7622541189193726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3532208$7E6D9852-9117-4C42-AAF9-7C17188D81F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27831cc1e9dd0bb9e6791782a39edef3b07c7b66","datavalue":{"value":{"entity-type":"item","numeric-id":4635918,"id":"Q4635918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0abec6cd3dda83839832377ffee920a2338eee1f","datavalue":{"value":{"amount":"+0.7619851231575012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3532208$4ECAE2B6-EEFB-4E5D-8D7B-DC1A2C6265EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e53ac80558fe361a5d6e8c098e575d528006d07","datavalue":{"value":{"entity-type":"item","numeric-id":4499140,"id":"Q4499140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0526813067adf3790f3b24b21318176df72faa66","datavalue":{"value":{"amount":"+0.7566148638725281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3532208$396C385A-B7E5-4588-8A59-D287D2071401","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3532208","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3532208"}}}}}