{"entities":{"Q3867157":{"pageid":5897062,"ns":120,"title":"Item:Q3867157","lastrevid":81210182,"modified":"2026-05-06T17:59:36Z","type":"item","id":"Q3867157","labels":{"en":{"language":"en","value":"A Scheme for the Automatic Inference of Variable Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3669833"}},"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":"Q3867157$AD2BAEA5-A19C-496B-B812-10EA3C23D0EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21bdd53dfb3a5bfd970f523f8e5eadfe5f1a87ed","datavalue":{"value":{"text":"A Scheme for the Automatic Inference of Variable Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3867157$8000169B-D0C9-4CFB-B0A6-D4509BA68BD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8887817ae5e28d417e1aaffc550e48ccf075a23a","datavalue":{"value":"0429.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867157$37CBEA45-6986-4D6C-A5CD-076284CB336E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d39b55cab1fd3af331ec25348e7dbac470bb5d8","datavalue":{"value":"10.1145/322169.322181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867157$5B9BB5E5-4A0C-4A89-B1F1-D79DB33094FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c92f39d6928481f389c4da6679a27b0ca13b096","datavalue":{"value":{"entity-type":"item","numeric-id":269331,"id":"Q269331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3867157$6275B8F6-912A-4EE7-9C2C-97D7F3817FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f646c1fd1c4dcac9beeeb265fd0751db42d069a","datavalue":{"value":{"entity-type":"item","numeric-id":802966,"id":"Q802966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3867157$6C8E3B3F-9EE8-48AB-A5D3-DEC8526C8165","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3867157$8A59FEE1-609A-4FD9-83DE-405A3532B46A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3867157$D6CE4CAC-1645-4E90-992B-48048FBE676D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867157$4FA16824-4166-4D75-A8DA-B001912C6BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867157$43C23EA3-442F-4D5A-9405-59A8E10E43D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee777dc76c2e52bb41eba7683511e1edefe7a186","datavalue":{"value":"3669833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867157$3B13983F-DAA8-4265-9523-5392EBE9114B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fcccf1938b111ca67ad4fbff787bb36915f4850","datavalue":{"value":"data flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867157$551A010E-79CA-459D-844A-C00E0A994817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b4c816d5bc63b5cf750b2c22490b418f45bed34","datavalue":{"value":"code optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867157$867F1777-AD97-40A7-B35B-621F6B3722B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"334ef7203b84284f7e3dc340d44c5a273b9460dd","datavalue":{"value":"type determination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867157$C19E6852-1B3D-4EB8-ADD8-8732E3754B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db34c02368e444cafc7c2a4a3399a880822cf30","datavalue":{"value":"typeless language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867157$610EB250-3666-46C3-897F-EB7F668928B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8401f133d69d3564933e9ba1a59f2d9706297c68","datavalue":{"value":"fixedpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q3867157$D3ABC7F2-9BBA-40FF-9BEF-235A351BAFD9","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":"Q3867157$422CA072-EDF8-4AC2-92F6-95C80D2B5BB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a438da3758dd1c2e98e3a2a00f81c26fa15098c","datavalue":{"value":"https://doi.org/10.1145/322169.322181","type":"string"},"datatype":"url"},"type":"statement","id":"Q3867157$081B0EC9-5CE2-4310-B41D-9378522109C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a379cff2130398f829ced20912d9dcb5af39db2f","datavalue":{"value":"W1982582946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867157$28C67A91-4B2F-4C88-AC69-2A49BF7D633A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"927364eeca4359484ab2727e756fc70687401105","datavalue":{"value":"Q128587404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3867157$93F3DB17-3C7C-4E58-BE8E-0DFFE1919576","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Scheme for the Automatic Inference of Variable Types","badges":[]}}}}}