{"entities":{"Q3179294":{"pageid":3190002,"ns":120,"title":"Item:Q3179294","lastrevid":52706348,"modified":"2026-01-23T07:58:11Z","type":"item","id":"Q3179294","labels":{"en":{"language":"en","value":"Implementing Cantor's paradise"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667495"}},"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":"Q3179294$C2AC9E15-99B9-401B-8EEF-0072EF3ED243","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66bac9110e44065cac7f4d1136d4cf1f89b64f4b","datavalue":{"value":{"text":"Implementing Cantor\u2019s Paradise","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179294$DE7C75E2-CC92-4CA4-845D-CEF1BFFEE2F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"419ff9bdd63a717c7ec644f8fd98876fbdb629f7","datavalue":{"value":"1485.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179294$7F509772-D57F-426C-9838-4EA225040325","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4cece545f14b2c4368e3dd03d19cfdec61f28e6","datavalue":{"value":"10.1007/978-3-319-47958-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179294$6F29B01E-D0F6-4F58-87EB-DEA1C66BF902","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$650B8235-7E18-4922-B8C2-2D95174CF815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$613BA7A2-738E-4A29-A5D0-3FA0E8D325B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$787D2CCF-9020-40D6-8413-8169F01C75AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8432f88f23f21535a388b135123ce41d5ada4709","datavalue":{"value":{"entity-type":"item","numeric-id":897933,"id":"Q897933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$CE816EE2-39D2-4769-B5F5-82813A934081","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$EBF47433-8AC4-4F81-B059-253BF0183C7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179294$A9D79B95-3FDD-4C48-8897-AA12E77B5186","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4f7fdb706e6d59a2c463ab216dd12681e6878f0","datavalue":{"value":"https://hal.inria.fr/hal-01362819/file/FitchCameraReady.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179294$FA54E888-4667-4340-8264-6E8C982FF90D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179294$DBB64930-CCBA-4BBB-8DC0-232A8DB2AC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179294$C532F5E7-1C83-44DF-985A-8F69AE6F56FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179294$4A0245F7-1A29-499D-9868-9B23B9E42685","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1e791c88b4dcbdd19c110e32b137b70395f40d6","datavalue":{"value":"6667495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179294$C5BA52DD-0F6B-46A0-B5A4-4BB9307A41DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b1c88474bfb6386dd6a22e02beeb73404f0220","datavalue":{"value":"Fitch-Prawitz set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179294$A1295C64-827A-48EC-B39B-6F81B00124D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179294$02F40C8E-4952-4EC1-BBEB-6FB41A77A0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05c9368b168941d70d7f2b0e0f6335db79a23e0e","datavalue":{"value":"paradoxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179294$EE830A8E-A607-41E6-AA3C-CC6D81929ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179294$D6F9AFEC-59D1-4D12-B970-A41BFBF00729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527108b9ef0f9a085e3189a44e01cd4ba80a87eb","datavalue":{"value":"hyperuniverses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179294$D62B91D0-C27C-4356-8A02-9C7C48E493F3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$94279D66-F9F0-409F-BBD1-F463B229973D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$7262AEF7-63A9-4568-A708-14215CF83096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$F514D348-D0DE-4AF8-BA25-E2D2A7AA7667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11da79b81a11a302513c219a597904a636b21394","datavalue":{"value":{"entity-type":"item","numeric-id":32680,"id":"Q32680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$3726974E-B0C9-42A8-82E4-36BDA818A64B","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":"Q3179294$2F38475D-3DF2-4908-8C8B-6D1E987B7199","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4629ef324904f5dc8a4a64806a013194ad47f1dc","datavalue":{"value":"W2528085415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179294$01534BD5-964C-43A0-A7CA-4C542731C81E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64dc9a4e2bf6ca0445c133166fd9eae6727ef6b","datavalue":{"value":{"entity-type":"item","numeric-id":1853606,"id":"Q1853606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$AAD3BF9B-E70D-4122-B657-39FF177F4ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcc30b765cca771213ef9a1977f71c8871dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$734BFE76-EC57-4243-88B5-D5C78AB8836D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78348a6daa039ac48174b092fcd01401f8c11fa6","datavalue":{"value":{"entity-type":"item","numeric-id":5408400,"id":"Q5408400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$3A833A95-2095-45A7-98C2-753718840CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567c965207130078300d6c2483ceecef116d0f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5348924,"id":"Q5348924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$0E1A9F53-9E57-4A62-8928-306105BF10D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4809bec8d6c5ead4641b7b1e88aa9e69528d104","datavalue":{"value":{"entity-type":"item","numeric-id":3480030,"id":"Q3480030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$137675BF-5781-4784-9EE7-DACD4FA97CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28762541bd75de621c366850b6c2d4a67d86834","datavalue":{"value":{"entity-type":"item","numeric-id":3491534,"id":"Q3491534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$95FC5CD4-AC84-4636-BAE8-21213F1FC790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf6e52330dce4a92aa577e75c5d5c21ed6f8fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1351794,"id":"Q1351794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$FCC798EF-67C2-4973-AC68-589ED81D4BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea62ada988954bb672569af49017fc233977ab6","datavalue":{"value":{"entity-type":"item","numeric-id":5798788,"id":"Q5798788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$9ED6CEB3-963C-4541-9668-AA28BE646E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$E7C7CE77-08D8-4F4D-85D9-3DCB23D2B3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$048E7E16-957D-43C8-A856-124FFE01B284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e61ad0bb3bdc25375fa136aa2911691b3a4997","datavalue":{"value":{"entity-type":"item","numeric-id":3934366,"id":"Q3934366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$FA9ED155-F988-4A23-930B-8FCBC26CE899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$CE9A7AAC-7097-49C3-BADE-17DE8B4F62E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af08f1df1490db63764d8c0564d6793fc3ff8888","datavalue":{"value":{"entity-type":"item","numeric-id":2804331,"id":"Q2804331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$948CA520-E4C7-4E0D-8FF7-B056808C5C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04a03d21e4dde8f6c623396293775789e26cd4ab","datavalue":{"value":{"entity-type":"item","numeric-id":5278085,"id":"Q5278085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$A5E40CB4-83A5-4717-8C76-F8C5155E13D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660e372c2fab9f49c1eae2ff439d4932a3c2a6cd","datavalue":{"value":{"entity-type":"item","numeric-id":5411641,"id":"Q5411641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$0BBE800C-9906-4BE5-861F-C78797D66B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$0A9CC9B7-4CFC-404C-97D7-818938F63365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179294$18061A52-5534-4155-AA7A-E375DCBA3506","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b0d0bbe1561e827136efc2a61dafeca2faa5b7","datavalue":{"value":{"entity-type":"item","numeric-id":4005061,"id":"Q4005061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f061020fe470252d4235eb8e37000c90f0c7585a","datavalue":{"value":{"amount":"+0.7517403364181519","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":"Q3179294$8E89B531-B309-4FFB-A062-DD5B8D5A924A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86362bc377f2323b73553c43b7407669c73b69f0","datavalue":{"value":{"entity-type":"item","numeric-id":3030824,"id":"Q3030824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d02a1fe93141360525a7f1faf4da623eb7bb604","datavalue":{"value":{"amount":"+0.7480272650718689","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":"Q3179294$95D3AF52-2CDD-47D8-8431-9DFD629997BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4086028ce12c888ded6c91a09820411d0f1685ca","datavalue":{"value":{"entity-type":"item","numeric-id":1204111,"id":"Q1204111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708f1320b473fb6de9dfcbd36d6bd4ad854a569f","datavalue":{"value":{"amount":"+0.7246667742729187","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":"Q3179294$98AA241F-07D7-47E7-BD38-5F2485FE1CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8539f05040b715025475d9d2f1a9f85cfdd53af8","datavalue":{"value":{"entity-type":"item","numeric-id":4700537,"id":"Q4700537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca9737473e28babe30a12e666986a3ce01de9b8","datavalue":{"value":{"amount":"+0.7231391072273254","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":"Q3179294$30C41750-9A05-4719-8E75-1215DC14518A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9819b19bd63a5079b63bdc52c019bbf4c903943","datavalue":{"value":{"entity-type":"item","numeric-id":3611668,"id":"Q3611668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75405a2b30869fb08c2d44e2c38e0e5912dca9ff","datavalue":{"value":{"amount":"+0.7225922346115112","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":"Q3179294$BE1C5A6B-544A-4607-AE43-09021927970A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179294"}}}}}