{"entities":{"Q3086726":{"pageid":3097441,"ns":120,"title":"Item:Q3086726","lastrevid":51217754,"modified":"2026-01-17T07:20:32Z","type":"item","id":"Q3086726","labels":{"en":{"language":"en","value":"Intersection type system with de Bruijn indices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872219"}},"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":"Q3086726$9479F06D-B1EA-4C2E-B173-DAFA04A72AC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f03716b1979aef4325c3e7f798babae205d26483","datavalue":{"value":"1226.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086726$D703CDBF-BCC5-438D-B402-4C281E03B13F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0039c5621955bbc74d242640f4d66a8ecad290b3","datavalue":{"value":{"entity-type":"item","numeric-id":1643144,"id":"Q1643144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086726$D678EA45-165B-429C-856B-A7E916AF64D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086726$FF9C302D-0B9E-4CB8-A74F-D13845AFE3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086726$31C6B12D-66D6-4975-9772-24148759AC5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086726$15E0C57E-0C0C-45A4-87D6-F594F123A313","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086726$4EE61BC5-A32C-45BE-AAFD-455CE8F7EE1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4abc7df36e14cbdefe3f420309b8f9a4f0a35b26","datavalue":{"value":"5872219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086726$DA14F28B-4C23-4EFB-AB64-7A059F3F5C32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086726$1DFCC4D0-1A34-43CB-907C-5B3478DE564B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89cb408bc23879b8ce7f2928997e56654e1969d9","datavalue":{"value":"de Bruijn notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086726$5CB3BEBE-27D8-4AF6-8FD7-A1202D75CB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f32d1c56db34fc2c85affdd81adea5d6a70b8b9","datavalue":{"value":"intersection type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086726$CF786578-DC28-4CF4-825A-BE629F0BAD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28b5cb4cae7b1e9b68b6174186472709a7103c91","datavalue":{"value":"subject reduction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086726$F170E700-3D65-4BC2-943E-54512E663457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d555645b6a287f1e62ba234f703f3d29da775eca","datavalue":{"value":"free index","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086726$1A43C55E-3F29-4021-BEC9-1B18E6AACEBC","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":"Q3086726$0A6A5E1F-FD54-4994-B529-2E09E6FF426B","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":"Q3086726$4C16D47A-9289-4F4F-80CA-EAFDD0C4A981","rank":"normal"}],"P1643":[{"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":"5827b71ac76257f1b8a9bd6c6f1a85de3ae69065","datavalue":{"value":{"amount":"+0.9287147521972656","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":"Q3086726$98FB6DF8-8DE4-42DF-BD9F-9D4F76434B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df9c4293ca534238a6d886f126bf0cbb3b6027dc","datavalue":{"value":{"entity-type":"item","numeric-id":4644515,"id":"Q4644515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2516109fb9679427f63f62633d65a02688ccb483","datavalue":{"value":{"amount":"+0.8916929364204407","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":"Q3086726$68173400-BBED-4CCC-8082-30636D752C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c600efe4f58f1e6a12d345b86d99f8295fffced5","datavalue":{"value":{"entity-type":"item","numeric-id":1887145,"id":"Q1887145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a52b57fcb419f1ccbe17d53ffd9c13d3b93610","datavalue":{"value":{"amount":"+0.7864688634872437","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":"Q3086726$A7657DC6-CB1F-4579-9792-4CB568E3FDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f160c83ae24d405c81d6382e6a9adacae3758c48","datavalue":{"value":{"entity-type":"item","numeric-id":4222186,"id":"Q4222186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba7a6439bf76074865c40b5d510aac7dad0c2425","datavalue":{"value":{"amount":"+0.7823339700698853","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":"Q3086726$85AAED1A-E725-475E-9826-BC9491B4B68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7966d37cf45feb9f02ddf1884e5ff95d56ca176c","datavalue":{"value":{"entity-type":"item","numeric-id":2752527,"id":"Q2752527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a486e8f8b2fc1f608fc1b2ae6c708129616f9a4b","datavalue":{"value":{"amount":"+0.7736337780952454","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":"Q3086726$D3DF4E38-A83C-4775-83AB-4D24FC6C42C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086726"}}}}}