{"entities":{"Q3612443":{"pageid":5642349,"ns":120,"title":"Item:Q3612443","lastrevid":80929910,"modified":"2026-05-06T17:19:36Z","type":"item","id":"Q3612443","labels":{"en":{"language":"en","value":"Zermelo\u2019s Well-Ordering Theorem in Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527182"}},"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":"Q3612443$529CB1DB-540B-455F-B300-169E8E077451","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"247a0a1128a3be51fd5701f28a104c478bee0fca","datavalue":{"value":{"text":"Zermelo\u2019s Well-Ordering Theorem in Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612443$19B5932C-AD4B-4733-AA94-8333F46DCE79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b38671cbf6658144b9e10d32351debe18c7dec9","datavalue":{"value":"1178.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612443$C6E2A1D8-11D6-4C65-9ADE-BC8159AF17B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fce312ea453223fa77e8898c48cc0a673c94ec33","datavalue":{"value":"10.1007/978-3-540-74464-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612443$060B8A04-52B4-43C3-A1E7-710589521740","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eaf340d7ff821e26d8a935bc7e4aa006ed3e278","datavalue":{"value":{"entity-type":"item","numeric-id":450949,"id":"Q450949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612443$2782A757-DEF5-4221-B61F-D5883974E4FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612443$17480FCA-7499-4898-AA68-D7799687447B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612443$13107E69-5294-4107-B4AC-7A7E5E4B6262","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612443$E77668E0-9811-40C0-BE13-17A7051B0900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612443$5F04B06A-0FC5-426F-90A8-616449F9AD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612443$8AB4C256-4E64-4D63-976F-967FB4712C11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2072fbcb9137f92ad0d05319949b8aa146fca50b","datavalue":{"value":"5527182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612443$DF1D7D15-40B1-43F4-A9BD-B0F2C9D9B55F","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":"Q3612443$EC390E80-F51B-46B0-8B41-AAD317848314","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4defb73a27248f8730cbd3843338793ef1b0a017","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74464-1_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612443$DE606E8D-9851-46FC-8AAE-1BA14E726682","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c36884190eefe0db3fc1acf829188fa5000efd3","datavalue":{"value":"W1529641503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612443$4C334384-EB73-4156-B5E5-8FC401F5AE9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c0867e245a452e44f078e1a0c502914012c5dc","datavalue":{"value":{"entity-type":"item","numeric-id":1295372,"id":"Q1295372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31225e4c09776df0801e8fa5bf5543ba1c7140c7","datavalue":{"value":{"amount":"+0.9121234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612443$2EBD888D-AC7D-4AEF-818A-A447EACF8B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf07e013a82972a80302d290b7c91e3c184f1dec","datavalue":{"value":{"entity-type":"item","numeric-id":4382475,"id":"Q4382475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e88b832098fec7ab2fa69690245d9bce23f0e45","datavalue":{"value":{"amount":"+0.90130347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612443$52415175-B225-4BDC-81CB-F636C9622236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31891e4332880b6c12ff7de0b53c0a58f90f67c","datavalue":{"value":{"entity-type":"item","numeric-id":4836052,"id":"Q4836052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a2ba0b8378c93c11b4af8c0e3da0509d812890","datavalue":{"value":{"amount":"+0.8948493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612443$0B3305D9-3B76-444B-B06E-D2FE5810F676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f909d797baa23e564b49ac086cd4abee13b9158","datavalue":{"value":{"entity-type":"item","numeric-id":4247313,"id":"Q4247313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41efe2d07099ebdd385050ae5a1e96c53a0bcb25","datavalue":{"value":{"amount":"+0.892743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612443$B0766F7C-C4E9-4BB6-88A8-57820899B900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f919714b7319f42905b3aae65c17f999987a050","datavalue":{"value":{"entity-type":"item","numeric-id":4372921,"id":"Q4372921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142f76ab3f50de3736645b1c7fd0e55b21af20e3","datavalue":{"value":{"amount":"+0.8896976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612443$4ECF37DE-C3FC-492E-AB1E-4918E0182962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dfef1d8ce7ea234b56a5d6a98f9269546665ce2","datavalue":{"value":{"entity-type":"item","numeric-id":6094139,"id":"Q6094139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b473f92009d3a269d3b55655ad335a50b378e815","datavalue":{"value":{"amount":"+0.88786495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612443$88952A7E-1822-4E0C-A6B2-39B94A70C4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259b5fd7a0f989fc0d40f257fa5f1477fdb4f3f7","datavalue":{"value":{"entity-type":"item","numeric-id":5055281,"id":"Q5055281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7806bae58d7df66b0d03f6893b1f1e606f3b76da","datavalue":{"value":{"amount":"+0.88068336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612443$0AE07EFF-16D4-4E7C-804D-B141A4919869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20fa336fcc44cbf500bbcaa70fe808ca9606a129","datavalue":{"value":{"entity-type":"item","numeric-id":2700785,"id":"Q2700785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b60aad4a9bf1d2b24059a6fc8e64615155bf07c","datavalue":{"value":{"amount":"+0.8791589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612443$2433B6D1-1AA2-47D3-BFFB-9D4DB15EE494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f20cfcdcc8f640202413537371f775a5d84945bb","datavalue":{"value":{"entity-type":"item","numeric-id":3972753,"id":"Q3972753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc29bc6bbd983e9cb8293f987eecf76dfdd9e6be","datavalue":{"value":{"amount":"+0.8783486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612443$9B9EC04F-0C5F-42EF-821F-A350FC3484A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10136e455743e3ade83a7e267fb95936edac7bd9","datavalue":{"value":{"entity-type":"item","numeric-id":1392287,"id":"Q1392287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8689ec1385dfee6790f315e3317724018d27de8c","datavalue":{"value":{"amount":"+0.87580395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3612443$0B32D3E9-5499-4EA9-B1F4-7C821719DA2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Zermelo\u2019s Well-Ordering Theorem in Type Theory","badges":[]}}}}}