{"entities":{"Q5176671":{"pageid":7206243,"ns":120,"title":"Item:Q5176671","lastrevid":52212572,"modified":"2026-01-21T04:18:34Z","type":"item","id":"Q5176671","labels":{"en":{"language":"en","value":"Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6409417"}},"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":"Q5176671$04FC3A95-CAF1-43ED-8F17-3E3B3082B5B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a09b93e4195c2fe890529b076ad3f787b250bd8","datavalue":{"value":{"text":"Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176671$4E88AE79-98AD-4B52-B736-AFEDB7930B8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80bbb83e435fccd024e375d7fa822519ee4e2fae","datavalue":{"value":"1306.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176671$85BC09AA-3324-475D-94B3-13797D061B8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aae77e8e2b82a5dc2fb39edee5badd3b8f12c82e","datavalue":{"value":{"entity-type":"item","numeric-id":266866,"id":"Q266866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176671$BB5B6716-D3D6-44BB-9797-C607D1055BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae0c9d6c67b5455c5dddbc68bf7c9e41a92d98b2","datavalue":{"value":{"entity-type":"item","numeric-id":1699734,"id":"Q1699734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176671$2FD53D74-6624-4D13-8F81-E8721EBB3570","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b04cbc0bd9d6002d18ef325b8d307775df0871bf","datavalue":{"value":{"time":"+2015-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176671$FC36CC0C-7FD9-4C1A-A42B-47E29CD3EBB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176671$51977876-B4F2-4A04-8D5A-FAD6CA63CE42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f12aaab296bfddd6ed7000ee373ab4e91a561eb","datavalue":{"value":"6409417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176671$4FD0F8EE-1C3D-4FA1-BC20-677CC8ACDC21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176671$258421AF-E11F-4600-B500-52CFBD2CC40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98129eac288d7b89b1bd5c8bb5acac6525224b6d","datavalue":{"value":"dual negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176671$92650DF8-924B-44FF-92C0-B947802C1AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf50e81767295ee9013bf102588a950860da455a","datavalue":{"value":"paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176671$B4C5D068-ED83-41BA-A6D0-DE668FA6F4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176671$EAAB59D4-01AD-4DFB-9608-CCE350B607D0","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":"Q5176671$74F61741-F704-4AFC-A9CB-B14BAAE53B9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"601b6e3ec5c78af0cb6083854b0bea273111f01d","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzt027","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176671$ED6261B7-CBCA-4C9B-974F-EE1FC1F0BB9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12f1dda933c8ecc8afdaa41634cb98ec34223629","datavalue":{"value":"W2163362139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176671$9BD73892-B315-424E-8DCF-2DCB0740CCC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20d7a19ecfa2e11852095f5071184a0437d6fa8f","datavalue":{"value":"10.1093/JIGPAL/JZT027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176671$ADA1A74B-E518-420D-BEEA-57049D0B2C91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176671$DC91F832-CED9-4E83-A48A-7186E5257CD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4662c42bcafed7cf5322b247092e931aa8d0cffe","datavalue":{"value":{"entity-type":"item","numeric-id":1049743,"id":"Q1049743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ecd65ba637e2ca841e5f319d26d1546d608fbc","datavalue":{"value":{"amount":"+0.800724983215332","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":"Q5176671$4BB54BD0-F2B0-41B2-8759-42234AF5714F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0df316024f1287d53a35cbaad97b45cd22cef9c","datavalue":{"value":{"entity-type":"item","numeric-id":4903913,"id":"Q4903913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5799855aaff4696c5db728b87cd411f8890f3943","datavalue":{"value":{"amount":"+0.7844434976577759","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":"Q5176671$9345165A-D18C-41BC-AD9B-CD45D035FC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6a364e6076f7ee43dc944ae75583b2f9013298","datavalue":{"value":{"entity-type":"item","numeric-id":1685568,"id":"Q1685568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2e7b8cc48ff268bfe5baf5b9a64ade3a9e0c56","datavalue":{"value":{"amount":"+0.7671128511428833","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":"Q5176671$3893546C-3DEE-4BCF-A66A-5C6136DACA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177374dfffcb5c500e6b1643c9d28cb62e37ff99","datavalue":{"value":{"entity-type":"item","numeric-id":301378,"id":"Q301378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6bb6c2473065958f30479b8fd26cb9558eaadf5","datavalue":{"value":{"amount":"+0.7630491256713867","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":"Q5176671$1C245AA0-8B08-435F-9F5F-AD539129DF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f619b0317e6cb9744cb189fabbc1d377693aa9b","datavalue":{"value":{"entity-type":"item","numeric-id":1355125,"id":"Q1355125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b3ebfb2e25aad628ce8e098032247592a6d37f","datavalue":{"value":{"amount":"+0.76203453540802","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":"Q5176671$C92E1B96-28D0-43FF-9E44-F7AAB5A650C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5176671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5176671"}}}}}