{"entities":{"Q1844816":{"pageid":1855558,"ns":120,"title":"Item:Q1844816","lastrevid":69099564,"modified":"2026-04-13T04:46:49Z","type":"item","id":"Q1844816","labels":{"en":{"language":"en","value":"On the semantics for the language ML\\(^\\nu\\) based on a type system, and those for the type-free language ML\\(^\\infty\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3446854"}},"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":"Q1844816$49AA3E49-1FF8-4ACE-BCD5-8BCF38855278","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e7a2a540635c680cf27c1c272040c9a92903ad9","datavalue":{"value":{"text":"On the semantics for the language ML\\(^\\nu\\) based on a type system, and those for the type-free language ML\\(^\\infty\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1844816$E1AA6D0C-6BA2-4384-831B-BDB05BAAC9E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bde60c48fc378300bd30c02b33ab027d4dd39fb6","datavalue":{"value":"0285.02019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1844816$77290AA3-3DCE-4072-9533-3B05BE8FAB6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"549cd8f1cf7403777bca3a592dd32621026501c2","datavalue":{"value":"10.1007/BF00247221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1844816$1455756B-B23A-4D7F-A07C-9E5C88975FFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c51f659192ae73189fc76e268b15e926b59e652","datavalue":{"value":{"entity-type":"item","numeric-id":767900,"id":"Q767900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1844816$2C92A31D-7841-4BA9-9E28-BC20B104D934","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1844816$01C14B9B-3FBF-4833-81C8-A71C07D74712","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q1844816$99985C20-87F6-43FA-A3CF-F01DBE1A142F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1844816$B004AFA8-EAC8-462B-A330-7270808CFD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b79c03c88592bce3aa37c5f3857b6edb2b646736","datavalue":{"value":"70A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1844816$D7F5DE8A-A545-428C-9BF7-5FD0AF09598F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"984cc651d81856087f8b91b9490cade82aa2f19e","datavalue":{"value":"3446854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1844816$441155A2-B2E8-4144-A9FC-278099B3AA52","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":"Q1844816$09B97F93-D7C5-4C29-B710-B53433F09245","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the semantics for the language ML\\(^\\nu\\) based on a type system, and those for the type-free language ML\\(^\\infty\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_semantics_for_the_language_ML%5C(%5E%5Cnu%5C)_based_on_a_type_system,_and_those_for_the_type-free_language_ML%5C(%5E%5Cinfty%5C)"}}}}}