{"entities":{"Q1432151":{"pageid":1442891,"ns":120,"title":"Item:Q1432151","lastrevid":67538691,"modified":"2026-04-12T18:41:06Z","type":"item","id":"Q1432151","labels":{"en":{"language":"en","value":"A version of formalization of Cantor's set theory."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2074474"}},"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":"Q1432151$522C0855-1DA0-46FE-B0E3-AF6B8228C9EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20d34409fc12291a05669894c871ea713ec42909","datavalue":{"value":{"text":"A version of formalization of Cantor's set theory.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1432151$FE3B232B-F5D1-4270-BA9C-347D2C8E5786","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ab227a85e3bc204f5f8790c9dc221b9896f1892","datavalue":{"value":"1041.03506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432151$38AAE240-26BC-46FC-8E16-611D32DADF43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe9d7ebd81431dbfaf15c876dfd6294bc4820cf","datavalue":{"value":{"entity-type":"item","numeric-id":1056742,"id":"Q1056742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432151$E675F87F-8261-4AA7-8236-1632C443CCC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432151$BE719682-54F6-4499-8CF4-6D88A3E209C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d34e2df5b12c6c5760576bc7d7c130cf71c0b6f","datavalue":{"value":{"time":"+2004-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1432151$8D42D394-B75D-46F9-82EC-4F7FE6C9DA44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432151$C9AED4CB-40FC-4A84-96D9-C851F97B6150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432151$C3941FF0-9758-42B0-960F-AC39FE8A77F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd4c198bbcb0b7089b55bde59c92be96d812ca53","datavalue":{"value":"2074474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432151$37ED1C4F-A1F6-424E-A7EF-85B48BEE0079","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"350972ca5fb1a43cb6c9838dc70f823680bd442b","datavalue":{"value":"two-level calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1432151$D44F8A99-A808-43C9-A9ED-A7CDDA5A6325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ea77a9c0cb925a8fa1e8c4a864ad41c02bc8e8","datavalue":{"value":"Cantor's set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1432151$F1FFB814-884A-4031-A8A3-B01DBB9F5569","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":"Q1432151$456CCC7E-27EE-40F3-B056-C4535284DB96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A version of formalization of Cantor's set theory.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_version_of_formalization_of_Cantor%27s_set_theory."}}}}}