{"entities":{"Q1887145":{"pageid":1897887,"ns":120,"title":"Item:Q1887145","lastrevid":71064603,"modified":"2026-04-13T19:14:40Z","type":"item","id":"Q1887145","labels":{"en":{"language":"en","value":"Intersection types for explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118410"}},"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":"Q1887145$CAC71602-7735-4849-B263-FDC275E4E7C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f53cd276f3aafe2e9f0c9f40bf91ff9ae675c6a9","datavalue":{"value":{"text":"Intersection types for explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887145$78D00805-48B4-4397-B65B-F4985019D1BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bfe3eed081ab03c6134b0dfca86972e9ff452a0","datavalue":{"value":"1082.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887145$DB0588E9-C714-45C2-987B-C5069B05992B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d79cf40c9d083fd33fffca7f5d652f193d57871","datavalue":{"value":{"entity-type":"item","numeric-id":876040,"id":"Q876040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$437E60E8-D77E-41E1-A51F-FFB57B074DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$807D00C3-82FC-4DF9-A6D8-382934B22E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46d09af17dc9fa3aa47de0d2a3950670710f7254","datavalue":{"value":{"entity-type":"item","numeric-id":1887144,"id":"Q1887144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$360D8D21-3CC9-4826-8E13-3322920E4273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ec95c9417991096363f0d0f0e5d9ea0afefe59","datavalue":{"value":{"entity-type":"item","numeric-id":235593,"id":"Q235593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$591741BC-085C-40C1-9FB4-C9138002392E","rank":"normal"},{"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":"Q1887145$64B58297-86E9-4671-9116-09A0DFE41ACC","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":"Q1887145$E957DDC0-BD60-411A-A77E-969638625186","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887145$40908A48-FFC8-4380-A024-A20C4B38DF0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887145$5D3E4909-A107-48C1-981E-BD69B4C8B471","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa64c42961849359c38200996ac37e5d1c821ea3","datavalue":{"value":"2118410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887145$97419FAE-9A1F-4E95-981D-33CEAB62976C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66ba22418378fa27841f42c6a1abe10416378d13","datavalue":{"value":"Calculi of explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887145$47C192BE-C65D-45C4-BB2F-15C1AB5CEAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"167ad34812cc0a77d450f3853ad75e1e4e9eba7b","datavalue":{"value":"Intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887145$CF2D07A2-B04A-4947-9A5F-DFF0643EF93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3331c0a132bfd37d6f9e57f6e98852b395ff88b7","datavalue":{"value":"Strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887145$56D320C2-C897-407F-A6D2-759C5308453B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$F69FF1D6-1902-4A60-904C-DB2C57288D61","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":"Q1887145$529C8976-934E-4C58-99D9-D789A804F17A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b62489122bb7a4e45b135c40d9fdb0a325ce5e91","datavalue":{"value":"https://doi.org/10.1016/j.ic.2003.09.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887145$EFEC0410-EE7D-48D5-AB20-6C5024F7B305","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d4dd5c82ff1ec625074b30c66550a8b9898d34c","datavalue":{"value":"W1993809637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887145$51481665-432D-44CF-850B-4B75620E81B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$872299F9-1A8F-42F6-843E-A8754078C702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$C1B854B7-6F41-48BC-92C1-D059B2F40D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$263DF41B-4253-4962-83AF-11A6A91B9212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6ba999253464556d07386a325da245f321d282","datavalue":{"value":{"entity-type":"item","numeric-id":1350344,"id":"Q1350344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$0752CA84-58F8-4F9E-B9F8-DFBC9384544B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292d870f12e355474bf9214ae78d651a3a247134","datavalue":{"value":{"entity-type":"item","numeric-id":3044339,"id":"Q3044339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$32C4D0FA-41E6-4BA4-B4B2-866121C5A5CD","rank":"normal"},{"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":"Q1887145$FB528647-7783-4EDC-8C87-5F608460F956","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":"Q1887145$AE0844BC-841F-440C-9217-FEC7EEC0752B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1656b0af82a8a7cd6d647840a56e40b6d7fabf","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$88B1BD41-8CD8-476E-8D23-FE5A46689EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ad0292ce501c4706b9832036a05439f1dd84f6","datavalue":{"value":{"entity-type":"item","numeric-id":4357055,"id":"Q4357055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$812280E6-8849-4002-A0F7-21BD8E8F3141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f84e6ea8ad48c0b56f9caf1a1c8dba310929104","datavalue":{"value":{"entity-type":"item","numeric-id":1274458,"id":"Q1274458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$C2EAC606-E781-4C3E-8CF6-CB0CC566B2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f494acf3a97ba3d08e24c888dfea76899fb6aa","datavalue":{"value":{"entity-type":"item","numeric-id":3857730,"id":"Q3857730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$A95E607F-25E9-4128-AD03-85AAF10D95FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef20d70ae4a35d8a1f0191877c0c62d6346fe8","datavalue":{"value":{"entity-type":"item","numeric-id":3997125,"id":"Q3997125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$D8E4EE6B-8CDA-47D1-96A8-4275800F94AC","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":"Q1887145$2FB1C170-A98A-46F5-8AB2-68E19D086B63","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":"Q1887145$B780A370-78A0-408D-BDA9-9F6F74267D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$F3373177-D9AF-4F16-84C2-E13E7EEC9557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d7a160d2b805fed64a738ddb0c417bb269371e","datavalue":{"value":{"entity-type":"item","numeric-id":4536366,"id":"Q4536366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$DD969CAF-BD30-4D18-9A14-468A0C28CEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa8b780787a7fd83db6264a06a4d754a328b9de","datavalue":{"value":{"entity-type":"item","numeric-id":2778819,"id":"Q2778819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$1A514787-0F05-4856-B0D6-132878A092F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0a4ed7416994be6dd03b4e00d3fa63e3d4793e","datavalue":{"value":{"entity-type":"item","numeric-id":4405688,"id":"Q4405688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$D193AEA6-AD5B-463E-8612-2596E80B477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$B7CC2FD0-7DF9-4C99-8B69-9F4260F1B7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4ba94d8f08c32063f0ed58d67ccdb0c07368fd","datavalue":{"value":{"entity-type":"item","numeric-id":1295368,"id":"Q1295368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$5B496625-9637-4139-8048-5995B82085F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25baa08322ea0dfa6c2c2f29991332cfbea29ea8","datavalue":{"value":{"entity-type":"item","numeric-id":1924327,"id":"Q1924327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$522E3F88-C1C1-4936-B96C-321AD90DB201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a257c98967afe874abfaa6857e409945ee51712","datavalue":{"value":{"entity-type":"item","numeric-id":2752530,"id":"Q2752530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$6F179B72-2467-48DE-9AAF-E3FD75E3BECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ec0158e8065da6b9ce4d4ea6c388167366ee3f","datavalue":{"value":{"entity-type":"item","numeric-id":4360125,"id":"Q4360125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$B97E3886-B09C-4864-895D-9F4DCCCE82B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$61280709-B86F-4BFB-8E42-94E8E3B31C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$6EA87508-C9AB-4915-A8DE-430C7766A0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2f195c49df82c9cda56f240abd57e5287f8348","datavalue":{"value":{"entity-type":"item","numeric-id":1819575,"id":"Q1819575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$A018DD9C-07B9-4F3A-8CBB-DBC42AEDC792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bab25eceb42f52701d753efa4ce1915a7e4709","datavalue":{"value":{"entity-type":"item","numeric-id":3024846,"id":"Q3024846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$B92BD862-B022-461A-964C-651FB18BEED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$DED741DB-7655-481F-BF6E-6CE0472219DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb7e8fca6a460c3fa8e91806ac4aa5a7ed318c43","datavalue":{"value":{"entity-type":"item","numeric-id":4263879,"id":"Q4263879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$F177B350-55B1-43C1-B0A0-0617762EB5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe7d6c0b3a45eddceda9b3c78d2d5a3dd52603e","datavalue":{"value":{"entity-type":"item","numeric-id":4380997,"id":"Q4380997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$B5719DDB-DAD2-48E5-BB1C-3962B779671C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926336abba0524ccb1cb3e54cc99d238b8657591","datavalue":{"value":{"entity-type":"item","numeric-id":4163188,"id":"Q4163188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887145$49DCAC7F-C653-48FB-BA74-350F50540987","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":"Q1887145$C8FD55FE-74A6-496A-B39E-DB13B15843A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caeac8af66351317db3fbd77c2e369755f4a71ac","datavalue":{"value":"10.1016/J.IC.2003.09.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887145$DBF50307-AAE4-4D40-8A42-8D85C01FA30A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55cfa6f8279009629969d6b119d073bd5113682","datavalue":{"value":{"entity-type":"item","numeric-id":3044339,"id":"Q3044339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ccda80762fe26c91b571d0c5feb4552aafcf729","datavalue":{"value":{"amount":"+0.8737226128578186","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":"Q1887145$2BB4A373-F796-4013-8758-3C23FA5F393C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b82fdd68ff5e1081cdbdc1ff2b8e0cc9e827e4","datavalue":{"value":{"entity-type":"item","numeric-id":4405688,"id":"Q4405688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229c3b57bbd23d747fe5e6293e030061859ebbda","datavalue":{"value":{"amount":"+0.8588623404502869","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":"Q1887145$C2B229CC-B4E2-4455-ABC4-9CBC4BCAA32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95edd9a83f73448301f89ab4c48fe4d55261a87a","datavalue":{"value":{"entity-type":"item","numeric-id":4931603,"id":"Q4931603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229c3b57bbd23d747fe5e6293e030061859ebbda","datavalue":{"value":{"amount":"+0.8588623404502869","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":"Q1887145$06C6BC1F-DF94-432F-AE21-5A43A679A4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4c4c3ab305f205539d668894a76d0bf674315c","datavalue":{"value":{"entity-type":"item","numeric-id":5432345,"id":"Q5432345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f625da8305037d45ac3e1633c2e85e786bbac6f","datavalue":{"value":{"amount":"+0.8518566489219666","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":"Q1887145$B3023433-7B59-4AED-9E55-39B3DCE178A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8627593d274c87dfc4fb4d4324791736791db2b2","datavalue":{"value":{"entity-type":"item","numeric-id":1407502,"id":"Q1407502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23fafe576652825e6ed9971e90708b73a134c837","datavalue":{"value":{"amount":"+0.8263946771621704","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":"Q1887145$B4E78E9F-328C-4906-AE80-DE54C6DDD62A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersection types for explicit substitutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersection_types_for_explicit_substitutions"}}}}}