{"entities":{"Q1380415":{"pageid":1391155,"ns":120,"title":"Item:Q1380415","lastrevid":46960305,"modified":"2025-12-25T22:43:39Z","type":"item","id":"Q1380415","labels":{"en":{"language":"en","value":"On the complexity of entailment in propositional multivalued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1123690"}},"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":"Q1380415$D141DA00-CF0D-4269-9D89-7C102B4BB93B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9706e5a1f54c1d24441145a023796ec185ef5041","datavalue":{"value":{"text":"On the complexity of entailment in propositional multivalued logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380415$078556DB-1FE4-4225-BF6E-51E18A285515","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1a5da35946dad4b3f64a661f75beb0f4797cdab","datavalue":{"value":"0890.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380415$A51B8D28-B1E8-48BD-9090-35E13482F9C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16292dcd8ce58c9f4b2ab9ab8d2a8cc9f150b68a","datavalue":{"value":"10.1007/BF02136173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380415$92B8DD1A-4091-4F45-BC69-5366E0B02AE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2deb60c19c76c83cf16f8635ff1486cb716b3c6","datavalue":{"value":{"entity-type":"item","numeric-id":846135,"id":"Q846135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$5ADEBAFB-66D6-4B71-8344-FD98B7D89EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfa319edb343a88799f4301c6459138449825083","datavalue":{"value":{"entity-type":"item","numeric-id":202173,"id":"Q202173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$9C20465A-F5F6-4828-BBB5-3B4F03415CB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$19160DBB-481A-4251-A71A-15AC7765634B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50be06f6d092f252de9c2eaf3f0ef4dc9d82808c","datavalue":{"value":{"time":"+1998-04-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":"Q1380415$2116F9A1-CAA5-4D0B-AF3A-66C00648DCB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380415$7502A030-AC91-4390-A60B-98B576FB7388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380415$94CDF28E-001B-4C95-A533-B627B9E600E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380415$214D1EA3-47B9-4CA3-B538-0A5EDAB7A6A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9299a7e6d4c35e02b9c158695c228e4876f21d6e","datavalue":{"value":"1123690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380415$A2050B45-9DCE-4053-A024-7D57441526E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a8edbce8b33429315b77368c1b8886f52e41e3c","datavalue":{"value":"computational aspects of multivalued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380415$01D6D678-D7F7-406F-B889-AA1BA02ACB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7adba59a97f846c2a0d70e56b8a6e9446b80bad","datavalue":{"value":"complexity of entailment checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380415$02D1164B-2DF3-435A-BAC8-912DEB492A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380415$FE138DA4-FCB2-4171-B29D-95EFFFF49BA8","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":"Q1380415$F5A16078-00FF-46C2-8907-9CC5ECD5C239","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$8BFCDF04-06EB-4624-988E-BB65536C3186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b87d4d660be017ed3a655c9578140dd400c43c7","datavalue":{"value":{"entity-type":"item","numeric-id":4385519,"id":"Q4385519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$07E83453-EFD2-4E79-8D34-E386C91EBE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1c3309db6238c6904f799db6c00bd74ccd9e9e","datavalue":{"value":{"entity-type":"item","numeric-id":4298365,"id":"Q4298365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$9CD816DC-B026-4964-AF2C-1F258F0EB6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$ECC5B4A1-3826-41E4-81F8-1BEB1189E315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$BA8E2C32-CFF0-4754-A219-9EE88D0AE71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4be38046b669d607f5918389668567da1f66501","datavalue":{"value":{"entity-type":"item","numeric-id":5917442,"id":"Q5917442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$C02A6F84-70C8-49EF-9649-B172B6D1633E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$83D68153-D9E0-42A8-91A1-76044112EC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$53DEBE5F-A85B-489C-AC68-5F91ABBD227B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c22873c5fa1d0425919b1a3196c15c1d8b2833","datavalue":{"value":{"entity-type":"item","numeric-id":1228476,"id":"Q1228476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$3FF4A84E-75A3-4C3B-8A4A-729169A1FB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c578dfd8206b9efc52813f4c49cdf09dcbe9072d","datavalue":{"value":{"entity-type":"item","numeric-id":4195901,"id":"Q4195901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$0E4776F3-3FB0-4AD1-9729-F3DEEFF92006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0383596c7821a999d1b94718b8988596046380f7","datavalue":{"value":{"entity-type":"item","numeric-id":688558,"id":"Q688558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$1BFC15AB-A67D-4D2D-9D8E-50D34B94BDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0457dd2a82e840b759bd2d889fdc59da2ee2167","datavalue":{"value":{"entity-type":"item","numeric-id":3198885,"id":"Q3198885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$A1D8DF5E-80B8-46E5-AFE8-A26A59DF65E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32cc731ea8cde283851c25bcb96915051ac50f92","datavalue":{"value":{"entity-type":"item","numeric-id":1115428,"id":"Q1115428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$0B180E00-1A24-4AFB-9B0D-B96A51AA12F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9ee0635031f226d9557d08f8e2337b442b0618","datavalue":{"value":{"entity-type":"item","numeric-id":2640590,"id":"Q2640590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$ED5C90A0-B6BF-4004-BD19-A56E9D9E4F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7763f870fd431b4577b4a07d2469375f7ba20f0c","datavalue":{"value":{"entity-type":"item","numeric-id":3972030,"id":"Q3972030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$75127C7B-F207-413B-859F-A3CA78B61582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380415$681EE920-D5A7-4D68-ABEF-7F1C88041471","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1c50982fb6c6a72110556d230889ec21f3ac192","datavalue":{"value":"https://doi.org/10.1007/bf02136173","type":"string"},"datatype":"url"},"type":"statement","id":"Q1380415$7C2792FF-7E95-469A-99F0-94D8B09E25DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b115ad18b18b8a280f9542f51684b3c32cd27f1c","datavalue":{"value":"W2014806304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380415$16C77F97-541B-4B0F-A712-DABAD9D661EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f43810772a299a72300ca629eb6da93255b13899","datavalue":{"value":{"entity-type":"item","numeric-id":4450446,"id":"Q4450446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648214836b6f391b33cdd3b973ced5ed7048949d","datavalue":{"value":{"amount":"+0.7605139017105103","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":"Q1380415$9C75DFD5-950E-4D6A-BDDE-F58925BA24BF","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":"ed63f90b4dc671394c25251810682e0ba87f331b","datavalue":{"value":{"amount":"+0.7578009366989136","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":"Q1380415$271C84C4-52A4-4559-B207-ABBCC542475B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ea017c9dfd6a6492a2c049e93b47fdc8f9d179","datavalue":{"value":{"entity-type":"item","numeric-id":912083,"id":"Q912083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792653abcfdc299e10984419629e35280723d10e","datavalue":{"value":{"amount":"+0.7562084197998047","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":"Q1380415$04D967A7-E2E6-442A-9FEE-142BF0948516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ccc83f4da17f3971bb80a76cb047637ff75074","datavalue":{"value":{"entity-type":"item","numeric-id":4885909,"id":"Q4885909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93330e9e07c06009b676060bb4362ad066ae7d5d","datavalue":{"value":{"amount":"+0.7509793043136597","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":"Q1380415$269BABF1-3C4F-4524-B1B0-2262E0661F57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1380415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1380415"}}}}}