{"entities":{"Q1318726":{"pageid":1329476,"ns":120,"title":"Item:Q1318726","lastrevid":67162509,"modified":"2026-04-12T15:43:03Z","type":"item","id":"Q1318726","labels":{"en":{"language":"en","value":"Type inference with partial types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540874"}},"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":"Q1318726$BFC91D67-9FBC-4C5E-99B8-0F98262F2C33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4ea772f6ecc5126ad00e87654c75bf940c541b7","datavalue":{"value":{"text":"Type inference with partial types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318726$CB69AB42-879F-4F95-893E-38525E8D57D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7780de85c3b657ea931823dc262f5ada1ecdd85b","datavalue":{"value":"0795.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318726$69F1F7D9-FDED-434D-97C2-4E39EA9437C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"592d011b2aa0f582910590c66eb93aefeab149c4","datavalue":{"value":"10.1016/0304-3975(94)90056-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318726$334EE660-689F-4AAF-B3CF-962DD0694083","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2875d8c3bf5a90838b3f77794d93fe24e6c0fb1","datavalue":{"value":{"entity-type":"item","numeric-id":685422,"id":"Q685422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318726$1299BBDA-F231-45E0-8E86-EAC7340D3853","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318726$862990ED-B381-478A-ACF9-095C066DE51B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"054db8f256a961baa5551095cf141804f5047514","datavalue":{"value":{"time":"+1994-04-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":"Q1318726$7526E1EB-4EEE-468C-853C-47C2B085D970","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318726$D0A25364-E8BD-4B19-BAEB-7DFA5CD9F406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318726$FDA8B897-36C6-4CE1-A1D8-F39E74DF3E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318726$54F7E6BE-CF31-412A-9601-29A169DA193A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"231ce1a376f061178c9586b95d5651793c3a183b","datavalue":{"value":"540874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318726$317FE09E-B638-4143-B02B-510F4DA40341","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c332b9472dd164869d98bc8c81877196db1759e","datavalue":{"value":"partial types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318726$526B3D76-A495-4B94-9DB7-91118FBDDEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5841ebe105f4001142649b736e1fa7d33e45518","datavalue":{"value":"static typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318726$5D4CEE7E-DB3F-4B97-8AAD-F64D609027D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5959edbad3ceb060f84df0508628ef8d14372589","datavalue":{"value":"heterogeneous data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318726$BFC77E2F-BF4B-440C-88AB-C319C61895AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e33d8f8d642c4032c6b3f919c9259d72836e1474","datavalue":{"value":"dynamic typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318726$D621A3D1-12F2-4275-9808-51EA596E9D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658b900684683a841bc471a204ddeb78a040d114","datavalue":{"value":"parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318726$FC20B6D4-661E-4951-B034-701194FC02E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af817d3c57bc97b8e5d001a46cba94b019551f78","datavalue":{"value":"semilattice of subtypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318726$2F2C4004-F62D-4689-B8BD-FFA884F04621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318726$3C89299A-068C-46CB-B67A-70D4CD1D6FD9","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":"Q1318726$5C8F086F-3828-44F0-B46D-66AC8922BFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f0f9309131bc6ee04b650083b370ec4b2b7ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":34505,"id":"Q34505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318726$1E51ACED-638D-45B7-836C-72172043667F","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":"Q1318726$6CB513FD-F6E4-4D83-B836-3D5E3AB3D372","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12a992823012fbb7a665c312642538869c14753d","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90056-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318726$852C436B-C9A0-446D-B7D2-3402A15655BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd7240231425ada44b222777de3b3769c298ba3f","datavalue":{"value":"W2032851831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318726$387A3210-CA49-4035-96E8-7E3E1889F25B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d3128c33a17fc4f3e7b89ceb3e22b9648f4405","datavalue":{"value":{"entity-type":"item","numeric-id":3204024,"id":"Q3204024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318726$77F5405E-CBA8-4E3C-94F2-7E5DE0B1AA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040f5839a8a0832570521f20d279b9902d1d22f5","datavalue":{"value":{"entity-type":"item","numeric-id":914357,"id":"Q914357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318726$53C35769-C9CF-4F7A-ADF8-941219135FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fddc19db3a580a1f11bd661df24f3defde199f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1330433,"id":"Q1330433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318726$8CCF36F1-7C81-4F80-886E-A3DAF25CC7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229916cb2e2dba9538cd0615cfcb6d5c2694b0a0","datavalue":{"value":{"entity-type":"item","numeric-id":3204025,"id":"Q3204025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318726$526C6879-8E01-469E-B09E-27D7077E5AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9018b8dde4d7aab80b00d69a59b94f16c384b","datavalue":{"value":{"entity-type":"item","numeric-id":1207950,"id":"Q1207950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318726$67210EAA-536A-48FA-BDE4-B72DB37369AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318726$D3531767-051C-4CA8-B74D-11801EC86299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318726$7E5ED83E-3307-404B-9543-518AD6F50494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318726$477A9CC4-C458-463B-8FBE-22E1B4D7A557","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b71cf434253716a7043a1ac82b2e00512471d48","datavalue":{"value":{"entity-type":"item","numeric-id":3793704,"id":"Q3793704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6936df881d2de350ad93a2f839f0fb896980d3c0","datavalue":{"value":{"amount":"+0.8269978165626526","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":"Q1318726$80377F4C-82F1-4CAC-ACE6-9707DD000D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f0d795883bac3d1ec6ae49744784c7b3920333","datavalue":{"value":{"entity-type":"item","numeric-id":4836024,"id":"Q4836024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9dafaba92934907408b1d73069eaa39be7f7be4","datavalue":{"value":{"amount":"+0.7498533129692078","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":"Q1318726$9AAA6B42-3FF4-40DC-AB00-B272F16E877A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d02231aeb39857815f22824ae75085d08119697","datavalue":{"value":{"entity-type":"item","numeric-id":4230360,"id":"Q4230360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc0d53bb1b03aa19a7d9fac0dcd0b0d442b40eb6","datavalue":{"value":{"amount":"+0.7433649897575378","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":"Q1318726$BD52C3FA-7EAB-4DB1-95B2-94D5797EDB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0727ec3b5361fc5e52334bbd455d39d418acde71","datavalue":{"value":{"entity-type":"item","numeric-id":1337466,"id":"Q1337466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07fd9273c87475587f9296caee99c703c8026a1b","datavalue":{"value":{"amount":"+0.731748640537262","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":"Q1318726$5B2234DC-6D42-405C-A42B-AC94B710ED34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cffe7062c6bcfd0f6bfaa47f0513ff55c71362fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819815,"id":"Q2819815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f832574f626731adf4edaa521736effcc166492e","datavalue":{"value":{"amount":"+0.7317107915878296","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":"Q1318726$6D21BB06-8827-42F8-A249-9A8A10D525DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type inference with partial types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_inference_with_partial_types"}}}}}