{"entities":{"Q1099155":{"pageid":1109907,"ns":120,"title":"Item:Q1099155","lastrevid":69637164,"modified":"2026-04-13T08:22:06Z","type":"item","id":"Q1099155","labels":{"en":{"language":"en","value":"Another proof of the strong completeness of the intuitionistic fuzzy logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039850"}},"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":"Q1099155$1E344141-8625-4BA8-BBDD-586CCF04503A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23e7f2ebd388a78e5d37904fd48138104009d8e0","datavalue":{"value":{"text":"Another proof of the strong completeness of the intuitionistic fuzzy logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1099155$5DEC1630-7B06-4BCD-8ACF-5137B377D636","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29b2b34b504844cc26e0a5641621723a1ba9141f","datavalue":{"value":"0638.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099155$538831BA-2933-4384-BB6A-B9BABB2D0AFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099155$25C4EF52-9B4A-4E48-B72C-03F58748B3D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099155$B250648D-DD58-4C92-A7DD-C325C01525C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1099155$C72537E8-F24E-4EB1-ADE5-FFA5335F2A42","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"464d7a51bebbf5209960f597615448f6fd55c6e8","datavalue":{"value":"The strong completeness theorem of the so-called intuitionistic fuzzy logic of \\textit{G. Takeuti} and \\textit{S. Titani} [J. Symp. Logic 49, 851-866 (1984; Zbl 0575.03015)] is proven here by reducing it to the corresponding theorem for a system of \\textit{A. Horn} [J. Symb. Logic. 34, 395-408 (1969; Zbl 0181.299)] and proving that theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099155$D8E027C4-5E4E-4077-A325-EC8576588CC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099155$A9007A89-0A1E-445C-A1F5-D1A024DCF924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099155$CFCCDF19-EC68-4C0E-8CBD-B1B664DE507A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099155$E4DCC03A-450F-41E9-9EFE-674EB3CDEE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099155$69EE6525-F127-4A19-91AD-5D5A46B6D058","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39f0c77601ae9ec199b6e9d624670a0ffa6e1575","datavalue":{"value":"4039850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099155$6B81B27F-9B46-4224-BE4C-F8DC6944281E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"224e1a90ba9a3d1683e33cc8e55e031262ea528d","datavalue":{"value":"extensions of intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099155$657E0924-3B1B-4A0F-8351-EFB01A5E917E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e217b50616614f81c83ccf6b07919d5380c97cf","datavalue":{"value":"strong completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099155$822777D8-D46F-4E62-87D5-20AC48337F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb765f45baa4f2f644e21bc342be7d90cc0ff552","datavalue":{"value":"intuitionistic fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099155$1EC01EEE-2CFA-4FBA-8C24-8A1299DA0C05","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099155$48ABE238-DAEA-48A9-8898-21547D06EBB0","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":"Q1099155$6A3F5FC9-D747-4C36-B132-C796E1D90367","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b18b9b91a163a437be8c05f0564add4370564374","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496160505","type":"string"},"datatype":"url"},"type":"statement","id":"Q1099155$43800AC8-80F6-49AB-8811-7EC8C2307FDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"310b872ed4a110a293a4ba371056fb4cb87230f0","datavalue":{"value":"W1883540685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099155$040C7C03-A046-412A-93BE-B39EB0FB697F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"920a094271794ab058238a2bde3e195577639c1b","datavalue":{"value":"10.21099/TKBJM/1496160505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099155$88C497E2-40B6-4AF7-8A86-9AEE162068AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae3516a91cd7d6d402577aedea849e41c45273ae","datavalue":{"value":{"entity-type":"item","numeric-id":2753673,"id":"Q2753673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e96b396fa1fca2174c71ef21573cac2b1b2d2a","datavalue":{"value":{"amount":"+0.8157617449760437","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":"Q1099155$744994D7-A1F9-4A14-907A-D4BE1E8BDEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317d2608ef05e525a4d9bf2a4a04d0bbe1f9ffcf","datavalue":{"value":{"entity-type":"item","numeric-id":4509110,"id":"Q4509110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3ac513ca7a7e1a48662a6f7ae56dee7ba4b95f","datavalue":{"value":{"amount":"+0.804874062538147","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":"Q1099155$0082CDA4-549B-4599-B274-FF923B5125D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0403aaf719ae8925c1215e05162b1b8b353a2a21","datavalue":{"value":{"entity-type":"item","numeric-id":2784584,"id":"Q2784584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08851f22c54afeb9872abb007dd086a62666c001","datavalue":{"value":{"amount":"+0.7727589011192322","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":"Q1099155$6855ED45-3DB8-4262-BB3B-ECEF336AF32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a4771264ab3f0ac79e53a8040e0f550ae70ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4441142,"id":"Q4441142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ad6d679b708db841d9774e2bc4c19ffca33de82","datavalue":{"value":{"amount":"+0.7727480530738831","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":"Q1099155$49C43D68-0308-400C-8EBD-961B22188A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ee6c08755651264745f99057b0138d4e794e30","datavalue":{"value":{"entity-type":"item","numeric-id":1841473,"id":"Q1841473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17119e2dfa29182f92aec5c02cfa34e6daf684d2","datavalue":{"value":{"amount":"+0.7727246284484863","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":"Q1099155$0CA2C31B-3F14-41E8-85DA-87F349E27392","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Another proof of the strong completeness of the intuitionistic fuzzy logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Another_proof_of_the_strong_completeness_of_the_intuitionistic_fuzzy_logic"}}}}}