{"entities":{"Q7361214":{"pageid":31519181,"ns":120,"title":"Item:Q7361214","lastrevid":105364037,"modified":"2026-10-07T13:35:14Z","type":"item","id":"Q7361214","labels":{"en":{"language":"en","value":"Mini ML"}},"descriptions":{"en":{"language":"en","value":"AFP entry MiniML"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b28f146a6eea00e95319f86229c2db57a0acf926","datavalue":{"value":"https://isa-afp.org/entries/MiniML.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361214$BE1BD0A3-37ED-4883-B1A9-951E9F324CC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32982e3b48efc54336f9984518c1890ae8f7999","datavalue":{"value":{"time":"+2004-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361214$A5995073-B2A5-4A50-84C0-7B11C6EA5359","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f709abd88fe49d6f75971d849d2a8c1c41d96ea3","datavalue":{"value":"Wolfgang Naraschewski","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361214$78F1A09D-343B-4E5F-B568-554624DC0E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361214$D301860E-A48F-4E99-A589-89B0DDE799E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67184a581464a5835636d8392a017929757e52b6","datavalue":{"value":{"text":"Mini ML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361214$D4988946-478F-4C6A-9FC3-ED66F9AE5E99","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e973f03c8e5d87cdd376d8234784c70642cf6299","datavalue":{"value":"This theory defines the type inference rules and the type inference algorithm W for MiniML (simply-typed lambda terms with let ) due to Milner. It proves the soundness and completeness of W w.r.t. the rules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361214$AD38FFE5-688D-46E0-A029-2BE48B87EC08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"001ce47916346eb8f90fbf55efd6fdc66b689cbf","datavalue":{"value":{"entity-type":"item","numeric-id":4246952,"id":"Q4246952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361214$0EFCF602-4E7B-4AA8-AC70-1DEE87733750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b913550218aa589bd609f48dfab72a983f8bbf4","datavalue":{"value":{"entity-type":"item","numeric-id":1961917,"id":"Q1961917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361214$35CEC199-826E-4785-AE2A-7B4EE7DDCDAC","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361214$801E4A64-86DF-4E81-B29E-364B63824A9D","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"4ea76403d97e5129918e4ee6e549336fa011c98c","datavalue":{"value":{"entity-type":"item","numeric-id":7360800,"id":"Q7360800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361214$9E0C82E9-6D66-4F85-BE22-F912F3CA93DB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361214$48A243AC-ACDF-411B-A0B2-E4CBC51084E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mini ML","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mini_ML"}}}}}