{"entities":{"Q5214783":{"pageid":7244353,"ns":120,"title":"Item:Q5214783","lastrevid":94460540,"modified":"2026-06-05T06:52:33Z","type":"item","id":"Q5214783","labels":{"en":{"language":"en","value":"The interpretation existence lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7163206"}},"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":"Q5214783$E93261DC-7EDF-4E2C-966B-4DDD9A58A316","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b60a8f1d07b5a6b99dea0e2f3b97edcf2056d914","datavalue":{"value":{"text":"The Interpretation Existence Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5214783$D3C6189D-4B3F-4E3F-A72E-A3B05C8A44C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1d593038e5c7d4bdec3d536a6f015b835239703","datavalue":{"value":"1429.03212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214783$07721B00-C5BF-4AAF-B66D-BB01311011BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f94a44e1c798ee5047fe159618a84000a6b89bdd","datavalue":{"value":"10.1007/978-3-319-63334-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214783$D2F96E6D-B25F-4AE5-80ED-3817BCAD7EAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$F97DEC74-290B-48CD-943B-299A56A4CDE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$D03FAB1A-3C69-4377-9E1E-77FE96A79C01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fd6773eb39a2e4f69da6f4fd97619a5587c8913","datavalue":{"value":{"time":"+2020-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5214783$CF9E1087-04DB-404F-9FCE-9D5B7B2E7675","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214783$3B4473D1-32A6-4FC2-BC8A-CD03F467B16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214783$3EBA65D0-6C8B-46F0-82FF-0CF52DBF6655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214783$EDE4BDDD-A293-41BE-9AA2-C0390385F6DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad8ec60dd0b5da70daf617485c727b8e533726f1","datavalue":{"value":"7163206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214783$DB3672F4-3CA9-449B-A12D-E622F84A1FC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214783$0D157DF8-2530-49A2-A979-EE87232C67B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ea5b69d0be7e1d5aded4795bf1838bfcba2141","datavalue":{"value":"degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214783$1F43D315-FAC1-4F3F-950C-31E1609F4798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379d8953e7eab90f837adb488a848f2a43c51196","datavalue":{"value":"sequential theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214783$9DFCAD3E-C406-47C1-9305-239B702340C1","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":"Q5214783$3C29F84E-89EE-4B43-BEAA-EEEF9554B1B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cbc728406ca1d69e6859585fd1eeeb461b7b1ea","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63334-3_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5214783$D216A286-7C9D-436F-B971-1622ADE3B56D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0c6829c344c3d213f6973c025f2ec0ebd0e02cb","datavalue":{"value":"W2794565008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214783$B3ED6D59-FD04-4857-80A5-7F14E0FFB70D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06b0a8ef425cb1262d4fd5f0aafee69f3766b550","datavalue":{"value":{"entity-type":"item","numeric-id":3148848,"id":"Q3148848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$4B6F2E61-FEA3-4D6E-BB69-8ACB53067829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$DC1928B2-30DF-4476-B28D-F64F3B729B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b0f503d5e0d78741a6213b9b56da035996d5ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5361251,"id":"Q5361251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$64619DD1-1CFA-44B3-8418-2283E67703B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"080d52f7a04ec3b4358e713dc4745a1ae55488ce","datavalue":{"value":{"entity-type":"item","numeric-id":2963957,"id":"Q2963957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$C3554562-23D6-4B6C-972D-D8BAA5AB0C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$C55B3F57-D60C-4EDD-BED9-9C442AB89884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c5deeeb70a71d2e28c16c55abf45f3d584d140","datavalue":{"value":{"entity-type":"item","numeric-id":5292638,"id":"Q5292638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$9C82C74A-61F9-4E4C-9471-BBC4BD44190B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f094dce430ae0e7ee30af87c2ef9bb77758df377","datavalue":{"value":{"entity-type":"item","numeric-id":2565988,"id":"Q2565988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$40723D1D-3010-4674-A93A-8525B228E0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f3f3d70a5569a188142f8ceb430c261be789be4","datavalue":{"value":{"entity-type":"item","numeric-id":5638320,"id":"Q5638320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$052264E2-8CDF-4E1E-A6ED-E96DF09DD75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87282a36b118c5ec471c78e4a69cfcd52482f91","datavalue":{"value":{"entity-type":"item","numeric-id":5663866,"id":"Q5663866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$86C023DD-E624-4B42-B3EB-50AE2578F1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$C2100608-9A36-4E66-B730-085622586111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2622726c2b23142f3b1d07184059425f79fe2baa","datavalue":{"value":{"entity-type":"item","numeric-id":5677480,"id":"Q5677480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$FA4C772F-A11D-4E4B-B4F6-B88E1CFF9FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$D652DE72-A597-486B-995E-323611FF8173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55b310b95591644ebf220f7f5dd2c1374bfc0f5","datavalue":{"value":{"entity-type":"item","numeric-id":2888636,"id":"Q2888636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$6E230921-5083-4E60-AEFE-47FC5E51325A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$7B3FE43A-C63A-4B30-823E-ADA27DDA6C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$3C648519-6B97-49D1-8B37-D12CEA2944B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf6ff8d0d80d56f825921b152f0aadcb4b3b18","datavalue":{"value":{"entity-type":"item","numeric-id":3770530,"id":"Q3770530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$5DF8665A-ACFE-46E1-8D6D-A22E9A74CE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$1B9685D4-4CD1-4FB3-8565-E73025D78ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91744528218cec087c944584520ca6e77ddbb8d","datavalue":{"value":{"entity-type":"item","numeric-id":3960690,"id":"Q3960690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$62547D70-FBF7-4C90-912A-134D17E4C91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf574be6e3a953c93c33b2e0394e18b9840580e","datavalue":{"value":{"entity-type":"item","numeric-id":3472098,"id":"Q3472098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$93ADF285-0400-4C83-88A1-3ACECF1B5C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$41C5D5AC-9DDE-4491-B4FA-6069410AFB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbcdc6827af9f8d7894a008a301c07e31df53b6","datavalue":{"value":{"entity-type":"item","numeric-id":5732652,"id":"Q5732652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$88AD4818-3592-4DC5-9DEC-C4C1754CD8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4770a89519406c6a3b1e5f5c3061068c7c3cee5c","datavalue":{"value":{"entity-type":"item","numeric-id":5184891,"id":"Q5184891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$B0E50C04-2C5F-4ABA-A83B-73E7504BE855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$45D20037-44B6-4999-B313-424BDA84BF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e6ec8bf53a403cc5a32600f6b7dd2946260e87","datavalue":{"value":{"entity-type":"item","numeric-id":5588612,"id":"Q5588612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$B7FB11DD-43D0-45E2-9A23-9F78898A01D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab4c20da6558994d1dad2217b284b6d8ca0cc0c4","datavalue":{"value":{"entity-type":"item","numeric-id":1203781,"id":"Q1203781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$96618ECA-6F8A-40C0-9676-0351536007F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2359d5b66816bcb3babe9d68f9eabe9c112b7c81","datavalue":{"value":{"entity-type":"item","numeric-id":5559230,"id":"Q5559230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$8FB35952-60FA-44E0-89F7-B18CC7CEE28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$38B89843-3893-4C70-8116-D3D6E14428ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401b44bfd7fc7c59d63d94a30d5811741cc99581","datavalue":{"value":{"entity-type":"item","numeric-id":1073004,"id":"Q1073004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$802E91C8-BA97-4F6F-9D5D-2E2EE9D44FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$4716D7C0-91CC-42DA-98C4-F3B10F3CF0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74f3143ec42dbc01efa55df145132481cb2709d","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$F0027D49-D403-41BD-B5CA-15B1F55BAEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95deacdc83850e4eea62168b54695c9a653ceea4","datavalue":{"value":{"entity-type":"item","numeric-id":1176098,"id":"Q1176098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$2B0B8585-23D4-4774-92CB-EAD0685C12B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fdfe8673c5379ab5fd3f0d37bf8efc00370630","datavalue":{"value":{"entity-type":"item","numeric-id":688510,"id":"Q688510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$236EF607-CA1D-4B4E-A584-FF6EB7F7A067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c334e900d69147354fcd1b09f921638515832504","datavalue":{"value":{"entity-type":"item","numeric-id":705533,"id":"Q705533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$5C221C34-8E6B-42E6-B1BC-0ACCB5166FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1ad494f6753f30f6a6b9b8e016dbaa7e73069ac","datavalue":{"value":{"entity-type":"item","numeric-id":5393646,"id":"Q5393646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$E2AE3B6B-31AE-463D-AF74-2059CAE27B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707e991bef5f2c7a398cdd3e1c3e9f99c4df25cf","datavalue":{"value":{"entity-type":"item","numeric-id":943342,"id":"Q943342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$F36A0EE5-B984-4351-B6F1-260576BFA692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c3446e4e26170036814ad4b68c6b535c9634f5","datavalue":{"value":{"entity-type":"item","numeric-id":3644806,"id":"Q3644806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$83AF9ECA-0CC7-4C3C-AD77-E357DD69E2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91821b9e55c73d9349c7fb6d26788d494204e420","datavalue":{"value":{"entity-type":"item","numeric-id":3006003,"id":"Q3006003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$8EF43C4F-3143-4AD2-93BF-C20005315CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de0f744b156282c28a478a066b86e2e05a61e3f","datavalue":{"value":{"entity-type":"item","numeric-id":5222085,"id":"Q5222085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$F3DB6F31-5730-4B65-8E5F-DEAEA3CE4138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35289e6860f0bcd7116058869251bc5050cae567","datavalue":{"value":{"entity-type":"item","numeric-id":2436609,"id":"Q2436609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$82A7CC9E-D69F-4940-A85D-1347659A9681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5123739a569b7c05381093a13294e7a15dab339","datavalue":{"value":{"entity-type":"item","numeric-id":3464615,"id":"Q3464615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$994FD6BA-3908-4802-AC4F-B2A8CB599E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422b7394df51a55da190745407fa9a5bac9f6bf7","datavalue":{"value":{"entity-type":"item","numeric-id":904144,"id":"Q904144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$1710FA4D-47D3-4311-9B95-D5ADBEC1679B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9369cf4399e89219dd300d254a0a80efbd9c644e","datavalue":{"value":{"entity-type":"item","numeric-id":5804995,"id":"Q5804995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$25E88C42-7C86-4B61-B24D-7FDE7D681CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32a88ab50f8aab6dd1fe13b82a1a8db273f1607","datavalue":{"value":{"entity-type":"item","numeric-id":5810546,"id":"Q5810546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$37FA26FB-8D62-426D-AB0D-FD396EB9793B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06f893585ccafb1708c04ca99c1369c672cb7bd1","datavalue":{"value":{"entity-type":"item","numeric-id":4154553,"id":"Q4154553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$2C12A345-4AA7-4DF1-8AF6-A62623C43754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214783$2343BD52-EF8E-407D-A864-9B4BAF352F74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e0d1c4bb29c51d910595ef45134dd6514aaa86","datavalue":{"value":{"entity-type":"item","numeric-id":1176098,"id":"Q1176098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe25f813a712dfd8534e28328c21af79baf3c0a","datavalue":{"value":{"amount":"+0.6979098916053772","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":"Q5214783$08DF04B6-6B37-45E8-9042-E28BFF2AE73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d32f2aeae618c56a98a90b337dcd018f97895d","datavalue":{"value":{"entity-type":"item","numeric-id":688510,"id":"Q688510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa061c475eab4bc6302910ac82aceb057c95066","datavalue":{"value":{"amount":"+0.6956353783607483","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":"Q5214783$08DBC214-3650-45C3-B8E8-87988B2C0273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff26d453794330aab2cb8254dd7fff45ac95174","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cdbff56eae0b0c41878c9ea97a5ff554d21780b","datavalue":{"value":{"amount":"+0.6767244935035706","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":"Q5214783$2AF7EC6E-06A7-4499-905C-EF46254497EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94288260b7e707015be332d5c72dcbfc2175c3fc","datavalue":{"value":{"entity-type":"item","numeric-id":5213551,"id":"Q5213551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4804a9a6cf27874759528f9ed52087739c278b","datavalue":{"value":{"amount":"+0.6754727363586426","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":"Q5214783$24276574-CFEE-4120-B019-AC80D06C12DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3e6c72717932fa94fec26ae249bde47807d7efc","datavalue":{"value":{"entity-type":"item","numeric-id":4347425,"id":"Q4347425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f412a479a7a9e929daf9aac1634de41eb862f51a","datavalue":{"value":{"amount":"+0.6705679893493652","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":"Q5214783$BA16F38F-400D-4384-BF7C-CBE6BFDC95AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The interpretation existence lemma","badges":[]}}}}}