{"entities":{"Q5176955":{"pageid":7206527,"ns":120,"title":"Item:Q5176955","lastrevid":52217297,"modified":"2026-01-21T04:31:06Z","type":"item","id":"Q5176955","labels":{"en":{"language":"en","value":"Instance chains: type class programming without overlapping instances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6411525"}},"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":"Q5176955$CBE7F6D2-5BA0-4467-80B0-97FC612CAF3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65788a81c4bc77da4586c6e439e1260a274a97c3","datavalue":{"value":{"text":"Instance chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176955$95337111-5918-4D2C-A7C1-512DDB744789","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a1e5d3c5527936576aa2646a7afe8432ef8ea48","datavalue":{"value":"1323.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176955$B4AD20F8-01EE-45E4-BAC3-AEB9709CA675","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa402eb6adddc86d5055e02aa6fe2f1db9f99f98","datavalue":{"value":"10.1145/1863543.1863596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176955$33C29ED0-DAD3-4460-AA52-C4F84415E08F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0b97ffa7e66068c2ee34b651733cf0607f665a1","datavalue":{"value":{"entity-type":"item","numeric-id":2802454,"id":"Q2802454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176955$89F610F2-DC2B-4E0B-895D-1FE2BEBBA777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5031863dcb8d71426f6b6bc935b539c3deede474","datavalue":{"value":{"entity-type":"item","numeric-id":1330434,"id":"Q1330434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176955$56871313-106C-469F-8E1B-1E76D2C5D42F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ad4e875ccd1e6c6f86462b1107e4f6725f974a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5176922,"id":"Q5176922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176955$3E3F69B7-09BF-4D61-9874-BB8B1EDD3B12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4f9d2095479a9188a341ba64fac456535929036","datavalue":{"value":{"time":"+2015-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176955$06C5335E-540F-41A3-B884-FAE59C569953","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176955$CED847B6-7D73-4DB2-9E1F-F4062037FD9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84b7cb2df8e1b25aed48687b3a22aa58c8aaf2a6","datavalue":{"value":"6411525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176955$3E587C9F-EC31-409A-9614-63EBC264435B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0909ed8d265ff46b4078ccca41131010327b116a","datavalue":{"value":"functional dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176955$434F0FE0-B4F1-46A9-BFB7-FA00D847EFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176955$7E10F3F4-EEF8-4667-BCC2-EF9C49E9576A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce084b3b27a41ad3188412d949934b61dd376a59","datavalue":{"value":"overlapping instances","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176955$D83E92CD-E282-4578-94F0-F1D56B7B47A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba71a6cf246e70cfeb08f640c3f77fa519b71c08","datavalue":{"value":"qualified types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176955$DFB6F4AD-9315-4AB8-A265-7A42545253C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff33796796e98480bd831c12f8abdaa6ed1568ba","datavalue":{"value":"type classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176955$97130606-81C6-4542-97E9-BE2E1DD48171","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176955$AE515222-C2F8-4FBF-86C3-C2F887448F86","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":"Q5176955$87D6CC6A-BD26-4896-A073-4CB41927D727","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ac80eaf1c8616db10be641dbd819df2b869bb19","datavalue":{"value":"https://doi.org/10.1145/1863543.1863596","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176955$DE09CAC6-B2B0-4911-8F24-4A095E5C80C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc4a10232f8357dfe54046a5f0ed77ea5840da2e","datavalue":{"value":"W2015617966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176955$7954B471-04C5-45B8-838D-18BF588FA0C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb7db4efc61f09b95c618001bb9b6c4fee12346","datavalue":{"value":{"entity-type":"item","numeric-id":3189786,"id":"Q3189786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bcfe421294bc5fd4bec24043d2446c1cf929192","datavalue":{"value":{"amount":"+0.7630321383476257","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":"Q5176955$EF1BE941-3567-4679-9A3A-34F848D7EEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0805e9ba1d87120caefaafb8bf345dd63dc71dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4850163,"id":"Q4850163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f106dc73b7584c9136b517d55df6a3fc1bb919","datavalue":{"value":{"amount":"+0.7630022168159485","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":"Q5176955$D498E656-A4FB-434D-B161-25A1E611F7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e019d82ec0bb77a4797d685250c821a352fb87e1","datavalue":{"value":{"entity-type":"item","numeric-id":4836019,"id":"Q4836019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ad4c63f0272a1d1a3bc395611a35bab69dc2c9","datavalue":{"value":{"amount":"+0.7622616291046143","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":"Q5176955$8B84E339-13A7-4467-A0BB-56D516D1BA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e61c7096e15c812052470f147ea57349e04981","datavalue":{"value":{"entity-type":"item","numeric-id":4921511,"id":"Q4921511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581c4ef4c48321b62da2f0a4a24939e8c9a8b7f7","datavalue":{"value":{"amount":"+0.7497497200965881","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":"Q5176955$34D36E0D-3FBE-4CDC-B7F2-91B1CB5AB2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1d693ede0292cd3f4a921a8c37f98e81015bb7","datavalue":{"value":{"entity-type":"item","numeric-id":1330435,"id":"Q1330435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a02e213561f1d047e53a7a8fd6a3fdde572c6992","datavalue":{"value":{"amount":"+0.7353135943412781","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":"Q5176955$5532DABE-BB01-4394-8AF8-3C3A3064C677","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5176955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5176955"}}}}}