{"entities":{"Q2949198":{"pageid":2959918,"ns":120,"title":"Item:Q2949198","lastrevid":85395542,"modified":"2026-06-03T07:45:12Z","type":"item","id":"Q2949198","labels":{"en":{"language":"en","value":"Modular typechecking for hierarchically extensible datatypes and functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6491302"}},"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":"Q2949198$A17FD2E8-9F96-4AE3-ABD0-1ED803A6457D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8483f608bfe05cecc86ae044ed4f2b86cc4cc74","datavalue":{"value":{"text":"Modular typechecking for hierarchically extensible datatypes and functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2949198$70C1077E-A579-4172-A864-7A17316702A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ae1b3c5edb8dcf4273128d5d6ce772ac01ed9a9","datavalue":{"value":"1322.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949198$8DE6249C-A133-474E-93C1-45B101B1C3E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7214a1b38a03e8ea469865b02288b667402e2c7d","datavalue":{"value":"10.1145/581478.581489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949198$92C12F67-A2BC-402E-928E-6FF83BCD26AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c1081360ab26afc25516434bb090f38d713a81f","datavalue":{"value":{"entity-type":"item","numeric-id":703851,"id":"Q703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949198$122D9F73-8A6D-4E0E-8385-65BCDEC2DFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e27ac0c0a7db90f6cd0206b210796e91b0d9d97","datavalue":{"value":{"entity-type":"item","numeric-id":2949197,"id":"Q2949197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949198$A98DF8ED-D115-4A49-BBC4-355400ED0B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5593e3c6e103e1310aedc4f15d71222fc9758eb","datavalue":{"value":{"entity-type":"item","numeric-id":1398669,"id":"Q1398669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949198$BDCB1717-9251-4B45-AB72-B61233FD460F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0ff6c8c606e0505c72a89b79dd6eac67f258031","datavalue":{"value":{"entity-type":"item","numeric-id":2949185,"id":"Q2949185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949198$DE48D6D1-18B9-4592-8D7F-8A1AC629E955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"388a42d0e99a3473a403c82b3d4a19525d2c5416","datavalue":{"value":{"time":"+2015-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2949198$7F82754E-26B9-47BD-9E11-A4E8D8C329EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eff9c2497b43bffdbd3f2efc71a9fd6498124057","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.3517","type":"string"},"datatype":"url"},"type":"statement","id":"Q2949198$1BC593DE-C003-45A8-857B-E0688808BBDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949198$3E54C686-8DAD-44ED-9446-2666F706E9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949198$ACADE511-F36E-4089-B9BD-D8A26463C59E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b14d50ad8c0789b10862defba89c95efc8645ebb","datavalue":{"value":"6491302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949198$187B65C6-BD1D-4E15-84E6-5E5D2E281BC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01e33e3dc64dbe406376e12a34ab7326586607c","datavalue":{"value":"extensible datatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949198$A37CD5BC-F9BD-4E20-A76B-AC9FB43C9427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2a4a9b672b5b850912fe136c91c00200ed6676d","datavalue":{"value":"extensible functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949198$568B562D-D305-48C2-A420-85BC4F4AD99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b27bdff77eaa86413c81890130692ff7083ad70e","datavalue":{"value":"modular typechecking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949198$9EBEC0E2-BDBA-4D82-95FE-48A19AEE9413","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":"Q2949198$712AF23E-2EA9-46E4-8039-0203C8F76FD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"812d5c16dd75a82ffa70e1fb66600f92e00976ae","datavalue":{"value":"W2147044763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949198$7B05D9C1-8D05-485F-9A61-ABE5ADF046D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da03e2c5e21e80fd4afed36467d44d284fe7d223","datavalue":{"value":{"entity-type":"item","numeric-id":699925,"id":"Q699925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7abaf7337da572eaa19ad75e4c60bb637abec695","datavalue":{"value":{"amount":"+0.728500485420227","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":"Q2949198$CCB2C37B-C153-46BE-BA06-2AC5F2D1FF98","rank":"normal"},{"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":"5526d01abfdf69efa4a93be0af884703ad733173","datavalue":{"value":{"amount":"+0.7133066654205322","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":"Q2949198$1885934E-22A6-48C2-BB5D-04A5A9FA94B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce1248f1cdceed1a9253fd41661cff94b5447f64","datavalue":{"value":{"entity-type":"item","numeric-id":4855342,"id":"Q4855342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6689f48f3b941731bed78588d7d5933e810e0cb0","datavalue":{"value":{"amount":"+0.7057536840438843","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":"Q2949198$4F780BC6-FFB3-4479-AB6A-5BDB0162FD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41af04f78c69a9f48ccd9f18acbf983ee5e3788f","datavalue":{"value":{"entity-type":"item","numeric-id":2375744,"id":"Q2375744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6e8eaaa7b32301a91ce7de54f9c8e587172e1d","datavalue":{"value":{"amount":"+0.7003636360168457","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":"Q2949198$3A5F0820-09EE-4269-BCAA-2E01AA8331E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"643e3a0e5fbec161979df2a7dd32e8c451fa16ed","datavalue":{"value":{"entity-type":"item","numeric-id":4364382,"id":"Q4364382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4c12b27dda56b221b78b7347ef0012c14d0c9e","datavalue":{"value":{"amount":"+0.6911292672157288","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":"Q2949198$00C3BE32-EE88-4842-B041-AE109F0C719B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular typechecking for hierarchically extensible datatypes and functions","badges":[]}}}}}