{"entities":{"Q3787979":{"pageid":5817885,"ns":120,"title":"Item:Q3787979","lastrevid":52813814,"modified":"2026-01-23T13:43:20Z","type":"item","id":"Q3787979","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051569"}},"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":"Q3787979$D53DE837-1CB6-442B-98E1-98A72B1C1D23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a6779032259872d2ec8521ef745eb2dc157aad8","datavalue":{"value":"0645.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787979$0C857A92-9981-4746-97C4-30AD475929B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787979$007C040D-310C-4EF6-B2B5-1370382EAF31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3787979$459A6132-F5A0-4C71-8021-214FCE7289B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787979$15ABBBA5-89A7-43E6-BA36-F13333315FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787979$9ADC1A53-A68A-4A2E-8314-A3E26175DB38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ff23de7e1a21bbed364aed89c8030d2c8504a08","datavalue":{"value":"4051569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787979$CDD9D7F0-D0C2-44F4-A576-1DD74FA35DA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af85e2bc93219bd21de2359de86f76143af96242","datavalue":{"value":"algorithm for solving the classical type-inference problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787979$B5270B8F-5EB7-4B89-B334-670EFF882EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2fcdabc34faec2b0acf7add19f8dba3e97fa0c0","datavalue":{"value":"typed \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787979$09B0B949-A08F-4668-B7B0-2C04BCBB6F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c7d98462a8477d464a722f1e0da656a9a480205","datavalue":{"value":"correct types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787979$9F7CE6CF-53BC-40DF-B012-8672B1AAE5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787979$EBC2F373-FD8F-4A7C-B215-15D3D80DB6A2","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":"Q3787979$3C335E23-CB39-4374-9BD5-A1E3E4965539","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667de67404f22ec11cd1e9b6028841a513a25d06","datavalue":{"value":{"entity-type":"item","numeric-id":3142164,"id":"Q3142164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7c0c8d06a1610ee6e2a580742be5b980eeffde","datavalue":{"value":{"amount":"+0.8099177479743958","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":"Q3787979$18FCCCE9-F959-48F1-9447-E1E4CD62C4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3741ecefbb6997ab05c8176572043a6db094a1d","datavalue":{"value":{"entity-type":"item","numeric-id":549191,"id":"Q549191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487de6d4eddcdfe110cae411ceee99ca6405b7e1","datavalue":{"value":{"amount":"+0.8042107224464417","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":"Q3787979$B462B2CF-72A7-4814-B0BE-ED2918C43F64","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":"8f92174dda654d04508a5abfcff9836493febbaa","datavalue":{"value":{"amount":"+0.7913853526115417","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":"Q3787979$775C12C8-FC3B-43B0-8DF2-45A62949A5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de130555eb69cf97ad1ff27332a93c8b10c7601d","datavalue":{"value":{"entity-type":"item","numeric-id":2851085,"id":"Q2851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28a345a948d361c02e74586aec25415addc55ab","datavalue":{"value":{"amount":"+0.7895040512084961","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":"Q3787979$4077110D-9B11-4E0C-893C-13C73B8D7A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5290c0ccb7aa8018a2f2bf6b931e4236417232f","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5612fe46f4b8cde60b1dfcf4e2c9f07d8d28072a","datavalue":{"value":{"amount":"+0.7889208793640137","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":"Q3787979$55CB918E-A9B4-483A-A2EA-47F13531EE6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787979"}}}}}