{"entities":{"Q4999723":{"pageid":7029300,"ns":120,"title":"Item:Q4999723","lastrevid":54036749,"modified":"2026-01-26T03:36:49Z","type":"item","id":"Q4999723","labels":{"en":{"language":"en","value":"Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7367103"}},"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":"Q4999723$889D4881-2F7C-404D-A36F-0C24C0498D37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1d132c2b66a62123f024b2743c7b7480826ecd5","datavalue":{"value":"1465.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999723$F6329624-DCF1-4E89-9804-F4108253B90D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d4f1287a7bf5a89e9854ad7ddc66b15ab1293cc","datavalue":{"value":"10.24411/2500-0101-2018-13405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999723$2B4E5E92-EFF5-49A6-9DE9-462D1DE40D9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e29c6d6a0888bba054ad21764ad4f68f69737b0","datavalue":{"value":{"time":"+2021-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4999723$0BDA2911-0969-4261-84D9-BDFB0E93ABE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea080682ec0528df5b0678de2fe51aba33a26585","datavalue":{"value":"http://mathnet.ru/eng/chfmj117","type":"string"},"datatype":"url"},"type":"statement","id":"Q4999723$D0948158-2337-4F40-B71F-49E5D0DC6215","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999723$6C664708-226E-4E16-A66F-453EE845C8D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41980451d48277677b57f5648e226820d93794f7","datavalue":{"value":"7367103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4999723$6A46A7E9-6A97-4F28-B276-16CD6F978DC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999723$8D177B15-E3F4-493E-890D-943DCE55F5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9db4be20647e9159a9631c367d8dc94143508a","datavalue":{"value":"four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999723$130B5B55-FD38-412C-9851-9863C891ECF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b8e5419d1d436e8c9722e710f5f4dda950d6a5a","datavalue":{"value":"Kleene's logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999723$DD94858B-25D1-4F57-9D33-09D22C3DAC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cac6eedcd727deeb72a2e3ed97ecaff71a03280","datavalue":{"value":"Dunn-Belnap's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999723$B13D050F-F5B6-4D74-8266-FBBCDC136132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd8af3c29696b738fd9091e93997ad95664f1fa","datavalue":{"value":"regular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4999723$251EFAE4-897B-44F7-A3CF-D6EACD49A72A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"669cdb901f5adc2391e652d6dfa8ffc64eb0addc","datavalue":{"value":{"entity-type":"item","numeric-id":1689567,"id":"Q1689567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$760FE7F7-09A2-4377-B20C-B611B71F7F4B","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":"Q4999723$55C09A12-B067-4496-9D7B-9A6D5C981FA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$68514C79-F596-4212-A51B-3D1CD8118D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32331d054e29631acb5d82079c0154719c221f20","datavalue":{"value":{"entity-type":"item","numeric-id":2523722,"id":"Q2523722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$124AAD7A-6172-4D3C-95A4-9E22D7B04C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$894581C0-3AFE-4A49-9C3F-1A8FC2AC4869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2700b6821f9fff85506eaa72b3d5c50258d97173","datavalue":{"value":{"entity-type":"item","numeric-id":1777639,"id":"Q1777639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$9491E8EB-E0BC-4095-B425-53585512ED34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e4aa9fefd25f1f34eeb6bfa44170e419f3416f","datavalue":{"value":{"entity-type":"item","numeric-id":5800353,"id":"Q5800353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$C0C5DA38-59D7-4691-826D-0F1F297526A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdb02a8cbc0c6812de30af50942e4a7fe81b51d","datavalue":{"value":{"entity-type":"item","numeric-id":526733,"id":"Q526733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$AE31168F-78F9-409A-9200-B91152389DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$F4064633-16C5-42F7-9292-C91AEE036A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81e1b0f30d98dc7fd47e890c9c3ab37dbb99c13","datavalue":{"value":{"entity-type":"item","numeric-id":3567765,"id":"Q3567765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$77929B19-B39E-4B0C-A3F8-80BD931A0012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc672e5f9b23734cc80461d8e39de973dffb302","datavalue":{"value":{"entity-type":"item","numeric-id":4296301,"id":"Q4296301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$FBF702DE-A4E3-4E9F-B398-EED10804F945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad285cd69740c93bb69caed98345494199ba5a7","datavalue":{"value":{"entity-type":"item","numeric-id":4683206,"id":"Q4683206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$2178728E-E367-4E80-BED2-CD8375A673C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4e51ce78bd8297b6c871836b1a8e658eab53ac","datavalue":{"value":{"entity-type":"item","numeric-id":4600826,"id":"Q4600826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$73299C57-0802-472A-A925-78177F5E8CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6baf185b0f9f31d195844d6e2371ab310c19a9","datavalue":{"value":{"entity-type":"item","numeric-id":4899968,"id":"Q4899968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$DDEE5251-2FA5-44EF-9519-5CAFEF80AEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed247cfaa9f806167217df5f2ac409bdf00e763","datavalue":{"value":{"entity-type":"item","numeric-id":4982110,"id":"Q4982110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$F95A62C3-1426-43C4-B77C-970AD095F710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$1A2F9ABD-286F-4653-8DF9-00DB5625F6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$99AF9FA1-2CCD-4C72-BF8F-02AB4D159B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd620d0008ba1f194a2223cc251ad2d22349c39","datavalue":{"value":{"entity-type":"item","numeric-id":4340541,"id":"Q4340541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$F285ED69-1F76-41AE-A87A-177BA3B65037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"026405a7db9f90168badeecc5d4e25ffea62d5a8","datavalue":{"value":{"entity-type":"item","numeric-id":5692799,"id":"Q5692799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$8ECFFE7A-C4DD-44ED-AFF0-1891462E9ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553e5be152c189af4d114498bc84cff5e95b5d78","datavalue":{"value":{"entity-type":"item","numeric-id":3204031,"id":"Q3204031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$C04BC4CA-DE2A-44B7-AEB9-D682B91FFD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f818d5972bc81625313e62066a739a8ffd9bff0","datavalue":{"value":{"entity-type":"item","numeric-id":3988058,"id":"Q3988058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$4BAEAB6F-7C09-45F1-A34E-1E23CA0FBC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43778aafd8f0486321ccd72930d3c8a8a3967e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3567773,"id":"Q3567773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$5F3D3FB9-F827-41AD-8C7F-B3A68D8A2B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641c1c2b5c76b3d5e1e8ec3130a9df9d2c0fa3fd","datavalue":{"value":{"entity-type":"item","numeric-id":4683216,"id":"Q4683216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$BC253E9C-D566-43BA-ADD1-7C6091733876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"becc9c248745df950c2cdcf7bbc103d42e9af3ff","datavalue":{"value":{"entity-type":"item","numeric-id":1689568,"id":"Q1689568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$7A1A9104-B93F-4C95-8892-0FEEC6737342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd1159989414aed182f05650a38b046dc37b90b","datavalue":{"value":{"entity-type":"item","numeric-id":4997922,"id":"Q4997922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$02B256DF-989A-4F1B-9DAC-D5E28DCA67B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46dba1bcee0bdc597f376427c3a9fc844c0c4488","datavalue":{"value":{"entity-type":"item","numeric-id":4997950,"id":"Q4997950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$07038BA0-5448-49EE-B6B0-9EC45B456593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62bcc5986af130eb3b0a95a2e8546aa07adcda77","datavalue":{"value":{"entity-type":"item","numeric-id":5365403,"id":"Q5365403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$05AEED28-51AB-482B-9A9F-D3ED6802C126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4999723$BC7404F5-B7D0-4FBA-B189-C46867095F0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44475c9da2b0143871e70ab31d45b566b3181272","datavalue":{"value":{"entity-type":"item","numeric-id":1689568,"id":"Q1689568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86b0ecb32411abfe3587f29a554cbe8b94bf753","datavalue":{"value":{"amount":"+0.8715940713882446","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":"Q4999723$12B82B34-B79E-4804-B816-1D0D221CAEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58e15df1155baf6a188ffd4b79cb693403c3af0","datavalue":{"value":{"entity-type":"item","numeric-id":4683206,"id":"Q4683206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45b829cd75d770d21d2a6a3b6b91b7b8c371c05","datavalue":{"value":{"amount":"+0.8573468327522278","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":"Q4999723$7F3F8BBE-3C6A-4563-9596-A00527ECCE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cdd2feba569f154bc50d7455ae7958c2d1718c1","datavalue":{"value":{"entity-type":"item","numeric-id":4683216,"id":"Q4683216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901e763a204194caf93545588a2a0cfb652a8292","datavalue":{"value":{"amount":"+0.8568770885467529","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":"Q4999723$E8311958-138D-48CE-9984-6789F1328A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deab398ff342d4f68c6639727706488dd98b6fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4296301,"id":"Q4296301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67552e79e2e53f1653297907bc84634540540f77","datavalue":{"value":{"amount":"+0.8000128269195557","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":"Q4999723$09DC27F2-4E93-4702-86BA-CEABC447E170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c372c1bae9bdcf4a8e4beb634dffa7a5ed476dbf","datavalue":{"value":{"entity-type":"item","numeric-id":5412177,"id":"Q5412177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67552e79e2e53f1653297907bc84634540540f77","datavalue":{"value":{"amount":"+0.8000128269195557","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":"Q4999723$2E78499B-C716-4D69-8D0E-200992E39F9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4999723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4999723"}}}}}