{"entities":{"Q2817692":{"pageid":2828430,"ns":120,"title":"Item:Q2817692","lastrevid":52611236,"modified":"2026-01-23T02:37:48Z","type":"item","id":"Q2817692","labels":{"en":{"language":"en","value":"Complexity of kernel fun subtype checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6621869"}},"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":"Q2817692$13225A25-3964-4AB6-B18C-D4AAC361154B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a15ccf6740dcee7137ec6bfdeab901037056ddbd","datavalue":{"value":"1345.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817692$8F345CAB-5A4C-4CD2-8404-C47716FEC839","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"409f5b0a282d227d65a198a14e0c1ec2585a3f6d","datavalue":{"value":"10.1145/232627.232643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817692$2855290B-0D76-44A4-B9EA-2BD008C37E72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"56de9e9bca7125adc33acdc48ab4e849a600dbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2817679,"id":"Q2817679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817692$4ED9E20D-9216-4539-9007-F8E34DF03ECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cb1dfb644827a2862c7d97faa24a24e858feb59","datavalue":{"value":{"time":"+2016-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817692$0025C1CE-E160-489C-ABF2-0ABCC95E7FA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817692$4148775E-194B-43E5-B677-64F906C1FE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817692$EF5A0669-0CA5-48BA-8DD5-5E9500F757BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817692$8CB4EEDE-4D31-410B-B52B-0D012E435D68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7110e7bb0d3d026aca8245359b2d57673527027","datavalue":{"value":"6621869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817692$DA33E7A9-A4E2-4D35-A1B7-C7B11320FA6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817692$188EF46C-3907-4D6C-A4B6-8D7BE3189F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817692$70A10514-EB65-4DA2-8E41-510AA2F8B9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817692$788B4B17-E4BF-4E0C-A9BF-DE986DDF001B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2817692$6AD1B8F7-A8A0-40A3-B28E-D33146DD8C2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee23461be9262b029750fffafa71dd9be63b3f19","datavalue":{"value":{"entity-type":"item","numeric-id":673965,"id":"Q673965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817692$B1B4E1D1-A3C3-4A31-9B99-8BDD67FFEC85","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":"Q2817692$7C1F3499-E2EE-4FB8-9E7C-38AAB12C4688","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8eb72333c0e504de0a323f9398ee6d8e568591f","datavalue":{"value":"https://doi.org/10.1145/232627.232643","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817692$45E883FF-CC15-4B09-B565-235FB597DBB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3560b5a5156b7a39dec987e825a8d102163ddd8","datavalue":{"value":"W2029530526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817692$8995D245-0B93-4B68-A94E-E269609BF3C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f2ec3520e02f2dab6a815266338a770145bec3d","datavalue":{"value":{"text":"Complexity of kernel fun subtype checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817692$53F29865-9929-4F12-85DC-D1C5E125905F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb809402d697e2121d3f8072f5a8d478fae64b0","datavalue":{"value":{"entity-type":"item","numeric-id":1780453,"id":"Q1780453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9893ec46714826706772535964da18f1823cbcc7","datavalue":{"value":{"amount":"+0.8471323251724243","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":"Q2817692$947695A0-DF44-46B6-8D0E-1279424FBA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5c49e676c41aa5ec4011d82699145efeda181","datavalue":{"value":{"entity-type":"item","numeric-id":1392282,"id":"Q1392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4537640a42595fa3970c950d72813ffa337c9ee6","datavalue":{"value":{"amount":"+0.7354219555854797","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":"Q2817692$5C4DD19D-89D1-4BEA-8AE7-85DADEE01F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d91df6876d18efe8160d4b788d4be02a841cfc6","datavalue":{"value":{"entity-type":"item","numeric-id":1275620,"id":"Q1275620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02882121f7c638cd52deafcbbbe035593a121da8","datavalue":{"value":{"amount":"+0.7250896692276001","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":"Q2817692$1CE38B40-5407-42D2-B590-FEFA8F44758B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f377d2f7d8286c8518da236cb0e22f6899cbe4be","datavalue":{"value":{"entity-type":"item","numeric-id":4893144,"id":"Q4893144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f748897d93020563298b56ce09572c6a6536476","datavalue":{"value":{"amount":"+0.7206029295921326","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":"Q2817692$F388550A-A516-4ABD-8E41-EAF67D9ABBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c127b10b18405ca7725e84c82dec07d8ae6e87b","datavalue":{"value":{"entity-type":"item","numeric-id":4263803,"id":"Q4263803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2c2fa2651e63ff02f981ef6e91773bd6f577ac","datavalue":{"value":{"amount":"+0.7194410562515259","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":"Q2817692$5A79BF27-1B82-4624-A1F5-D28FD28A83DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2817692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2817692"}}}}}