{"entities":{"Q5889784":{"pageid":7919334,"ns":120,"title":"Item:Q5889784","lastrevid":55447783,"modified":"2026-02-17T16:37:37Z","type":"item","id":"Q5889784","labels":{"en":{"language":"en","value":"Gradual System F"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7679906"}},"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":"Q5889784$384F11B3-E6E0-491F-AB4A-9F28A3D56A68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bad8c72e01fbb93cf19f073c0c476a57f7f1c86","datavalue":{"value":{"text":"Gradual System F","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5889784$D5F88AC6-9DA1-4E66-ACFA-A6050DCECDE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db2afd71213a347aabcde059b6a974fa0c8fd5af","datavalue":{"value":"10.1145/3555986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889784$51FFF9B1-0E7E-4C93-9789-8621635711E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f61c5c76097b65baab5dadb1fdf7e6f96ec3b28","datavalue":{"value":{"entity-type":"item","numeric-id":5889783,"id":"Q5889783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889784$016FEDC0-FE14-4293-9E46-CE310B0A680B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e6457d44600e70ff8ff6a958e93b66e247d1964","datavalue":{"value":{"entity-type":"item","numeric-id":5233252,"id":"Q5233252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889784$8CC6211C-4937-4499-BE21-3AC73E8F16CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19fabfa06536443b38e263e6eb9f1c99dcd7a5f0","datavalue":{"value":{"entity-type":"item","numeric-id":608344,"id":"Q608344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889784$D39CE871-6713-41C5-8538-67D26DD7581F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5889784$5B5B6BA0-DB61-4596-8E47-9B35128045ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74408d541e56041c0ad7c62d17b5e76afde38223","datavalue":{"value":{"time":"+2023-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5889784$8948FD63-F821-492D-ABB0-66A9E4F31813","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9925e6a542762df9e159f3f85ea7cec91db164a","datavalue":{"value":"https://arxiv.org/abs/1807.04596","type":"string"},"datatype":"url"},"type":"statement","id":"Q5889784$76C84536-5527-473C-B638-82C92DA9FF96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889784$19A05321-D4C1-43FA-BEF6-117D0A7C0634","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e481eb513977c69c1d2bac9a7be8f3d794c919cc","datavalue":{"value":"7679906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889784$8A1AD6DF-0EAC-4660-BAB7-05C76903C66A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4e0bc5faffc67d703b6981d666bbf90aefb75a","datavalue":{"value":"gradual typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889784$F4227F9B-F2FE-4872-B968-542753751032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889784$B14E0E8B-0A85-4699-B452-4F1CE7528D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5889784$53BF0718-3D21-43AA-98FF-E3DFB7E02388","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":"Q5889784$497ACB34-E226-4F73-A064-1DB5559FE860","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ee3f65ad258d20e30182cc73dcb881df0d4bb3a","datavalue":{"value":"W4297830966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5889784$5173BF82-3A13-4E50-8836-07A68AEB5D2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"674d71f6eab35454282b76a0d7e8367c31690e5b","datavalue":{"value":{"entity-type":"item","numeric-id":6535232,"id":"Q6535232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2933e90b349cd43e62973c6e1d568fad8dc776","datavalue":{"value":{"amount":"+0.8357738852500916","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":"Q5889784$6562B276-846A-420C-93F7-B010592BA65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73981eb38eb59fd0b5c5dc5b0422ae0a725913b","datavalue":{"value":{"entity-type":"item","numeric-id":2828288,"id":"Q2828288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a220acf30f3cfe364f9273cf7e47fa7edf224e3e","datavalue":{"value":{"amount":"+0.7786107063293457","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":"Q5889784$9DA0C6CB-7C6D-4AA0-A595-6514D1F0D670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cffe7062c6bcfd0f6bfaa47f0513ff55c71362fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819815,"id":"Q2819815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44bc4f98ecb6f02c056c470c313576bef2c3fcb9","datavalue":{"value":{"amount":"+0.7611813545227051","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":"Q5889784$AF08C0EA-55AA-45DD-9C08-DD91B8D4F130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d562c7168370a90bfa8dfd3309d82801b7bf975f","datavalue":{"value":{"entity-type":"item","numeric-id":5019016,"id":"Q5019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac5e8ba2753a06efc3e0ac7ce83931d473117e7","datavalue":{"value":{"amount":"+0.7536996006965637","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":"Q5889784$44374BB5-993D-463C-BDC0-A2DFFCAF703C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae68f9029a5e4c910681b12ffe21e6d6bbbe7450","datavalue":{"value":{"entity-type":"item","numeric-id":2828289,"id":"Q2828289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e388a42454a92483050e4fd4efa22eaa337f986","datavalue":{"value":{"amount":"+0.7493855357170105","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":"Q5889784$349B0314-C53E-419D-B439-BF68D9833467","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5889784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5889784"}}}}}