{"entities":{"Q853469":{"pageid":855317,"ns":120,"title":"Item:Q853469","lastrevid":49970266,"modified":"2026-01-12T08:58:26Z","type":"item","id":"Q853469","labels":{"en":{"language":"en","value":"Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073334"}},"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":"Q853469$B8966E93-23FE-408C-B0F6-DD0CD8B70436","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60b67182bceda8a2659deee666a0e0f8cb1f8434","datavalue":{"value":{"text":"Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853469$81D02C8D-6951-498C-9377-FA34B41B5CD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b5bb9d735dcbe4b5385298a0071881b09e03820","datavalue":{"value":"1115.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853469$13926DA0-7F61-44FC-9B9C-5D8F940D4248","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":"Q853469$BE6F9AD7-8187-4658-A176-2E834F3D7F1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e0e5bf6d0a9be8dc3d53decc24225862e3e6f9c","datavalue":{"value":{"time":"+2006-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q853469$66099083-703F-46C1-B801-FAF70F532D0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853469$AB3E2854-1AF4-43A7-8DA1-07C2B1E56112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853469$BAE5785B-A5DE-4AD3-A3B3-EA0F1B2C309E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853469$BC029CFC-9F8A-4EFB-8115-3BC9F6B55D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853469$BDCE0465-DA6C-4E06-9634-6D2ECB6317AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15bf62712582a161fb6ffa81a6e58393425882b1","datavalue":{"value":"5073334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853469$2A454BEC-41C2-4807-B594-DF2DF14FC15C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q853469$B7D08237-4788-4C2E-8012-A36D2B6DCF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q853469$977A66AC-E53A-4222-B162-8665A3667F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b991094538d008fddfcb0874d81d61eb2e143c","datavalue":{"value":"satisfiability degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q853469$FB7508A1-783F-4B8A-9804-4C73CFBA6315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf520eb8b8bfd6e800d31d1411cb0111a25a5675","datavalue":{"value":"divergence degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q853469$BDCA82AA-1433-4791-B3E3-DAA2E072E8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f261c3c177b9359dba4d9ff9ca6cdb8c638ccea4","datavalue":{"value":"consistency degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q853469$A6AE4EE9-968E-4A83-8596-15CE6DE8A45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97fd1594ba2d8d2ae60eba895fa0b994dc2f6693","datavalue":{"value":"degree of entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q853469$D69EB430-12F2-4361-AE25-CCC7644972FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87dd55c46f28e025f7f537ba4ca1b1f3e1ba66f7","datavalue":{"value":"inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q853469$238EA4AC-1DA4-40AD-8CEF-8498E075E6E6","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":"Q853469$ACF6B8C0-9932-4B96-A86B-818E4FA25817","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":"Q853469$B5E83728-62A0-4AD5-9AF0-4949443740E0","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":"Q853469$EE829DAA-247D-4831-A928-64290ECBA530","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b347b9e2adbbbe454368033e7c18bc22c9fe9759","datavalue":{"value":"https://doi.org/10.1016/j.fss.2006.02.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q853469$12546B0C-4CD0-4D6F-ADB3-FF41513825EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c13056ecd46241e6c3dd0b2dc69921f47d378ac5","datavalue":{"value":"W2068342173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853469$28735F92-6295-47F3-8304-7C64B4490AC9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70697a2032b819126b1b11d3a4902b3f11e11c8","datavalue":{"value":{"entity-type":"item","numeric-id":1271879,"id":"Q1271879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853469$3F577CBF-6E93-46A5-BAFA-5FF9E2C52963","rank":"normal"},{"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":"Q853469$11225A26-D144-4FA9-827A-BBC81544D53D","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":"Q853469$53700F22-CA1E-4A4D-BB35-336AC9AF0F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853469$BEBB4731-869B-4FF1-BBDF-BA0B7BD00E81","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":"Q853469$4B0BA0E4-1E54-41B4-B454-3D5170D1804A","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":"Q853469$8AB06872-88E4-425D-A19D-84BE20E1C20B","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":"Q853469$05AD4007-0B58-456A-AB88-EE03FBE65144","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":"Q853469$DEEA1B7B-CD70-4771-BF34-5144BA7EDF4D","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":"Q853469$55A00FD2-65A8-4629-8695-A4DB63937748","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":"Q853469$B9322541-06E6-4A00-9DD6-C38219C44C4D","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":"Q853469$485F2E75-5A88-4C77-B90D-5C15FD3DE8A4","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":"Q853469$700A3421-4558-45E5-AEC1-70F4E91F0271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0d9cce25a2c7ca0843306f4d7ceb09e9a71893","datavalue":{"value":{"entity-type":"item","numeric-id":2503828,"id":"Q2503828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853469$03CCC6FE-9103-4C23-9B7A-E50AFAE2AD45","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":"Q853469$78399971-0369-43ED-A274-EF9A855DFD7E","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":"Q853469$CDD15CAD-C901-4758-95AF-D3F8C1FF3B31","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":"Q853469$5951938A-D8E5-4EC5-83C1-1ACEC89AE99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5a4e2f06064687c5561884731e379dd0feeb47","datavalue":{"value":{"entity-type":"item","numeric-id":812631,"id":"Q812631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853469$C11F3591-6925-42DD-AA80-7D72CB655193","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":"Q853469$4235FFE3-1BC2-4367-8410-B928A69E2B8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92e426777c4cb93b447b789febf0bdbdbe01f382","datavalue":{"value":"10.1016/J.FSS.2006.02.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853469$D37301A4-162A-435C-BDA3-0BDFFC859F75","rank":"normal"}],"P1643":[{"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":"0b788684b31618c309a3a7d2cf98e248940bdba6","datavalue":{"value":{"amount":"+0.8734804391860962","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":"Q853469$A1A32FFF-E9CE-4C4B-838A-457A68E61845","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":"16f7dda09b6463e2c434a3146595735c7940d89e","datavalue":{"value":{"amount":"+0.8700299859046936","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":"Q853469$BCF36EDC-752C-4914-82D0-B36BE0307953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e630007fac8934f3f0c0b1b5efa25554018151","datavalue":{"value":{"entity-type":"item","numeric-id":812631,"id":"Q812631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e887365d6a567d9fb095b8b5344cdb63064336c","datavalue":{"value":{"amount":"+0.8590918183326721","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":"Q853469$70705886-335E-488A-B3DA-67AEFB123C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"969fa77e15275e303a98f98214a9112e8acbd0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4508692,"id":"Q4508692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d7222103743cc8a453b0512d45441ed1fd5661","datavalue":{"value":{"amount":"+0.8481029272079468","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":"Q853469$6334D065-B47E-4C5D-8881-FA6763045813","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":"303810b3846f5615e7b0405282865267d2f4ca9a","datavalue":{"value":{"amount":"+0.8323370814323425","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":"Q853469$CD979C3E-C5A2-48AE-9A7D-F487BBD37151","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:853469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:853469"}}}}}