{"entities":{"Q5370899":{"pageid":7400473,"ns":120,"title":"Item:Q5370899","lastrevid":52934276,"modified":"2026-01-23T20:35:14Z","type":"item","id":"Q5370899","labels":{"en":{"language":"en","value":"Intersection type calculi of bounded dimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794685"}},"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":"Q5370899$DE58C32A-CAF5-4461-8CF4-08FE22AA4A2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ddc458725b177571590895e6e485e7a6e7aa0cc","datavalue":{"value":{"text":"Intersection type calculi of bounded dimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370899$599BF0C8-2014-4FDC-B4F6-37EC32D70C76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b7c4ea40f35c7ca83af70ecd33f79215d01ceb9","datavalue":{"value":"1387.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370899$2BA4CA93-9EE4-43C4-883B-FCA0918462FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71bb3364cc9ff2fc7087e14e949d2f5b806d0582","datavalue":{"value":"10.1145/3009837.3009862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370899$3F003464-EFE1-4F99-8128-4EDC163F6E81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5ce65c56afa1906ba893a540ec6c1d1df610eeb","datavalue":{"value":{"entity-type":"item","numeric-id":4637690,"id":"Q4637690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370899$CE49C5C3-CBA9-4AC5-961F-B429C074A168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cc3e39d72e1956b65012dbfcf84931423e35849","datavalue":{"value":{"entity-type":"item","numeric-id":1351997,"id":"Q1351997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370899$496E754B-8855-4C25-A0D3-E626F90CCCB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370899$076F4D87-31A3-452C-B26D-1AB0C384C235","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370899$40FADF0A-1B0C-47A8-923E-8ACBEBFD8320","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370899$594BB241-0048-4663-8B82-985C451FD763","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2aef5b7ae2c91c8937502b58c4ef1f513c7231ce","datavalue":{"value":"6794685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370899$07FAB6F0-6C1D-4F0B-80F6-AD2A1C61131C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370899$AD12E6A4-04F1-41AE-B0CF-5610200B802E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12355c9b78ede2442581ca549fff86d783aecc48","datavalue":{"value":"inhabitation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370899$CF4EE9D3-9F14-4A97-9E3E-880908715167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370899$729E05AA-86DA-420D-BB26-D52C8E7CE345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370899$1F69D7F6-E9EA-4D1D-800F-46C11C17C45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf512153f10493a864e579d21839e22d919f993c","datavalue":{"value":"non-idempotence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370899$D04D7122-F023-47DD-A3AA-AB6B4E78BC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370899$C3E29FC3-BAD4-4673-877A-DAACBEC7EB25","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":"Q5370899$078E15A3-8FDA-462B-B610-7CCAD2640145","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cde494d278c2902fabee1fbf2af474830f76dfc","datavalue":{"value":"https://doi.org/10.1145/3009837.3009862","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370899$3801FB21-138C-45C5-8050-08ACA50AE937","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b61a2e43e71cdc4ee8902a98a8eba57aa9be4a1e","datavalue":{"value":"W2561623690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370899$8D1028C4-F606-4D34-BE0C-8A4D016D4B4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d35786fd08a9242e9eab406282d1e346224641","datavalue":{"value":{"entity-type":"item","numeric-id":5144674,"id":"Q5144674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d892c452223322613f17c0a52567b3b39aee6f35","datavalue":{"value":{"amount":"+0.8632669448852539","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":"Q5370899$5EFA719C-0058-4BEA-B424-6D1022A734AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946284c3d0a595dc898fc6a53e1159ee3b8480e1","datavalue":{"value":{"entity-type":"item","numeric-id":4580327,"id":"Q4580327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455544d3cad0072f7cd56c420d3a25caf9e2d7ce","datavalue":{"value":{"amount":"+0.7856923937797546","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":"Q5370899$3912880D-38D2-4922-A1C2-FF8934D8D7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7055a05938c354e4ad8f49d58e8cbc238c8677a2","datavalue":{"value":{"entity-type":"item","numeric-id":3637206,"id":"Q3637206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2fc3adf427c8fda70307bdf19db3de0d39aa388","datavalue":{"value":{"amount":"+0.7770583033561707","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":"Q5370899$9DEA41BC-F33F-4D0F-B16F-AE6580871969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a228a4d8100a6da1e695652c701ca5d4fbf502","datavalue":{"value":{"entity-type":"item","numeric-id":3190172,"id":"Q3190172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc3e8d922e84546e5db12a2cdf6f1647b6a3867","datavalue":{"value":{"amount":"+0.7655150890350342","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":"Q5370899$FBF38338-F7DB-4DC8-9762-0704450ADE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f8bb4a8b1e009f66cc6997f3c7ac21bda5fffa","datavalue":{"value":{"entity-type":"item","numeric-id":3612635,"id":"Q3612635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12f804ffbd1f06f90c6d21ad0b92ce973789599","datavalue":{"value":{"amount":"+0.7630004286766052","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":"Q5370899$2E30EE1F-39EC-4B12-B493-EC1B2317E69F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370899"}}}}}