{"entities":{"Q1275820":{"pageid":1286570,"ns":120,"title":"Item:Q1275820","lastrevid":46610982,"modified":"2025-12-25T05:08:51Z","type":"item","id":"Q1275820","labels":{"en":{"language":"en","value":"Structural induction and coinduction in a fibrational setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1239814"}},"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":"Q1275820$FB6546D6-6C7C-42EF-8544-C4F5AD96D323","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c7aeab882960a034b83f8016e71615a564d7d6b","datavalue":{"value":{"text":"Structural induction and coinduction in a fibrational setting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1275820$D6F21101-7E74-4F24-B402-B871B5879F6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7420643ab0e9ad80303f1dc1b956939c991acefb","datavalue":{"value":"0941.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275820$58F771A9-480E-4731-B62E-3B452CAAD692","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da894ab5287ed2035a74ff51933b0ddd7c3245b8","datavalue":{"value":{"entity-type":"item","numeric-id":175557,"id":"Q175557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$A980FCA5-86A2-4405-B018-C44614DD243A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$F9F97B8D-F6DA-4399-9885-160B412915EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$8BEF1FEC-BE41-43C2-8CA5-EA0FC67BB198","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c926a7842f7994a2e02d7d97d6466af0601a09c0","datavalue":{"value":{"time":"+2000-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1275820$F663B4D5-8809-4378-827E-F8D0708D850C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0497eb4d8337da9e01a626e8e9380e20c4cae8b","datavalue":{"value":"https://semanticscholar.org/paper/0e1b0f6284a7b6d286dea2363285667f85cda81b","type":"string"},"datatype":"url"},"type":"statement","id":"Q1275820$36A11F52-4A79-41C0-B948-78232EA25CB8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"636d6e1cb6341708770289d2f3b268697aad147e","datavalue":{"value":"A categorical logic formulation of induction and coinduction is proposed. The main results provide criteria for the validity of such principles: in the presence of comprehension, the induction principle for initial algebras is admissible, and in the presence of quotient types, the coinduction principle for terminal coalgebras is admissible. One of the main points is to give formulation, in a canonical fashion, of an induction principle for initial algebras and a coinduction principle for terminal coalgebras using polynomial functors. The results on validity of the induction and coinduction principles (main results of the paper) are presented as admissibility properties of constructive predicate logic. Using this, the authors give a reasoning principle for recursive data types involving mixed variance functors. The connections with contextual and functional completeness, internal full abstraction, adequacy and strong extensionality are considered. It is argued that the level of abstraction achieved in the paper is the right level of abstraction to combine salient features of the above approaches.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275820$78990AC3-B3B1-4E15-B434-042A286B5671","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275820$EA1B08A1-E4E4-4300-8C71-F39EDAF7B8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275820$46D40D6F-9879-4564-BD7B-B266C8FCAF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275820$9D42CE7A-CAB0-4F12-9F4C-8FCDC3294EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275820$1A84B9DB-F1D6-44A3-814B-E1AA0F37B2E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c64e9ba7ce900d420308804504788d56f4784dbc","datavalue":{"value":"1239814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275820$366C3C96-53E3-457E-9924-B6DB7DB0D7D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275820$17B13226-5E44-42DA-B0A1-93E24DF4DE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275820$17248CE7-B96D-4777-AD9D-785B5F99EF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751e37efbf8082f0fc895bdc4895d3880e1bb01f","datavalue":{"value":"fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275820$088D85CA-9435-4EFC-9582-35B7A2ADF04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c875ed50027fca39fa952fe3217c224ba92b55b","datavalue":{"value":"recursive data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275820$610C933C-8C0C-4308-AE4C-3CD548F22E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275820$4EA5E716-F313-41BC-803B-CB8ADBF4430F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6c848266fa72da40ff1802d3555a7d072216992","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$87C2829E-6F3F-4C5B-BD29-3A77CA971B7D","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":"Q1275820$D723A8D4-945B-4A01-BE9F-16EDF5290C54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f2f067e10d06d1c4551b0be956a9a5c0a4deac9","datavalue":{"value":"W2086788473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275820$980A99B1-DAF9-413A-BBE9-2FF0E7323AF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$E6BFC5E3-72E9-405D-9E0C-954C3DFC94EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$E32A340E-3F30-41DF-A3BE-BB8FE748B540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$0E89BD9D-4C6A-46E3-98D4-943697E10B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e063a33e37ef5dc84ac18aef142b36f11221d873","datavalue":{"value":{"entity-type":"item","numeric-id":4152697,"id":"Q4152697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$1B913DF9-E409-47D4-A839-DD7B0ABCEF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b782c3feebe93265fa2f6a2a15a89ecd85b7062","datavalue":{"value":{"entity-type":"item","numeric-id":4742295,"id":"Q4742295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$E238E73A-4D9D-4CF8-BCAF-F768BC21B568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eece21ee5f735c2580a17912d99a0d76651b555","datavalue":{"value":{"entity-type":"item","numeric-id":4348453,"id":"Q4348453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$C3F09099-E10D-46AD-BA2E-037DAC6ABF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8efb0398a531758f87b83ac3a9bbafc4e6bf8f","datavalue":{"value":{"entity-type":"item","numeric-id":1208195,"id":"Q1208195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$C52894AD-2C55-4DDA-AA5B-0E599E0BB878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac770052cd7a8314f8effbb8bf6064b23d807da","datavalue":{"value":{"entity-type":"item","numeric-id":752170,"id":"Q752170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$03FD84E6-A61F-45B9-9CE5-7D49DF9F7FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbf7faec499e3b048aa800d9ae6c142df02880","datavalue":{"value":{"entity-type":"item","numeric-id":3137150,"id":"Q3137150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$4296B471-2FE0-47A9-A5E8-CB1648EF8DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dedb9f8c916264b6f4080ef76494a05ec8c92215","datavalue":{"value":{"entity-type":"item","numeric-id":673963,"id":"Q673963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$01B5E500-F948-44D0-AD66-08ABAC46F505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$2B2C9D94-71F7-449A-BF91-9A14DD1DFAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b736495aea3314de1463970f2749c04ad07802a6","datavalue":{"value":{"entity-type":"item","numeric-id":1193588,"id":"Q1193588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$6A99E024-574A-4310-9D70-EB4F07FE8365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945dbe7b45d15257d4501308d45e43711ecad14c","datavalue":{"value":{"entity-type":"item","numeric-id":3837263,"id":"Q3837263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$58E73EF2-D3A4-4C7C-B8AA-D142DFBC0436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e90e7791a6de563969819156edf7e8721fef7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1923102,"id":"Q1923102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$27C1AC00-BFB3-419F-A7B0-BE8A9A013A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76913034917490b2ec30b4dfb06c340d4e086f06","datavalue":{"value":{"entity-type":"item","numeric-id":4396180,"id":"Q4396180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$952AC110-B3B3-4B09-8D13-514D094267AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b446a9efc9b95e79a4963e360bfd0dc2c967cf02","datavalue":{"value":{"entity-type":"item","numeric-id":3138538,"id":"Q3138538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$EA402380-12A3-4EB4-B89F-86DBC7ED73E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$98689310-1396-4E6B-8231-491FB28B8A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$13982B7A-F703-4F8F-8624-E2EAC20BF498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df4abbb2f7ec26b31b59980098d4028c1779085","datavalue":{"value":{"entity-type":"item","numeric-id":4362971,"id":"Q4362971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$BE3BDCBA-F8DE-42FF-AFEA-654EF4AFB2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17807d12117180296370bd9e02d3095bfb068fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1295672,"id":"Q1295672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$5C5E67AC-8559-409F-A5CA-000B3FAB99BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48978623756356a48e92f713a87d98b22f6a073","datavalue":{"value":{"entity-type":"item","numeric-id":4474856,"id":"Q4474856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$2E962593-0D5A-4335-B136-C059643DE3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de4c0e0e86a6d714f4891de230e432b0269c1a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4882489,"id":"Q4882489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$9FBDB2DE-E092-4CB5-B7AC-0D1A24A06E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7212cbd21b262d16bcb7ffda7fc76bc50e112b40","datavalue":{"value":{"entity-type":"item","numeric-id":1208414,"id":"Q1208414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$1BC6C97C-FC58-44CA-A734-5F889A363DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6847b6230dd7a27075d197b8daec7a7f5de2e850","datavalue":{"value":{"entity-type":"item","numeric-id":1337357,"id":"Q1337357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$121857D7-3199-406A-909A-D06AA2C26F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6857575c7c1c62706f5a0db8bfe5d0f1b7fef7f","datavalue":{"value":{"entity-type":"item","numeric-id":4853312,"id":"Q4853312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$2A52E520-B924-4165-AA6E-7BC0C1F267C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4d0b84553ace3c1686bd305b88438b8dcb98e4","datavalue":{"value":{"entity-type":"item","numeric-id":4853985,"id":"Q4853985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$C834373E-ECF3-463D-AEB2-98B6176B9D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1287f31c8e695f0cc11f57a3ba4a985fdf48a0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3804881,"id":"Q3804881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$83012C62-0284-418A-A57C-77C2145A8064","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":"Q1275820$2608C998-7BED-4192-98A0-12D0EA5EAB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$9A8858D1-2904-457A-B4F1-39BD51FD162D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2e43edb37fc8aaffef4789c6550d3089eb141","datavalue":{"value":{"entity-type":"item","numeric-id":3907066,"id":"Q3907066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$CAFA0560-C013-4029-BE05-4C4C40BAA6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a373c4e8b445b3944886af7de398c5d3d3bd8","datavalue":{"value":{"entity-type":"item","numeric-id":1317983,"id":"Q1317983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$FCC815E3-D03E-4667-B068-3920B58EFABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4de37594158aa51ee94916033d3d52e42d9b81","datavalue":{"value":{"entity-type":"item","numeric-id":1317969,"id":"Q1317969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$0B56C0EC-42A2-4698-8A48-0B8A1CAFEA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf3713360879293523009ba1f727ff28d7536c4","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$1500ED8E-667E-47C7-9E99-92E255E75890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34d351c1ef844180d459df3939ab41ff1a3206b","datavalue":{"value":{"entity-type":"item","numeric-id":1241798,"id":"Q1241798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$8C05AA88-0AB2-441A-90A0-1D756B218EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3888cf263b82314d0fe57282afa46d52411e71d","datavalue":{"value":{"entity-type":"item","numeric-id":4877444,"id":"Q4877444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$90DB92FC-D39A-4A57-AF25-5076C8CEEEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c2fea1c1f3bbaa5cfdd6d15172b810d0b5c9f01","datavalue":{"value":{"entity-type":"item","numeric-id":1318702,"id":"Q1318702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$D8F8E2FF-31C9-4D96-950D-C0BF47CD7886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$152CF126-B789-49C2-B92D-1EB6E1605BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad36ee1e9b536ba43cedd35d7459acb4e4a8d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$0FC1AA5D-D382-4E26-AF68-8D28A2916FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbfbc9d107d10f469b35a5fc043708881c82d23","datavalue":{"value":{"entity-type":"item","numeric-id":4856658,"id":"Q4856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$D082CB23-5454-49F6-82CB-97D502231418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$4D25DF95-BBB8-4165-808A-4093FA9B4DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$0B5DDBB2-33CA-460F-97C5-E8D92B2B3CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$6171C194-7C81-4584-AEDE-1734A6228C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95fe6b711716f8b9810844eff2ba2b9a1ed7141","datavalue":{"value":{"entity-type":"item","numeric-id":4092156,"id":"Q4092156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$0DE04003-BF0F-4312-B659-4DDEE8F4C72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe31419c2782b754e1c0d7b28f35431522013ba","datavalue":{"value":{"entity-type":"item","numeric-id":1255083,"id":"Q1255083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$C90C391B-5CE9-4A95-A5AB-BD19716DF5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275820$A9C4F26F-9E2C-486D-BD84-57A84DB31DA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b1129340926bdb8d747dc2feb8c2bbb598def39","datavalue":{"value":"10.1006/INCO.1998.2725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275820$D1A71DAA-59D9-4FCB-BB5D-ED9FEE84D344","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c5c7cc65fa7605d234cc789f21aa130bbc4dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4474856,"id":"Q4474856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108daca9085ca0f035b27509d7750b40810bb4ba","datavalue":{"value":{"amount":"+0.8454741835594177","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":"Q1275820$6DA39636-BAE5-49BB-A173-620D345C4FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c585606a3cd43bc50be28c7d35db49b232102ba5","datavalue":{"value":{"entity-type":"item","numeric-id":5894256,"id":"Q5894256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe6eae1b9cf3336504c761ddc6338bf9fd120ba","datavalue":{"value":{"amount":"+0.8257290720939636","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":"Q1275820$954EA482-6784-4B24-AE92-D1D0AAF32C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f972385af25e3e851d1004cf8235f4f37e9af31","datavalue":{"value":{"entity-type":"item","numeric-id":5891134,"id":"Q5891134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b20d1f0c8b97817e8781db41e6d1822e0fc31c","datavalue":{"value":{"amount":"+0.8163189888000488","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":"Q1275820$C03A61CB-FAD2-490B-8D1A-412C32AF3085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597237f1158986e01eb159ead08ab5e98adca3b6","datavalue":{"value":{"entity-type":"item","numeric-id":3586050,"id":"Q3586050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246d2da71e52d6494ad218c45f4e98ae9abf4cc6","datavalue":{"value":{"amount":"+0.800083339214325","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":"Q1275820$3805A8CD-F76B-4A33-A2BC-FF641858BAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6152a5257642e9b57f19c9557440b78b1ad95b1","datavalue":{"value":{"entity-type":"item","numeric-id":2895473,"id":"Q2895473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34deca640e422c5029e8f373a7e7a3cd89489c9d","datavalue":{"value":{"amount":"+0.7853868007659912","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":"Q1275820$1460D5E0-C30D-4CCC-8E4A-66F5F3AFF47B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1275820","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1275820"}}}}}