{"entities":{"Q5240810":{"pageid":7270378,"ns":120,"title":"Item:Q5240810","lastrevid":91678469,"modified":"2026-06-04T23:47:25Z","type":"item","id":"Q5240810","labels":{"en":{"language":"en","value":"Eta-rules in Martin-L\u00f6f type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7123754"}},"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":"Q5240810$10484916-CE57-48EE-A922-87C73C1C4822","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c324aec2d37b209c16ee5bad48b21c1b151c5596","datavalue":{"value":{"text":"ETA-RULES IN MARTIN-L\u00d6F TYPE THEORY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5240810$243322A4-F75E-4F6C-B6DA-D4E7C0BFFDB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c9c1c34f3dd4f36c382573218fe39a629b7918b","datavalue":{"value":"1486.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240810$15776936-07A6-4702-BCE9-2AF76BBD8178","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ea49f3754ba3caed4877f3d426d661d94ebec11","datavalue":{"value":{"entity-type":"item","numeric-id":1031832,"id":"Q1031832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$0E61EAE9-209C-4232-AAF6-CA5EE8BA919A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$8E603CE3-1E84-43F0-8218-01738E09BEA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"362960159b173a98e6b7060e1eb441bfdc739e81","datavalue":{"value":{"time":"+2019-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5240810$047F17DA-F1B2-4973-8003-E6C3FA85F3A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2987012601c7e3f31c3cc0b64777427c0c5b3e28","datavalue":{"value":"https://semanticscholar.org/paper/61ab60707ef269e96e05124d376cf5bc6dca4902","type":"string"},"datatype":"url"},"type":"statement","id":"Q5240810$D0DE589F-03E2-49AF-9286-3BDE39DA66BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240810$AF0586AF-BCAB-4217-81C5-35BD71E458C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240810$E52D645C-D79F-4965-89DA-7AF9D25A19F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df72c57c76e672ebc183d3806b77924eaf90fe8d","datavalue":{"value":"7123754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240810$2853EF25-BBE6-4444-B4C1-61F5A237619D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240810$2BC175DF-1F71-48AC-96B2-8DD15DF414D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"481469a0da1316548cbe95c668fb5536dc17fd00","datavalue":{"value":"definitional identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240810$09BF3AB6-24A4-4909-BB30-D94995C53887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87898a4c6d8063740f4cd4c5ec29fe4febd12dd9","datavalue":{"value":"justification of logical laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240810$E0FE06F4-641D-42CD-A7E3-462E1EA7E6D2","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":"Q5240810$18416DFB-3080-4D09-A45C-C5323A814964","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ea008dc9ba5b8c1da1b11ae2e5f3bf111b70443","datavalue":{"value":"W2963738827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240810$C599E6CB-D07F-4ECE-B233-D6B169023A50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7931dc29f3e5a2a167917b66423fa0388ae2206f","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$F19AC05C-6C9C-4315-9F42-C88E60AA1065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b67e17de4d77af11b2ca216e12d8a5958f2c1c","datavalue":{"value":{"entity-type":"item","numeric-id":2256643,"id":"Q2256643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$C6F75981-D787-492A-AF54-399DB7F0ED66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$F4983EF5-0FC1-4B73-A6B6-9F278C15928C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9f006d727f3acf3298f51fc9745240df942ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4650310,"id":"Q4650310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$ABC72A8D-C7EA-4705-AA68-A7EB31EADD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489a47940ceae4cbb0e073a78fad86f30d28f992","datavalue":{"value":{"entity-type":"item","numeric-id":2724040,"id":"Q2724040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$ACB3D141-9B71-4F1A-B236-6A7454498603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$E0EB2533-FD16-4C79-85E9-E7E08CA49A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$1561E51A-ED6A-4978-9AFA-11478D439D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc1fa5800ca5560d601e4658e9879f0a20ebb35","datavalue":{"value":{"entity-type":"item","numeric-id":1024547,"id":"Q1024547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$A6B2DA05-C598-4D9A-9A86-1BA288D230EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b03c46dfc7b75e41a2df8bca90ca883242552b78","datavalue":{"value":{"entity-type":"item","numeric-id":768371,"id":"Q768371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$1D810FB6-C648-45CB-B232-6C5DD0862642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$99DA22A6-DA1D-4E12-A228-6AC11196345D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c5d4cff434102bed227e3e021e251aecd1efd2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$7AA8A325-CECD-49AB-94DF-3F49EC5267DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb467bed52119c0876cb47453b6db6d9b6c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$A5319B55-5476-4789-A4ED-087A0237EFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$D9FDF546-69C8-4072-89EA-3EBFC28855F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$E9F1B15A-6196-4EFF-8B77-3C0E5157DFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$4D1CCE82-285D-424D-B8C5-4B866A191F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$DB97789F-8AFF-4C75-95FC-EB641DC1E72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bce0021a20e6075192b92537623e64018b293b","datavalue":{"value":{"entity-type":"item","numeric-id":4099614,"id":"Q4099614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$DAEC2ACF-BA99-4DF1-A4A3-9E6342E6A8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$7F5F7F83-706E-4EF6-8AC9-D555A799D472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$A6F6FEC4-AA1E-44CD-BF82-37BE0D30F457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$A3B975EC-B8D8-43BA-A4A7-F2BBF8B5CD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$A40DC2CD-AA8D-4447-8AB4-C2D8ED2995DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cee6a174c1adf8837379adbe08378cf535222b","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$47371ECF-52DE-46BE-9081-0C9A5542BCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00008b4232b38610c91158c514082f3892081a12","datavalue":{"value":{"entity-type":"item","numeric-id":4704206,"id":"Q4704206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$B5ED526E-B238-4285-8221-5E5194EA3CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$A1622BF9-E866-49B8-BE70-C71C41EF190C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$BAEEED94-3A1F-46EB-9A88-19076D954CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$DDB5C29F-E301-47E4-8A82-67305A3BACBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c68631d60b36884722478b726b544215f9b6cc","datavalue":{"value":{"entity-type":"item","numeric-id":3024853,"id":"Q3024853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$0B415AA8-9DE3-4140-82A4-2940E6B3233C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93f973f98b4638e8fbd5879c5084c6be77b8024","datavalue":{"value":{"entity-type":"item","numeric-id":3322071,"id":"Q3322071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$4C95D23E-0D77-4049-89ED-857E2F6B8073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$915A6E98-1E7B-49AF-AF0A-D53484D91EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f2606d7ed68cd572a1ac873c349fef46fe03ff","datavalue":{"value":{"entity-type":"item","numeric-id":5253927,"id":"Q5253927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$B2511272-2C54-4D95-B4F0-5956CE1A0EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f438116a01398ab16f739ed0a52e81c33b7bfb","datavalue":{"value":{"entity-type":"item","numeric-id":2695033,"id":"Q2695033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240810$47287A99-5594-4577-9326-0C63C9716840","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55b8347b1e08e5ffd9e0d824c87fefae2e466532","datavalue":{"value":"10.1017/BSL.2019.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240810$DD6D4FA4-75C4-4AA7-98CA-CC7F1CB68220","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bed86a80d1e979433e1144e371142e6575688ab","datavalue":{"value":{"entity-type":"item","numeric-id":2288279,"id":"Q2288279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4a64af550cd108cc052c384dede42d83c7992a","datavalue":{"value":{"amount":"+0.7461681365966797","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":"Q5240810$CC10886F-3AFF-4B16-934E-A48F49ABD2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7077bcdcfdbb1afc2c28fd4777a92925dbd296d","datavalue":{"value":{"entity-type":"item","numeric-id":1024547,"id":"Q1024547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe2c74af2838f17a8c276c3ebb12ba0b25adba8","datavalue":{"value":{"amount":"+0.7327375411987305","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":"Q5240810$048ADE79-52E3-445E-A111-54E08084C939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a0473919ea6c5017bb146da85656b42d602fe2","datavalue":{"value":{"entity-type":"item","numeric-id":3024906,"id":"Q3024906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6857c5bb7183f5568b215653b3c6814a750e337","datavalue":{"value":{"amount":"+0.7303659915924072","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":"Q5240810$0E4E4958-345A-446B-A020-D5E2D736E44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3334a04a8230168326609830e6978b2b0080532e","datavalue":{"value":{"entity-type":"item","numeric-id":3313859,"id":"Q3313859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b17ea5cf343dd47d9d03194c96226eab16f7d2","datavalue":{"value":{"amount":"+0.7282862663269043","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":"Q5240810$FC813281-28E5-4EA8-A3A5-768A0BBE61C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6c57751c5c5873ec1f337d267a35633e233939","datavalue":{"value":{"entity-type":"item","numeric-id":1087865,"id":"Q1087865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766d19f125717578deb439a7853b726a72f63b57","datavalue":{"value":{"amount":"+0.7271081209182739","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":"Q5240810$E264F05C-BA53-4B2A-80C0-CB7C24123B11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Eta-rules in Martin-L\u00f6f type theory","badges":[]}}}}}