{"entities":{"Q2748639":{"pageid":2759378,"ns":120,"title":"Item:Q2748639","lastrevid":41967041,"modified":"2025-05-19T20:27:20Z","type":"item","id":"Q2748639","labels":{"en":{"language":"en","value":"A kind of simplified formal deductive system \\(L_0^*\\) for the system \\(L^*\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1660543"}},"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":"Q2748639$88223104-3BDD-4B80-9C96-26C959D5A497","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3afc67b7185c5b2283f748456805ae514d6d3e14","datavalue":{"value":"0988.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2748639$BCF97A99-958C-4CFD-913A-602CCCFAD035","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40f881f65bc05ed5b776444ff2e25d05d9ca10c0","datavalue":{"value":{"time":"+2002-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2748639$A6F607EF-94C7-4204-A334-9D87CDE3B349","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2748639$5B4B7EBC-DCD4-403F-8CFD-F213B0871789","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6adb1752934f37d8fdbf4d60f4b5cfa147894bb","datavalue":{"value":"1660543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2748639$24ED10F1-A432-4013-8FF6-DE2B8E937CC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492b17484efc30183c42c844ccc158e004522856","datavalue":{"value":"formal deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2748639$01371F06-CEB0-4400-8432-2369D2988A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c044bf1351fcba70bcca75b38367dfad3b2ee27c","datavalue":{"value":"fuzzy propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2748639$A6E60E8C-7F49-41F0-B9B7-D053827B2B5B","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":"Q2748639$74A6D2DF-B92B-4ECC-823B-631AA9188B92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3936a36819b70ff6cab26a0dbd28d59c477cc656","datavalue":{"value":{"entity-type":"item","numeric-id":2735416,"id":"Q2735416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed30972e46ea1a2e2a772b59e2dcf4c486fae9cb","datavalue":{"value":{"amount":"+0.93053883","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":"Q2748639$3767E32E-842E-496B-AD61-AF8E7B24D838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab79c4d67e706fbb671686efe0b6678a4a2f4601","datavalue":{"value":{"entity-type":"item","numeric-id":2752635,"id":"Q2752635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0dee8ab3863f74651729a40388d8e5500be544b","datavalue":{"value":{"amount":"+0.9017804","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":"Q2748639$E9CE5014-C94D-4343-8C01-5C185083AE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af57d1b5d52715dd1b1c993e2ba2da75ff867e0","datavalue":{"value":{"entity-type":"item","numeric-id":4543325,"id":"Q4543325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61303b1e8b5392304df5847411f3694025aad534","datavalue":{"value":{"amount":"+0.8936519","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":"Q2748639$475C95F4-8B71-4E68-B874-6720C88D2876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8900bc25f9da05642944098ebb058bbe1e7f6e","datavalue":{"value":{"entity-type":"item","numeric-id":2764677,"id":"Q2764677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05bc00d69321818d8b18f0adf796c2c967118e90","datavalue":{"value":{"amount":"+0.87834203","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":"Q2748639$C9F8E537-7AD2-462D-BE51-1D56E1EFD715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547fc437a9b7492051d6a399b1fc99b1001d06f1","datavalue":{"value":{"entity-type":"item","numeric-id":5490807,"id":"Q5490807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f18891dac1c1989c5dd07b67037f2e443c32e8","datavalue":{"value":{"amount":"+0.83369553","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":"Q2748639$299A07F0-8129-4D3E-AE18-FBEBBAC14AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3e541b208444f9f881df290f9348bf4bfb1cbc","datavalue":{"value":{"entity-type":"item","numeric-id":4806615,"id":"Q4806615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f4bb92341ca57e23e06612ce91e52d13e729b05","datavalue":{"value":{"amount":"+0.83347106","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":"Q2748639$598486B2-C0DE-4678-B9C0-EBE758A0559E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01accb27894f21d55343dcaf9d304bfe35b390c","datavalue":{"value":{"entity-type":"item","numeric-id":4856241,"id":"Q4856241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"053a3dd4b4c921820b014d1890504a5da63d9d6e","datavalue":{"value":{"amount":"+0.8314953","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":"Q2748639$0845AD37-357B-4C4D-9EF7-578D8F67F711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5310df8135c11117d0be2e73061f7ffeb54ebf19","datavalue":{"value":{"entity-type":"item","numeric-id":2946591,"id":"Q2946591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe9beecf8c377834fbc8042252b88f96da62487","datavalue":{"value":{"amount":"+0.8296863","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":"Q2748639$02C2AC42-89DA-4DD5-844B-ED182BF38760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4b38249a7ba7f7e42b0ada8b9c41bd530a2e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4737142,"id":"Q4737142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4479fb55866a85dce24b0e5cbaa25f51154006b6","datavalue":{"value":{"amount":"+0.8294955","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":"Q2748639$DF80B62D-91F8-41CF-ABB7-B5EFC480C628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dadb8229a6ff848151aea6fe96c9b1342e5f79","datavalue":{"value":{"entity-type":"item","numeric-id":1589483,"id":"Q1589483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484ffa47adcede44323aa1b8ba1026c009844b24","datavalue":{"value":{"amount":"+0.82940006","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":"Q2748639$01F7D996-8084-40B7-B832-FCEC9ACC598B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"149350cb996c365e66d8800d604bbac3ed5aa606","datavalue":{"value":{"entity-type":"item","numeric-id":6769068,"id":"Q6769068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748639$CB4F7C57-013C-4840-8609-784B3AC1EB55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79b971e60a3d6d6e309a4a13c08df28ea26db11c","datavalue":{"value":{"text":"A kind of simplified formal deductive system \\(L_0^*\\) for the system \\(L^*\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2748639$1CA59EE1-DB76-4ADB-92AA-DFA8E312F01A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"75f2d8ea0ac42280e8be7292f0d19f61f6b8e4ee","datavalue":{"value":{"entity-type":"item","numeric-id":6768272,"id":"Q6768272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748639$B734626E-67E6-4E80-BB35-182DDE0C8C30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47e16bb86473c982d6db6c8d2eb32185a64637ec","datavalue":{"value":"This paper is a continuation of the previous investigations of \\textit{Wang Guojun} [see Chin. Sci. Bull. 42, No. 18, 1521-1525 (1997; Zbl 0889.03017) and J. Eng. Math., Xi'an 15, No. 1, 1-8 (1998; Zbl 0930.03096)]. Now a kind of simplified deductive system for the fuzzy propositional calculus and the revised Kleene logic system is proposed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2748639$9E9D2103-0C17-4948-AD39-022027305591","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0900d4695d5246fc582c8224af534b30f303eb21","datavalue":{"value":{"entity-type":"item","numeric-id":202029,"id":"Q202029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2748639$3B67D609-238F-4982-9DE7-0E09742316CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2748639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2748639"}}}}}