{"entities":{"Q1769494":{"pageid":1780236,"ns":120,"title":"Item:Q1769494","lastrevid":70860510,"modified":"2026-04-13T17:44:09Z","type":"item","id":"Q1769494","labels":{"en":{"language":"en","value":"A unified normal residuated based logic system and its completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2148656"}},"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":"Q1769494$DF0782B4-2E26-4253-90CF-82EDBEEE6B88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21a54a46139bd683902ead63e79109b8950c91bd","datavalue":{"value":{"text":"A unified normal residuated based logic system and its completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1769494$77756200-BAB7-4534-8A6F-F0C317AD0FC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45a81fff244ea0b8b40551cc46c49a1cf60e5c3a","datavalue":{"value":"1059.03522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1769494$102923F2-77AB-4089-B768-0528780DDA51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1769494$B8EF8353-F600-4A53-9543-EF312489D049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11b4b9e71888c8ae87efc4750955ed379903fb79","datavalue":{"value":{"time":"+2005-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1769494$4E100781-37BD-434B-9E2C-E8F3613EDB26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1769494$A9FEF126-A92B-4505-9E2A-0E09831EDC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1769494$706FF3B3-03EE-4834-8231-6C5B95BFBAB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c67efcfb1cfa0b58ff764aa12741e93f27c4f876","datavalue":{"value":"2148656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1769494$C41F557B-164A-421B-9D2E-FAA51A265CCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1769494$5FF64176-BF63-442A-A1C9-144F38F855C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1769494$5BCC4539-6C61-408F-8F76-B3776C313FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93460c4fbcffc26dcabb95b321017d326e92d26f","datavalue":{"value":"normal residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1769494$4B4AC9C8-A157-459A-8086-3EAEA3AC86E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54b2a61c96c62f8ce1803d46dd6d85f4e298716c","datavalue":{"value":"normal residuated based logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1769494$39EAA20B-ED79-4799-A566-361233BA89F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81fedf37206b9ac5cd89bd0ba059fa8d8efa2ef6","datavalue":{"value":{"entity-type":"item","numeric-id":412071,"id":"Q412071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1769494$8C2F9A26-5FEC-41B6-9AD2-20B3E44FE719","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":"Q1769494$1CF80F31-7AC5-41BA-8E42-0997BBB1B1CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9d327eb9b8007165a16a23127e3883b3e9229e","datavalue":{"value":{"entity-type":"item","numeric-id":4778508,"id":"Q4778508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8289158acadd4c12a70d183fadd5ed2c3f6a161","datavalue":{"value":{"amount":"+0.8462313413619995","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":"Q1769494$DFFBB51C-8524-4448-A425-EF1469CA3A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f5415a0487306b73f6fa1a7b845931e51fffb3d","datavalue":{"value":{"entity-type":"item","numeric-id":1768045,"id":"Q1768045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4198822b1d494a3e344879e6c9822a5218f191","datavalue":{"value":{"amount":"+0.8089028000831604","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":"Q1769494$03F6F156-81E4-406D-B12C-F523C07A7D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6b1e49f9180df03ae03fc9b9937109da599721","datavalue":{"value":{"entity-type":"item","numeric-id":2450646,"id":"Q2450646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd9258e3efffc8ca7d8e8752907dc1864ac20847","datavalue":{"value":{"amount":"+0.7936096787452698","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":"Q1769494$64659216-D5BF-41FA-959A-D2139EFC87D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388c6ad88fb73e7aaf444e11ae3d2f84688cdf62","datavalue":{"value":{"entity-type":"item","numeric-id":3347860,"id":"Q3347860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef23e8bff7e777e91372a2aba1849deec35da55","datavalue":{"value":{"amount":"+0.7922873497009277","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":"Q1769494$A0D06347-13DE-420F-BFC6-FACEBB2BE3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31948fb5c21d097cde11baca184adbd77a54a52a","datavalue":{"value":{"entity-type":"item","numeric-id":1697513,"id":"Q1697513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba31bcc1859e16c34b5f618d81ed738b62fdde9","datavalue":{"value":{"amount":"+0.7865084409713745","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":"Q1769494$63590743-3A6E-413C-9640-96CDC8F51A3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A unified normal residuated based logic system and its completeness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_unified_normal_residuated_based_logic_system_and_its_completeness"}}}}}