{"entities":{"Q4903719":{"pageid":6933298,"ns":120,"title":"Item:Q4903719","lastrevid":51637772,"modified":"2026-01-19T04:56:39Z","type":"item","id":"Q4903719","labels":{"en":{"language":"en","value":"Intersection types with subtyping by means of cut elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6128571"}},"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":"Q4903719$08D21B8C-C9A2-462A-AEEF-39B2FD834EAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"873ef391407fb5962bdad8fce0a2292727bdebf2","datavalue":{"value":{"text":"Intersection Types with Subtyping by Means of Cut Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4903719$7638C67C-E597-434E-8E37-13F503B1C1C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c60ed59bd2824c0839a29cb5018f03b65d020d8b","datavalue":{"value":"1408.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903719$7844E339-9CE8-4933-9F22-FD05DF5E2208","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33d6ed24eda3b99f59cdd8114e4a37fc458a9958","datavalue":{"value":"10.3233/FI-2012-776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903719$D865B5FC-5ADA-46D2-AB1F-7680694C8096","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f594722cafe5ce1c947afb897f11796df18378c5","datavalue":{"value":{"entity-type":"item","numeric-id":556823,"id":"Q556823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903719$4E83B37D-487D-4730-A61B-01B04E7FA43D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903719$5D89AEF6-919B-464C-8704-6A868118F1C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97efcfeb60ae9286fe58dffb6ddf031782f90aea","datavalue":{"value":{"time":"+2013-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4903719$CA1784D9-457D-45EC-8EE2-02342261C92E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903719$C8A35061-84BD-4E18-88F0-DB5B309EF667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903719$5D917F81-1FA1-49AE-BAF7-F9673A37A589","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"138b79e4b51ef84442e565a23457b7d715ddafab","datavalue":{"value":"6128571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903719$14450D45-D979-40A2-92B2-7B532BA652D4","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":"Q4903719$2BA86F97-9EDB-4D36-9E54-7700B2D37F2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c673a3d537c6e04dca27ee2d532c6a0562739bd","datavalue":{"value":"https://doi.org/10.3233/fi-2012-776","type":"string"},"datatype":"url"},"type":"statement","id":"Q4903719$5B61F04F-6A5E-4336-8FE5-3D7BB1721C47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10fb5273739f67a754574948ae157f68b9ad2574","datavalue":{"value":"W1548925708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903719$9B974724-2B5D-44B5-8466-499BD6CAC189","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5d28de028723d2caf4c19d0c6246642a08098c","datavalue":{"value":{"entity-type":"item","numeric-id":5076061,"id":"Q5076061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095d9d8674776b491786a1aedcd63c07fa21e626","datavalue":{"value":{"amount":"+0.7871331572532654","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":"Q4903719$DD6E452E-F577-44F5-9A89-05642E8726F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644e7042bef4bfdb633cd69118845dd209ab9ff2","datavalue":{"value":{"entity-type":"item","numeric-id":558418,"id":"Q558418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3afc75445ddb7631912d80123ceb32e41679249e","datavalue":{"value":{"amount":"+0.7720218300819397","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":"Q4903719$B5173526-7C58-4436-84E5-131C8D7B0CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0432942668837dbbf6b6329fb3fadb288681a06","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d24211038871d5ad7a8dcbddffc773881b6441","datavalue":{"value":{"amount":"+0.7709152102470398","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":"Q4903719$E21E5841-FAF4-43C7-8F1B-4B048141CF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a609ae220d0a546b34a117528a953137cc7925e","datavalue":{"value":{"entity-type":"item","numeric-id":2842832,"id":"Q2842832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f44bd5338f101bbfcc428e6c154bb19ff716a48","datavalue":{"value":{"amount":"+0.7691795825958252","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":"Q4903719$15CA6218-1303-458A-B7A4-D7896A98E81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87464adade447c44c86ffcc5952f1b3510939077","datavalue":{"value":{"entity-type":"item","numeric-id":4699351,"id":"Q4699351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4089f0ed54a01e43735075233ade36e9260ce67f","datavalue":{"value":{"amount":"+0.7680051922798157","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":"Q4903719$25558258-4C5C-4DB1-B0DD-900DE95DD477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4903719","badges":[]}}}}}