{"entities":{"Q6897665":{"pageid":20883322,"ns":120,"title":"Item:Q6897665","lastrevid":84183476,"modified":"2026-05-13T06:38:26Z","type":"item","id":"Q6897665","labels":{"en":{"language":"en","value":"Towards a computational quantum logic. An overview of an ongoing research program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8123927"}},"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":"Q6897665$76F76CAC-7911-48B5-ABFF-1B761FB88EFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d5245658553c6dc8c05320bc5d1549d74b856d0","datavalue":{"value":{"text":"Towards a computational quantum logic. An overview of an ongoing research program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6897665$148AAE6E-B619-43AC-8108-E7C6A3C280DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8557e1c34baef45cf5b0b969eca9c693b50fa5f5","datavalue":{"value":"10.1007/978-3-031-95908-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897665$4CA6895F-B3F0-4935-9F28-CF4D40A63DE6","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":"Q6897665$BECE6FBC-EFA4-4571-938C-272695EA8A3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"804cb8321879b3a50f4d87280bc7c6e87039f39c","datavalue":{"value":{"time":"+2025-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6897665$B1992FA5-BF1B-4F4C-A2B4-BB9423FA5896","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897665$C50E8F5B-ACB1-4971-A901-58B33DC4B605","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ffdf5aa59bbf9f217933bc5dc2e05801f03676e","datavalue":{"value":"8123927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6897665$F2C37D0A-430C-42B7-8ABE-89005A42B31A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897665$728F184B-EB59-47D0-BF09-7C8BA0901A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897665$E558C3C2-A1D9-46E1-B984-470533F07EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897665$7A36107E-3022-43E3-A6FC-F5F6C9AC6FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6897665$21EFDE69-E0BE-477F-B6C5-6C8764268669","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":"Q6897665$DA4365BE-F2B4-417C-8A2C-A6BE671ED462","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":"Q6897665$5FD91AA8-C666-4C31-A4E7-F00959BA2554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c631ec0f6f0be4fec65a56389cb0c55d9574631","datavalue":{"value":{"entity-type":"item","numeric-id":2938763,"id":"Q2938763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897665$DB1E9278-520A-491C-B116-1111E45C7D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465ee0c31a36033462c075c7306d090225cd11a6","datavalue":{"value":{"entity-type":"item","numeric-id":2608919,"id":"Q2608919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897665$DFA80440-CAE2-4FB5-8CA8-8EB1B853037B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897665$D67FDCF6-1485-49E4-ABD6-57E437AFBABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f16478fc4a2c02f5a7583c31c2b52acfb623d184","datavalue":{"value":{"entity-type":"item","numeric-id":5925711,"id":"Q5925711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897665$6422B4EF-F75E-468E-B84C-AD018B910531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a78ff59202aa2fd3a7dd3a07c3a71da20d3b91f","datavalue":{"value":{"entity-type":"item","numeric-id":7020354,"id":"Q7020354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897665$C32C43DE-2964-4446-BBC5-3282A145D91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0beeb9c224f10085a3bb2fc357eb83938862ace0","datavalue":{"value":{"entity-type":"item","numeric-id":7034656,"id":"Q7034656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897665$56F3C2F4-6A7B-4B98-B65C-20D752E869D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34350c0d085576347a572dab88ddb9b358f432f","datavalue":{"value":{"entity-type":"item","numeric-id":6654521,"id":"Q6654521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897665$F1954519-B623-4F03-AEC7-65EF613DD09A","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":"Q6897665$1FFDDCDA-8F3E-4D3B-9FC4-D4F52060E8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231f12dcfa9dd7420e8e3e553be219eb2c66d030","datavalue":{"value":{"entity-type":"item","numeric-id":5043591,"id":"Q5043591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897665$5F540B2F-33E9-4EF5-81A4-3B5503CA6975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf7b9e9531b984506b89a50d5e63dabcaf330be","datavalue":{"value":{"entity-type":"item","numeric-id":6149958,"id":"Q6149958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897665$4F80FB99-8B24-47B4-A55C-8705D0678DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5905009ef63952206824b5e398a2894555028d0","datavalue":{"value":{"entity-type":"item","numeric-id":1146248,"id":"Q1146248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897665$621E8A62-170C-4452-B337-0A227E1E12FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa16ee0b007585cf9333b084e425b8a8bfd9904","datavalue":{"value":{"entity-type":"item","numeric-id":5271067,"id":"Q5271067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897665$4FB6AD0A-F2A4-405A-AD05-CC399EE91555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897665$C09BD2EC-4760-4696-A3DE-580E091C229F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0dd98707b6eaad19f68a7dc4719e12007f2fab","datavalue":{"value":{"entity-type":"item","numeric-id":3067742,"id":"Q3067742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6897665$8C38C79D-8A16-4DF9-9B73-EE9850C80A4E","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":"Q6897665$EAA060D0-8EF6-4992-A8A2-D63DE16C823A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a computational quantum logic. An overview of an ongoing research program","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_computational_quantum_logic._An_overview_of_an_ongoing_research_program"}}}}}