{"entities":{"Q4939703":{"pageid":6969285,"ns":120,"title":"Item:Q4939703","lastrevid":34236009,"modified":"2024-05-29T10:57:01Z","type":"item","id":"Q4939703","labels":{"en":{"language":"en","value":"Type inference with simple subtypes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1400721"}},"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":"Q4939703$5B001C4D-FDA6-4812-9890-7936717DC49E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87ea85dccc5e344d0d8af6aad32b788978f7049d","datavalue":{"value":{"text":"Type inference with simple subtypes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4939703$A46FB630-3AA8-49FE-AC41-EE6772ABFE2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98a3c2d7a9957d0415d7afbcee1945ab5d3631e3","datavalue":{"value":"0941.68541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939703$AFF0D52D-B085-425D-8BA4-302B039DB756","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a836a4c8d72fd2ad746764b3ef5555d3e8782f9","datavalue":{"value":"10.1017/S0956796800000113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939703$FA7ECBD7-1370-4B48-BDAE-DC767D70BDA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b0bfbbcf5657a8b101c8d9d79e6747c41c0556","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$54429AB2-851E-41A2-99F5-E92953C1A09B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$EA987A23-D05E-4F37-B41B-949B43205CE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09a44795720544c6f367ce769f28cc2e9bf7cf0a","datavalue":{"value":{"time":"+2000-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4939703$9222DA5B-EC33-49E7-BA27-A607B761BAFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939703$407D5543-114B-4E1D-B474-BA3FB67A684C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939703$ADCB3F1A-CE21-4D96-B364-CF0B8417528C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a2a853da4af3891b397d73f03f060b032577b3b","datavalue":{"value":"1400721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939703$6902D837-B6D2-4267-A7C0-829784D05CF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939703$22D5CCFC-C885-4DD3-B389-CE9ECB7DADDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b743eb7fa3ecb6b571caa36c2013d7533c3e416","datavalue":{"value":"type inference algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939703$250FC879-A3E5-4FA4-BD96-EC2AC742D42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939703$45B5A990-4CC5-480C-BE69-42915B6AAFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5934bfe488ad6ac441a2d887e283b8ccc7bca59","datavalue":{"value":"subtypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939703$A61386B1-5397-4848-92FD-486E805C8E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939703$C8C21D8B-3534-420F-B16C-F47DB5387602","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":"Q4939703$16E30BF3-D4B0-41E3-A230-06CDD0F95116","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$0823D6FD-18A3-4DF3-84C9-E40FF748D2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12803d69e5cac00078994827de7fc5e096fed67b","datavalue":{"value":{"entity-type":"item","numeric-id":1835664,"id":"Q1835664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$AE249040-13AB-4460-933F-772E7413F102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$5855E01E-A43C-4A2F-A339-9B04FD37DC3F","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":"Q4939703$C21DFCDC-5121-408A-AC17-D72B5E1F2043","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":"Q4939703$06ECB35C-FA0F-49E9-AB33-BDE8D7E8A094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$94093442-447F-41DF-A436-1C113F248DF5","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":"Q4939703$9EED0364-04EF-4F4A-BEE1-D96E0BCD4066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$ED4D5C45-7BB6-47C7-B237-882BA8B23508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$D2AB8CD7-F597-4748-AF34-E50425F9CC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81ed1099943aeaeb1f4554d61ae2b7ae45129bd","datavalue":{"value":{"entity-type":"item","numeric-id":1839243,"id":"Q1839243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$0800ECEE-15EE-436B-B784-D9F0E4B83E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706432819f6cf16b1a37d307080a71755ef9cfa7","datavalue":{"value":{"entity-type":"item","numeric-id":1839242,"id":"Q1839242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$0D1175BC-77DC-4D47-937B-43151B5C614F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$9F01D283-23E1-492C-AD4B-D12BB336FB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81d57b58abc3a82b100d072439fecb147f7ea86","datavalue":{"value":{"entity-type":"item","numeric-id":3716320,"id":"Q3716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$4178BDC7-08F3-45F3-B4A3-DBC2516E282B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$4B04BDC2-1CEF-41F3-B2B9-27D40ED438A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$4D04AA0A-6905-425F-95A2-F63AF9CD2305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939703$66DDC598-78D6-4F9C-95BC-22F81D28FDF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4939703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4939703"}}}}}