{"entities":{"Q4461769":{"pageid":6491368,"ns":120,"title":"Item:Q4461769","lastrevid":48267727,"modified":"2026-01-04T04:24:53Z","type":"item","id":"Q4461769","labels":{"en":{"language":"en","value":"On bunched typing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2064240"}},"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":"Q4461769$302E7BAB-BC2B-4BA8-A349-84F6A43CE504","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c06a0f5e53153d3b680fa7470ac6aaac04b83e24","datavalue":{"value":{"text":"On bunched typing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4461769$6FCA5644-5765-4A8F-89BC-9A31508448F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a04e307d0d6915bc572700b86f3a721b76569103","datavalue":{"value":"1056.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461769$D9D2BE0C-134B-410F-B47D-B3A1541E68CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b81844c5e9f99c73e358d6863b87e72a04a34523","datavalue":{"value":"10.1017/S0956796802004495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461769$F69F89CF-CB94-46E3-AD52-B15AD0AADA8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461769$26C1DF4F-DB44-4A2C-BF9F-53DE204E39F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f2c658547352f67a9de92adfcc83c5224bfe428","datavalue":{"value":{"time":"+2004-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4461769$EDD4B717-C62C-4770-9AF9-52D1148B806F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461769$0B3F1B05-77A7-4A5B-9636-4BE01887D71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461769$35054F95-7A56-4BD7-967B-47CFFE85C49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461769$C0C2AC80-13DF-47D4-9C32-5A79E145CB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461769$126F69E6-3DD6-4523-8284-C8123004A3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461769$E7953E97-7988-4023-B87A-BD7210508E1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aad82de1e59fc2d8db95cf8bd88e8a11c57067ca","datavalue":{"value":"2064240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461769$7A7BC597-012D-4ED7-9875-1C72EF317018","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3557554998190f32c3b9dbf6c29fc20ac15c289a","datavalue":{"value":"substructural type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461769$02A5B579-FD9D-463A-9468-336D3899D9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ade5e0bc7e71c254f389a8df1e7a03e09d2d5c","datavalue":{"value":"bunched typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461769$92AAD052-09B2-4817-8D98-08C4141BA3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10b65cf16382d680caa41ab586ec588b09d441cc","datavalue":{"value":"typed lambda calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461769$155DC5C8-49BD-4C74-80BA-EB1D0686F75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109a54881d3abd209ec2b508effb831d72341598","datavalue":{"value":"typing context","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461769$3A008197-B433-4ADE-B7B0-B9379AA45956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4461769$1B2FA1C7-D152-42F9-BBED-17C472BB3309","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4461769$72074C62-A51E-4454-9201-F25E8F32436D","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":"Q4461769$0CA7CDCB-6734-41E2-8B23-4984210BCC8F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aa56a2962153a4607c89ac22377760f39b387187","datavalue":{"value":"Q56445141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461769$1B9C4413-22B0-4335-9766-AFEACBAAD7D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be4ea69bdcfcb8463b0495cd3a31f1572ffb32d2","datavalue":{"value":"https://doi.org/10.1017/s0956796802004495","type":"string"},"datatype":"url"},"type":"statement","id":"Q4461769$3DEE1F34-AD24-4654-803E-B67DE8BF9860","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13219c13cac6f72985d17a770b68c581fa93bd30","datavalue":{"value":"W1964976097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461769$4C21CAFE-E28A-4EA0-B563-C8233B1D5906","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6319244ebbbb47aafb905559a42981b75cea6718","datavalue":{"value":"journals/jfp/OHearn03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4461769$D6527345-ED3E-4145-91DE-DE1E4072AF93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266dac9e52e917611cd496eb6787e17ef4562185","datavalue":{"value":{"entity-type":"item","numeric-id":4263875,"id":"Q4263875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005d5f295843f95f88433b9722c69a1ce3e9798c","datavalue":{"value":{"amount":"+0.850810170173645","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":"Q4461769$F7504DA9-147B-4843-84C2-FDF5B74F5DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c926c8ed7ddfba6f1b01641c7789f0147d79a02","datavalue":{"value":{"entity-type":"item","numeric-id":3545274,"id":"Q3545274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd4137ba5910a08f1027b1ee964472d7f9c6dede","datavalue":{"value":{"amount":"+0.8492920994758606","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":"Q4461769$47031E65-AFD7-413E-B4D6-86A60141B0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d64560afda25ca487831391fec813ae6160195a","datavalue":{"value":{"entity-type":"item","numeric-id":4281474,"id":"Q4281474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f4518462ca289440db22840cf01eec30f8b51be","datavalue":{"value":{"amount":"+0.8000026941299438","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":"Q4461769$7DE147D1-CF4B-4218-A688-ADEB747F1BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de663ba38025b91e41a70c358cc7b7406de2525f","datavalue":{"value":{"entity-type":"item","numeric-id":5394568,"id":"Q5394568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bae1f477510b43a2cc6542e0aa4917e7013a8730","datavalue":{"value":{"amount":"+0.7757146954536438","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":"Q4461769$6D08805E-541C-46E2-B217-58C57AEBA852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417be89ccb68ad16338f37d3799a3d1b9fc7eb7f","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d54d5424eeb020ac4b2dbbc57e0a8daeda7799d","datavalue":{"value":{"amount":"+0.7413087487220764","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":"Q4461769$4259DC20-0B88-4899-A121-8B193A4C7C1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4461769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4461769"}}}}}