{"entities":{"Q4236072":{"pageid":6265673,"ns":120,"title":"Item:Q4236072","lastrevid":89193110,"modified":"2026-06-04T16:36:25Z","type":"item","id":"Q4236072","labels":{"en":{"language":"en","value":"An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268523"}},"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":"Q4236072$94D4ECC9-D9AB-4939-A1C2-F56F482773FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b9ab2cda27e350dfb4a85a0d0980fe302451c95","datavalue":{"value":{"text":"An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236072$B4EC4B7B-1315-416C-A524-3515B88438C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f38031900675b47a20a2aa53e6a5a17e0e249de0","datavalue":{"value":"0920.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236072$059AD123-7C13-4D24-9096-22D9F86FD854","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6da1f668a7da597a56e368899038052b72c98c7a","datavalue":{"value":"10.1080/11663081.1998.10510951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236072$3A70E233-6AF5-41BC-8CD5-9A24AF107DBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236072$3E0E8420-BA2A-4703-8E72-353B84D00F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4a5a54a621b19d48a1bdb28e9166ed9e18d050b","datavalue":{"value":{"entity-type":"item","numeric-id":1666121,"id":"Q1666121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236072$2583CE82-EE74-48C5-AF94-5CBB8B4C317A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eddf49b0558150b30a5147f9fb5c0864a3d03017","datavalue":{"value":{"entity-type":"item","numeric-id":188595,"id":"Q188595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236072$CCE31FD8-11E4-4AD4-B4BC-FAC4B752DFD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236072$7C86B222-7CF3-4A0E-8060-D66EC6CD5B9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c181d2feac21a0f0954982c351421c590c4c609a","datavalue":{"value":{"time":"+1999-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236072$BA196D69-D2D1-4018-BEE1-C02517080E0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236072$6926777F-41DF-4479-8D0A-2DC07D50E0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236072$4076DCDE-D073-4E61-A52F-4D105E9700D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac1dad04db882d6dc22e9497b67d1d743d39cfb8","datavalue":{"value":"1268523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236072$D3A24E3E-4E93-4D94-AA57-55887CC7E63F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbae5dcaadfa419f127cff73ceeb2c322f9a67e","datavalue":{"value":"deduction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236072$B79F6387-BC72-4A09-B1D1-6B575AC107E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8db84724c3d7aff6a039aad99b5d78b31276e03","datavalue":{"value":"polynomial over the rational number field","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236072$FBEFAB06-8350-40F3-A6F1-3342502B3F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e9ac14cb148e9e23cd03446edd0a9adc994bed","datavalue":{"value":"propositional formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236072$F01DE5DF-1039-4E07-9E5B-B91AB735CF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236072$9798B498-90CA-4D41-8F95-5FF12DA1512B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeae63ab37c389248fa6dc029ab6d1c81b28afe1","datavalue":{"value":"algebraic variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236072$632F5A70-CC31-4CCA-9F18-FDED3549BD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236072$2E707F15-5281-4812-A5DD-8A3C24F25576","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":"Q4236072$7D1E3580-9F11-49CE-8816-70BBB293352B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"571d5439e51adf510bb29e5dcff0eec7e5a987d4","datavalue":{"value":"https://doi.org/10.1080/11663081.1998.10510951","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236072$18784BF9-645C-44E9-91B4-71801DB2B375","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be06b4f3d7ccf73a20d5da8e61fa68a14711a402","datavalue":{"value":"W2089488392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236072$5A59722A-A7C3-44D6-A813-3967484EAEDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c91697c4a6e1538be05427b6b9da3db93f68d8","datavalue":{"value":{"entity-type":"item","numeric-id":804567,"id":"Q804567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236072$B10094D4-41C2-4C0F-BFED-DB8E23BD0144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236072$809DEF8F-6B97-4E45-AA54-866C21DCD64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236072$303CD754-BD15-41A6-95AE-7150D98CB96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236072$AE0B8664-F57A-4D55-8D06-918A0C389C05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d9767dac5ec0f003ef625383627713210f9da8","datavalue":{"value":{"entity-type":"item","numeric-id":3123888,"id":"Q3123888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4fefe93ad48c134b102e8f35151cfd8502fe37","datavalue":{"value":{"amount":"+0.9872927","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":"Q4236072$475F28FE-83D1-4276-AB77-2763A499F74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd139595eb486b65fbfcd609b960749504abffe","datavalue":{"value":{"entity-type":"item","numeric-id":4360106,"id":"Q4360106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de93d891ea0051016f0a72ec74dc08f33aa368d3","datavalue":{"value":{"amount":"+0.9198774","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":"Q4236072$581B8F41-7474-492B-A59C-AF107535DFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a7aea208b683dab7af2b4927926050ca8a67ffc","datavalue":{"value":{"entity-type":"item","numeric-id":3342535,"id":"Q3342535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19cbf3a8b5413dbad2d3c0ed0728f15b38609851","datavalue":{"value":{"amount":"+0.912683","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":"Q4236072$96434214-5E66-43C9-82A7-E185BDF60E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"138adffd03e7e15d031e741ff20941795ee822d6","datavalue":{"value":{"entity-type":"item","numeric-id":4955605,"id":"Q4955605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4ef72de946e73b42b3c696419c73088e77c65f","datavalue":{"value":{"amount":"+0.91171414","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":"Q4236072$29CC33E2-34C2-4DCF-8F04-6DAD7F208EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874fb3193803078fa3c600c53285045ceb8a7f22","datavalue":{"value":{"entity-type":"item","numeric-id":4360105,"id":"Q4360105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ccfdc2982ee2e69dfc4c4c8f027eb3bf6f8729","datavalue":{"value":{"amount":"+0.9071422","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":"Q4236072$E190CF40-8ABA-46A2-A549-1CC4A178614C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be51cace71246b6415607a2ba3b65955b5c412d8","datavalue":{"value":{"entity-type":"item","numeric-id":5202635,"id":"Q5202635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7169304411e6a250db203928c0d3f3b202f9358","datavalue":{"value":{"amount":"+0.9060508","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":"Q4236072$80EDE190-1CB2-4BCB-8DAC-F4E4BA353EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b395576125292d24347509d3343c323d8ecdbf41","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797f741f9ae6fad55fa53ecdcfa97be7787c41c8","datavalue":{"value":{"amount":"+0.9044349","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":"Q4236072$5ECA5174-416F-493F-8497-A20430604BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492859d22392d273e92e44c90191d48917e71245","datavalue":{"value":{"entity-type":"item","numeric-id":3105088,"id":"Q3105088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10857985678d392afe473368b7d8b6b3f72504c3","datavalue":{"value":{"amount":"+0.90362287","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":"Q4236072$0479E373-7FF1-42AF-A6D1-390142F0AB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dce988d8fecadde0896a2ba6689b04b3a1ab9eb","datavalue":{"value":{"entity-type":"item","numeric-id":4450439,"id":"Q4450439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11461ba93630751dab1065a881fcd3b87748b95e","datavalue":{"value":{"amount":"+0.90253955","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":"Q4236072$E6161F86-35E2-4929-92DB-AE6572C7DE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bb1c2944c2b66a83438f1c643c4cdc8922aec6","datavalue":{"value":{"entity-type":"item","numeric-id":3110608,"id":"Q3110608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f82b88d49782482016fff05232187524e7d354","datavalue":{"value":{"amount":"+0.90142477","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":"Q4236072$3E3C98F0-65A7-4064-B4C0-00F38C089129","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Algebraic_Method_to_Decide_the_Deduction_Problem_in_Many-Valued_Logics"}}}}}