{"entities":{"Q1743996":{"pageid":1754738,"ns":120,"title":"Item:Q1743996","lastrevid":73835139,"modified":"2026-04-14T17:26:07Z","type":"item","id":"Q1743996","labels":{"en":{"language":"en","value":"Semi-intuitionistic logic with strong negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6860341"}},"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":"Q1743996$BEE3AEC9-033B-4709-8043-1586222B46D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3c1ce473fe2edf24f8f738ab4e0d0dee44e2547","datavalue":{"value":{"text":"Semi-intuitionistic logic with strong negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1743996$D0EA4403-8966-4FF7-94CA-EB86B4D47CCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c7569c0a880c60f3a89b2f7e01414850ac74485","datavalue":{"value":"1437.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743996$941B930A-A3F5-4A14-B7EC-9C9181E5692C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff60f539800112c46879724c5b88cbb0551f5780","datavalue":{"value":{"entity-type":"item","numeric-id":495843,"id":"Q495843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$42777725-5F57-4B9D-AB77-CE621EFB5F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa09da87842605e81e3f4cc0fc6d9a625fc5c578","datavalue":{"value":{"entity-type":"item","numeric-id":987488,"id":"Q987488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$F07F6C3D-A5FC-476C-8909-93A0F65FC15C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$5438EC01-2176-40CC-9056-6FE63EE80DE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cebd514f10184b17197e759da0a7f95e6df8d514","datavalue":{"value":{"time":"+2018-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1743996$40BA28DD-D8A5-4799-BB01-5551876F7DF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743996$EDDD7EBF-C0E4-4223-8FE0-EF2936C86BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743996$12372758-24CD-4082-8B93-5E94A1C5AC2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40f3a6a4d417de12d0087dcb7e4adc45e0a19b09","datavalue":{"value":"6860341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743996$FA77120C-0044-4CA9-9A27-CBB5C6118417","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b65704188449f6deb2c109d07c7799f54b4c9c7","datavalue":{"value":"semi-Nelson algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1743996$DD81D33B-5F44-489B-A322-5935774FF26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1743996$7BE5F3AE-F0D8-4BE0-8B5C-E2E407A454B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3375cc65232131077f60ae439076659220404684","datavalue":{"value":"semi-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1743996$AF023DD4-1F34-45A3-B1A2-6217850478DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d3b2103bae88bc83814f0f56a690998d079a89e","datavalue":{"value":"intuitionistic logic with strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1743996$CA6C45AA-2C77-4F56-A480-6EE540456E19","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":"Q1743996$68AA85A8-537F-4DCD-9ACD-CF64D077A07C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2f396dc0669e5bf3d6fb77d886ab17403157dc8","datavalue":{"value":"https://doi.org/10.1007/s11225-017-9737-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1743996$1DDAB996-11E1-46D3-A982-DD43A58527BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6d0bc373d13c08d5ecdeb515af8135f6f90a451","datavalue":{"value":"W2730984253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743996$18B56F32-CC46-47A5-A78F-E59FD5DC90C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db4334fad07a61c2b2b8228e69e16c405504889","datavalue":{"value":{"entity-type":"item","numeric-id":763323,"id":"Q763323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$2FA43099-01BC-445B-80BF-69BB78DC2825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25c9346400d5d268831a5056493682abe2667eba","datavalue":{"value":{"entity-type":"item","numeric-id":2352456,"id":"Q2352456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$795CBF01-864B-482B-8F43-5D1C00B16AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89929c0baa84c845fc61c94e69ee3968f1ead2a3","datavalue":{"value":{"entity-type":"item","numeric-id":2413410,"id":"Q2413410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$8B4A6330-923C-4897-AA36-5E59FAABBC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20206cef58524889f55a4b260093a4e461e12ac4","datavalue":{"value":{"entity-type":"item","numeric-id":1743996,"id":"Q1743996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$3632699C-1F57-440B-98E8-127D4434D027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$A72239CB-89A6-4CE5-A8C8-8569DFEC939B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$27C10750-747B-4697-997E-E5B941434FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09581fa60ebd4b53f006c948a3f6304897224fc","datavalue":{"value":{"entity-type":"item","numeric-id":5518341,"id":"Q5518341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$7723EECB-61D4-4639-AED6-28E363C46926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$69A8106F-EC78-4797-A595-6C49B0F15BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92106e7769c717dae7741849e4c7b9f1270a7321","datavalue":{"value":{"entity-type":"item","numeric-id":3257770,"id":"Q3257770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$751D3366-B8EB-422A-9A45-A7F67137441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$A9CACD3A-55A3-455B-95B3-7BA89A2E78D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a40b964fcb157a25c533b4d3df94445dcd3f29","datavalue":{"value":{"entity-type":"item","numeric-id":3605557,"id":"Q3605557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$D630771B-707F-4538-92BA-AD447B2E0BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311ce45b1595e141bd1b534a00e6fbe184eae21","datavalue":{"value":{"entity-type":"item","numeric-id":1249170,"id":"Q1249170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1743996$3B90453B-9AD1-4D88-B8B6-13AE5BAA93CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"499fd7b38d0da3252aea328cd26832ce6d99f1d6","datavalue":{"value":"10.1007/S11225-017-9737-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1743996$DC1088EF-5C79-4158-9C56-80D0B23CC6E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079a5545608790ba99c8fe6a8953366e9f7a5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":2352456,"id":"Q2352456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9bde09c6f92006a4ec82e73505785890ef021e","datavalue":{"value":{"amount":"+0.8418921828269958","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":"Q1743996$6742A299-3898-4D45-8B87-AA7D5E341492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f72cae399e5e37c9ea9252cbcc122660d90e6e","datavalue":{"value":{"entity-type":"item","numeric-id":763323,"id":"Q763323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a65ceb9e69c4756e9401dfcee654d8eb63094cb","datavalue":{"value":{"amount":"+0.8318415880203247","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":"Q1743996$3C0E80FA-9263-4A18-8A55-12D0632428D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfbf49adad089832811e4b1aed69c4c063d04003","datavalue":{"value":{"entity-type":"item","numeric-id":2413410,"id":"Q2413410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935b75166ac497d2435eae2107d8c5f9b405cf0a","datavalue":{"value":{"amount":"+0.8083632588386536","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":"Q1743996$B0042F4C-DA82-465F-8FC8-10745057D747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ec7c1133aa216690b3133bab1b08a0cb38f367","datavalue":{"value":{"entity-type":"item","numeric-id":1799291,"id":"Q1799291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c5396a67cd39b1f44561623c841d840266a9bb","datavalue":{"value":{"amount":"+0.8044201135635376","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":"Q1743996$8B23F79F-2392-4E40-B00E-8204D029B396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf19ad00cac4b473bcbc0cc6e6fb4b98c4c869ef","datavalue":{"value":{"entity-type":"item","numeric-id":1386683,"id":"Q1386683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79a2ba6a269cf0ddd613fd69e9b082bf16be4a9","datavalue":{"value":{"amount":"+0.7989525198936462","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":"Q1743996$2773AC46-BADD-462D-80B5-0EBCE6291004","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semi-intuitionistic logic with strong negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semi-intuitionistic_logic_with_strong_negation"}}}}}