{"entities":{"Q3455863":{"pageid":5235263,"ns":120,"title":"Item:Q3455863","lastrevid":90174002,"modified":"2026-06-04T19:28:25Z","type":"item","id":"Q3455863","labels":{"en":{"language":"en","value":"Applicative bisimulation and quantum \\(\\lambda\\)-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6520059"}},"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":"Q3455863$A97B9FA2-1565-4E76-8718-843AD424697D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e9c85df79ee8c919770f132bdc493276cf3f624","datavalue":{"value":{"text":"Applicative Bisimulation and Quantum \u03bb-Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455863$DEB2ADB7-361E-4820-928B-9EBE6A6CAE14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"701ee242dd79e081ce81d093394d2c939af81333","datavalue":{"value":"1434.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455863$655CA705-26E1-4C75-8926-AB8852583A56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad373e5d5ba392a1cfacb38591ee87b6ee6e85f7","datavalue":{"value":"10.1007/978-3-319-24644-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455863$2789FD95-D56F-4EEC-B867-79BE018EA6AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$3D397BDC-4B73-4776-A91C-C35D2B20E9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36585dd44885f94dc019a688982fadf362043e56","datavalue":{"value":{"entity-type":"item","numeric-id":1965035,"id":"Q1965035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$476646EB-C534-4514-B8FE-B7528913DA59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$53EC5DB8-95B5-4F62-B9D7-442D553CCC11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455863$D7B10AFD-5168-4CA7-A590-8E8914B6ACF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92734ff36c8de746fdbb408c91099e01880f5c65","datavalue":{"value":"https://arxiv.org/abs/1506.06661","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455863$83B2756F-EA2E-4F8D-8F90-517089708CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"32ad35b512a3671607570aace6d3b84a8a61fb7e","datavalue":{"value":"https://hal.inria.fr/hal-01231800/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455863$4C7F1DDC-2808-455A-94BA-AE93CAFA2275","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455863$66ED4C9B-8492-4ACB-91FF-934763133AFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad5e2a3bd9b222a0073285dcee8cb994f5557d6b","datavalue":{"value":"6520059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455863$9A0DCC6C-D9D6-4F8B-A3CF-1AB2DB6A62B4","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":"Q3455863$DBD615FB-396B-4A2C-BB87-8EA9E843A37C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07ad78749c51f14968cd50eba0527133cdf0ca14","datavalue":{"value":"W2281978270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455863$65E0B8A8-A732-45AB-9B5F-4B806AE345C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66acf7c53f747598a6796c13d52d0dc53dc4cf6c","datavalue":{"value":{"entity-type":"item","numeric-id":4500364,"id":"Q4500364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$47E9F2AA-A452-4ECE-92EE-D46C93794A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18f73027341d183a562fe1e2b373d885d7c3d89","datavalue":{"value":{"entity-type":"item","numeric-id":2708307,"id":"Q2708307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$2A7FC8D1-A881-4C92-8A61-B63E9E29B5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b85a0716c9176a24fe9f3224d2ebf22b69ed28","datavalue":{"value":{"entity-type":"item","numeric-id":5410701,"id":"Q5410701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$191B9F65-E33F-4D4F-BAAF-ADB5988CDBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eebcb3d74f0bb303dea84b8831cf080dc901b402","datavalue":{"value":{"entity-type":"item","numeric-id":3455863,"id":"Q3455863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$A159FF7A-1E2F-46AF-A572-A65F7775D3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$7726FDA9-B1E0-462D-BF5B-749B8C14AAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113b06286a8ca36b3aac971a66339b93394408b3","datavalue":{"value":{"entity-type":"item","numeric-id":3000596,"id":"Q3000596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$9708C067-13D3-4F95-94D1-6BCBD5E0C48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e23ad7f02426eb9734b3fe6d68d72ea663383e2","datavalue":{"value":{"entity-type":"item","numeric-id":5739359,"id":"Q5739359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$D2406E3B-581B-4AA2-901E-C965711DA157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$58FBEEC0-068F-41A1-985C-C2A4E55F803B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441588aa84c4739c8a1ef4f27e435c82688ebed1","datavalue":{"value":{"entity-type":"item","numeric-id":4222925,"id":"Q4222925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$588081F3-1D7A-4FDD-8A1A-5111E6820992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$0F93C442-05F0-49D0-8434-B1894E2E93A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232426b4a336ce9f56636b166cfd296a7cb0f2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$90E54118-6116-4EB4-98D7-3C18762D448A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$AF587275-9D28-4E0F-B6BD-FC4E0BFC23DF","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":"Q3455863$1926B787-C3EA-4950-8467-753EF55818B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ed237f0cba0c86e0b742cdcb0888f0b331e97d8","datavalue":{"value":{"entity-type":"item","numeric-id":2870212,"id":"Q2870212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$28824BA6-DEF1-4243-9BAE-063B5846E407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da291fe0aec0c935ea4169bb1d644b1e04f22e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770416,"id":"Q1770416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455863$E137CAE5-4CCA-492F-A0C3-0EE7F0E6E06B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373bc616ba0d7eb781a6f68791aab57ce270377d","datavalue":{"value":{"entity-type":"item","numeric-id":5357721,"id":"Q5357721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6dd2a125427fc3449eca57157f2b181224868b6","datavalue":{"value":{"amount":"+0.8523213267326355","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":"Q3455863$A6B7EC9E-894A-44EF-8F50-4F42111AE823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59cbbbe878bfefd506a0814c1562a18cb7869040","datavalue":{"value":{"entity-type":"item","numeric-id":5410701,"id":"Q5410701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7fe0044500b4773edf9de62ad881ed0524f1ad3","datavalue":{"value":{"amount":"+0.8205968141555786","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":"Q3455863$28FF0281-41AF-4B6B-BBD2-C60D05DCE01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9badaf2611c4876a802e2c4209fc032d6497609c","datavalue":{"value":{"entity-type":"item","numeric-id":5408426,"id":"Q5408426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be85e9dccbda5b420bd1fd524c64d4d7a7ae246c","datavalue":{"value":{"amount":"+0.7925046682357788","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":"Q3455863$D69EB700-4959-40D6-AF77-11BC27AA261A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1486b45c1c68680cbf686be9b59020d264fc5026","datavalue":{"value":{"entity-type":"item","numeric-id":3449626,"id":"Q3449626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef9f2abcbec6e0af2e015206c2e2656ce11ab7b","datavalue":{"value":{"amount":"+0.7886938452720642","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":"Q3455863$02CF55D7-62D7-4570-95E6-596A73545C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cb0ecb65a119c9d7fd6bc8a485baa7617b2694","datavalue":{"value":{"entity-type":"item","numeric-id":4870806,"id":"Q4870806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff094fe28ef1d0906319ce785d55e0a0f327d3e","datavalue":{"value":{"amount":"+0.7701079249382019","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":"Q3455863$BFE291F8-5348-486D-821C-37F16C8AE62A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applicative bisimulation and quantum \\(\\lambda\\)-calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applicative_bisimulation_and_quantum_%5C(%5Clambda%5C)-calculi"}}}}}