{"entities":{"Q1869616":{"pageid":1880358,"ns":120,"title":"Item:Q1869616","lastrevid":73919883,"modified":"2026-04-14T17:44:05Z","type":"item","id":"Q1869616","labels":{"en":{"language":"en","value":"Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1902326"}},"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":"Q1869616$92B56407-3749-4B2F-ACB9-920405BADE21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4bd58672ce7dbd5adb94236e7027c972b5e94a8","datavalue":{"value":{"text":"Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1869616$4BED8F84-1029-4813-A301-BF73DF3396C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ab24a01a089bba46d619ef8e4c9f5f4bda22e78","datavalue":{"value":"1020.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869616$DEC35A65-E366-435F-8BBA-D26165999478","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49dfd9cbc17a9015c2a8ae02d47c072c75d492eb","datavalue":{"value":"10.1023/A:1021693818601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869616$54A72C43-1973-4B60-BCFD-8A88DCDE5FC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869616$FEB62054-A234-4BC6-B94C-DC1C0F93A5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d6b82b9079c2450783e93894264166058742523","datavalue":{"value":{"entity-type":"item","numeric-id":220719,"id":"Q220719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869616$93553A12-8EBB-4527-A165-8544B431AF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73184fbfb3b21357608a76d8fcbf8bd57d0ccb8f","datavalue":{"value":{"entity-type":"item","numeric-id":185562,"id":"Q185562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869616$42ACC218-6DED-4B15-9A45-F4C5D26A9844","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869616$9E660A68-F6C8-4D7F-B203-8B487877B7A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b05751a28df8b7d171e02c18dec5082d33efa41","datavalue":{"value":{"time":"+2003-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1869616$2DDBE72B-F0BC-4AEA-A1D9-6CBF811D56C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19f39200026a7a5282a8d4a900b2b5e231c4df0d","datavalue":{"value":"This paper answers the following question: Is the formula \\(\\text{XCB}= e(x,e(e(e(xy)\\), \\(e(z,y)),z))\\) a single axiom for the classical equivalential calculus when the rules of inference consist of detachment and substitution?   Heretofore, thirteen shortest single axioms for classical equivalence of length eleven have been discovered, and XCB was the only remaining formula whose status was undetermined. This result ends the search for shortest single axioms for the equivalential calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869616$2087648C-DD19-40B2-9AE9-152847E34E2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869616$5D144F1A-EAB6-4CE4-B04E-72BFEB306E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869616$E2CA2646-EE7A-4425-93B4-A6BF91610AD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fef6daf3cb3dbacdaa30f500c1e5273802ff1190","datavalue":{"value":"1902326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869616$C7F2A74F-A9E5-4989-8A2F-CEB56B12AE1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869616$7422665D-99E8-4946-A3B6-CE33CF965FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a3064cc446fdc319ccd440f7ee9dca559f98f9","datavalue":{"value":"equivalential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869616$FEAC844E-C59E-4EAD-8E90-2831AF3D5414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43cca7e8db51e510ddabcd42bdff8dfdef3d690","datavalue":{"value":"single axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869616$098B6C75-0500-4D07-B369-584E49075315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c65e66047987814a739b067cd08533d1e23fc5ab","datavalue":{"value":"shortest single axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869616$7B101CAC-6BC4-4C55-9AA6-5AAB6F6F81EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a587dccbd18cb79de242f4257854414fb3cd4215","datavalue":{"value":"detachment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869616$DF32688D-9844-4E7F-A3EA-DBA56A9922F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7659bb8879fdc0319bd5c16763d4231270b7b686","datavalue":{"value":"condensed detachment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869616$B469F2F9-A89D-44C9-BC1D-D8500397DC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"781c387c8e97d513c0afa5ec3839a83cbf47e472","datavalue":{"value":"XCB","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869616$CC7C9D62-B54F-4DA4-8308-A85A4396545D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927659d4813664173a8f09a1f34d9214be3b9170","datavalue":{"value":"OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869616$68D6C161-8EC0-483D-ADE3-0AAD2EA9A439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1869616$3DB26027-1AEB-46D1-BED6-AAB844FC2274","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869616$65867566-C73F-4269-B452-A192A7FC4B8C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1869616$556E0647-9D06-4583-9885-E371F87280B4","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":"Q1869616$0A50CBD2-6095-418F-9ED7-5B2BC9C54E29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9df04bc261b9fd1c04bf7c45b6750e34b6e81616","datavalue":{"value":"https://doi.org/10.1023/a:1021693818601","type":"string"},"datatype":"url"},"type":"statement","id":"Q1869616$D3459F68-48AB-445F-847D-754E3B7AD504","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2065d42b367c2abf07c6482e46ac66c8b0ae8b3","datavalue":{"value":"W1620994827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1869616$79F0B38A-97E5-4DBF-9EB9-386E89E971C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4083703862f0594a90b3aac30e8f009273bb212e","datavalue":{"value":{"entity-type":"item","numeric-id":3433180,"id":"Q3433180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058444467ab7a000cf424e237041f0ac8daa1cb0","datavalue":{"value":{"amount":"+0.9553773999214172","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":"Q1869616$410282B4-9EBB-4659-91F7-A84CBC2F0E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b4f735c9b2a4668f9812a90084bf78f5c96da9","datavalue":{"value":{"entity-type":"item","numeric-id":1383993,"id":"Q1383993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60551c3d14b948b1afacc92a693790cf966861d","datavalue":{"value":{"amount":"+0.7887700200080872","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":"Q1869616$D38FD38C-2FE2-4CE7-BDE2-EB9CAE7D3E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555f8870c3dd754d3f93b0ff5b60dcee232bf27e","datavalue":{"value":{"entity-type":"item","numeric-id":4308674,"id":"Q4308674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a191596e5b717a60993ecee7ec99e05605eac4","datavalue":{"value":{"amount":"+0.753912627696991","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":"Q1869616$AE6F684D-5531-4A52-B95C-DCED3146E194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e16e423d520bb6c4a9254a8f3468a6247a48b7e","datavalue":{"value":{"entity-type":"item","numeric-id":759491,"id":"Q759491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a191596e5b717a60993ecee7ec99e05605eac4","datavalue":{"value":{"amount":"+0.753912627696991","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":"Q1869616$48EDE14F-4BB5-4FA9-A8C2-65A4C7E218D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cca928a17c288950e7c56f9eed4c2e99fcdde5","datavalue":{"value":{"entity-type":"item","numeric-id":1869610,"id":"Q1869610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414a3f30d5147205911e96baefe5433c05e7d9a2","datavalue":{"value":{"amount":"+0.7404405474662781","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":"Q1869616$F4B35FB1-FA28-46A3-8F3D-CB6FAE36B7EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Vanquishing_the_XCB_question:_The_methodological_discovery_of_the_last_shortest_single_axiom_for_the_equivalential_calculus"}}}}}