{"entities":{"Q918952":{"pageid":920800,"ns":120,"title":"Item:Q918952","lastrevid":65344767,"modified":"2026-04-12T01:56:58Z","type":"item","id":"Q918952","labels":{"en":{"language":"en","value":"A calculus for the common rules of \\(\\wedge\\) and \\(\\vee\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4160683"}},"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":"Q918952$0637F681-7BA0-4CC7-8B98-031B124C7450","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"635d6748d9d58855a573f315f70023762e5f37e1","datavalue":{"value":{"text":"A calculus for the common rules of \\(\\wedge\\) and \\(\\vee\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918952$58BDE943-154A-43BF-9DB3-36221FFE593B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ade211a0aa75d574664b2353a568c0a7fe9d3a8","datavalue":{"value":"0707.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918952$952461A7-6E3F-4670-9C7E-DDF717615093","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e96a50de5487686c3e5da64121e29e069501d576","datavalue":{"value":"10.1007/BF00370205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918952$B6956351-C3E7-4F48-8FDA-11EE5233E427","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c338f93c2a1a4ab7dfbb04101583cd552335e1b6","datavalue":{"value":{"entity-type":"item","numeric-id":798646,"id":"Q798646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918952$B8D94945-1BB3-4E16-8F23-9D403371CCF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918952$E67B615D-D9D8-467F-8E26-1C4AEFD7BB4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q918952$8C068150-39C4-4997-8819-C2AAF08A0EE1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01099981cf825c1741f68c62d5dba86aed4ec117","datavalue":{"value":"Let \\(\\vdash^*\\) denote the common sequential rules for \\(\\wedge\\) and \\(\\vee\\). Let \\(\\vdash^{\\wedge}\\) denote the sequential rules for \\(\\wedge\\), and \\(\\vdash^{\\vee}\\) denote those for \\(\\vee\\). The author's main questions are: (a) Is \\(\\vdash^*\\) finitely based?, and: (b) Are \\(\\vdash^{\\wedge}\\) and \\(\\vdash^{\\vee}\\) the only proper non-trivial strengthenings of \\(\\vdash^*?\\) As his work shows: ``Both questions have a positive answer, but the proofs are not as easy as one might expect.'' But his work has far greater theoretical and technical interest than these two questions about \\(\\wedge\\) and \\(\\vee\\) might indicate. He indicates how such question might be of interest to computer science. His work brings out that there are challenging problems in the area of asking analogous questions for other dual operators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q918952$615BB75C-71AD-487C-8BE0-9AE26069CF05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918952$C275A27C-35ED-4230-870E-EF5ECD4DCD98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d598d641a94c2c6106ddc901edc369b8a63ead71","datavalue":{"value":"4160683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918952$0E02A324-C957-4EAC-9678-F8ED566B8544","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e15a60280b43ae6a0160066467acea5e9bf2c97a","datavalue":{"value":"dual connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q918952$8C2E7FF2-7CC0-4935-883F-B453792E527B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q918952$D5A358F2-67A0-4543-A7A1-470A574E4F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1996df13b60ccc2162455f92f01ba25a80322f14","datavalue":{"value":"common sequential rules for \\(\\wedge \\) and \\(\\vee \\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q918952$D24C1B4D-5D9C-4D6A-BFB9-EA446E239854","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bed602846c7cd1aca477737525739d8e83d5c5a2","datavalue":{"value":{"entity-type":"item","numeric-id":599802,"id":"Q599802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918952$1558D561-1EF2-4172-B9D8-ECF2514F81D6","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":"Q918952$F046E0D6-F2CF-4F52-ACC1-D92F6971DE6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7dfaf7cbfb6b80a9d4c81ea76f7b0f7433f1ee8","datavalue":{"value":{"entity-type":"item","numeric-id":5581666,"id":"Q5581666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918952$D587469A-16D1-4DAA-A750-8FD39413FD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fba9821370cd0971a00d70e9056fa7a35a58e21","datavalue":{"value":{"entity-type":"item","numeric-id":766811,"id":"Q766811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918952$8BB0898F-EFCD-4A66-8978-B99340B7EC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5a6ad65774536346bcfff115a10ca4717e208b","datavalue":{"value":{"entity-type":"item","numeric-id":1168307,"id":"Q1168307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918952$C796696E-3AD3-4910-ADEE-42350BEACD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36cb932e6129882ab7f6ec5b81c7375b7ef2812","datavalue":{"value":{"entity-type":"item","numeric-id":3760525,"id":"Q3760525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918952$42436566-267B-4A8A-BE78-5536B81F232D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ccbe5b0adb7261424461267f6ad6511390db5d","datavalue":{"value":{"entity-type":"item","numeric-id":3982865,"id":"Q3982865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6fb6e0e595a1d73cf22cdbda41fbf090589fad","datavalue":{"value":{"amount":"+0.7283507585525513","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":"Q918952$EEB438A5-B1DC-413F-9CF3-C6E7FCDA8C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86685ef231f8a8495125a74570b4b3332a03afd1","datavalue":{"value":{"entity-type":"item","numeric-id":5020162,"id":"Q5020162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bea1f5f94c84b19e2a229443e6482b6ade997b5","datavalue":{"value":{"amount":"+0.7267935872077942","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":"Q918952$5344B81B-C68F-4298-9FDE-9FADD32B23DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5a064d6d62ed49d7b04809236452675a17171e","datavalue":{"value":{"entity-type":"item","numeric-id":3826531,"id":"Q3826531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c50f518e9ee0c27918a7e49f5dbced80342dae7","datavalue":{"value":{"amount":"+0.7248489856719971","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":"Q918952$89B384F8-F07D-4EBC-B1B6-A8532676D025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31857659e72a51c9b355bbe6f4227d4578ab0f2b","datavalue":{"value":{"entity-type":"item","numeric-id":3222161,"id":"Q3222161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9dd0ceda5ba201e4bef0f918579c88966b0d581","datavalue":{"value":{"amount":"+0.7194105982780457","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":"Q918952$DE8391C3-346E-4544-8B8C-F341652552AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28853bf0c732c6ee45d06bebba226da46f0d5ff4","datavalue":{"value":{"entity-type":"item","numeric-id":5250317,"id":"Q5250317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64a6fca7062e630c7cf0e2bb8f0934fcdc74f29","datavalue":{"value":{"amount":"+0.7090145349502563","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":"Q918952$4DBC1C49-6BF3-4A65-88D8-6E84DB998611","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A calculus for the common rules of \\(\\wedge\\) and \\(\\vee\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_calculus_for_the_common_rules_of_%5C(%5Cwedge%5C)_and_%5C(%5Cvee%5C)"}}}}}