{"entities":{"Q920979":{"pageid":922827,"ns":120,"title":"Item:Q920979","lastrevid":65397069,"modified":"2026-04-12T02:18:52Z","type":"item","id":"Q920979","labels":{"en":{"language":"en","value":"Medium logic and Woodruff's three-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164809"}},"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":"Q920979$550320B8-2664-47DA-A664-E1D21AC90894","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"048d67c6438175e05e1b5dc1a172b0cd129640e3","datavalue":{"value":{"text":"Medium logic and Woodruff's three-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920979$3DFDF970-1447-41D6-8DA0-D603BC071449","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8b87cd546fc91389cdbc1493ae7015aca95944e","datavalue":{"value":"0709.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920979$3153EEE4-D174-4BF6-AE5D-FC0957496D1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb6b8fa317816c5b37f6211e68fcff7dcfaf5468","datavalue":{"value":{"entity-type":"item","numeric-id":807610,"id":"Q807610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920979$6176BEED-F119-4C82-B745-943B654FEFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1310a7522ae15ea77c4f1edac90b85b7fc7b49a4","datavalue":{"value":{"entity-type":"item","numeric-id":920978,"id":"Q920978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920979$FDF2D2B6-8ABC-47DE-921E-5B6D2AC7F8EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920979$1CAEDD14-8BC1-4C40-9B27-290030C3C432","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q920979$936A13E1-386D-4C35-909B-42CF0FA9BF45","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"550f56ba4be473da592e76ab1dca66ecba4b8235","datavalue":{"value":"Recently, Zu Wujia and Xiao Xian introduced a propositional axiom system \\(MP^*\\) and a predicate axiom system \\(MF^*\\), called Medium Logic. Many formulas have been derived from their axiom set, but no semantics on the logical connectives \\(\\lower1pt\\hbox{}\\neg\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q920979$26B43CE3-82E4-4C91-83B1-404C1D960791","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d8a223071fe2fd8762483ef53ce76dd67517481d","datavalue":{"value":{"entity-type":"item","numeric-id":807610,"id":"Q807610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920979$D44B980E-839C-49EC-AD05-2C8F119C8912","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920979$AF253BC8-E5BF-4AD6-B8FB-60CDFBCEF32A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c88fb1a042fd5e12ba9cd3bcf03668ecb50b369","datavalue":{"value":"4164809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920979$48936F26-3F93-4764-A0B4-EBC0F8C4194F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q920979$80C5D691-EC02-4263-80F5-757E3ED30C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q920979$8A060908-57EA-46F6-9D99-6B83D43D8614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2493e27a828f79a1b3c6b8ae3f1ae405e4442972","datavalue":{"value":"Medium Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q920979$3AF6EE3D-EFD9-4A77-8D6D-2203F6203650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q920979$650B6BFD-3188-474E-AF3E-A680B46AF484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edbfb746c95b2692209fe3d542cdc589d335d8f5","datavalue":{"value":"3-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q920979$5A9B0AF8-80F3-4263-9B27-401D320CF23D","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":"Q920979$B8F020D9-573A-4B71-AB03-4F73BAD13728","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddddc5eb4d667d38223ad5ae3b1499527711434e","datavalue":{"value":{"entity-type":"item","numeric-id":383567,"id":"Q383567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d0b6ecfc4d66830cd62e5789af56ede7c4ee3b6","datavalue":{"value":{"amount":"+0.9037173","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":"Q920979$2E32241F-661D-48E1-95C1-6FCE30840103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"972bd5fade63267015dfd5c6143fa6f91593339d","datavalue":{"value":{"entity-type":"item","numeric-id":3123377,"id":"Q3123377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e641f5d100a4f54c81a3b9830851a3918d82b8f0","datavalue":{"value":{"amount":"+0.88497376","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":"Q920979$04475278-E6F1-429F-8ED5-1EB2056AE85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6e3724e0f64e2f381212d20f00300c137799d6","datavalue":{"value":{"entity-type":"item","numeric-id":1115854,"id":"Q1115854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b4603f4807ae43fa8f6b7d9a178f016717c0f4","datavalue":{"value":{"amount":"+0.8786623","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":"Q920979$5118B626-3E1C-4C1C-A64A-9AED67E0C8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb38f61f0afcf847d6219d638de20e7d7a1b63d3","datavalue":{"value":{"entity-type":"item","numeric-id":2856073,"id":"Q2856073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e4e4158090272748b915a0b4495f09848b374e","datavalue":{"value":{"amount":"+0.87682605","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":"Q920979$236A59BE-3A9F-431C-862E-427F3AE6D984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b6bbbd84cd459aa19e2fe7abee03ee846af9c0","datavalue":{"value":{"entity-type":"item","numeric-id":4542600,"id":"Q4542600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"811a1b50369c53a34189371ac0c8f137e9d07a6f","datavalue":{"value":{"amount":"+0.87147254","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":"Q920979$73156B90-C819-4EAD-A329-4547ED4EC511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeca5c86a55f2648ba3d2fd2ef04baaf05d8dffa","datavalue":{"value":{"entity-type":"item","numeric-id":2987760,"id":"Q2987760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04086ac3369b66f17a15e68dafefebde6ae86c8c","datavalue":{"value":{"amount":"+0.86964786","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":"Q920979$73F26E61-190A-4346-A912-9D386F96D572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea7ecb459b5d2dc69782d8b5990e9edb5bf7e63d","datavalue":{"value":{"entity-type":"item","numeric-id":5692437,"id":"Q5692437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e76bbc23c6827b219979e8a1b30ef13aaa202b","datavalue":{"value":{"amount":"+0.86961484","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":"Q920979$7B094AED-9B79-41E1-91D9-ED541089AE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93dbe808304a82de6347f02cd2b20060150a479","datavalue":{"value":{"entity-type":"item","numeric-id":2421522,"id":"Q2421522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb272c1426fe9c4a0508c1c2c9d7d215ec4c5063","datavalue":{"value":{"amount":"+0.86950827","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":"Q920979$4BC526DD-7452-4888-AEAF-A76DC814168A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccffada24981e1fd16dc02f373d8d64b030d252e","datavalue":{"value":{"entity-type":"item","numeric-id":3320345,"id":"Q3320345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b309b5fe928481a518940dfa5bbfc7fe5734c05","datavalue":{"value":{"amount":"+0.86703074","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":"Q920979$3251A06C-EB97-4D20-83FB-97FE76491E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f9ffdc7addec99d11b2360f228f684d65b2b0c9","datavalue":{"value":{"entity-type":"item","numeric-id":1325660,"id":"Q1325660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a603985123754925ae188b0618dec9cc2948f3","datavalue":{"value":{"amount":"+0.86621433","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":"Q920979$65162B8F-9F18-4E58-A87D-9258C91CC621","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Medium logic and Woodruff's three-valued logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Medium_logic_and_Woodruff%27s_three-valued_logic"}}}}}