{"entities":{"Q1387337":{"pageid":1398077,"ns":120,"title":"Item:Q1387337","lastrevid":70304433,"modified":"2026-04-13T13:52:07Z","type":"item","id":"Q1387337","labels":{"en":{"language":"en","value":"On the completeness of a new intuitionistic connective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1158909"}},"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":"Q1387337$0FBBEEE1-460B-42DB-B73E-B3DF2FACDA09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25a56c9e9d49adb1d285da94b349fd3b4cc1e0fd","datavalue":{"value":{"text":"On the completeness of a new intuitionistic connective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1387337$989AB5F4-1F4B-487E-9CFA-1A08858A4C3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e4d47b5239d6bdaaac3d34b73cd1c2272cc896c","datavalue":{"value":"0897.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387337$96AD46D5-086C-4F22-A9CE-1318094DBA2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40427f6a11d8583c09b5ff5082c466092faa6bdf","datavalue":{"value":"10.1007/BF02320369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387337$4D989993-57D1-4B38-91D9-4935F94AAC08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387337$E1B42D22-5C38-4F3A-8A28-1FFF5F0E41BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bef85bc00807cee0e95f3a15b9f54d5579e52fd","datavalue":{"value":{"time":"+1998-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1387337$112EF23B-0FDD-4AC8-8D23-CB8C38ACB7CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387337$0BBDECF8-E6B3-4211-AFEB-4D480C07CD16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0eabd0eefb16e5c8720c0b76ae3712eae298d3a9","datavalue":{"value":"1158909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387337$21BA534B-A600-4D1B-B0FC-AC116957F206","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387337$B6674240-403B-42E8-82E2-2D8839E5D8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"270d57f4b825901f18369ffadb620fe3a57dfd0e","datavalue":{"value":"intuitionistic connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387337$3E67F50F-7B8D-4727-AF1C-382D08E0C93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d254f185411dd48a17956d59b8a4f53f4289f3d","datavalue":{"value":"Bessonov logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387337$69182AE5-80BE-42E4-88D8-AB8B1BE06EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1576adf895d0391f5d45cedc7982c2200cc1f03d","datavalue":{"value":"disjunctive property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387337$3D045DEE-5A45-48E9-ABF6-E5EBE3FE2D80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5015171e2f57a73921a54f50bb5ecad403c04d","datavalue":{"value":{"entity-type":"item","numeric-id":721380,"id":"Q721380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387337$BEB00BE4-1500-48DF-B2CF-C8DB58EE1A6F","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":"Q1387337$2E9A80EF-9D1C-4798-A385-4D2B92A54F5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1447146e83d8e7b4da394c0bc504ce8e67e8cece","datavalue":{"value":{"entity-type":"item","numeric-id":1240220,"id":"Q1240220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387337$E7D511FA-BFCC-4754-89C0-D40D86B1940A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"073953b72a82e21e4784ca8c7d1aefdf5cf3a5b1","datavalue":{"value":{"entity-type":"item","numeric-id":3890665,"id":"Q3890665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387337$54646939-CC24-4DA2-A106-DBC7CD77AF67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b1fb8ce74d523ff8520a427a0fbaba0397278dd","datavalue":{"value":"https://doi.org/10.1007/bf02320369","type":"string"},"datatype":"url"},"type":"statement","id":"Q1387337$57C98735-DDDE-4630-A55D-DB008C6CDF83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3765376fa0da6b0ace43183373c42f4217dd2f9b","datavalue":{"value":"W2056095412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387337$0538BA37-5135-4E36-88F1-112BFA65F086","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaa68a38b10acf819b3ca115082c88080f4d682","datavalue":{"value":{"entity-type":"item","numeric-id":4221296,"id":"Q4221296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdeb4d588f824b19abb882cb6c07adfb1c8cd367","datavalue":{"value":{"amount":"+0.8562213182449341","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":"Q1387337$661FCA45-6C5B-4B7C-91E8-9987217CE197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319c87f1220779afa76f224ce6247716062f3069","datavalue":{"value":{"entity-type":"item","numeric-id":5283966,"id":"Q5283966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b6b4cff4c208a09952cb02c8714e8449be71b6","datavalue":{"value":{"amount":"+0.8321696519851685","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":"Q1387337$4D7DDD7C-50A5-46E0-9ECC-BD625ACBD908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320e8540f3ed2a456441132ec0c592940945aa25","datavalue":{"value":{"entity-type":"item","numeric-id":1972663,"id":"Q1972663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f775b7a95cc72c6d49115818e2a3963f12b49c","datavalue":{"value":{"amount":"+0.8242138624191284","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":"Q1387337$F50D0194-1B8A-409C-9976-F4A09700ABA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the completeness of a new intuitionistic connective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_completeness_of_a_new_intuitionistic_connective"}}}}}