{"entities":{"Q6622073":{"pageid":14233230,"ns":120,"title":"Item:Q6622073","lastrevid":55773994,"modified":"2026-02-17T22:33:24Z","type":"item","id":"Q6622073","labels":{"en":{"language":"en","value":"A quantitative version of simple types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7929344"}},"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":"Q6622073$E1C3BE33-FB45-4C35-BD83-1FFB98B36227","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b08f59443ac3472a7cdac6f395f7d37bc1dd526b","datavalue":{"value":{"text":"A quantitative version of simple types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6622073$AD9474B1-3BEA-428F-8940-4B28A1147723","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2439ef1b6504f87c8e97e1c8f18dcf5a0b16631f","datavalue":{"value":"1548.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622073$3C3C90C8-91D0-4A08-AEB2-C7D586CD8A49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8766ddb66c7eeac41e21e64ba8494ab058fde38c","datavalue":{"value":{"entity-type":"item","numeric-id":6622072,"id":"Q6622072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622073$FAF3613B-1262-42F8-9242-A468AAEC0857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622073$AC20B138-9AF3-4370-9F3C-B014230CF137","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac889730097a55c61339de7e6de152e6be5788f0","datavalue":{"value":{"time":"+2024-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6622073$CEE5E425-522B-4885-B22E-680CA24ABC01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622073$217F7621-19F5-42C5-A2CA-53DEE58048E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622073$DA389885-6251-4CB0-A3B0-25C35B968B43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56369b6f4d4961a3bf68939b5baa5770200f98c9","datavalue":{"value":"7929344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622073$44159110-BA98-407E-A9CF-44C5CACD3F5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622073$B4166422-0113-4E4F-8BBE-69ADCC346073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622073$E029B2DB-CB88-4EA5-8FE8-083F5E8EE319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622073$8169BA2A-9FD4-4272-91B6-8F987420A68F","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":"Q6622073$80C1CA6D-01AC-4B6A-9A5F-27174ECD79D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf38b4cf0d50473dab4e5254d1cc6ad9fe94cd0b","datavalue":{"value":"10.4230/LIPICS.FSCD.2023.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622073$B222A490-F97C-4D0C-AE49-C564360F8C41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab7212fc42d948e8b9fd1fb20698df1a33ab685","datavalue":{"value":{"entity-type":"item","numeric-id":1107514,"id":"Q1107514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca1d90ade4db723c548f8ee435f817c5d0c24ba","datavalue":{"value":{"amount":"+0.7469387054443359","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":"Q6622073$7A151880-6063-4E75-864B-C3D28CD90A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ad3ae406a2c925ed49825c3d6fe3596eeddc94","datavalue":{"value":{"entity-type":"item","numeric-id":1900315,"id":"Q1900315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f91d87c97b04e77b06d10a34c093064d507cff4b","datavalue":{"value":{"amount":"+0.739940881729126","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":"Q6622073$8A9FD27C-C3AD-4183-818C-31EED1B3AE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"643e88ac45acaa5f20d3c9114507259e607a2158","datavalue":{"value":{"entity-type":"item","numeric-id":5076057,"id":"Q5076057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f2d6625b0ef4e34acb018b8b31214b3b9b29302","datavalue":{"value":{"amount":"+0.7344432473182678","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":"Q6622073$C9F46B43-86D9-4EE8-A55B-23413BCA4635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71a47313e52689bd82659478855df7b5ba59372","datavalue":{"value":{"entity-type":"item","numeric-id":3190169,"id":"Q3190169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808bbcc19036076c9a7f3e08bf3978f81e029631","datavalue":{"value":{"amount":"+0.7269414067268372","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":"Q6622073$1B4B5F77-8FD6-4A1F-A547-D16AB642AE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8f53d75f629cce13a593638c9ef9ad4421e37f","datavalue":{"value":{"entity-type":"item","numeric-id":6079229,"id":"Q6079229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3f90a145d00fce360fb415f7e4a81042e5ffd8","datavalue":{"value":{"amount":"+0.7250564694404602","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":"Q6622073$A6843427-9290-4FCC-949B-043D636D3B56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6622073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6622073"}}}}}