{"entities":{"Q1854436":{"pageid":1865178,"ns":120,"title":"Item:Q1854436","lastrevid":69361401,"modified":"2026-04-13T06:29:37Z","type":"item","id":"Q1854436","labels":{"en":{"language":"en","value":"Dependent types with subtyping and late-bound overloading"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853182"}},"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":"Q1854436$0C52EBA8-6139-4C14-81E1-343EE00D5CD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"399f9028125ffb14bac593dc4a40da6fd471a3ee","datavalue":{"value":{"text":"Dependent types with subtyping and late-bound overloading","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854436$336185F4-8D7B-407B-A107-A8BC3DA948BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d02004a422a4fc96615fe54bd6b9614d8d1e635f","datavalue":{"value":"1007.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854436$2F1E2F8C-2EC0-42C2-8C9E-7D94BC6CF1CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b209780d81daa64ec96c8241b2924bd88decdd8f","datavalue":{"value":{"entity-type":"item","numeric-id":930880,"id":"Q930880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$BA460C59-74E1-48BE-AD2D-F1B12A3D1EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a04b7ffbbf9ab5e337a666c06b668d180e369475","datavalue":{"value":{"entity-type":"item","numeric-id":270349,"id":"Q270349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$48E9F661-D2D6-46AC-B7F7-39B8F6282841","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$CBD4480E-912F-4998-8BC0-E2CAE6BC6495","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854436$3C8782B4-B6F2-4F84-8C1E-46B9DD2EB70B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854436$3EC2E7EA-155F-4069-93A4-8DFDF4D79F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854436$721F1D04-2D52-4C60-BA78-D5B7A2C33E80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0796c634747ff1525601ff01b8eee91bfde69a9","datavalue":{"value":"1853182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854436$E0E2770E-6C3F-400A-B22A-3B317E9DCFBE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$ED436D78-A62E-4419-8785-579CD6442549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7065da34582d9f92b7f86f4002a6629cdf0b0436","datavalue":{"value":{"entity-type":"item","numeric-id":15866,"id":"Q15866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$15671216-35EF-4CED-9BE1-48B417565041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$9773B345-F7FC-4024-9B51-5A0E489C538B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$2F77EB04-F989-4018-AA11-0AB3B7E5DBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6722510c06a79717dbb5a2aab1dc4972ff891c59","datavalue":{"value":{"entity-type":"item","numeric-id":22090,"id":"Q22090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$E39893EE-ABF9-4DB8-8963-293F9064351C","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":"Q1854436$98C64CAA-3B66-48D1-93CC-A47F3704F76C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2597ecf3237fdc6e22387b21a087c377e9acd984","datavalue":{"value":"https://doi.org/10.1006/inco.2001.3128","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854436$55931299-04A6-4476-B406-12518AE59DA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34dd32b36cbecf99af8b7874f8f62dd434f9fe84","datavalue":{"value":"W2036414952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854436$77D79F34-2641-4BC1-BB90-D1FE3F763A16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e32b6627db2baaf9e164614e67ab180e4d4fcf","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$8CCE201B-B6D4-4C19-AD3F-F9DCBBFF8849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff1fd92245df38d7ffeae1e590de1b0d5007c30","datavalue":{"value":{"entity-type":"item","numeric-id":4474826,"id":"Q4474826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$FDA36735-9D7A-41EC-A5C0-9CE0A3AAFBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$2D8FBC64-916A-4AE8-94A6-71DF7CFFC5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$288D4FE5-A6D2-4506-9F72-ADD9E1FCE1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7f876fb42c53e997157b1419d079fb01f54d06","datavalue":{"value":{"entity-type":"item","numeric-id":1106652,"id":"Q1106652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$F20461AB-C50E-4993-A642-5A3E0A1303FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a90279360f4535b912e6fc8face9af60a5b30","datavalue":{"value":{"entity-type":"item","numeric-id":1918933,"id":"Q1918933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$2AD849F9-E123-4C2E-8EE2-53EC906F7F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5a5e3f3e3fc59098e2d5f65defb9e4678ccdd4","datavalue":{"value":{"entity-type":"item","numeric-id":4335420,"id":"Q4335420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$7C0E90FA-2365-43B1-BE9C-257A090546FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$2FA4D71B-DF15-40E2-980B-EAFCEAAD2CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23d8d107cc484ffc2be9d341cdae3571364725c","datavalue":{"value":{"entity-type":"item","numeric-id":1401950,"id":"Q1401950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$3FF40A5F-0390-4128-B5CA-7B827552E764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31bfc7db689f1adf038bc47f7b63be2721535b00","datavalue":{"value":{"entity-type":"item","numeric-id":4281468,"id":"Q4281468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$6FB98914-4030-4019-AFF0-DE06D56CF2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03c18e1e2833a91aac7d3476d2f38d81622d637","datavalue":{"value":{"entity-type":"item","numeric-id":1891168,"id":"Q1891168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$F0280915-8AC9-4436-B4A4-F34B7F7BB6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ae81b5b6b9aa99c5ed531cc74a0cac8142cb35","datavalue":{"value":{"entity-type":"item","numeric-id":4699295,"id":"Q4699295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$3895FD4F-4975-454D-A82B-A7C8268F110A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738dc9793f15e3b21b55fcd263eefd4465e7f51b","datavalue":{"value":{"entity-type":"item","numeric-id":3024903,"id":"Q3024903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$2C9C0968-009C-4A74-9B4F-2DC651AF2C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fadb98706e8c9ab659cb856584ca2086f4fff623","datavalue":{"value":{"entity-type":"item","numeric-id":4281471,"id":"Q4281471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$169527A1-CED0-487F-9FCC-CF215E9A3F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$91E5462E-CB52-459F-9AF3-34B9DE66C536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$082C1635-3EB3-4BC8-848C-A545F2E21BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafffdd0b071666063f891cfea9298aacdb7897a","datavalue":{"value":{"entity-type":"item","numeric-id":4362923,"id":"Q4362923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$4F740208-214C-47E9-B8CA-72CA70AC24B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$015C1A83-8325-4860-A7C6-47C0763AD0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$D8E40FF2-F4DF-46DA-845B-18419EFB1961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c85d3ede77ace75e41b005f4c55e82747db01c","datavalue":{"value":{"entity-type":"item","numeric-id":4263883,"id":"Q4263883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854436$E022DE89-2209-41BD-ABE8-894337DBE8CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a61e6f24227cf6479940930f77cbec9ae4a0cf66","datavalue":{"value":"10.1006/INCO.2001.3128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854436$F368E2BF-3953-46C5-870F-6DE5E0312732","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b409d3bf9e7845a7fa4723753b0f6d4d36bf285","datavalue":{"value":{"entity-type":"item","numeric-id":1891168,"id":"Q1891168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"091be5a481e4f40cbf7758260f4ab6c88e58a693","datavalue":{"value":{"amount":"+0.8529653549194336","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":"Q1854436$CE4C837E-1A7A-49F8-B15F-3212536D261C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1e45f130ca02dd12a6eb6dc136b8e146dde135","datavalue":{"value":{"entity-type":"item","numeric-id":5044772,"id":"Q5044772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a986f00e2901e06ce2b5f4a843206798080fcf01","datavalue":{"value":{"amount":"+0.8525105714797974","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":"Q1854436$8B4DAE9D-37F7-4E07-8962-D0F57FFCF480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd02653a0f5288cbd7583c98894a5128fb01b60","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb40a414b740d85df9fe82ddbbc247e391156fff","datavalue":{"value":{"amount":"+0.7975463271141052","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":"Q1854436$EA879BBA-1AEB-49DF-AC93-5421EF1D414A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d10c1bb8cbb9579d86c861807c780c84886316d","datavalue":{"value":{"entity-type":"item","numeric-id":4490732,"id":"Q4490732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a089eb4b9d9439ce7c0d4f8209384d187c2d40fd","datavalue":{"value":{"amount":"+0.7918487787246704","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":"Q1854436$24589D61-694D-464E-B2CA-75126B0522A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918f2781deb536cb7abada9a9087642f80fd8cef","datavalue":{"value":{"entity-type":"item","numeric-id":4699295,"id":"Q4699295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e8e93e4820dc79afa26a87dbd353f51a84a352","datavalue":{"value":{"amount":"+0.7804304361343384","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":"Q1854436$FBD98677-58EC-467A-85C5-8C5C79ECDAA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dependent types with subtyping and late-bound overloading","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dependent_types_with_subtyping_and_late-bound_overloading"}}}}}