{"entities":{"Q2825375":{"pageid":2836113,"ns":120,"title":"Item:Q2825375","lastrevid":52641299,"modified":"2026-01-23T04:21:37Z","type":"item","id":"Q2825375","labels":{"en":{"language":"en","value":"Scalar System F for linear-algebraic \\(\\lambda\\)-calculus: towards a quantum physical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6635931"}},"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":"Q2825375$3FD47BC2-344C-4505-A6D0-D09CB103EF05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07b7d6ab1ba787d56d0baf78bfa7700a2fb04f90","datavalue":{"value":"1347.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825375$3FF67751-5B35-45E5-96A4-20386A5D607C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab28f79cf12c1865e00559af174153a504277314","datavalue":{"value":{"entity-type":"item","numeric-id":331931,"id":"Q331931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$11C68773-1B3A-47EA-A855-ECFD474BD4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d46858b2e681b050e11340ef98cbddcf45ff298","datavalue":{"value":{"entity-type":"item","numeric-id":529048,"id":"Q529048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$9DD6F058-F24F-40BB-8191-21F12E09C0F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$F562474B-FB50-47F5-A546-911E8AD15325","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75c97569af4c6b39def7afa4b7124bea406ac5e7","datavalue":{"value":{"time":"+2016-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2825375$68003C75-C00A-4DB2-B4F8-B8B9E99696CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825375$5C58C967-8E19-435F-AEDF-70C38000879F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825375$3F768DA9-7604-4065-95D2-DBC7E408253F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94bb0ab541c29fa5b624584797dc8581f0e16a55","datavalue":{"value":"6635931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825375$83A23387-AD98-4B73-9FEA-925B1B8A03D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825375$17797D34-0129-46EB-BCB5-57171F8A3C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825375$A8539E82-D57D-4747-BA0F-EB56BD645C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05aa84999b3e35d54a5670b8c4519ff4681e7dc3","datavalue":{"value":"probabilistic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825375$D510032E-8743-4821-B250-16161B1EADAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825375$4B977EAE-40DE-4C38-8AE4-BC16E6F239E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$E479169D-E300-4350-B793-F3A600110B2E","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":"Q2825375$26D54141-C5B5-44F1-B415-1DF19B78C1D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b72286cdb4e71519f42f02229f0e53cad042fac7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.01.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q2825375$AB654A06-866B-41EA-B640-58157F345B0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e728742c302458e9766806bf9251a99345f9df04","datavalue":{"value":"W2070230244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825375$06B83D82-6258-4F32-B758-DBEBEB8D0007","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e99d8b97066bddb96fb1098a4937ef321dc9f1d5","datavalue":{"value":"Q113318304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825375$17223C5D-819D-4563-A13E-73D0E50859F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87fec457a3a085a327dc5b1fb4f7ec65a8bfb9f","datavalue":{"value":{"entity-type":"item","numeric-id":2864167,"id":"Q2864167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$D949C7C2-1576-4780-9E7F-25C3FF61E60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4f020a51168a828551c25efe2435d5943ef4dc","datavalue":{"value":{"entity-type":"item","numeric-id":3522006,"id":"Q3522006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$6BFB2D8C-4F12-414D-A43D-6FC43F36C374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65cc087569869137cef606dc04ca1224b51f202c","datavalue":{"value":{"entity-type":"item","numeric-id":3025332,"id":"Q3025332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$851CF7E1-E61C-4729-9E91-A016A9BB48B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbee4e5958f32edaa75dafd943ae3a18c85abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5482260,"id":"Q5482260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$204D0E34-7102-4FC1-97B8-EF61027B4705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$031D10F7-F008-451C-B7AE-24BB223BF13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$0E8D370E-1311-4612-AE74-B9E831B2BA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec05f12232d0a1528cf5463f4d82c9a218e2d75","datavalue":{"value":{"entity-type":"item","numeric-id":4228473,"id":"Q4228473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$01B18EB4-6060-4755-8014-8BB547C2AE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e92a52a10cf1dd5d38214cbce6c4ce4a0cbf5d8","datavalue":{"value":{"entity-type":"item","numeric-id":5308007,"id":"Q5308007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$1D8239F1-54AB-420E-966D-F55A102C72F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c982cbb5e59dc7e2ae30800c6f4d626a4d47b8","datavalue":{"value":{"entity-type":"item","numeric-id":4376179,"id":"Q4376179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$8F8A168F-53F6-47F7-A906-740606E93D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825375$3601828F-D156-47BC-A9AD-76CAB3B1ED49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc22569b7e8d75dc68d2722dea5cb7bf0d308684","datavalue":{"value":"10.1016/J.ENTCS.2011.01.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825375$1F5AD35E-A851-4400-8D4E-D73E78503FCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57664a054d914480afd0cab3e994003d3368eea0","datavalue":{"value":{"text":"Scalar System F for linear-algebraic \\(\\lambda\\)-calculus: towards a quantum physical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2825375$E6169B7A-FA3A-4AB4-92C1-D73577A2E4EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2616319482e9a13b3d4131922fbcf6159dcb180","datavalue":{"value":{"entity-type":"item","numeric-id":2881078,"id":"Q2881078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6ad404fb7347da9aac9a9dff0bcd2c0bd98940","datavalue":{"value":{"amount":"+0.8706291913986206","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":"Q2825375$F5CC5FFD-FA78-43A4-8522-3E9CB466844C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0950523ccad0a81270e80e1c15a8940ddaa1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4986659,"id":"Q4986659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9b18c8595c9f5bce198b3741a376df42d0f2ca","datavalue":{"value":{"amount":"+0.8283153176307678","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":"Q2825375$382C141B-56AB-40BC-B99C-B02120446175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e8b1f86535197a6c989c0a63f77bcb56e463f6","datavalue":{"value":{"entity-type":"item","numeric-id":529049,"id":"Q529049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df211cc6adc88ea584bee59873bb2c6f0bf3794d","datavalue":{"value":{"amount":"+0.8180567026138306","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":"Q2825375$9C4B7483-D53F-45F5-B8B8-4A8D1830E6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11384e16e9dff5cd0e3a0fd04b96673e961c5bbb","datavalue":{"value":{"entity-type":"item","numeric-id":3522006,"id":"Q3522006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"946600daf4c87e1f5eede32b574a4e18a1c97ddf","datavalue":{"value":{"amount":"+0.7985124588012695","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":"Q2825375$C157716F-C1E9-4222-BABA-C003BC82464C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e087c61fe2738d6348d9fbe65d5b85cbfd09b6","datavalue":{"value":{"entity-type":"item","numeric-id":5858674,"id":"Q5858674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78554b9d06cc4aadfaae48edf03ef219f5754a61","datavalue":{"value":{"amount":"+0.7947636246681213","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":"Q2825375$5F0E965E-5249-41AD-BEB7-FDE90DB00F77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2825375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2825375"}}}}}