{"entities":{"Q997049":{"pageid":998897,"ns":120,"title":"Item:Q997049","lastrevid":65802960,"modified":"2026-04-12T05:28:42Z","type":"item","id":"Q997049","labels":{"en":{"language":"en","value":"Non-deterministic semantics for logics with a consistency operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5173143"}},"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":"Q997049$38E6CCAA-1094-4854-B369-068011A724E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a9dbab48707bbd7cb3ad1e57c633ff33cc8c76b","datavalue":{"value":{"text":"Non-deterministic semantics for logics with a consistency operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q997049$644ED948-047D-4CE3-8188-0FA971894F2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d25c59f8c77bf54ff201e9686c88336ba114713d","datavalue":{"value":"1122.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997049$D9A35DD8-1C4D-4BE7-ADBC-5631D9E61BE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$048713E2-E9FB-4260-9DB0-01548EBDD3C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$20119B9A-1AB5-4987-8532-56173C00E4C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"227f49044efd7c327d9fee9eb29461e125a6d477","datavalue":{"value":{"time":"+2007-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q997049$F3AEB47D-98D5-45B1-B57A-3BC939416C87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997049$583968E5-6C48-4EB2-BD00-B7176D9A7DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997049$31572300-4149-475F-B076-F98F66909878","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a502878f2d46d78eee43c7cdfe5b19f293e85f69","datavalue":{"value":"5173143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997049$AC9F0770-F1E8-4CD8-9F9B-A91556A80A8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a5b36a1f0c614b7809ac890f732c806aa03f79","datavalue":{"value":"paraconsistent logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q997049$122F02AA-AC9D-4220-8A04-FA7D69F75705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0aa21383360f771243c915645f0b9c38f706463","datavalue":{"value":"logics of formal (in)consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q997049$99EE1378-3489-43BB-860C-BA351B8CCDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b9973e3b06473381d8df2748e6ea2128b03fb","datavalue":{"value":"non-deterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q997049$9E0CBE9A-7974-4F00-8003-45D667318BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q997049$01F124A0-365B-4321-907B-4C97E52C64A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ead758945e42704eb2373295bd8b7b05f66d65f","datavalue":{"value":"proof-theoretical properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q997049$3B5695B5-B757-460C-9F89-882D4A5522FF","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":"Q997049$87099626-8F04-4282-891B-82E5BD46247E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b1ef7b39c663cffd44bb125308223086ead6cb2","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2006.06.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q997049$77DF3754-C85E-4A6B-9916-E7DE93B197F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81eccd0a005548c55c60220432836e406e824a68","datavalue":{"value":"W2150792576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997049$3B5AB2F5-F0CF-4102-B2FC-5047937BD33C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1d811262dd8c2250bea4bc0f676125b4798fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$8F728C7E-E679-4531-8659-D8527B2DDEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ae24754f75a802a2da40737e8cd0fedd5ca062","datavalue":{"value":{"entity-type":"item","numeric-id":3025337,"id":"Q3025337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$8F5F74BA-9B39-46C8-AE3C-C29138B18962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d7992e583cf45900673369824994739769f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":5703736,"id":"Q5703736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$61597441-B1B1-400B-85E3-169922B51121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d82ab32ab75b607b3d2eb19144a798b3dbf566","datavalue":{"value":{"entity-type":"item","numeric-id":5311061,"id":"Q5311061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$5B5636CF-5CE0-4496-A6BC-BFB8F499139C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a1823fe986b3e6a4c1d753565a9288874f98ef","datavalue":{"value":{"entity-type":"item","numeric-id":4487295,"id":"Q4487295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$1476F45E-70CD-4EFE-B39B-295FC5E8E157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b12c3427f3cfc70c0e07b38ea78872a08be61fd","datavalue":{"value":{"entity-type":"item","numeric-id":2762534,"id":"Q2762534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$FCB05B28-7E54-4790-A05D-C30C1CC894FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165b65e137be5e7ee616ffc2e9e24def67d009c4","datavalue":{"value":{"entity-type":"item","numeric-id":4840168,"id":"Q4840168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$C8AEE91A-1A9B-4CB1-B2A8-848B8C656747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488797a06264141ab79ed30c9c78d7f438ad0362","datavalue":{"value":{"entity-type":"item","numeric-id":5692275,"id":"Q5692275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$A80AE2B4-6BFF-48BF-86DE-06470292590C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"124f7cc0d7a296d9ee4218f67492dbe433225e01","datavalue":{"value":{"entity-type":"item","numeric-id":4329287,"id":"Q4329287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$7E3D33C9-799D-4520-A99E-6A589BB220F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3a92781638289e36926c03c49a66a56204cf18","datavalue":{"value":{"entity-type":"item","numeric-id":4440555,"id":"Q4440555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$BB652448-C228-46AB-A2FB-5F58652E055D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$07823315-4D42-4043-920E-8535E6008C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7aa3234d40980a992382bbb7eb7367e9d041843","datavalue":{"value":{"entity-type":"item","numeric-id":4432160,"id":"Q4432160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$6350AA03-1671-4D5F-9E1A-63AF4FC014DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ebd3c1485bfb307534e31cfc4eea5466ee1888","datavalue":{"value":{"entity-type":"item","numeric-id":2552121,"id":"Q2552121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$1754BB0A-A664-43E8-B105-DF7E1F1E3179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a6b02db2e747d51d81a8b306570a08fbbb13fe","datavalue":{"value":{"entity-type":"item","numeric-id":2753604,"id":"Q2753604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997049$A1614F70-2D5B-4C70-96EB-56F2C918B771","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"372e1ebacf2bdfd097b6fd7bc883bc3e26467c16","datavalue":{"value":"10.1016/J.IJAR.2006.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997049$1F61F59D-13FF-4754-A7C8-6C506365E806","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23def8e36f65100110e230b7417b93a5c0308749","datavalue":{"value":{"entity-type":"item","numeric-id":3112289,"id":"Q3112289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a94e55872df698fe3e60f96b54b959cc20dfbf44","datavalue":{"value":{"amount":"+0.9311679","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":"Q997049$96F0A859-9026-4F3C-A7DF-45BA04A5A98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c592ff2768e42b3843d091b31fb591e0b81589","datavalue":{"value":{"entity-type":"item","numeric-id":5425994,"id":"Q5425994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d35f1b1e7682244c92899f73f39e4d7cb6a3d34","datavalue":{"value":{"amount":"+0.9119463","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":"Q997049$16678674-4B76-479C-86F3-2965617DDE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776f3f5df5bd13b90f8361457781f76bfbbb6db6","datavalue":{"value":{"entity-type":"item","numeric-id":4250051,"id":"Q4250051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b79d814a9a68db944ae8361a1e72ce2ec9f508","datavalue":{"value":{"amount":"+0.91073024","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":"Q997049$580D19E1-88D2-47BD-ADBB-292FAC2CAFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d1a9277dfb738fc9db76565150cb370a9a235d","datavalue":{"value":{"entity-type":"item","numeric-id":5448614,"id":"Q5448614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a260e520efe23a733955231917e99e8a0bcbc964","datavalue":{"value":{"amount":"+0.90315425","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":"Q997049$A45A4523-C51F-4A4E-8C87-D5253285FBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85da38cfe8c06f7233b15e847352e684113424d","datavalue":{"value":{"entity-type":"item","numeric-id":2720313,"id":"Q2720313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1b31d3dc151db231750e9757feb4d867a2e1e7","datavalue":{"value":{"amount":"+0.8998541","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":"Q997049$4A7AF2D1-A8AF-4804-9F16-1A3E2571A356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9dabb4f4503c04239c24c9486b09aec615dd85c","datavalue":{"value":{"entity-type":"item","numeric-id":1759727,"id":"Q1759727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1efa4169a13526cb34cd47617277fb610cd1ce","datavalue":{"value":{"amount":"+0.89815","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":"Q997049$43F20894-37AB-4720-BCD3-D18AF1178BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef024ea8e68fab9eda9d7ed26be94ece1b717aa","datavalue":{"value":{"entity-type":"item","numeric-id":1006607,"id":"Q1006607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47a5cc5ae7bcfca3c95f34b52dc9531a56771367","datavalue":{"value":{"amount":"+0.8978798","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":"Q997049$BE9F02D8-98F9-4343-B7CF-929ECE2B5A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c83c11876cf5430ee3cb054d14a9ac8faa63f8a4","datavalue":{"value":{"entity-type":"item","numeric-id":5473745,"id":"Q5473745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76d6239b157127402cdc2420648f8e5f23c7877","datavalue":{"value":{"amount":"+0.8976871","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":"Q997049$CBA9DBA5-3E55-426D-B54E-576B3E16E7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"520bb8a623dcf2b25b675cfa19bfda530a17910b","datavalue":{"value":{"entity-type":"item","numeric-id":1810258,"id":"Q1810258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f1411a1969f43a1ddb77483619ea701d8ed902","datavalue":{"value":{"amount":"+0.89732206","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":"Q997049$D09ECCB3-4ED5-47D1-9242-F02CEE63772B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857bb6ab90e4894f8e07ef5cbd52b3cca919681f","datavalue":{"value":{"entity-type":"item","numeric-id":2369014,"id":"Q2369014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5f0d7be4238fbe3925b60f8a72e8917f88f927","datavalue":{"value":{"amount":"+0.8959069","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":"Q997049$AAF66046-8194-42F3-ADFC-D4131A3C1E1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-deterministic semantics for logics with a consistency operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-deterministic_semantics_for_logics_with_a_consistency_operator"}}}}}