{"entities":{"Q3177930":{"pageid":3188639,"ns":120,"title":"Item:Q3177930","lastrevid":86003060,"modified":"2026-06-03T13:19:05Z","type":"item","id":"Q3177930","labels":{"en":{"language":"en","value":"The contrapositive of countable choice for inhabited sets of naturals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602210"}},"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":"Q3177930$BC1F9A28-CB01-47AE-BE67-7D9B08CF6C6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"073b252ef2ddd968c2eea12bce4c7b66daa697e8","datavalue":{"value":"1382.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177930$0BDA6FC0-CA06-4ECB-AD4A-E8785486580A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"508ab3977fe59d67f85102e4170d30b94bba9fe2","datavalue":{"value":{"entity-type":"item","numeric-id":290634,"id":"Q290634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177930$484A1C95-2043-4C39-A80F-924A023CF715","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3177930$0E90D6D8-A1AD-4104-9AF7-73DEE7F3FFD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"284e7560863291084c1bb5650523a2cb352e75f8","datavalue":{"value":"http://www.jucs.org/jucs_18_20/the_contrapositive_of_countable","type":"string"},"datatype":"url"},"type":"statement","id":"Q3177930$DE54088A-E9AA-4221-B5D0-2A6BE9F453DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177930$87FC9195-2618-4894-B674-8058887F5CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177930$5C321183-D676-41ED-8095-371D608500D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177930$CE6060DB-319A-4E87-ACD2-618864E25136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177930$EC524820-E857-4B74-AEAD-B33704A85C86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4d2b4844fe0f4824b48c837a8dfe9f4be8e3a97","datavalue":{"value":"6602210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177930$B8A9CBEF-349E-46CE-B10B-1F03E8451120","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177930$3FFB1079-7F2A-4BC1-B904-33053908A2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ab4ac6221d10db0f61cf610dd5def513f40201","datavalue":{"value":"countable choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177930$269255D1-4601-49F7-AE54-5C93790B28FF","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":"Q3177930$5F940A58-8165-4DF9-B6A2-CA8D6C8C6933","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86373fa881e584c4b3d9adf53657f0ac55a32f46","datavalue":{"value":{"entity-type":"item","numeric-id":3313858,"id":"Q3313858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9965bfb31b24d0db28185c6cc22bf8bc70841dd","datavalue":{"value":{"amount":"+0.813633143901825","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":"Q3177930$29099071-E83B-4F71-8C84-5F637668DA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7d3d0a237e9d33b878f47ea7630a13ffc9eac8","datavalue":{"value":{"entity-type":"item","numeric-id":627434,"id":"Q627434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d52f77a38fd7a98408351b32db52b77d834dedf","datavalue":{"value":{"amount":"+0.8067128658294678","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":"Q3177930$C23BBF15-0EE3-442A-86F7-34C2B57CD7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71caa880916d09b8e9ef342beacbbcf346fc457","datavalue":{"value":{"entity-type":"item","numeric-id":3075214,"id":"Q3075214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4ad0eb550d74101c31d41ce353d1a481c89b30","datavalue":{"value":{"amount":"+0.7876132726669312","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":"Q3177930$DAA17070-DC8A-4D6F-832E-003BF399E5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa21b5172618d8bf293b59ca6087a0794319c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1427789,"id":"Q1427789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb092c433a4e4f53cf63f4d6de340200ecc1c371","datavalue":{"value":{"amount":"+0.7735725045204163","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":"Q3177930$B04BB0D7-1C45-4219-8D55-B3C2D657CFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b6cbe2c60bf98f14861aa2a48eeaf05e609781","datavalue":{"value":{"entity-type":"item","numeric-id":5505139,"id":"Q5505139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c22331642048de415f650f88afd20bc29259f1","datavalue":{"value":{"amount":"+0.7299512028694153","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":"Q3177930$8F7EFB84-D75D-4E15-BC70-6E3D64A55FE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The contrapositive of countable choice for inhabited sets of naturals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_contrapositive_of_countable_choice_for_inhabited_sets_of_naturals"}}}}}