{"entities":{"Q2566024":{"pageid":2576767,"ns":120,"title":"Item:Q2566024","lastrevid":72794985,"modified":"2026-04-14T07:53:13Z","type":"item","id":"Q2566024","labels":{"en":{"language":"en","value":"Containers: Constructing strictly positive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207188"}},"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":"Q2566024$55E4BA33-7024-4A1F-B578-88AB88F83006","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f872f37bf60ba1d81dfb7263113e224793c9457","datavalue":{"value":{"text":"Containers: Constructing strictly positive types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566024$EC708E38-1980-4AB8-BF20-682601B8C7A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c7b3c0389af485e87990a44d3c4303177a66c77","datavalue":{"value":"1077.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566024$A26BE789-CBD4-4403-AECC-876C570975FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$88747D8C-ACD9-42D5-8B16-F8B44EFE9927","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$7C9E6667-B6EF-485A-9C9B-66A8806466BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566024$9E4D6C67-8880-4AB6-B9EF-320F5A70163E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566024$7CA2C481-46C7-4329-99FD-8BCEC1D49267","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f27dba5d5dfff20ca8f823142772f815167fb9b","datavalue":{"value":"2207188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566024$99BC134F-8293-4E4E-8021-7169CAC0DB7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d06a4412ba7c7a4b2c38ca2a6c070deb2b732a","datavalue":{"value":"Type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566024$444FCF9F-499A-4A7D-AC9A-2DCF5E6B18DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cdd3e6c445bcac9d5dcbb5f7b5afe18fb37207c","datavalue":{"value":"Category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566024$C1C38740-04D5-4025-9463-B6AD4532D40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7def9046dbcb8bfe7e510f71e0ee0062358d286","datavalue":{"value":"Container functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566024$3C42A4E3-6BD1-4735-9198-D269F56AE913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22040920db0156b163f21c70f0b22bba0f61914b","datavalue":{"value":"W-Types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566024$B14629B5-B208-45BA-A2CE-C96A10DF21BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cfb3d22d67766ea6c2f6e0e3a2d53b2fca96619","datavalue":{"value":"Induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566024$ADE997D7-A743-44EC-821D-63787E09EFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3f8c41ffc75609512af38971a1b7fbdaab60a2","datavalue":{"value":"Coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566024$CAB04AFD-032A-4283-B7EA-CB95B48DC7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"774ec3063bef9c8be9bfcd6c83c247e2a866f4eb","datavalue":{"value":"Initial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566024$6AC4E0CF-C294-4FDE-8552-ACE52A00917B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32f06f58def974adf1f94c4a1e2dac4b2b34a582","datavalue":{"value":"Final coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566024$D8582208-8E8F-4D08-B5BA-EA015BB097C0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e74e65aea50b572ed5cc320d9d0d7a2d70ec494a","datavalue":{"value":{"entity-type":"item","numeric-id":21666,"id":"Q21666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$5A491F95-CDBA-44A5-8586-F83365794AA9","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":"Q2566024$6FA45579-5023-4364-AA5B-3D3F3BA4B66A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcc4403a3ba475d796244c60ec86555a01ae44c8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566024$2CDA556C-B59F-4072-AC4D-9F608BB2D619","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7ec3c35360f6637e91f451952144a700ffed79d","datavalue":{"value":"W2079640625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566024$D7FBF13A-F576-4AC3-A2E9-C33CA7C7EA31","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cbc07fb4b1d87822d343c194e852fabcf4c0044f","datavalue":{"value":"Q61583925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566024$1F3DC352-3A35-4C01-B464-D5E8A43BB6A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fbca56191e433ddad7d589e9817e8f20721a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4417849,"id":"Q4417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$B077BA59-40ED-475E-B456-D1DB4C869DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f4edb495601af130d31283333a6e85af411ec6","datavalue":{"value":{"entity-type":"item","numeric-id":4457445,"id":"Q4457445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$91AFD69B-189C-4DC3-9632-B3A9231C06B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40baf4bdceb7bc43f795fddb529b32cd0b1cc67e","datavalue":{"value":{"entity-type":"item","numeric-id":5466528,"id":"Q5466528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$9198A4CC-4D22-4D39-9D8F-962DC73AC1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe57f40b91445b48cc0ac177273aa7ab35cbb307","datavalue":{"value":{"entity-type":"item","numeric-id":5313096,"id":"Q5313096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$459FD960-2A9B-48C5-A9CC-194F95C7D3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cddf47d193d9ba19e7a93378bcf7feab330907be","datavalue":{"value":{"entity-type":"item","numeric-id":2766796,"id":"Q2766796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$04CD46B3-6C29-4E52-859E-86AE298A485E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bd5723754d3f3766daaae49b37c3f6d620266","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$01BF1DCA-5F5C-4EED-AE5B-19893F1DB768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c541a0e0fccb98a32f18a8695d9eabb1926b39f3","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$A02A0D28-7D5B-4675-840D-1BA50D9AD65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68f1bd8b370241b1238e617c8dd102be49d36b4","datavalue":{"value":{"entity-type":"item","numeric-id":4119356,"id":"Q4119356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$CE72697D-665D-4775-BF59-B818E68B522E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1487200638e3f9441e8913bfd2f4d0995a3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3677911,"id":"Q3677911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$32AB2595-7519-4634-BA7D-0AEC216E93A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a17422820de131ed03dd36bb6484e8aa078aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":1965249,"id":"Q1965249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$1FCA808A-227F-4217-8150-6053A2C598EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$533D5488-E86F-493B-90FE-3D84AA6DAA2D","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":"Q2566024$9EB78F2F-A09A-41B9-BD72-9CF71B1A3517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c3bff08a591a81b01078d3191ce7312b8dacae","datavalue":{"value":{"entity-type":"item","numeric-id":1392287,"id":"Q1392287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$90C1A65C-A5E7-49AB-A119-37A3047D85EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4dfbaa0e17e1ebd4172fa6deb841857771ca02","datavalue":{"value":{"entity-type":"item","numeric-id":5712306,"id":"Q5712306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$ED7DBE98-B254-4959-8E7F-389F2F80CE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0b8f9a18ca9554c8ac1d74703fbb235393e5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5958294,"id":"Q5958294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$18DB1AF1-402B-4409-ADCC-16B88FE2D565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$40F6AE6C-4B54-4572-9AFC-774E2C7243F4","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":"Q2566024$386B6A0C-DFE9-4833-9AE6-175750746835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$659A3D2D-251D-4054-B318-13D9F2F8CA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c52ec8d7a769fecbeb6e9eb7e9cf0c37315768","datavalue":{"value":{"entity-type":"item","numeric-id":4500365,"id":"Q4500365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$9D346618-712D-4709-B8C8-453FE63B703A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$C87A485F-7B79-497A-A0CA-2A33F5A12CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$B4FBB556-C1B8-472D-96EF-A138F5EA05DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd91dd124cee42cd9e77668a24424a2fc21c6dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3752561,"id":"Q3752561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$33DBBAB1-6EF0-44CC-8C96-AAEE9CB1CCF7","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":"Q2566024$C2D2CF4B-E0C1-4378-9D7F-01BC1DE6791B","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":"Q2566024$81CBA63D-76F6-4796-A8F8-7B71862684BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cfd356224155dbd75db29249481baba3510e2a8","datavalue":{"value":{"entity-type":"item","numeric-id":5394302,"id":"Q5394302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$A25CEB5F-2491-458B-B75D-2E1F1D8EBCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$F4BE6525-BBAF-4A09-832E-DD63FE4BC920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$4616B851-F9EA-48B4-A11C-7625C2549179","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":"Q2566024$433C3478-021A-4B37-AB44-62A51C9FCE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cbe19fcefeee0f7452f0785bfac52068f96015e","datavalue":{"value":{"entity-type":"item","numeric-id":4170869,"id":"Q4170869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$4844CC9F-1558-4C1D-8E41-7232011039E7","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":"Q2566024$CE166F23-A663-4888-B404-B4D6D2368723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$64E86274-FAC7-4492-8E14-41D95A2D7E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$E7487D36-292B-4C7F-A9F5-C3D31059C434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f32d68962ab886e92e44b6ca8cc3a34c8f7b357","datavalue":{"value":{"entity-type":"item","numeric-id":876383,"id":"Q876383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566024$B6C90A95-4A30-4C64-85DE-A12CF842E69F","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"8c823cf4dcd938afd83a62c91fd020874f5cd3f2","datavalue":{"value":"journals/tcs/AbbottAG05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566024$FB7336D2-B9FF-4D65-9BBD-ACC6EB8BD2EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2038f122b777f24f8d3bb7ed9e1176490100f6a","datavalue":{"value":"10.1016/J.TCS.2005.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566024$AC3B6525-69D5-4236-A1C9-3C85F9B1A637","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae33845ef19b1516dfee91d33eaaf143964b8a10","datavalue":{"value":{"entity-type":"item","numeric-id":5466528,"id":"Q5466528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df3b97c93b504ef31941d795ff5c36b676588874","datavalue":{"value":{"amount":"+0.8464699387550354","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":"Q2566024$5D2CFC5B-CB24-4135-A66E-40F3AE3EF811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc04de73f5dd2d6393b86c76855c6051647dc00","datavalue":{"value":{"entity-type":"item","numeric-id":4417849,"id":"Q4417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af617a949e8fd34cf6eb502727e90a36da0fe11","datavalue":{"value":{"amount":"+0.8230794072151184","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":"Q2566024$4C3FC084-7348-41C1-B816-7D5F76402B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a2ad56c547f5ba68313b6ff40350037ff7b465a","datavalue":{"value":{"entity-type":"item","numeric-id":3576186,"id":"Q3576186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e007aa2225fb3ddf70fe4a2b02b92d3fc7c3507","datavalue":{"value":{"amount":"+0.8080825805664062","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":"Q2566024$A1BCDEE1-360D-4214-92AF-5AE36FEB1D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d1d6aca4ba25766ffb2281369b0f014e780edd","datavalue":{"value":{"entity-type":"item","numeric-id":5371943,"id":"Q5371943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe70b14bde0be29fc4d4ba32887f0292161e821","datavalue":{"value":{"amount":"+0.7862774729728699","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":"Q2566024$88A1B9F8-C978-4F0E-8DCB-4C83C7215ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c269e5a99f2caa587ad2d3307a55084f7b365d25","datavalue":{"value":{"entity-type":"item","numeric-id":5246718,"id":"Q5246718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5164180fcd504c5d986d1614298aed483aa3f61","datavalue":{"value":{"amount":"+0.76333087682724","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":"Q2566024$F188F1D3-E193-46C6-BD99-E2AE4FA2B23C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Containers: Constructing strictly positive types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Containers:_Constructing_strictly_positive_types"}}}}}