{"entities":{"Q759745":{"pageid":761594,"ns":120,"title":"Item:Q759745","lastrevid":48765784,"modified":"2026-01-05T19:46:25Z","type":"item","id":"Q759745","labels":{"en":{"language":"en","value":"Method of invariant transformations and logical deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3882402"}},"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":"Q759745$819564B7-FE36-4F26-8EBB-F7C5D0E8B8E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab5695689becb375474bc1e2d659aeef96a7b7f0","datavalue":{"value":{"text":"Method of invariant transformations and logical deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759745$7CD1F6AF-47BA-4A8E-9587-BBAE95785BBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbe56433ebf9d9c197c95215c1dc0e2912726b76","datavalue":{"value":"0554.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759745$48B043A7-F13E-4979-8E70-5983E2711D45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12ae9e0d0ae5f2864aa24b1f34be9fc96e6ce3ef","datavalue":{"value":"10.1007/BF01139547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759745$27B726C9-4440-4F33-83B9-8521C81D35DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61a3c014c717b03700c16e533ef66902d9386e10","datavalue":{"value":{"entity-type":"item","numeric-id":759744,"id":"Q759744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759745$E58AE8C5-7CB7-4756-B229-67BB5C7643F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759745$1F54A475-9916-4F79-B9FF-5350BD4192A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q759745$AD673D50-EDD4-46D7-8846-0FDE9A6BC75D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7ac79030fe9c7447048448d35eee5e3db68d808","datavalue":{"value":"It is well known that any derivable formula of the classical predicate calculus can be obtained by means of contractions \\((A\\vee A\\to A,\\quad A\\&A\\to A)\\) from a formula derivable without using contraction rule. The notion of strong embedding of B in A used by the author is close to derivability of \\(A\\to B\\) without using contraction rule (but does not coincide with it in view of nonsymmetric treatment of conjunction and disjunction). The deduction rules of the author's system (for which a long soundness argument is presented) are formulated in a complicated way using analogue of contraction rule combined with strong embedding into assumption formulas. This form is needed to incorporate axioms of specific theories in the process of automatic deductions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q759745$49F2B69C-F3DE-4F60-80A3-8554E3A61DB4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759745$7AE8BC84-2BFB-473C-854C-958599E29E14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759745$2B8293FE-2F45-42AA-A084-6A7AED6A9C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759745$8E07A8B8-34A8-44B9-BBC4-4609DCC5947C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41b4a50e94fff302676993655d4257b512bf151d","datavalue":{"value":"3882402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759745$62CF9A09-C3EF-45DD-9F88-A7964753EC5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a0b0978d84a6039d48df22ac7e1a68f6a64260","datavalue":{"value":"derivable formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q759745$5E9FCC82-DEC8-4C55-B09A-11239D144714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8a67cb217457095b82c82f15bdc868152770b57","datavalue":{"value":"strong embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q759745$206121BE-5A28-4DCA-A95F-2CFA5904404A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbadd689afdff7de47d6fc9658b887b8542f7df4","datavalue":{"value":"contraction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q759745$52321007-5D1D-4B24-9218-95BDE2BEEF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b16031abcb21b5a398b7d9747f7157847775c25","datavalue":{"value":"automatic deductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q759745$A6C1A2FE-33E2-44BD-867F-7A165FF613DE","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":"Q759745$D9E4FB38-8872-4A05-92DA-84EAE5E6100F","rank":"normal"}],"P223":[{"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":"Q759745$B737F457-FEC6-4781-9B98-E7BA4CB49E15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60e9364116ed17985a6bd74b593387443f0843a","datavalue":{"value":{"entity-type":"item","numeric-id":3770496,"id":"Q3770496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71e5b7a235e0aa8b3e0749f6f63dc2abbce7f67","datavalue":{"value":{"amount":"+0.7109969854354858","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":"Q759745$B0CEC29A-CA1E-47A5-9949-F21489D1B23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ceebe865e77aff9416d0797ad6740927d1eddd","datavalue":{"value":{"entity-type":"item","numeric-id":3808065,"id":"Q3808065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31378fe24e48bb89afa73e08e922a20e9a9207fa","datavalue":{"value":{"amount":"+0.701969563961029","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":"Q759745$7A756634-471E-46E2-8CB0-8589A89B86D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd94739e752d60e63ee977894d56d8cf7e482ac","datavalue":{"value":{"entity-type":"item","numeric-id":5173184,"id":"Q5173184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91190fbad0a10f45f3be34b7f4f35e7f7ae2f459","datavalue":{"value":{"amount":"+0.6930022239685059","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":"Q759745$EF01A749-862B-4902-B340-2426A7DD85E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f6d9e46ecf8bddeaa6b7defcab5fdc239fa839","datavalue":{"value":{"amount":"+0.6919605135917664","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":"Q759745$894CD457-97F3-4017-844C-D55D92604D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963f994fda4dd0b9b7b95ca30125b2ea4e580cbf","datavalue":{"value":{"entity-type":"item","numeric-id":1049739,"id":"Q1049739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d513b0deea729a7710ce45a20c416e030f6872a","datavalue":{"value":{"amount":"+0.6910334825515747","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":"Q759745$DEDDECE9-BF1F-4B86-92D0-6527024A3433","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:759745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:759745"}}}}}