{"entities":{"Q6359895":{"pageid":13494194,"ns":120,"title":"Item:Q6359895","lastrevid":99194915,"modified":"2026-06-05T19:25:47Z","type":"item","id":"Q6359895","labels":{"en":{"language":"en","value":"A Formal Proof of the Independence of the Continuum Hypothesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900471792"}},"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":"Q6359895$C4B1BE2E-1059-4F17-86AD-0E7AF8AE497D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6359895$888FD426-C4EF-43C4-9BEE-177A4BC28763","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70fcffa0591fe57559947b402bc1be17765c0d39","datavalue":{"value":{"entity-type":"item","numeric-id":2055890,"id":"Q2055890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6359895$C7DBEC8E-B9F7-4B82-BDC7-742E36862275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dc9f7061148c184d156fce1cd302b98949f36de","datavalue":{"value":{"entity-type":"item","numeric-id":1687767,"id":"Q1687767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6359895$818108EF-0FBF-4EE9-841D-026424B6E6EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6359895$DB089623-1C76-48A2-B3CF-8C9D798DDC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6359895$275BDC7A-4669-4C03-8CAA-5445DAF38F6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"154e5444d154f1cf6f08a40b4c1fb7ea76910178","datavalue":{"value":"900471792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6359895$914B0753-5B9E-401D-886A-3B8E636EF77E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f9875f17362352c0787df604c762b3260611f0a","datavalue":{"value":"10.1145/3372885.3373826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6359895$50705DDD-EB57-4CDA-B257-264EBA86F748","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":"Q6359895$A0AE3564-3530-4956-8B74-EA0D8225B74D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Formal Proof of the Independence of the Continuum Hypothesis","badges":[]}}}}}