{"entities":{"Q1304541":{"pageid":1315291,"ns":120,"title":"Item:Q1304541","lastrevid":46673208,"modified":"2025-12-25T09:20:24Z","type":"item","id":"Q1304541","labels":{"en":{"language":"en","value":"\\({\\mathcal M}^\\omega\\) considered as a programming language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1339980"}},"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":"Q1304541$78D70E9A-83EE-467B-8CC4-E6B782339A3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ff247e9643a80b724aff12830be92d73c774b36","datavalue":{"value":{"text":"\\({\\mathcal M}^\\omega\\) considered as a programming language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1304541$4A57EE15-81D3-4F73-B14C-93E43CC4F598","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f03ee8d027e6ffa32a79c01a304c6849be69b85","datavalue":{"value":"0932.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304541$48285883-04A3-4E0F-8BE5-12D84531F462","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f286ddaf3b2069080a1c8162c504f34a922fc836","datavalue":{"value":"10.1016/S0168-0072(99)80002-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304541$EF2F8315-46DC-43F0-8DE8-92EDC98E3504","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35dac4a82d7994982b6498e99b5b158ff9ad79c7","datavalue":{"value":{"entity-type":"item","numeric-id":688506,"id":"Q688506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$F3D1F588-4B4D-4FCC-82A9-FAAA18FCFBCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$7357E38E-C546-4F7D-A22E-5E16073299DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b22f0234058b897ad308815846be004cdc7f94b2","datavalue":{"value":{"time":"+2000-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1304541$1739D425-758B-4BA0-BA66-F4A1B04F152D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304541$C60591D2-259E-4C30-8BBB-BEA127567E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304541$69BC4F62-A594-4BAB-B33C-4E78A93A0799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304541$6C108FA0-8214-4A0D-BF17-9A45C0ED29AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304541$49A6D0F3-90A3-45D9-95B9-7A092F6DFB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304541$85EA7F00-E03C-47B3-AFD8-DAC2224F556C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304541$9F22FD51-EE60-4C31-9E35-84B4968DD14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304541$EF91F910-9F0F-4653-B4DE-E9ADF110D3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304541$A6A0C229-D1E1-4495-B10A-CAA2BCC53BF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"775c949038f04f5c94afdaba22df6b6bf4bdf62d","datavalue":{"value":"1339980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1304541$147F16B7-98AA-4BBF-9CA4-AC54A9D1D71B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3666147e8d44ca874d1cffdced90c41cb2ba5ae","datavalue":{"value":"\\(\\lambda\\)-calculus with sequential search","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304541$502A2299-02AE-4277-9199-669400510FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304541$0A40086A-3805-46B5-BBE4-AFB2E939101A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93fead43f3e315dc245bca6d8df97d8d8d8b10ba","datavalue":{"value":"simply typed term system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304541$8601AD1B-B4E9-468C-825A-66788BA83322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"918aa3f404452315def75228055514d4a7e924b5","datavalue":{"value":"primitive recursive concept of parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304541$67F8C3FF-BE7C-478C-B970-01DFE57D97CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01c3f84d7a00c2074dcf011a23056cda8d060166","datavalue":{"value":"computing partial continuous functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304541$767D29B6-DC89-4DE8-A468-7355E26B2308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304541$877502EC-75F7-4E11-B2EA-1AF507439C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304541$CCABAFCE-1F05-4C36-9AEA-200EAF0BD13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1304541$F21E8D18-ED07-4056-B5D4-701CF70757FE","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":"Q1304541$A65A226A-54A2-462F-AC81-6907FC898326","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$EEC4265E-9273-423B-BB38-456B6DA41345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042b462873b75a514ad6c8f2994d63c7c697e7b1","datavalue":{"value":{"entity-type":"item","numeric-id":4010352,"id":"Q4010352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$46884F9A-C531-4BA3-AD5F-8E04F6A55526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e536f1d75671c630b57baf1808e70ff2faf238","datavalue":{"value":{"entity-type":"item","numeric-id":3863873,"id":"Q3863873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$F1F0888A-21AD-4459-A996-3253EFB487A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$95DBC26C-1282-426E-8202-5DE93ADA426F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c616a7809ed6f53d402127c5d468b218ac28d2","datavalue":{"value":{"entity-type":"item","numeric-id":688507,"id":"Q688507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$B13E391D-A96E-4EF2-A961-D1BE7C9E6A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5264845e246ad5d946e441b51a85f20b79e6ebea","datavalue":{"value":{"entity-type":"item","numeric-id":4876432,"id":"Q4876432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$6D3716EA-8338-43FE-979B-25D67449FE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc06bf8e3072da9922457d400fcbb7f7e30df26b","datavalue":{"value":{"entity-type":"item","numeric-id":1899150,"id":"Q1899150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$D0639620-F5BE-4635-BBBB-97703F869952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbeaf3663ef97226aa1905048ffab1043b201373","datavalue":{"value":{"entity-type":"item","numeric-id":1283120,"id":"Q1283120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$A9DBC8A4-354C-495E-B29A-0A6DEDD47C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4546fb51b0c77eae3e5566373764a9dbfcc60841","datavalue":{"value":{"entity-type":"item","numeric-id":5604457,"id":"Q5604457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$01B78D5C-C7FB-441A-B48A-36025A0C7980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$63E5C303-3678-4C52-8025-522498897323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b8c1e1554d59c9415a18a29b48a1fb456f45a1","datavalue":{"value":{"entity-type":"item","numeric-id":5614654,"id":"Q5614654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$2B2C2163-49C8-4F28-9DFB-D326EE9FE337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21f7dbd167dd9a051d4e7eb8b660ca99c147ab2","datavalue":{"value":{"entity-type":"item","numeric-id":4934291,"id":"Q4934291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$C35A2A99-1C1A-4A23-98F6-81ADEF88F3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91fc69f3212dedcf04843b18a87064c6d957490","datavalue":{"value":{"entity-type":"item","numeric-id":4850555,"id":"Q4850555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$56792DA3-D450-4A02-AD5E-E6DF3985DAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$239D6952-B5F9-461F-9BEE-587EE6E7FD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$B3CDAE47-481C-4B05-B94E-294975FAC5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1304541$BA3BD907-B7B6-4F82-A17A-17D11C70BF6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace4b48d35592cb50c829365795ff750aad5f8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4876432,"id":"Q4876432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5085362452cf7b5875df1d21fda8a6a20e8718d1","datavalue":{"value":{"amount":"+0.7879716753959656","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":"Q1304541$11BCD527-65E0-4D1E-BF2B-39B7708FA73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5104f907bea0211357096d411b1fb71804027611","datavalue":{"value":{"entity-type":"item","numeric-id":1899150,"id":"Q1899150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ec4d472df704198387232e3b70da861d850ec6","datavalue":{"value":{"amount":"+0.7491257786750793","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":"Q1304541$03900E3A-1326-4E48-876D-AC9A3B65C1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ee2d65eb2a595630ded28a2527b358f4eca66a","datavalue":{"value":{"entity-type":"item","numeric-id":1314352,"id":"Q1314352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ecad77b7b6b3f7b447e56a421a21752f9467e0","datavalue":{"value":{"amount":"+0.7342374324798584","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":"Q1304541$6B78EC86-5F29-4E13-A43E-3C89E7126288","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1304541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1304541"}}}}}