{"entities":{"Q5408397":{"pageid":7437971,"ns":120,"title":"Item:Q5408397","lastrevid":51972017,"modified":"2026-01-20T16:09:18Z","type":"item","id":"Q5408397","labels":{"en":{"language":"en","value":"Polymorphic functions with set-theoretic types. I: Syntax, semantics, and evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282408"}},"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":"Q5408397$DE619807-759E-4852-947A-E19B79859E9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93900c1577da1f814ed1144dc37fb369de99b2bf","datavalue":{"value":{"text":"Polymorphic functions with set-theoretic types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408397$9D8DECDE-C52E-4BF2-9A2D-20B5C534540D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"663538e6605a6331c2e16a61a9b6d1a96f10e2c1","datavalue":{"value":"1284.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408397$04C4F534-27C1-431A-A1C8-9388210B2DF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b88e7e973f56a2c3cf2f34f2d6cbd4b9505e4c7","datavalue":{"value":"10.1145/2535838.2535840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408397$ECC0FDE2-B7DD-4CD7-AA48-EE6A387C420E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408397$FD2FA149-6D3C-4C46-8018-793ABEE379E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408397$4A83594A-EC2E-4719-BDA3-157B20635CC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408397$B74F3A90-BA51-4EE7-8F3B-242803E50F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408397$1EF2E176-BEA4-48C1-AA89-016846FA176A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408397$9391745A-B2E1-48A1-BB3E-149CE8C2D403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408397$49F43F2E-7EA4-4604-AED1-807CD9E2D855","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9790e5c862edda64befa5e9d321b99d76ddba3bf","datavalue":{"value":"6282408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408397$0CC77CFB-EDC4-416D-AC48-CC8DCE207D13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408397$282ED833-018E-4263-9376-D2CAB4BAE9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408397$0DC33CF0-E495-4E9A-8673-ACE234850883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408397$D41C6FBC-C225-4F0C-8C70-6B7FD2FB05F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"557fc20e1cde6db6856c52912c38558653037ec5","datavalue":{"value":"XML","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408397$03CC589F-23EE-4C46-AF23-FDAA20DB2722","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":"Q5408397$084DB1BF-678A-43DB-A59A-1C8069422C75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e3fc8f73b345f8f32e79104cc850ffd83796fef","datavalue":{"value":"https://doi.org/10.1145/2535838.2535840","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408397$487CD4D1-4249-43F1-B705-7D90A23939D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa6017835fd4c97873145664fddc08259d0c7295","datavalue":{"value":"W2047304692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408397$61EE1C6B-0D12-42C6-B332-C7A9C7CD1D92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b77e8fe7bb18dd466f27dcef230524312217bcb9","datavalue":{"value":{"entity-type":"item","numeric-id":2819814,"id":"Q2819814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5b27872adc0827f2756de1273896a516e73810","datavalue":{"value":{"amount":"+0.8987094759941101","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":"Q5408397$04AD6680-792F-42E9-B997-976ED4CEF52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437e8475196b1c74558309143d00e154b4d71f60","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41ad0b3bbf676e1890b3edebbd4e8f5a44eb375","datavalue":{"value":{"amount":"+0.7536904215812683","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":"Q5408397$1B0BCEA4-6EBE-4E5F-9BDA-197B576CA196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53facd2fa443e736e0cad757fe7e0f6d3112630d","datavalue":{"value":{"entity-type":"item","numeric-id":3768870,"id":"Q3768870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75a7862c1505c59d038fd52910c27933fb0f481","datavalue":{"value":{"amount":"+0.7245572209358215","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":"Q5408397$3CA512F2-F912-4642-B30B-307513224B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a91cc1d182e9944d5936b6a2e2755856fa52c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b719fa0fdca519e8ac9a980fe4f0444b789d132a","datavalue":{"value":{"amount":"+0.7228307723999023","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":"Q5408397$4FFC28D9-0D44-49A8-93D9-66006D330403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f3f863dc289fa127e67d8d78d471ba85479bab","datavalue":{"value":{"entity-type":"item","numeric-id":4542147,"id":"Q4542147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a2f5f4b51df12930ed49fd18c138e9149895bd","datavalue":{"value":{"amount":"+0.7207807898521423","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":"Q5408397$0300FE73-459D-48D0-8668-0E447B024CA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408397"}}}}}