{"entities":{"Q812631":{"pageid":814479,"ns":120,"title":"Item:Q812631","lastrevid":64560987,"modified":"2026-04-11T20:43:27Z","type":"item","id":"Q812631","labels":{"en":{"language":"en","value":"A new theory consistency index based on deduction theorems in several logic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5001389"}},"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":"Q812631$377F9DBD-2AB5-4DE0-82F5-BAD888781F8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3dddae7de89ffb286c2cc60cf25687a3ab09cf0","datavalue":{"value":{"text":"A new theory consistency index based on deduction theorems in several logic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q812631$A6B96CC4-D702-48E5-8FC8-96649DFCE088","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dae85c626b156a999480d7d1002956f03f0e37d0","datavalue":{"value":"1085.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812631$DBB7B8C8-291B-4374-8A7D-D785954D31B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$A7F69A2B-2FEC-46C7-9DAE-38E64209AE2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa3947a1fb1635896f5c4ba355103966dc5bfb71","datavalue":{"value":{"time":"+2006-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q812631$417D0329-080F-437A-8105-084B97EE38C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46336ef54285cb1e61d2c1e565518ce53d675bc2","datavalue":{"value":"With reference to measures over the space of all valuations the authors assign degrees to formulas of propositional logics, for the classical as well as for some \\([0,1]\\)-valued logics. Based upon such degrees they propose different indices to evaluate degrees of inconsistency for formal theories in these logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q812631$D409748D-34B2-4C1E-B6E6-23452CE20ADC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812631$52026644-4FC2-4844-A706-9F71E2E0141D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812631$D778C54B-9080-4F6D-847F-9F0A16C300D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1777ebd849ff2424fafb75692400635f07a1df32","datavalue":{"value":"5001389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812631$DD210352-B420-4FBC-B3B2-E2E3700DB92C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4a34613f4a347758d71adbcb7f2041052c8c952","datavalue":{"value":"graduation of inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q812631$1812D95C-381E-436F-9858-5A7339AA1160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f992669f4ea752f9306bb6da7359f6a5dd57005","datavalue":{"value":"satisfiability degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q812631$9B9DA3D9-2EDE-4A8A-A06C-1854A7E506E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q812631$B2BC544D-FB73-41AA-8B25-01F9956036EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q812631$37AE9A86-3719-45DC-886C-E7487BBF999E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8011df1d908fd9a69390ca7068ea2b173ba9d529","datavalue":{"value":{"entity-type":"item","numeric-id":544229,"id":"Q544229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$15B52F22-7FBC-48DF-A307-F1F1807BC79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0124a27f3100a2fb0fec1e652cf4490d1b906b","datavalue":{"value":{"entity-type":"item","numeric-id":163213,"id":"Q163213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$8F526345-0DF7-4409-844C-FD8FC863AF31","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$91ED187D-861F-416F-B9A6-ABF9A15E4B25","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":"Q812631$A1DC161B-1066-4981-8353-95BEB0F4C45E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2508c85e71bf0de963c679ede3dda7ab22b72de","datavalue":{"value":"https://doi.org/10.1016/j.fss.2005.07.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q812631$22EB918D-1187-44E4-AB85-386E7334CD66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55518121c1bdac0680250ec15494d6ef93c19411","datavalue":{"value":"W2035359036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812631$B7BDA3F9-9369-40B0-8D29-6658F3ABD305","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$57DD3CFE-C5A2-4F5B-8536-6D382EA83BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$99D5E9F2-9EE5-46D5-9EF5-3631478A14A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$78AA9971-0C37-4550-92D3-FA1FF4F58239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8073276a8916b97326b23193e92c52703810ec51","datavalue":{"value":{"entity-type":"item","numeric-id":5726943,"id":"Q5726943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$F6724D07-ED98-434F-8BDF-26094E06B1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e595c49db1bcdebca480528c251fb54ac4d767","datavalue":{"value":{"entity-type":"item","numeric-id":4160890,"id":"Q4160890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$4D0F0A9F-5D1E-4955-960B-2C02CEAC9A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4971710e4358cd9ca63b9a295e880af2959f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4269081,"id":"Q4269081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$23237D09-E013-4568-B264-57B1EA0E3E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c905787d899644e2b8a810b8c674f03a70752ade","datavalue":{"value":{"entity-type":"item","numeric-id":2793522,"id":"Q2793522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$B021BD4A-1403-4BDA-95B2-BBF65413B183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33e6e4d41920f4642d20a95b1b81ddc5e134630","datavalue":{"value":{"entity-type":"item","numeric-id":865970,"id":"Q865970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$3B4BFF06-2B0F-4FC3-AAB1-1E982F7C27B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f6cfd1122553897c7ee0ca818fa12b017026f25","datavalue":{"value":{"entity-type":"item","numeric-id":4806275,"id":"Q4806275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$23C1E5A7-2F1C-4D96-8CD3-A216402DD1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8b580abe4c17baf33fd2fd9911303b343f3b6b","datavalue":{"value":{"entity-type":"item","numeric-id":4679769,"id":"Q4679769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$24583F0A-9408-4FE9-B54C-9C6CF6A48549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276376264f33785f3bbac09d286d496eeb1c4a37","datavalue":{"value":{"entity-type":"item","numeric-id":1873679,"id":"Q1873679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$28CE0D62-3EC4-45A5-873E-EA800928F06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"908a0d1be09b8b04bd39f12c5894204e1cc2002e","datavalue":{"value":{"entity-type":"item","numeric-id":4458530,"id":"Q4458530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$D8A59ED4-E1A7-4D18-9C42-BA7CA2A85AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a28b0c3a08cdd76acdfca8ec1dd4de3917a77b","datavalue":{"value":{"entity-type":"item","numeric-id":1873678,"id":"Q1873678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$769221DF-4B61-4BCF-B4AB-95FB1A6226D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82758e992fd5f8902ec728be880ec3dfa840ade4","datavalue":{"value":{"entity-type":"item","numeric-id":703371,"id":"Q703371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$10EFF713-03A3-45A8-A9B9-C57EB2A333E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498f9eaef3c02eac84137a8c72ff8062dbba5ff5","datavalue":{"value":{"entity-type":"item","numeric-id":2486057,"id":"Q2486057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812631$1E8F563D-46AD-41AC-9770-290DCD129892","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b9433b8394e62bc5c1c9c32fdcda98732d8461d","datavalue":{"value":"10.1016/J.FSS.2005.07.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812631$EF7D00DA-A098-4255-9AE7-3FA04C3A6E6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6f77480f2acd528b191e4f64160df40e61dab6","datavalue":{"value":{"entity-type":"item","numeric-id":853469,"id":"Q853469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e19190644b6808be0b6c3075672c41cae59161","datavalue":{"value":{"amount":"+0.8257506489753723","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":"Q812631$1A49AC12-886E-4FCD-8E00-B5E504CEFE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53feb8eb0efc66b4a9140f80a270f071240cf731","datavalue":{"value":{"entity-type":"item","numeric-id":2918227,"id":"Q2918227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0cc13d05e5e8ced5ac4cb54aa8bef7c039e95c1","datavalue":{"value":{"amount":"+0.77433180809021","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":"Q812631$F09EAC2B-9065-40EB-9F1D-9A3FBD37DF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba02896c87ae85119a0aba07573672c303d6f97","datavalue":{"value":{"entity-type":"item","numeric-id":2407935,"id":"Q2407935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd112971ce7c670efb8a0c08011458dfbf39e69","datavalue":{"value":{"amount":"+0.7707405686378479","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":"Q812631$E5326CCB-1DE5-4DDE-97C9-E4BA1122C24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ffc5a004da33dd97f25f9f0816cf6f0e70b057","datavalue":{"value":{"entity-type":"item","numeric-id":2486057,"id":"Q2486057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c89f36357dac7fc97aa8fbbcec6111947510e3","datavalue":{"value":{"amount":"+0.7705565094947815","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":"Q812631$70FF43C5-07FC-488B-8C15-1D025925F97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b778ca388d9535b54a40ea2ebeddc7546b9c4538","datavalue":{"value":{"entity-type":"item","numeric-id":703371,"id":"Q703371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe29b8c38c6d8a1334781053c7cd982abec82310","datavalue":{"value":{"amount":"+0.7687491774559021","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":"Q812631$EC04FD7A-6017-498E-9A19-3A48B47F2B56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new theory consistency index based on deduction theorems in several logic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_theory_consistency_index_based_on_deduction_theorems_in_several_logic_systems"}}}}}