{"entities":{"Q2870212":{"pageid":2880932,"ns":120,"title":"Item:Q2870212","lastrevid":51906233,"modified":"2026-01-20T12:40:21Z","type":"item","id":"Q2870212","labels":{"en":{"language":"en","value":"On a fully abstract model for a quantum linear functional language (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247505"}},"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":"Q2870212$DBCB20F3-D02A-41FF-A037-8D31F8677F83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bbb46042c23a03d80e0e74c20150a25e09a5682","datavalue":{"value":"1279.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870212$210F3063-99B7-44C9-8857-98A84AB931DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14e6c6a9f3aba119325d184495ec2d8e413a64ef","datavalue":{"value":{"entity-type":"item","numeric-id":1884895,"id":"Q1884895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870212$C2D93875-3DCE-49CE-9E3F-ABEC5E5EA5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdedd14f542819f3e703a4797215dd716a1cd763","datavalue":{"value":{"entity-type":"item","numeric-id":468583,"id":"Q468583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870212$F024298D-8001-4F0E-904F-B489ED228163","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":"Q2870212$F053C887-1766-466C-8E6F-13B1325CEDCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870212$FA1506D3-82D1-4FDF-A089-C2552F1C52A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870212$64BA02AB-7DEF-49F5-A385-94A89BADC557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870212$C90A0CCB-A3CC-4254-8B51-108FD1CA1B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870212$DC66187F-E5BC-44F8-934D-3720E9E8AB0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8384ffbfed9bbc89a2bebee20d8695d97dd400c9","datavalue":{"value":"6247505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870212$BAC01221-E139-4FFF-9B2D-25C7AE996483","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870212$21DB3ED5-2384-45D0-A8B8-4083D7FE2FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870212$EFF20E62-954E-435B-BD32-E9E71B5A9D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca216c9bb39fab1074ba17a4d77046e86cb96ea","datavalue":{"value":"linear lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870212$01439DD8-045D-4C92-9211-434EF055493D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b304c27f3fe114c5a933bdf0a604c53026d641a","datavalue":{"value":"higher order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870212$F953DB44-56FB-4935-A282-32650FB2DE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870212$9900A851-47AD-4089-92C2-5347AA79721C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c69567ab1e57276dbf1175b69c6b8aa4fb7a627","datavalue":{"value":{"entity-type":"item","numeric-id":54937,"id":"Q54937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870212$CD58083A-40BE-457A-860C-8B84925A4216","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":"Q2870212$ACAF1C36-C58A-46E3-AAAD-D0BF03A40D71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa25be1bb02583ca8f8d32b72a9f432194d9ba0f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870212$2D5D2EC7-9410-41AE-A5FF-3C7A96E4A03C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb6129da22c7c9583e09ee68674ed94d68594934","datavalue":{"value":"W1519555209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870212$62778C09-82F6-43D7-8790-C3BCC4140F54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870212$38403068-AA13-4603-B894-BE50A1E7321F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456bd0ebb5ca7f1cb78884a9ce263e1bd5e6bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":5738959,"id":"Q5738959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870212$7A10F011-BFED-45F7-B870-CC5BFEC0F1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e3166c702946f2401b3476066fee9ebe1fba7b","datavalue":{"value":{"entity-type":"item","numeric-id":4818937,"id":"Q4818937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870212$F4ABFE38-9B59-4B16-9994-0D467B140429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50cac2e6dbdafbd7ff6ecba7b68a629401be4a2f","datavalue":{"value":{"entity-type":"item","numeric-id":5704021,"id":"Q5704021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870212$A077E3FF-B25C-4F4C-B7B6-4A832249C4AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63c85b407f23975030b2f8942d21fed30f0c77e6","datavalue":{"value":"10.1016/J.ENTCS.2008.04.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870212$8A51ABA0-DF72-43C8-A86F-BED6CC58B131","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98d1e9af6957d064aafb40903d7dd3bac32f1848","datavalue":{"value":{"text":"On a fully abstract model for a quantum linear functional language (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870212$578E44C9-9360-4D95-A46E-9BD1C991F63B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb49db9558551335dbf79d0ff87551d41e94d690","datavalue":{"value":{"entity-type":"item","numeric-id":2825348,"id":"Q2825348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23013c890627767def241c1a81b982d1c73c8363","datavalue":{"value":{"amount":"+0.8027902841567993","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":"Q2870212$5695E144-E649-4BBF-B1AD-FCDDC199E64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae6b1e07ed4366390f735042a1e9a88d8f05f91","datavalue":{"value":{"entity-type":"item","numeric-id":2870207,"id":"Q2870207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f258f172adbdc88e4149814c72ab73eaf9349656","datavalue":{"value":{"amount":"+0.7819363474845886","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":"Q2870212$EA2B3A05-048F-4FB2-B3D4-E7B714A05435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6431aed33a89b7c5f4f05f781b886944d1594c","datavalue":{"value":{"entity-type":"item","numeric-id":5704021,"id":"Q5704021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5ce7541550d3438dd1baed08d0e41dec11b95f","datavalue":{"value":{"amount":"+0.7750086784362793","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":"Q2870212$78753790-2A2A-4DE1-9173-B5DD8563455C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40f1012ca314b5052d58fb5949acc5f968b96c8","datavalue":{"value":{"entity-type":"item","numeric-id":4818937,"id":"Q4818937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e76c28b7200bd896831efcc4ed7e416f90b810","datavalue":{"value":{"amount":"+0.7718251943588257","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":"Q2870212$2A39CC54-16F9-4A7B-A7FD-C86D37FCA864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f5b604218160dfcb116d84742bc3b785e265734","datavalue":{"value":{"entity-type":"item","numeric-id":5482273,"id":"Q5482273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d03ea949d8d161cd41f06314bedae83adf5362","datavalue":{"value":{"amount":"+0.7695196270942688","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":"Q2870212$4FB17B02-8E27-4A89-86EC-20FD85EADFFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870212","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870212"}}}}}