{"entities":{"Q1744407":{"pageid":1755149,"ns":120,"title":"Item:Q1744407","lastrevid":53070182,"modified":"2026-01-24T04:09:13Z","type":"item","id":"Q1744407","labels":{"en":{"language":"en","value":"Strong normalization through intersection types and memory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862943"}},"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":"Q1744407$76EC01FB-685A-4E8C-B059-DC6420F569E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fb7dc1add595b250a664d5d20afc5900a879912","datavalue":{"value":{"text":"Strong normalization through intersection types and memory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744407$0FD3E6FA-A0ED-45A5-AF82-214A399775FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4b97ec38f67a43bd4ca48cf550e01ae6ed085ec","datavalue":{"value":"1394.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744407$052F73B9-FEED-4BD1-91E7-60AF8094C454","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1fd265ad2cd77bb56c0b60cc46c3c7530dfa4e0","datavalue":{"value":{"entity-type":"item","numeric-id":195005,"id":"Q195005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$DB215F8D-901D-46DB-BA85-785BB2C44669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$C0BAF016-7E2A-4E66-83DC-8D8C3DB30767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0039c5621955bbc74d242640f4d66a8ecad290b3","datavalue":{"value":{"entity-type":"item","numeric-id":1643144,"id":"Q1643144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$907E7027-C242-481F-9233-3562006846C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744407$D19ACF46-B61C-48B0-9BD6-0FD149C2231A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744407$077F7378-A7B1-4656-B5C5-95C01B9AEB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744407$6FA4F3FB-7967-4896-8AA0-7AA7E0A0BDAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4740bbd96c7b362c2d33656ff7709f623fb744d1","datavalue":{"value":"6862943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744407$87B1A6D5-583F-4B99-BA3C-789E0D4E9FEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744407$3B1BB254-8703-4B2B-9BF2-33612B6DAC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fab3235969bbf948b320fe347e9a42de1e64f56","datavalue":{"value":"memory calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744407$24BA8590-F0CF-4914-BD68-F02B19D7ECC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744407$9FF2BB38-4E8E-4224-B045-ED4F9AD330C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744407$724E2463-A354-464F-BAF1-9DD018E9FAFF","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":"Q1744407$EB7737A8-1C0F-425F-85A7-644BA4D7CAEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7baea5c83024fcedaef58598329113e8d701875c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.06.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744407$3257DB4D-2691-4A40-8862-8EB735BD7A18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30056d8cdebc89578c2ecc52c8f48b83f45dc037","datavalue":{"value":"W2464954612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744407$060FB0A5-1C90-44C0-9AFA-A1FD37E6EE62","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f1fff32c6f7757d71574d72ed8700d89926329cb","datavalue":{"value":"Q113317683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744407$1217206F-C52C-4DAD-B951-F23ABC941EB1","rank":"normal"}],"P223":[{"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":"Q1744407$EB3F64FD-AF83-47F2-B098-4E9417081B2F","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":"Q1744407$57E5219D-41E4-4E88-832E-47C16D3CBE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$494754F5-94B4-48B7-ADC6-4439B662EFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f524a2f71b178502e011bbad6797a16072654b53","datavalue":{"value":{"entity-type":"item","numeric-id":3000601,"id":"Q3000601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$A2CB8F65-FA77-47F1-BBDC-5E69AD3EC7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d3a18112634d945f57a45436f6c38b7d9c07d1","datavalue":{"value":{"entity-type":"item","numeric-id":2851671,"id":"Q2851671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$17FA1A86-9B58-4276-825E-1044F1426CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07f14b62efd715b711839cc90b635e634470777","datavalue":{"value":{"entity-type":"item","numeric-id":4704764,"id":"Q4704764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$9F04857E-DA8F-4079-A747-B2980A63EDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ef8dc7d2f567a48fc717ebb6174dc3271c596b","datavalue":{"value":{"entity-type":"item","numeric-id":3608420,"id":"Q3608420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$92100E45-07E9-4F15-830A-5161F0482FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396079bf6c00688a3a618a05bc699938cbbf9c06","datavalue":{"value":{"entity-type":"item","numeric-id":3190172,"id":"Q3190172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$5AB2C94A-FFD5-40F5-8654-6EF622D1E995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$2BF67BAF-3BF1-4D10-9341-04578D6E6057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$75E31E1C-5079-4421-8694-7A2AB0B59C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e978e7b088bf0a87c5581ef0646229ba3f218aaa","datavalue":{"value":{"entity-type":"item","numeric-id":4993853,"id":"Q4993853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$6981DEA1-F5F5-46AE-ABFE-78176914B40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa52ea278890265e9d437290fcf6496300e9f2","datavalue":{"value":{"entity-type":"item","numeric-id":5692152,"id":"Q5692152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$13BE325A-1E61-46D3-9F39-309A67631D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$317EAAD7-C4C4-441D-A836-AD8283092C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"994627a6700eea8d4646ee5db509d59197663511","datavalue":{"value":{"entity-type":"item","numeric-id":3190169,"id":"Q3190169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$E30E2DD1-C125-415D-8ACE-89E65DE57F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a11879e90720cb013bbf0ef9fe251fefb74f23","datavalue":{"value":{"entity-type":"item","numeric-id":2787437,"id":"Q2787437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$DE875ABF-B7A0-43EC-9D8F-9FEF97D12DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e85818f5656fe54cf413d8e22228810b986efe","datavalue":{"value":{"entity-type":"item","numeric-id":1884929,"id":"Q1884929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$48504EF9-6074-4D64-8413-393CCDFE670D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$3E104F54-B1A7-4F5B-96DB-6BA09FCA486A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$C6B7695A-0474-46B0-A667-804C8F5D0DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2526b5a4d65aeb2ff8b3003d7e84d9b912ccd2","datavalue":{"value":{"entity-type":"item","numeric-id":5695115,"id":"Q5695115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$96A46F5D-3567-4114-9313-CFB70E2A2C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$1183C168-5655-4FF8-A354-BFF58C5078A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f416b5bcfc200e5c8ed939a8affe19aff4a5498","datavalue":{"value":{"entity-type":"item","numeric-id":1110311,"id":"Q1110311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$12914C73-B524-42C0-BB90-88F4C9E35F95","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":"Q1744407$F5305C29-E97C-4A95-8987-A33FA822C564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e568b85d2406ebc28d3afbc3e86804d63d2e2231","datavalue":{"value":{"entity-type":"item","numeric-id":4934035,"id":"Q4934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$039EE33B-7B74-4B71-956C-DD171C79B260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e36fad3c686c1098aefc3ea38c58cd10dd64cdc3","datavalue":{"value":{"entity-type":"item","numeric-id":1407502,"id":"Q1407502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$4EDA432A-8AB3-4AEB-94B3-47B3B8672894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$22235BDE-7401-4C35-9348-66FA998CF01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c538772f182f5531ce9b687640fc299ab79c05","datavalue":{"value":{"entity-type":"item","numeric-id":2875057,"id":"Q2875057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$DFC3E774-F71B-48B0-A97E-AF96AE59F3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a2ded364cc88fce2ea077a5ded73db95a95620","datavalue":{"value":{"entity-type":"item","numeric-id":4737219,"id":"Q4737219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744407$BBF2AE70-E1FA-471D-8D94-6CC611B3CF63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0702bcc07411045bee3b30d13782eec0e71b9fd","datavalue":{"value":"10.1016/J.ENTCS.2016.06.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744407$8F1C038A-AC5E-4E58-B3E6-A8D67F23BDE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a566b1d6a70d6aeb478a7fbe2b2db3c381d5fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1924327,"id":"Q1924327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76707a018ecf52150fb6556b777931d646374d6d","datavalue":{"value":{"amount":"+0.8425098657608032","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":"Q1744407$D5E10407-D14A-42A4-B2E3-A0396924FDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8627593d274c87dfc4fb4d4324791736791db2b2","datavalue":{"value":{"entity-type":"item","numeric-id":1407502,"id":"Q1407502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0ccee129df14c7dd2d03a30e011944f102767f","datavalue":{"value":{"amount":"+0.8370283246040344","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":"Q1744407$15BD8316-5883-4285-B5F2-3F31794E299C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db2342ed2c626049bdf31040ee77033b181e8e71","datavalue":{"value":{"entity-type":"item","numeric-id":4457448,"id":"Q4457448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993dc832eae5c1450e6dffa8bc4158ac8f236b3f","datavalue":{"value":{"amount":"+0.823019802570343","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":"Q1744407$CD87B6D3-3B21-40E4-8FED-C54429A1BBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f80de2c067997645fc3a69a447c2b4d09f8eb3a","datavalue":{"value":{"entity-type":"item","numeric-id":3000601,"id":"Q3000601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e94391f4883e9ed490b422af1cc95f99141175","datavalue":{"value":{"amount":"+0.8197010159492493","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":"Q1744407$55AF687D-5894-4E05-862B-4BC6CCE83377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad294ac104e314aec214589bb780ad8a88daf3f","datavalue":{"value":{"entity-type":"item","numeric-id":4903715,"id":"Q4903715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e310239d1f2d598d3437d629a3e6cb6ed1dd8bf9","datavalue":{"value":{"amount":"+0.8163766264915466","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":"Q1744407$A0772D0B-08A0-4247-96F9-DEFEBB04336A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744407"}}}}}