{"entities":{"Q1770606":{"pageid":1781348,"ns":120,"title":"Item:Q1770606","lastrevid":74367861,"modified":"2026-04-14T19:48:51Z","type":"item","id":"Q1770606","labels":{"en":{"language":"en","value":"Fregean logics with the multiterm deduction theorem and their algebraization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153441"}},"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":"Q1770606$ACD43937-532D-4801-A189-97621E6C1D36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"add6fff8afa961ff7b5351eb703ea41bee10ccfe","datavalue":{"value":{"text":"Fregean logics with the multiterm deduction theorem and their algebraization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770606$E9E66611-CB84-45F9-98F8-578267BBBFBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c223e88eca6ccae9b78e64cf6b7c4a6c2d05e31b","datavalue":{"value":"1058.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770606$BDBF9131-0022-4EDA-946A-2188A2DC7228","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":"Q1770606$09F7B166-AD19-43F7-9A9F-778E02859342","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770606$EFE04CD1-5813-40FC-B75D-6F821DF87680","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770606$AD660EB2-F34D-4CE1-90A9-3BF79E16AA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770606$E15CDF0F-89E9-4B65-86BF-0DFF12249574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770606$80731598-E5DC-4737-90B3-2A6B13DC03C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770606$C7A88975-B831-4CAC-B830-C8BA3B775AD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5766cb3410e217e3f5043a8d47cb4125e34b7fad","datavalue":{"value":"2153441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770606$347C43FC-E625-46ED-8A01-9BD9DCF30402","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770606$80F962BD-8E16-463F-995A-8C7CC53E3B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ad4efed7bd7fcc03254ec6f5c376ca702be7652","datavalue":{"value":"protoalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770606$1757105B-8DCB-42D7-9F2B-F14309AA3B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770606$256FF98E-69ED-481F-A395-A68BFE1F4671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c70019492f66aee549ef2dc333d10d3eda7d80","datavalue":{"value":"equivalential logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770606$D7B080FE-C89F-4471-9826-0E806CCB2EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054500799b79f77109cb42de9891e67701606fc7","datavalue":{"value":"algebraizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770606$D452A09F-DA00-4228-AE62-36D30927EEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bed185a02a601a2fa8d81d530f47c7a6e3552851","datavalue":{"value":"self-extensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770606$9B9FEB12-364B-4697-A3B9-E6FD908FFCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70dc5c4478e280200738e78108a10d8f8ac0f7b","datavalue":{"value":"Leibniz congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770606$655285AC-2E0D-45BE-AEA7-4B24F630F436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770606$B8956F10-4962-4D47-868A-1708BFC94FAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfccb93685854dae8ab7b7e24e0ca004a6182d99","datavalue":{"value":{"entity-type":"item","numeric-id":178963,"id":"Q178963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$5F533480-B35B-4543-B2A8-022A86D272D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a53629355a87f6eb2c4dceb6664166a14249140a","datavalue":{"value":{"entity-type":"item","numeric-id":673382,"id":"Q673382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$C052970F-138D-4226-A1D8-B11829BADFB0","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":"Q1770606$E94D8AA5-4A32-435E-85D4-96FC58E80D1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"206af59a0f7993d36a754de1df202d709991d6c2","datavalue":{"value":"https://doi.org/10.1007/s11225-005-1212-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770606$9589BE44-87C7-4764-8ED6-400369274A5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6498b7847d07520a12dd675addf1a68642fc8e3e","datavalue":{"value":"W2076769727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770606$8D7056B7-9058-41ED-95A5-565F55D0084F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aabe06b501791cca83537a378885b705d3689d","datavalue":{"value":{"entity-type":"item","numeric-id":4531555,"id":"Q4531555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$6FFF5C46-009B-454D-8120-471F48E3137A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31de8da3f1bb7ed539d635065469ac7f05f505b9","datavalue":{"value":{"entity-type":"item","numeric-id":4531552,"id":"Q4531552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$3506112E-BB78-4B47-852A-36308678FAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0c4babbc44de71274f0ee7b587bc3d6c54bcb0","datavalue":{"value":{"entity-type":"item","numeric-id":762523,"id":"Q762523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$5DA200C8-A539-4CC3-8D0B-31355EE4A1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$FE60FA89-A16C-4D65-B42B-FDEAEE3BF7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b446099905b56cfa9e33fe33268817567c38830","datavalue":{"value":{"entity-type":"item","numeric-id":4011710,"id":"Q4011710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$41BDBAB0-D41B-4E56-87ED-2B260F85017D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f38cc3486862f4f727ec2639f902b53015e009","datavalue":{"value":{"entity-type":"item","numeric-id":4029628,"id":"Q4029628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$F561A06C-1502-40FD-A001-EF222E3F26EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbaba35527d4f968aa18005e5df56be9950a2854","datavalue":{"value":{"entity-type":"item","numeric-id":1189889,"id":"Q1189889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$3A77071E-BA74-4131-B918-83F700A517D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9a623e15ff9e54bb042d69535ff85ecca1383d","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$647B44D9-EF9A-449F-9F96-C8E50DD21068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c645beb3272487658a6618eb4dd46a34c2f80e","datavalue":{"value":{"entity-type":"item","numeric-id":1090668,"id":"Q1090668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$730B8996-739B-4623-8BF0-6406C8520574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d68ad29ba122045e1f740985dc1a0e7a58f3c54","datavalue":{"value":{"entity-type":"item","numeric-id":1918964,"id":"Q1918964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$F23A83B9-E2E9-484C-925B-A8AFC5852F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabc196162aa5129a29002b49eb14619d4ddf836","datavalue":{"value":{"entity-type":"item","numeric-id":1189891,"id":"Q1189891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$96B972F1-0F06-4204-BE7C-34CBC65CE8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06972d636303dd3c6aac817f327a41a57236b48c","datavalue":{"value":{"entity-type":"item","numeric-id":598302,"id":"Q598302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$C7C21EDB-1CE9-406E-95F1-645527932234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338f36829ed7b9da240356c884cf2b476610fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5519895,"id":"Q5519895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$7A2F0837-8C8A-4ADD-9936-1E89CC98AA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc4260a42a5bada30538760047aca5f3ec4b4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273420,"id":"Q4273420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$D3100893-CF94-4A5E-9249-2970A5386304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$BD2699DD-3C7D-4731-9EF3-E5064A7228D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50688616cb8c5804567563d6b6a343507d93ec05","datavalue":{"value":{"entity-type":"item","numeric-id":2772907,"id":"Q2772907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$94AC84DD-6784-488B-B874-22E4A48D172A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ada733a2a03578bcde08abb6ebc10f98c600ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5589325,"id":"Q5589325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$09F01EA4-2846-4137-8FC4-D86E4FCE6C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd34601840b25f3add9b4ede2d065eb708e8e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4011728,"id":"Q4011728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770606$CD70CCA1-A514-48D8-B207-BF6FC9ED6B07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30566628f54e23c9e672dd68d4d19cc72bf800b8","datavalue":{"value":"10.1007/S11225-005-1212-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770606$2F316DE7-B74B-498E-9CAF-08C0A830F4BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b86250bcde3e3e79493f2c9f551fbef943de10","datavalue":{"value":{"entity-type":"item","numeric-id":598302,"id":"Q598302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4079a8492aa423222b43cfa8dfc6cc7cec50fc8","datavalue":{"value":{"amount":"+0.8228503465652466","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":"Q1770606$B5B67343-8BCE-4A1C-A896-1D7FF8469D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92b136cdc16a8151842a66a42720bd72e17ea6ee","datavalue":{"value":{"entity-type":"item","numeric-id":3398314,"id":"Q3398314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93bbedfeed6c8e52c3e8d66479db6266849c107","datavalue":{"value":{"amount":"+0.8018355965614319","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":"Q1770606$B953E8F6-9CF3-41D2-ACF9-9B969D7E132C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c594329f9ce3f0cf648c158c8a8928fdbb975e5","datavalue":{"value":{"entity-type":"item","numeric-id":4011728,"id":"Q4011728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bff596281c54ef8e2a9b13fb36a74c6c6b3a83d","datavalue":{"value":{"amount":"+0.7752369046211243","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":"Q1770606$477ECBF6-8834-4A21-B1A4-84F3D0018CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54af863b0d9b51edc5ec3998fadfa30fe38ec962","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83b659c4d18f546ecd3233cb09f96f917bdaad0","datavalue":{"value":{"amount":"+0.773418128490448","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":"Q1770606$B55AEA4F-A08B-4DEA-AAEC-AFA2573EE864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e028a004d49e0a3a9ae4342c363e314e434ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4465171,"id":"Q4465171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20db0af4d96f07c6aa21a8e44917dc893119d10","datavalue":{"value":{"amount":"+0.7712084650993347","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":"Q1770606$E5684581-8352-4899-B753-F92AF9C2FFCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fregean logics with the multiterm deduction theorem and their algebraization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fregean_logics_with_the_multiterm_deduction_theorem_and_their_algebraization"}}}}}