{"entities":{"Q912083":{"pageid":913931,"ns":120,"title":"Item:Q912083","lastrevid":65297124,"modified":"2026-04-12T01:37:27Z","type":"item","id":"Q912083","labels":{"en":{"language":"en","value":"Many-valued computational logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143944"}},"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":"Q912083$1BBF2632-06B9-4AFB-BE82-A5730C6E6E95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a40c06e0b12e4a009f454f17cf33bf2734472b6","datavalue":{"value":{"text":"Many-valued computational logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q912083$24AEF35C-2F49-4ED1-8FF9-88EDCEDAE2AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a49887f5923f4e4e453cb7e325a3a3b0e1dd72d","datavalue":{"value":"0698.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912083$D04856B9-2580-4376-AD60-64F284FC49C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9864ef8cb1ef13a4efe1cb2890fd00ef492601d0","datavalue":{"value":"10.1007/BF00274067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912083$BEDDA825-C3B7-4141-8E2B-A55275FB7049","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb51d0f7231631be2c151ca0e23437f5ddb283b3","datavalue":{"value":{"entity-type":"item","numeric-id":687162,"id":"Q687162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912083$C9D7BE78-6847-424F-99D4-51EB0A14356E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912083$72C19A01-BB91-47BE-8D3A-99FA9AD02872","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":"Q912083$05965557-A3AA-4CD3-AF28-EBBBF1524ABC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba20f58dfb92f6a0e8baeec38a0f3d044a03600a","datavalue":{"value":"This paper deals with the problem of decidability of propositional logics defined by finite generalized matrices. The notions of computational logic and of computational semantics are introduced and it is shown that for finitely-valued logics, the class of computational calculi coincides with the class of logics with computational semantics. Moreover, the uniform truth-table theoremhood verification method (uttm) is defined and the class of computational logics with uttm is characterized.","type":"string"},"datatype":"string"},"type":"statement","id":"Q912083$C4F36877-164E-48F9-833E-E48D6551B2B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912083$4C4859A9-C25B-454B-AEFC-8E63C826D104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912083$E12F35A2-C7FF-4EFA-95D8-40AD1DA6DB3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2abcfcbf1a35f7b47b223fade4a3296aefc87a54","datavalue":{"value":"4143944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912083$C96A982D-6B2C-41AB-82F6-9D91729976F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73348289a3db65589934daa37ce1944aadbdc70b","datavalue":{"value":"decidability of propositional logics defined by finite generalized matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q912083$E5F98916-BEBE-4947-896A-41CB919E822E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q912083$1B9C3F6E-BDE6-4FBC-9F3D-A9E7BFE78410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b3e5fd6bdccac9129c365c537c5fc88a870c2f1","datavalue":{"value":"computational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q912083$DA917E88-96F5-4010-AEFA-241B7AC03D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2a5cd0c20f361853012a5265db75d8abff30dc","datavalue":{"value":"finitely-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q912083$F254C9A8-2031-47F2-B67E-D50BB64C65A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d76b22c6a3f8d5e024adc7b627f19a4a6cbf392","datavalue":{"value":"uniform truth-table theoremhood verification method","type":"string"},"datatype":"string"},"type":"statement","id":"Q912083$42D26025-ED31-49FB-8CE6-2CD727015855","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":"Q912083$A48B3CF5-6FEE-4959-A658-2016C607885E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b925f06524b51a36e22f15bda5c2d8f22715a7","datavalue":{"value":{"entity-type":"item","numeric-id":4078023,"id":"Q4078023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912083$526B11ED-F1FB-4324-8590-22542E6687D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912083$6F99D11E-CE25-4785-9630-789BEFF5B154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52d74f76ea456ffe6715b2e519f92783dc6176e8","datavalue":{"value":{"entity-type":"item","numeric-id":792325,"id":"Q792325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912083$BBCE094A-420A-4511-9CE8-C971060AD2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e403a8910cb14f1bc955e25c4243fdd1064270","datavalue":{"value":{"entity-type":"item","numeric-id":3714046,"id":"Q3714046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912083$01C9C0B2-86D7-4560-9B58-46B3AAB8CB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e5d9c8b6e0d1c34aba735f67412df21169febf","datavalue":{"value":{"entity-type":"item","numeric-id":1106833,"id":"Q1106833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912083$09965B71-0AE8-4547-86AF-FAED6C68BCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308073133a440bc56451dfd8bd89c90c2af65f65","datavalue":{"value":{"entity-type":"item","numeric-id":1229698,"id":"Q1229698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912083$52709AF9-8CC6-4848-8033-79A7FC97EA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21610a60650591bf3619aef365aa86964854bb36","datavalue":{"value":{"entity-type":"item","numeric-id":3322077,"id":"Q3322077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912083$00A8D3BD-2FF2-4EA5-823C-D52E8EB53E52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b3cdeeac2d467a4949c1ad74fd1847dcc3d4b9b","datavalue":{"value":"https://doi.org/10.1007/bf00274067","type":"string"},"datatype":"url"},"type":"statement","id":"Q912083$E880F1E9-3F84-4E2D-AAAC-FC4563F8072B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0511e9c03ba71df5b2c84dfdcdf856e2ff04c97d","datavalue":{"value":"W1841408446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912083$5BDE7C05-566D-459E-A35A-4AFC5A603EC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bbc4f7a5e727e0baf9a90d7e857e790f80908a1","datavalue":{"value":{"entity-type":"item","numeric-id":4289329,"id":"Q4289329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b054d7b5094576f06ca0b526166760eecddfcb2c","datavalue":{"value":{"amount":"+0.9724228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912083$1FDDA8BA-C488-4906-B6CF-B9B545D84891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eed5f6a80d4ecb9920cca418a19fb8331e160c1","datavalue":{"value":{"entity-type":"item","numeric-id":5906778,"id":"Q5906778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78cd9dd03ca8cc9419074fb88fb8baf5ab22c6f","datavalue":{"value":{"amount":"+0.97242266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912083$73767210-CAF7-481E-97EC-A673406C2A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c67c10f6d271a260613a1d903b680f3f7e2a18f4","datavalue":{"value":{"entity-type":"item","numeric-id":4532200,"id":"Q4532200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78cd9dd03ca8cc9419074fb88fb8baf5ab22c6f","datavalue":{"value":{"amount":"+0.97242266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912083$55A9054B-A6F7-4570-A69E-ACF04526BF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3332c175eea4efb06c945d40d4d3055362ff492","datavalue":{"value":{"entity-type":"item","numeric-id":5915420,"id":"Q5915420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78cd9dd03ca8cc9419074fb88fb8baf5ab22c6f","datavalue":{"value":{"amount":"+0.97242266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912083$CDCBF2C0-FC62-44DB-A3A0-74124F75E46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4eb53dfc4a39c1409d01afbef0f3e8eafde0a1","datavalue":{"value":{"entity-type":"item","numeric-id":4817200,"id":"Q4817200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca9065f67edb8529a079bcdb7e166cede624686","datavalue":{"value":{"amount":"+0.9622691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912083$E651DA98-922F-4D2A-A696-27D21CD9DDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd1bc238f215c3d413fe98352848b2d7cb9734e","datavalue":{"value":{"entity-type":"item","numeric-id":4342080,"id":"Q4342080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c078bdc08d552f01136f1c9038fef5a843f67235","datavalue":{"value":{"amount":"+0.96226907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912083$3A16FA30-B6D2-48D4-A349-8D9D13854741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c3482b41df90f18f1f05c59a66581a8f54b56c","datavalue":{"value":{"entity-type":"item","numeric-id":4236382,"id":"Q4236382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a5b1a87911f35ea301fe588c2cadac6168ed12","datavalue":{"value":{"amount":"+0.9525739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912083$DBAC3B76-EAD1-4357-96A8-D386D8F54B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7294073e49d9c11f9bca18f2d24504fd5ad25799","datavalue":{"value":{"entity-type":"item","numeric-id":4585828,"id":"Q4585828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b78f12205197082a45d7611a81554523064a2a9","datavalue":{"value":{"amount":"+0.95212793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912083$AED96743-DB3E-4FDC-8513-8A34F4D4CD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207aed36b703feabadb8c7a20360107e58da2d82","datavalue":{"value":{"entity-type":"item","numeric-id":2045004,"id":"Q2045004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e954594a94eeac6e42a4d24348962bbcffc89f6a","datavalue":{"value":{"amount":"+0.95090157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912083$94132884-EB7B-437A-ACA0-76D3B304A4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae94427beaa1dc921eaa4b0e6854fb0f47661f1","datavalue":{"value":{"entity-type":"item","numeric-id":3334069,"id":"Q3334069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc083a024831240cccae94817a160f978969bdd","datavalue":{"value":{"amount":"+0.9485205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q912083$B644DF87-4D94-44A0-9D56-2468A2399A93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Many-valued computational logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Many-valued_computational_logics"}}}}}