{"entities":{"Q1001909":{"pageid":1003757,"ns":120,"title":"Item:Q1001909","lastrevid":70038693,"modified":"2026-04-13T12:01:50Z","type":"item","id":"Q1001909","labels":{"en":{"language":"en","value":"Quantum deduction rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5509596"}},"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":"Q1001909$CD62EBC0-F702-425C-B77B-3095D5D394FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7afc00c3a39ef52254b8b185f573557080306272","datavalue":{"value":{"text":"Quantum deduction rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1001909$2E65C073-A911-4D75-95C6-8418BD99CCF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25f043a5358d09669882e30a4a1765a8b7e7f8eb","datavalue":{"value":"1173.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001909$EFD05BBD-3F28-418D-8722-249E9C1C79C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001909$B67887A5-71C8-4FF1-937D-DF10C2892006","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001909$504EBF81-5D77-440C-81F3-9AAF91C690D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ac46482d9614bc70cdfafc33c9b07360ae890aa","datavalue":{"value":{"time":"+2009-02-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":"Q1001909$DB25FE13-7775-4E7C-8B60-ED5FDC210459","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aa2e06d7002bb9daaa9bf6d2abb7629073b3eed7","datavalue":{"value":"This well-written paper deals with many of the important capabilities and limitations of quantum systems for high-speed theorem-proving for propositional logic. Of course, advances in such areas will likely lead to improvements over classical high-speed (1) communication systems, (2) cryptosystems, and (3) computation systems. The reviewer believes the author is very optimistic to suggest that his interesting results can be extended to predicate logic, in general, without special provisos. The author's results may well extend to first-order predicate logic, but not to higher-order predicate logics, due to the presence of various recursively unsolvable problems; e.g., in second-order axiomatic arithmetic, \\(A^2\\). The author's main achievement is the elegant extension of the classical concept of the Cook-Reckhow Frege System (CRFS) to a useful quantum analogue of CRFS. Finally, the author poses two challenging problems and a conjecture on the existence of a universal quantum Frege system. The reviewer looks forward to seeing the author's novel methods and approaches applied to many-valued logics and modal logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001909$DBEEA906-E3C9-4E8A-9632-08E2B16A6532","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ba7232f3f7ae68133198ecf25821b70a187e9eaa","datavalue":{"value":{"entity-type":"item","numeric-id":704043,"id":"Q704043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001909$BD04655A-4AC1-4BDB-ABE5-62336C49BF05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001909$F79E9DCB-1928-4CC6-A537-26CB1B0F230A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001909$ACA22ED3-91CE-478F-BFFB-58EFDE23635F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001909$D9E72A55-5E72-4860-903D-CDB4A9D17DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001909$E41791BD-212E-4B7D-8EFD-676691C3F61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001909$490082F2-C9BF-45FB-8197-4679494179D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001909$FB6EF21A-0BC4-4234-9911-8E053E47E7C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c323a5bb453b1b3efd4f15918c2e2d53c7451fe6","datavalue":{"value":"5509596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001909$FA25020A-3BD8-4E7F-99DE-B42434256489","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0a85fc687d5a2030ca309942325a5872eec67b","datavalue":{"value":"quantum computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001909$512D10ED-CD1B-4BA3-B1BA-92B5FE1FCA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001909$8213A253-E9BC-4BCC-A767-A55957C23187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"763842fd487273c6d49945adaac207065cda4ce1","datavalue":{"value":"quantum Frege proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001909$2C5D6197-2DBA-4F4D-A753-E11DB365B602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001909$BAF042AD-34EC-4316-BF61-8A109F6539B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8932accaa90a6439300039efbd90c490ecc3192e","datavalue":{"value":"quantum cryptosystems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001909$90A4A935-7644-4C24-A402-400A9E3EE85F","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":"Q1001909$039B48F1-9462-4CAE-9101-774FB031209A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d42d1def4be635cbadc2ecea8b902f9829b9ac17","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.09.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q1001909$994AB34C-AA3F-44B7-B54E-3BB1ADC2C094","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d38c1d1cb239c9043fbad2925d31736ef77dbb5d","datavalue":{"value":"W2024450183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001909$304A14B2-FA29-4681-A578-A058A0ABC140","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"157d1a28a93c0bf6d9f61feff52b71fde1fea53f","datavalue":{"value":{"entity-type":"item","numeric-id":3102441,"id":"Q3102441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001909$F0849CE9-5AF6-45FE-B181-9F314893D025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770839834e9b2e75c5cac9d85b4f2bbde549b6c8","datavalue":{"value":{"entity-type":"item","numeric-id":4507332,"id":"Q4507332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001909$41BD20F2-6230-4075-B5A7-61C03099A47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268508f11a93ad9daf989654e9defbf367898cdf","datavalue":{"value":{"entity-type":"item","numeric-id":1177033,"id":"Q1177033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001909$53F8B14D-2E8D-4D41-9D84-8E209743D755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001909$C5522DEB-C872-4A59-A0F9-92DE46461735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a445fad0dc0985d7853860e848fa4592ae7f51","datavalue":{"value":{"entity-type":"item","numeric-id":2706552,"id":"Q2706552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001909$ABC0DC96-B909-415F-B770-6FD8F1ACE758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4375904b8aa076055dd42498948d54f6a1b282ad","datavalue":{"value":{"entity-type":"item","numeric-id":4343414,"id":"Q4343414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001909$E256892A-71D7-449D-8BFE-019617662CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001909$ECEDF5ED-B04A-4F4E-9CF2-1466F713FCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59453e58f7cfaf844d3b63583cdaa54741e69f19","datavalue":{"value":{"entity-type":"item","numeric-id":1383164,"id":"Q1383164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001909$882518DA-D62A-4D3F-9AD5-AF393DBE1A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4357f013f780ea473f7a1452057029f2f87e3675","datavalue":{"value":{"entity-type":"item","numeric-id":4674243,"id":"Q4674243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001909$2BCF1776-6D58-49CF-AB8A-20BB95E944D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c58da16c77a767317bf91047159f17ab50d7b79","datavalue":{"value":{"entity-type":"item","numeric-id":3522420,"id":"Q3522420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001909$8C905C5A-0957-4E7E-8F1D-37AC8AC6E8CB","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":"Q1001909$671FBDE3-E74A-460D-AD38-787830EF1053","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ef74aff8ee5c368ae359b849bc32e04dd19a991","datavalue":{"value":"10.1016/J.APAL.2008.09.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001909$4F9D5E50-8F7A-4C81-B6A2-696E7D3FDB82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a3cf9069d1d89a7afbcb29dbac4d843acc80cd","datavalue":{"value":{"entity-type":"item","numeric-id":1411360,"id":"Q1411360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24dbb0cecbbb07dc7b61bb73fc08365c0fe8a01a","datavalue":{"value":{"amount":"+0.6695291996002197","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":"Q1001909$B80D9A7E-37B5-4FD5-AA97-69E8F60FA683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683803622f9bd65b5557e6e125443d951992c991","datavalue":{"value":{"entity-type":"item","numeric-id":4885646,"id":"Q4885646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aef21ddc360a1dd3b07e0bce1a51462609b71df","datavalue":{"value":{"amount":"+0.6489882469177246","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":"Q1001909$6C5944D7-80D7-4824-B5C4-17C6117CED77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"008dfd108c61a314d3458cf03b4a1888eaf90fb9","datavalue":{"value":{"entity-type":"item","numeric-id":1586480,"id":"Q1586480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2afda2382924685921b2ac05e703049ff1ee3434","datavalue":{"value":{"amount":"+0.6452829837799072","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":"Q1001909$6DD5B16D-28BD-4C26-B428-C1AA0E5114A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539cd2d29108ba2b9064b31e42d065cf31eea271","datavalue":{"value":{"entity-type":"item","numeric-id":1017412,"id":"Q1017412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25ec77137202ad29c26c7046d75e796279b795a","datavalue":{"value":{"amount":"+0.642171323299408","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":"Q1001909$03995D21-EBAA-431C-9568-DBD616CAA6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db935239b78ce7029613280d6b384a03f5074b0","datavalue":{"value":{"entity-type":"item","numeric-id":5463277,"id":"Q5463277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1483456213669eddcb702a3125e22719f33a8dfa","datavalue":{"value":{"amount":"+0.6402329802513123","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":"Q1001909$BD195F38-7DAD-4F77-946C-CB221F404AE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantum deduction rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantum_deduction_rules"}}}}}