{"entities":{"Q4688401":{"pageid":6717981,"ns":120,"title":"Item:Q4688401","lastrevid":97990709,"modified":"2026-06-05T16:00:34Z","type":"item","id":"Q4688401","labels":{"en":{"language":"en","value":"Strong congruence relations and deductive systems in BL propositional logic system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6961321"}},"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":"Q4688401$02DFBBD8-652B-470B-A191-9BF68B703038","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a1859e9d4a77aa97503cac612d1b76914c099f6","datavalue":{"value":"1413.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4688401$0E4C62AE-9F9D-49CB-B082-F8AF8CA2058E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e18c1b5b6814f0274cf156304c035c64e655474a","datavalue":{"value":{"entity-type":"item","numeric-id":934396,"id":"Q934396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4688401$52DA158B-0E81-4C4B-9F72-F4056805FD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ed3ac27e2efffdf2b0d8b4672a1583c1fa9074","datavalue":{"value":{"entity-type":"item","numeric-id":827342,"id":"Q827342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4688401$B367F4FA-BB89-48D8-B5BE-741A9C4F978C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adc8eee53b8dd760e2848b9a3773c92a3f5c0935","datavalue":{"value":{"entity-type":"item","numeric-id":866228,"id":"Q866228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4688401$2A40355B-10B0-44D0-8E41-379E38664049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cc1ec03d92652744a67d558a8c7ef5930869e38","datavalue":{"value":{"time":"+2018-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4688401$BDE9C3A5-5FA5-403C-8AC5-8F29C66D3BA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4688401$C828BE4F-3C94-4337-A131-83A471306E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4688401$A8548E79-F912-4AEF-8F3F-3A040C26E957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4688401$70E79A73-9134-4398-B044-78FBCC68567D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d9eba1fd7576b9c0ca978bc2720b12f6034db3c","datavalue":{"value":"6961321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4688401$6D947EEC-4B61-4150-97AE-C167A7BA17CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4688401$F9C28A0B-7A15-4304-BB5D-D4D8DDD32EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e5c7c3633e83abfc12cd68e219a362dcae0685","datavalue":{"value":"propositional logic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4688401$5E8A7708-F44C-47E3-812A-B77D8B507FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4688401$8B8C88A5-9DD1-4074-ACD3-D5A87802244F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b41699cbe2851d95367cbcb75f2808f1e8abf15a","datavalue":{"value":"strong congruence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4688401$C7FE7793-9D21-41E9-B8FF-7E70218EB339","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":"Q4688401$360D09C6-650F-40CC-9A0B-EAB2B92E0223","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f6dbfd4cab0e11e3dd527dba8ff2009acf940a9","datavalue":{"value":"10.13413/J.CNKI.JDXBLXB.2018.02.09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4688401$59F30C8E-6C64-439C-933A-5ECC85FFF25B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c55871d0a15eeddd6928a7fcedd07dfbc7504f","datavalue":{"value":{"entity-type":"item","numeric-id":3640068,"id":"Q3640068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ad6ce7c1fc8a2ede6068df8dccc46c23e704bb","datavalue":{"value":{"amount":"+0.8589058518409729","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":"Q4688401$640CA763-45CC-464D-A66D-EEDEFFB03440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080f49b96db1394e780e02f1d1a37bcf42425b97","datavalue":{"value":{"entity-type":"item","numeric-id":3023678,"id":"Q3023678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9135907f4c21fcbe2a6b9185ff87f19f080278","datavalue":{"value":{"amount":"+0.777786910533905","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":"Q4688401$3D11B23F-D5B0-4497-A29C-3A6F1A2A2328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f765159cf294093d5415872b8e7cc88a1692c909","datavalue":{"value":{"entity-type":"item","numeric-id":2923738,"id":"Q2923738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e922654fbaab1870daca35a43c755fd4eab2568f","datavalue":{"value":{"amount":"+0.7587880492210388","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":"Q4688401$E2AF2982-DB99-47CF-9B42-859AD94CE57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2cbad9d3aad5f0ebf45cab59fc3924e6e307ccb","datavalue":{"value":{"entity-type":"item","numeric-id":3175433,"id":"Q3175433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"244afaf4e1fb23453460e1f22e207ed4360f350e","datavalue":{"value":{"amount":"+0.7504810690879822","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":"Q4688401$F6648802-A439-4116-BC5C-D8B92F336589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d29e2965e7b0b214bf31ec0629fa5bab0f92ce","datavalue":{"value":{"entity-type":"item","numeric-id":5708853,"id":"Q5708853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9b39d34410075216ccffaee7f614523168524f","datavalue":{"value":{"amount":"+0.74947589635849","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":"Q4688401$22C0A5F8-FA38-4BF0-BC94-3B3469C69C1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong congruence relations and deductive systems in BL propositional logic system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_congruence_relations_and_deductive_systems_in_BL_propositional_logic_system"}}}}}