{"entities":{"Q1089331":{"pageid":1100083,"ns":120,"title":"Item:Q1089331","lastrevid":49064122,"modified":"2026-01-06T13:20:12Z","type":"item","id":"Q1089331","labels":{"en":{"language":"en","value":"A characterization of F-complete type assignments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4004154"}},"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":"Q1089331$76E46C76-FCCE-4BEF-AAD8-C07D150527D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ca8de29a4f67d584b8967438127d9081eef8ef3","datavalue":{"value":{"text":"A characterization of F-complete type assignments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089331$8B7D679D-396C-41A4-9A66-3B940773E3DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"160abbc139f6b1b48e54ac5f3e47210fbcbdfdab","datavalue":{"value":"0619.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089331$33C61D2F-8277-4EFE-9513-CD7212C1524F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79a81423ed2de93d94e0cd919e6d747112c9acf9","datavalue":{"value":"10.1016/0304-3975(86)90043-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089331$97150112-52B6-4E26-913F-574C4D361EF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$7D52F72F-FC8B-4EE7-A45F-6CC2EAA152F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0530af78a69085c7bfc0867e4b4548e1bab174da","datavalue":{"value":{"entity-type":"item","numeric-id":737094,"id":"Q737094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$D58D2649-8795-405F-B119-F3B8EFDD0695","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":"Q1089331$EA1D377A-F713-4D80-953B-8C28E4A5BAA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1089331$A930E9DD-86DB-441E-92CB-1AA71BE1C7A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b8d70c3f3f0943e5fb6206193507d64265ab73c3","datavalue":{"value":"In some preceding works of the first author, an extension of the classical polymorphic type discipline for terms of the (untyped) \\(\\lambda\\)-calculus is proposed. This is done by adding a constant type (\\(\\omega\\)- the ''universal'' type) to the set of type variables, and a new operator (\\(\\Lambda\\)- ''intersection'') for type formation. If D is the domain of a \\(\\lambda\\)-model, then there exists a subset F of D whose elements are ''canonical'' representatives of functions. In the F-semantics of types, \\(\\sigma\\to \\tau\\) is interpreted as a subset of F and \\(\\sigma\\to \\tau\\) has then the intuitive meaning of ''the type of functions with domain \\(\\sigma\\) and range \\(\\tau\\) ''. This paper investigates the soundness and completeness of the intersection type discipline with respect to the F-semantics. The main theorem states that a type assignment is F-complete iff equal terms get equal types and, whenever M has a type \\(\\phi \\Lambda \\omega^ n\\to \\omega\\) (\\(\\phi\\) a type variable), the term \\(\\lambda z_ 1...z_ n.Mz_ 1...z_ n\\) \\((z_ i\\), \\(i=1...n\\), do not occur free in M) has the type \\(\\phi\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089331$6B094B41-824D-4182-BC30-50EE8089C52F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089331$F2A74E23-0B50-4608-9CFC-A2A0663CFCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089331$2A740AA8-664A-4937-A483-DF3F715048AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089331$428BEDB3-EF0E-44FC-9C40-6F86377055BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c5d61557111fe110f11fbe06b39cb91941a15de","datavalue":{"value":"4004154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089331$34A63A3B-D07F-4C80-9F3F-3465602A4703","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8ad82b8ca18b999d62abbd0f387c5f2d13f31d","datavalue":{"value":"lambda models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089331$68817BE9-C363-4B3C-ABC8-82284877E045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11eeb99aa6d639b8ebdaeb68541028b37b92ff44","datavalue":{"value":"F-semantics of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089331$C38E3FCC-BF32-47A7-8523-AFC2C428E64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089331$7834E480-34CE-42EF-9C70-20DC744B07FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089331$A6B26B07-0763-4E98-8AE2-D327EECD960C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4452cf710fa90c807c3329706bbd6f6e1dc0ba7","datavalue":{"value":"intersection type discipline","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089331$27FA80D0-5F82-4AEB-A4B1-EF7B8F65DC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089331$D9531560-C1C7-4EB1-B0A3-B9C8AD29AD31","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6536f759dee9ce142c834adc5cc137400d919eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$E5528D80-3C4E-4FBA-AF66-EE11DA4D6AA0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$936B81BF-7A2F-44A9-ABB4-691C02DA36DE","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":"Q1089331$8DCB3CC2-107B-441E-8C95-6B030548802E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c290928bdf4517a5045107cbfadaa9b47b195a7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90043-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1089331$DF959B96-7832-464D-9FFB-B06F65332AF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4117ee8b0f202013526e2f4930a7e1ae4935afad","datavalue":{"value":"W2091240930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089331$68C7D076-7A7E-41FA-BFD7-AEDB6F125431","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$11CB1EC8-56DB-4FBE-8E42-7E0CDC0A066A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$65F1FB47-AC8F-44AE-BF0A-BA481365A883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332c68f3a42c7c99b32c6ea30209a0bbb0bc9a9d","datavalue":{"value":{"entity-type":"item","numeric-id":3893285,"id":"Q3893285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$AAF7AB28-9E8D-49B2-891C-6F4CAB550EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12803d69e5cac00078994827de7fc5e096fed67b","datavalue":{"value":{"entity-type":"item","numeric-id":1835664,"id":"Q1835664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$1CB06B20-E50B-43AB-B07D-CCBC3DD1EF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999a4418c35493fc3ba35f2f259ff320a3c8c62f","datavalue":{"value":{"entity-type":"item","numeric-id":792995,"id":"Q792995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$EB8650AB-724D-4F9C-B8EA-0577420B900A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$BD85BC59-5920-4CB5-BB48-B894AC5C80FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$A2D817AE-AECC-4690-8F30-78B8B33A04D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$A0F14DAB-F8F0-4A5F-A47B-9F21CAE3BDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$ED98186E-E724-4551-BB7E-1BB93B9BE3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$E16B2D48-2D09-49D5-BA4D-E69169ECBDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86fd3dbd61f0565e5b3938c48b5731a2172f51b3","datavalue":{"value":{"entity-type":"item","numeric-id":3674034,"id":"Q3674034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$5FD61D5A-CEA6-4230-BDFE-089739372D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$21C6758E-52E0-4343-B2A0-654D72D93D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$8633F700-6B3D-4575-93E8-71DD69CEA060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309e309e10a9e629bef9acb46e8f0d07f845692b","datavalue":{"value":{"entity-type":"item","numeric-id":3345747,"id":"Q3345747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$83C2A08E-7CD0-49AD-B309-DEF1CE9B625C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bcfabc22212d3db2a4fa41c3566844e5ecdda6","datavalue":{"value":{"entity-type":"item","numeric-id":3668859,"id":"Q3668859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$0F659A87-5F68-4C83-9090-33FD5106ED1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$F6206239-5CBE-4671-AFD4-7BF2BA735650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$05E5FC00-4FDD-47E4-AFFC-9F1124A1565E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706432819f6cf16b1a37d307080a71755ef9cfa7","datavalue":{"value":{"entity-type":"item","numeric-id":1839242,"id":"Q1839242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$604B3D4E-C503-43B7-8261-1EBE173437EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81ed1099943aeaeb1f4554d61ae2b7ae45129bd","datavalue":{"value":{"entity-type":"item","numeric-id":1839243,"id":"Q1839243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$CFEC50A5-C6F5-4589-AB32-4F1F14B68D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1650ec8986b79af49285234bcb3522e3340bd0b6","datavalue":{"value":{"entity-type":"item","numeric-id":3659755,"id":"Q3659755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$1F2F43FF-A56D-4F94-A3ED-411A2D857A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$801AEA42-7D26-42A3-93AB-E5EFA101EE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$70331C37-7845-4A50-A86F-F38A9DCC8023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388d6d8bedfb9883d2de8ce73620980a36e5e759","datavalue":{"value":{"entity-type":"item","numeric-id":1229201,"id":"Q1229201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$622A2857-0039-4073-97CD-8E94ED4C6633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$2B02C9FA-75DA-4C2B-8D88-9E7FB034A0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$E15CB193-AD44-4745-8AF4-26742234B193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5429b997f8a444ab1a0e51ca9bf1fa1147fe74","datavalue":{"value":{"entity-type":"item","numeric-id":3705422,"id":"Q3705422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$E5339D80-F984-447C-AEBD-073C38DBEAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$8047A7EC-E340-40FD-B6AF-7E4A9E4DBEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$ADDF2324-378B-48F4-973A-673FE46E3583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$7CDD6CF5-987A-4D5D-B965-4DD3BBB2D6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17695e225aa63c7d95318b417de6aa4b6f4f2367","datavalue":{"value":{"entity-type":"item","numeric-id":3661543,"id":"Q3661543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$3E40EDF6-75E0-4804-97BF-4E654BD41D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$80C1261B-EF25-4F5D-B4B6-111524E2ECC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bf9d98ddb31cde733ea23d6df193235b8862dd","datavalue":{"value":{"entity-type":"item","numeric-id":2556396,"id":"Q2556396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$97A6E9B3-825A-4658-A1FD-1A27638BCD52","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":"Q1089331$4C8067D6-773C-46CD-94D8-66423F504F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089331$6EE79A73-AC42-4844-8EF5-95C316FEC19F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f27e8c0b226fb21fa30b105ef8502c77340e92a2","datavalue":{"value":{"entity-type":"item","numeric-id":3345747,"id":"Q3345747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ce524d3bbc4d0e10bcc814a3009b6ade7baa74","datavalue":{"value":{"amount":"+0.8857511281967163","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":"Q1089331$28FFD61E-65DF-4444-8718-117012FEBE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc55ff89662a19ca44fc4e65a75d3087d84d21e8","datavalue":{"value":{"entity-type":"item","numeric-id":1329739,"id":"Q1329739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bae6d2ad9224fe5e003c0fc566ce8d42b6357f5","datavalue":{"value":{"amount":"+0.8625537753105164","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":"Q1089331$3E0121C9-A399-494D-95F9-98E07FC328D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e580dd738879786e1ecfa8dc2115c1331ef374","datavalue":{"value":{"entity-type":"item","numeric-id":4835538,"id":"Q4835538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5500057d6a3dba1c6e0c6751812f75065616a23f","datavalue":{"value":{"amount":"+0.8573182821273804","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":"Q1089331$35610925-D948-4AE4-B0BE-C4192E825A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614e24fba81ee90527427cb20b65fbb1bc00c52a","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f92bd7af4569d994495d206f31226fb0073973a","datavalue":{"value":{"amount":"+0.8165364265441895","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":"Q1089331$01A57E5D-5347-417D-B2B3-9ECFC88C980C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87464adade447c44c86ffcc5952f1b3510939077","datavalue":{"value":{"entity-type":"item","numeric-id":4699351,"id":"Q4699351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79865406c0dd5879fdb93bbfb0d29b7d8302469","datavalue":{"value":{"amount":"+0.8134778738021851","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":"Q1089331$9C1D1A86-B2BC-404F-BA4A-C0103CA9E62A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1089331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1089331"}}}}}