{"entities":{"Q1698759":{"pageid":1709500,"ns":120,"title":"Item:Q1698759","lastrevid":70796961,"modified":"2026-04-13T17:13:57Z","type":"item","id":"Q1698759","labels":{"en":{"language":"en","value":"A decidable subtyping logic for intersection and union types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6839853"}},"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":"Q1698759$BBC76EB5-45AB-4406-9603-6F8270692E67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24c445d44e126503b7267152c8f0dceeb4029582","datavalue":{"value":{"text":"A decidable subtyping logic for intersection and union types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1698759$C98EA84E-1F0C-47A9-ACD7-3C6EC984971B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d29c823e87ab1d3c0b000e390fddc144f4355e4","datavalue":{"value":"1485.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698759$75163DDC-84D1-4C84-A352-2F03C3A5F338","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c274592fd188730ed2bec03268b7ac3f2a9dca3b","datavalue":{"value":"10.1007/978-3-319-68953-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698759$532F50E8-9BBD-4636-BEDD-8C6A5B3CDD99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698759$0C168ECD-3187-49D2-A435-11ED0E535CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f0f9f06fecf77307a35dd9e625719dd263175fb","datavalue":{"value":{"entity-type":"item","numeric-id":1698758,"id":"Q1698758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1698759$C7EFE0A4-6267-4F63-8670-CEF354FF22AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"026fcddfc7ebe5ada2146aa6bcd14393afcc73e1","datavalue":{"value":{"time":"+2018-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1698759$78BC061B-54C1-44C4-9039-E1D1706E3953","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9000ec0062cbc4e4ea522118e969b42cef2fd0b6","datavalue":{"value":"https://hal.inria.fr/hal-01760641/file/440117_1_En_7_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1698759$59BC7866-4B18-4AA6-858D-29B076A5E59D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698759$6F10694F-3EAE-4634-B2B0-BB782CC81249","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42b7c6a93b4d1fddf34ecf2aa445b8da0c57313f","datavalue":{"value":"6839853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698759$21148068-8FE5-482E-9002-37C7AC901D05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d64e516a3b73421530db8e3fc0491d01445eff43","datavalue":{"value":"logics and lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1698759$058A7677-0DBA-438C-BC00-3AB668D2487C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a2d99dd366e12ee8fd608e27922f0828010815","datavalue":{"value":"type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1698759$1A912A4C-670F-456A-80AE-A488F287A583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f436a8282d0d397e3bd5ec2fa1aa32b33a3395c","datavalue":{"value":"subtype systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1698759$0D6039FB-AA90-4A85-8C69-0A0608E072EE","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":"Q1698759$2FD4CF88-47CE-4034-8A50-2C02F222C2F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd9aeca062fb5c776e1a777f8b41117fe993db62","datavalue":{"value":"W2743316118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1698759$9048A1CA-E500-40FF-ABE7-FF77B9502C99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe9e22684671de6b490667c5366106496076ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3066099,"id":"Q3066099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2a9c0fba14fb983ff3c1befb79095ff83d907d","datavalue":{"value":{"amount":"+0.8268710374832153","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":"Q1698759$071BB5C4-FB98-4673-948A-FD14FEC171B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843dd023fef806969b5b822fbbbdfbd02483bfd6","datavalue":{"value":{"entity-type":"item","numeric-id":4474829,"id":"Q4474829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87efff57cfe571cc6e776e797a74bb3b991080fa","datavalue":{"value":{"amount":"+0.8042595982551575","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":"Q1698759$FEC0F8AB-2523-436C-AC3A-BDA6566641A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790897a634ff228c62345ebe53e81490c04b6b06","datavalue":{"value":{"entity-type":"item","numeric-id":598199,"id":"Q598199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2adfbfbc742553786b4f083642e147d9cc6a5eaf","datavalue":{"value":{"amount":"+0.7992044687271118","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":"Q1698759$8A53B0B1-464A-4753-8FA6-076BC4328346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81249822ca9f84e1177c7483b73865ca053b66c","datavalue":{"value":{"entity-type":"item","numeric-id":3179292,"id":"Q3179292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f197ec172fd5e7206034b13d7cca6cff5ab88a17","datavalue":{"value":{"amount":"+0.7925307154655457","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":"Q1698759$26A6340B-04BC-4A58-AF62-3F29B0DB9806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b65cd5c5585f465ed8a880fa1acebbb85338c0","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae36ab3cc9a6852e9a4acedfff6a49fba8d04c6","datavalue":{"value":{"amount":"+0.7789551615715027","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":"Q1698759$EA2C50EF-6923-4A9E-8075-D3B355C59758","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decidable subtyping logic for intersection and union types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decidable_subtyping_logic_for_intersection_and_union_types"}}}}}