{"entities":{"Q5918648":{"pageid":8049571,"ns":120,"title":"Item:Q5918648","lastrevid":93649379,"modified":"2026-06-05T04:46:20Z","type":"item","id":"Q5918648","labels":{"en":{"language":"en","value":"A new connective in natural deduction, and its application to quantum computing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7500644"}},"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":"Q5918648$AA72BB5D-98E8-4576-ADA2-04F8ACFEAB32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e49bb5c39a919351a3801d35fe7e67482b5ab70e","datavalue":{"value":{"text":"A new connective in natural deduction, and its application to quantum computing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5918648$5B2B60AE-D1BA-426C-AE1F-6AE4D8234117","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22859cf46a2eccc1e991a4180890a6f9a174afc9","datavalue":{"value":"10.1007/978-3-030-85315-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918648$33C0D314-5435-40C9-96AD-D28EF583985C","rank":"normal"}],"P16":[{"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":"Q5918648$FFA48E06-3F4C-4DD6-879D-0D108D6B0115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$D47C73B8-0095-412A-AB3A-3C86B4EF60BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"351215465efaec381cb41a78fc8f5d43fff6392b","datavalue":{"value":{"entity-type":"item","numeric-id":5918647,"id":"Q5918647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$D4557096-2B5A-4880-8685-B7C3D6320652","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cb51486d062318d72a3e7127aeccd5361ad436b","datavalue":{"value":{"time":"+2022-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5918648$EA6EB792-3A2B-406C-9EF1-2EC211005DA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fccc4a19d8f38ad44da0199de7c556fcf6be5555","datavalue":{"value":"https://arxiv.org/abs/2012.08994","type":"string"},"datatype":"url"},"type":"statement","id":"Q5918648$46630256-09E0-48F1-93AA-F8A5C1E53456","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918648$8976A704-6AAD-40B3-87C6-A47D2F873A87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8059e4071fd1652bcb03092d8454f21cefb787aa","datavalue":{"value":"7500644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918648$0AACDE5C-C451-475D-8E1A-3E107C6C0896","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$07BFD869-D1C1-4CA7-9C93-76D74BC40040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfeb1ce870aecd0eb5c3e3b9dfed6a47ea94b991","datavalue":{"value":{"entity-type":"item","numeric-id":5973013,"id":"Q5973013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$6D46405E-5E26-4D43-9F40-298AA41ADDC7","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":"Q5918648$568A589E-2A6C-409E-8A14-F38F4EBB6A76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c24e4b4ff4965f8ade2228235baebd58136c9c0","datavalue":{"value":"W3111235101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918648$30DBD058-CB70-4C60-A62A-26B9F69ABE3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa641d9bd95d099beb13e931a65ef0f86bf7dfcd","datavalue":{"value":{"entity-type":"item","numeric-id":2980972,"id":"Q2980972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$A8010212-46C3-4EE4-A662-68A05CBFAE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd79437c79144327c3d252da8e681f6f81d9c985","datavalue":{"value":{"entity-type":"item","numeric-id":2970049,"id":"Q2970049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$39137A26-02B6-4E3D-AA1F-9AB258C422CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fe4ce80a75e0b5d7c75ef7401dbe713ffc36bb","datavalue":{"value":{"entity-type":"item","numeric-id":5089014,"id":"Q5089014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$80999BF4-504B-4A88-A5A2-E95BE89B61D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6064f1328144526a150d910be9d714945416bf85","datavalue":{"value":{"entity-type":"item","numeric-id":2024925,"id":"Q2024925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$FB068255-D922-4027-A93C-9D28D6CDE8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b02d0c6ce8d535774f83e1110c9e3e6d3f626f","datavalue":{"value":{"entity-type":"item","numeric-id":526738,"id":"Q526738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$FB853B4A-A9DE-4641-8D62-E697C1D3942E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de22e68338ce91d5f7b421aaf2ecefb70507cdce","datavalue":{"value":{"entity-type":"item","numeric-id":1944778,"id":"Q1944778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$656EB59B-08AC-44BA-ADF6-56305070F679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$A9CEFFD4-601F-4882-9DBC-63BE57E6E481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$89560841-924C-43D0-8B90-E82F2631711B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9a53038a3e03bede13deef3624bad6ce441e04","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$37690E07-1B1C-4541-A91A-D60C32E0712E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$0545DBC7-90E9-4886-BDE7-CB95442F2703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422744a29c3cc2d00c541d05b6a65c3b9575f618","datavalue":{"value":{"entity-type":"item","numeric-id":4663371,"id":"Q4663371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$B1330FD7-634F-4A17-8EC9-D55C33061EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b94865d70c88e8cde35b6fc0fbb30412d8d2c3","datavalue":{"value":{"entity-type":"item","numeric-id":600850,"id":"Q600850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$CDB4B6A5-3C2A-44D5-A7AE-79B84BF63D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$7E9253E8-D294-4FBB-8FC9-4989F86E28C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8781691f3a90f4232c741473b5f76f8ee4cf3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5482273,"id":"Q5482273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$B77EA0C5-13A9-4992-B6FD-51739A32E277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43e36238b5fbe19fd4ec373f051c3c2b3c20475","datavalue":{"value":{"entity-type":"item","numeric-id":2973238,"id":"Q2973238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918648$C6DC90A8-03E8-42EA-8FB0-8928A136D8D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new connective in natural deduction, and its application to quantum computing","badges":[]}}}}}