{"entities":{"Q2900271":{"pageid":2910996,"ns":120,"title":"Item:Q2900271","lastrevid":44723142,"modified":"2025-11-25T11:25:01Z","type":"item","id":"Q2900271","labels":{"en":{"language":"en","value":"Computing in Cantor\u2019s Paradise with \u03bb ZFC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059281"}},"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":"Q2900271$7005250F-F4CA-4F3B-B887-B6957FF611A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"979cb211d8f49e1d90ec5a859fe111922ead6c4b","datavalue":{"value":{"text":"Computing in Cantor\u2019s Paradise with \u03bb ZFC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900271$84C4473D-036E-421F-AED0-41893E35E03F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d51f129f83dcc9c95b6afd73496dd4a0d2118a3","datavalue":{"value":"1354.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900271$42E26634-BE65-4E0C-9608-C4FB9B478DA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d69c3f5624a0b26ea7c2ad248cd2bb4f350ddeba","datavalue":{"value":"10.1007/978-3-642-29822-6_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900271$E7666FE5-E6E6-478A-B45B-05E881E751E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc7543b2e48f9b6765d6d1aa10c57aa715d15ce8","datavalue":{"value":{"entity-type":"item","numeric-id":2802428,"id":"Q2802428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900271$365C3BA9-C1A7-41DC-99C4-421C047F1D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"135b3d332a8aa4a68d4bf1aa71560bffa42ca1bc","datavalue":{"value":{"entity-type":"item","numeric-id":2287084,"id":"Q2287084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900271$00AFBA06-BDD8-412F-AE37-BE48E4497DAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900271$CD8EAA39-FEAE-4AE3-8BDF-9657346F669B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2900271$159A931F-FA1D-453D-A86D-0842F98C346C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900271$2C7DFD1B-D577-4511-A2B3-384F31114301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900271$6CC4F18A-C020-4F08-98F4-80EEEF4540B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900271$87DB777B-739E-4A74-8ACF-D2DD8C24BD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900271$BEBB737D-85C1-471B-B26D-EAE190204F2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba109d827038d9f22457cc354f7efb0504a1bc36","datavalue":{"value":"6059281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900271$B9DB8229-E33B-40C2-B1DA-F51B4984B35B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900271$98D63F1C-10B4-4984-BE45-256B00C37DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900271$CA8B6771-5151-4670-8914-B52F91B6009B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2900271$9334D7E8-675F-4586-BBA1-A175FEBCE577","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":"Q2900271$B7193028-7753-4F6A-9AC5-98B4F65CB074","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3495ebddf91d09032b70449ae842e5c5114f3c58","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29822-6_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900271$BF75AB8E-77E9-403D-83A9-82D162B6D5DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e71e74cb85cc23601e3b0cc8c5429ae511341352","datavalue":{"value":"W102508903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900271$8FAAF88E-3F3B-4BB1-B593-68F56F87A054","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29229175b4d31fbfbd954bef8b545414c34d653","datavalue":{"value":{"entity-type":"item","numeric-id":3708005,"id":"Q3708005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59320a7a6ae3722606378ebd882921195e0ef508","datavalue":{"value":{"amount":"+0.85155976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2900271$9F00BF94-2735-4B72-A846-72AAD737D9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7697648ac7599db2a9987ca838caec5be63dfe06","datavalue":{"value":{"entity-type":"item","numeric-id":3816069,"id":"Q3816069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b47a1e5d5eaad77f3bdd25e89dc5b64dc097d5","datavalue":{"value":{"amount":"+0.8515597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2900271$1306EE0A-CFB6-4998-B717-CF9D99AE95F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e289ce8a34c28819b2c655ea0f825e7947b2a09b","datavalue":{"value":{"entity-type":"item","numeric-id":4918003,"id":"Q4918003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f60570921af667fb17c20f35cb646db5493ff7d","datavalue":{"value":{"amount":"+0.85103995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2900271$116FE960-8B82-4172-A065-DDFDAF63C504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb680fa3e5c30e85ce781b304ecaa91488fa0b77","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65ce477a544b08ed31c729acbf5c9dd7ab23f2a","datavalue":{"value":{"amount":"+0.84663314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2900271$104EA667-1499-4F2D-AA33-121FD5198807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc77280d981c49c5f2f56c5d1ba748184203c0ce","datavalue":{"value":{"entity-type":"item","numeric-id":5108121,"id":"Q5108121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e2a1fdc3f5834d4c943106861cd84fbd618f26","datavalue":{"value":{"amount":"+0.84604543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2900271$415D36E9-6958-4C0F-9ABF-6D80EAD0D822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862ddf762427515e70a0551c8328a8e6d836062f","datavalue":{"value":{"entity-type":"item","numeric-id":4916179,"id":"Q4916179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"244c5975d87b33522822d51a7f3801fda19fe82a","datavalue":{"value":{"amount":"+0.84348154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2900271$9F56C00F-E96C-4050-B067-6688101CD42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84222ddae9981f3e88488cc16790636c92ea792c","datavalue":{"value":{"entity-type":"item","numeric-id":2946357,"id":"Q2946357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f2e93fda995996b622f90c7e579a6de92f1c2e7","datavalue":{"value":{"amount":"+0.8423882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2900271$D51A3067-4F8A-4A8E-BFB7-6BFCD0B35AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d3dc31a80876758a02865098f990dd699bd040","datavalue":{"value":{"entity-type":"item","numeric-id":4513970,"id":"Q4513970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d64eb30bda8ce0a300b3740664deec5c9e78d6","datavalue":{"value":{"amount":"+0.8415309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2900271$AF364001-5FB8-44B9-9462-3BE7FD61A873","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":"06c5b1530521e650ea0a4e7497392f0c4c4a99b7","datavalue":{"value":{"amount":"+0.8397715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2900271$A3FE2557-F2F2-48B4-B99B-522ECB4A15E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2900271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2900271"}}}}}