{"entities":{"Q6176571":{"pageid":13311459,"ns":120,"title":"Item:Q6176571","lastrevid":55470289,"modified":"2026-02-17T17:09:45Z","type":"item","id":"Q6176571","labels":{"en":{"language":"en","value":"Applicative intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7717074"}},"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":"Q6176571$EFA52AFF-9A89-41D6-B3FF-8808F70D12B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6b6b47d9ac733c992950aac3291058750bb956f","datavalue":{"value":{"text":"Applicative intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6176571$91E77887-4BE0-4847-B8B0-E461906AD2F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d65a0d9578e43b393b0b6ebfeaddd0bca62d8409","datavalue":{"value":"1524.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176571$BC670BAC-E2CE-4729-82E5-6F71DA43B330","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43be45adb0c5fedfc524c4ad8c3f2076457f4d37","datavalue":{"value":"10.1007/978-3-031-21037-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176571$1DBBF306-1156-4D23-9E6C-BE43EA291DD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ad49df4297c7566cebaa8fedc0650c49e887e36","datavalue":{"value":{"entity-type":"item","numeric-id":2351344,"id":"Q2351344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$98B39976-C697-4F7A-BFFD-D99500F3B72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d4a9643935796d9a1f172819199c42865b008f","datavalue":{"value":{"entity-type":"item","numeric-id":1791208,"id":"Q1791208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$2A088A77-B0A2-4E59-BF2A-C60252EFB089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c245ab2766978d9352d873ea3358992cc2879c0b","datavalue":{"value":{"entity-type":"item","numeric-id":2323963,"id":"Q2323963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$8D849553-6101-4A72-A679-42BD7CA57F81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$C1D7FB08-893F-42DC-852B-0BAC47CEF512","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c23e2f8c5005e57b25458422f4cd3f060374be12","datavalue":{"value":{"time":"+2023-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6176571$4074054C-7A34-44BD-9EEE-21805E1D8739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176571$88D31F39-7460-4439-972E-B57000E2AE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176571$4FE43D27-9D97-4F4D-A702-7A96A9F1194F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176571$4B2FCFEB-2C76-4892-8B1D-B286E6E9D91E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfb32daa3f76127213bbe2c8ef1b6115f10a7f40","datavalue":{"value":"7717074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176571$5BA3935D-1768-44F7-ADBD-2F6EC8951D11","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":"Q6176571$92E8A0F4-C293-4ABD-AB53-65421121171F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb00f1126ae8ce767147df9b854f64582a2db4fe","datavalue":{"value":{"entity-type":"item","numeric-id":2988630,"id":"Q2988630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$BF39F99F-8273-4043-8F75-A7C83FB901DF","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":"Q6176571$D500E8D0-EB57-43EA-9624-DD4EE3677633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03c18e1e2833a91aac7d3476d2f38d81622d637","datavalue":{"value":{"entity-type":"item","numeric-id":1891168,"id":"Q1891168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$AD1CC78A-61B9-440E-9105-6B40ED4CA6A9","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":"Q6176571$FA8ABDA5-CA01-4F8A-8EC9-19B5EFCA4654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee35f895e851475cce139c8bd92617d4e18740ca","datavalue":{"value":{"entity-type":"item","numeric-id":2943370,"id":"Q2943370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$6484AF26-E26D-4EB7-A3C1-0397E5FDF24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cdcabd01cb5fccf5ebd1fbfa2fc6876593003e","datavalue":{"value":{"entity-type":"item","numeric-id":2875228,"id":"Q2875228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$A7FC7B13-5B2E-4599-9352-23F12FDCAF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af3dea7edb0a45a7a34007cbd769cbbeca1682a0","datavalue":{"value":{"entity-type":"item","numeric-id":5493382,"id":"Q5493382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$CBE56359-9BCB-4820-B160-ABE42D66768C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbdadc2f831ecaaf8965dee386f688025216c37","datavalue":{"value":{"entity-type":"item","numeric-id":3452185,"id":"Q3452185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$FBAC3878-3F51-42FA-87B9-2F6C844B2DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881cdabd5ee092caccb3c6baac45e2a77bfe2c18","datavalue":{"value":{"entity-type":"item","numeric-id":5020905,"id":"Q5020905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$0FEEB1FA-0925-4B9E-B282-2B96CF2ECEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9919b127ebc5800fe3d5b2262a8a4771afb6e9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2985786,"id":"Q2985786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$EF93A650-B45F-4D0D-9731-19C6C2E16A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edfda0e229947f3a16f4624eaf252fe910fff41","datavalue":{"value":{"entity-type":"item","numeric-id":5096244,"id":"Q5096244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$2F408E7B-1324-4874-8102-50872561A166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff07822832d6f2b37392d53640e87cc5f372eae3","datavalue":{"value":{"entity-type":"item","numeric-id":808687,"id":"Q808687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$1EA27828-3202-4041-880D-0B45E59A5A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4655b04824a3202681cb4cc5cfff7b63ba90f43c","datavalue":{"value":{"entity-type":"item","numeric-id":2323977,"id":"Q2323977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176571$4BB4D661-F4C4-428F-A822-B051436E19A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71446d2a8b7e58fcd5b4ceb844fff5266ae762a6","datavalue":{"value":{"entity-type":"item","numeric-id":5020905,"id":"Q5020905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e2652f4fe2913be416c86fb87a913aaa2d0970","datavalue":{"value":{"amount":"+0.8295288681983948","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":"Q6176571$4BF33080-3DF8-4690-AA89-20A5A34BF40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd65fcef8ce46de883ad301133fdc78493610b7","datavalue":{"value":{"entity-type":"item","numeric-id":6176573,"id":"Q6176573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab556be7537747697a855023606db52b5c28290","datavalue":{"value":{"amount":"+0.7959819436073303","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":"Q6176571$B9755C87-4E21-48D9-B774-B8DE89B1F46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fcc41b32ca24cb5011065d1804e842bea7d8482","datavalue":{"value":{"entity-type":"item","numeric-id":3365481,"id":"Q3365481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e1fa2a55afcb54c9099dec122756e5d9241128","datavalue":{"value":{"amount":"+0.7815009355545044","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":"Q6176571$8E925963-EFF8-4DFB-8B16-EEC392DCA692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00fb9eedf8e28c517930fd06e76e31c18009af05","datavalue":{"value":{"entity-type":"item","numeric-id":2985786,"id":"Q2985786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f71ca9b4b99a1e242ec1b452dcd733098a6d5371","datavalue":{"value":{"amount":"+0.7715082168579102","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":"Q6176571$098588EA-306B-478E-9E06-8737A8D6E7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38827260072cbea9e53ac9ed798ac3cb450fb1cb","datavalue":{"value":{"entity-type":"item","numeric-id":2988630,"id":"Q2988630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1064e69380af817ee9a870161ca40b77d9a55b1","datavalue":{"value":{"amount":"+0.7701166868209839","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":"Q6176571$4B34D90B-3570-4418-935E-70BBEB8FF5C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6176571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6176571"}}}}}