{"entities":{"Q2320255":{"pageid":2330998,"ns":120,"title":"Item:Q2320255","lastrevid":78645905,"modified":"2026-05-06T12:06:05Z","type":"item","id":"Q2320255","labels":{"en":{"language":"en","value":"Proof of theorems in fuzzy logic based on structural resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7097114"}},"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":"Q2320255$D73CD05A-0958-4ED2-926D-99BACA08467E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5124cd05873916fd3b503cbe43392a43b7ab79f5","datavalue":{"value":{"text":"Proof of theorems in fuzzy logic based on structural resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2320255$C0058B0A-16F7-4514-8F3C-66A68A9BC4D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59307591e08c5cd45e97d1445a1ccc6e6073898f","datavalue":{"value":{"entity-type":"item","numeric-id":557444,"id":"Q557444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2320255$37DC62A4-5842-496A-ACFC-17E65302CC95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2320255$07483652-BB4A-4C84-9D07-44EAB12ED667","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e2137b88b3b13f5dc18a801021013ed4e793327","datavalue":{"value":{"time":"+2019-08-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":"Q2320255$C1A75F21-8103-4E20-A302-14DA2E42B7BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2320255$CA1044A6-C7A8-454D-99FE-AFD8B46F9BE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0446ef5b63ac4c799b7444e0c4224b5c30365bd0","datavalue":{"value":"7097114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2320255$A09B1A0A-065F-42FA-9B07-D76DA0CCF28A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b108c91d6d62118d8e0c4b83e8f310464fc9c88","datavalue":{"value":"automatic proof of theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2320255$11CD4717-A281-4800-A28A-821BF33C493D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0a714b99aee743ebba8eb6d1c1346048e6bbe8","datavalue":{"value":"fuzzy theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2320255$47B7A1E2-8C05-4D05-8D22-19F38945C42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"053f412a2506c14cd473d0ab8ef7fc652b3421d2","datavalue":{"value":"principle of resolutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2320255$88AD2B26-74C3-4A32-81C2-9BD1DE286B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2320255$A867EC91-64D4-4C4E-B523-29ABD3B5E8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aabacb2bd9bfa003ffe87c04d7c5daaff1d4875c","datavalue":{"value":"approximate reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2320255$985A4686-925C-4D5B-A9F6-0C7AA73EA471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f234c89ca2dc24bccd1c75aeb6d3d248de1f6b1c","datavalue":{"value":"generalized rule of modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q2320255$F82C7648-3F80-46D9-B55E-30A8488D1B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"374ef704e86b2f2ed3be9a89790b45c46d8e3730","datavalue":{"value":"composition rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2320255$BB50C927-CA99-4B98-9ED9-7B12F80BDA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc0cfb420b646242685cff40a3beafe0afd916b","datavalue":{"value":"fuzzy predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2320255$F59A410B-4673-48F2-ADC9-86B5D8346D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f94f1ed7c56892064ee4be024a243de10ace53b","datavalue":{"value":"fuzzy variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2320255$B4FD7CB9-B28A-4A51-95A1-98649006AAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a410868d7e1a9de5447b7ec29cbf2b0a9aaf98a8","datavalue":{"value":"linguistic variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2320255$5E8DC2A8-D5E4-4D88-82B6-CD5EC3BCD905","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":"Q2320255$6E4242AF-711B-496C-A6FC-F03B677C7C56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2e1f3744d6f3489c1c6a6e37000d3b9f6c68246","datavalue":{"value":"https://doi.org/10.1007/s10559-019-00125-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2320255$9D8FA9E7-565D-4ABF-A9BA-2C1462CAA502","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf75896404038ed80e075de26ebca7ff44ed7741","datavalue":{"value":"W2926157521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2320255$34B5FF00-1125-45FB-BD59-86E75B486936","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87097d99712d83987ebeec4e07e5ca1e88ceaea4","datavalue":{"value":{"entity-type":"item","numeric-id":3786440,"id":"Q3786440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2320255$0AD40280-7095-4C2E-85DF-8698F3B31F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e9b0ca52d78a2bf44740899fe2b062c7148ed","datavalue":{"value":{"entity-type":"item","numeric-id":1568493,"id":"Q1568493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2320255$92995BC4-1B1F-4703-AC59-467666DFBCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5030dd8125fc9498a817853e7a4345c8f6735be6","datavalue":{"value":{"entity-type":"item","numeric-id":4805683,"id":"Q4805683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2320255$60C0B52B-41A7-4F52-8527-B660FCE17EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6539b05a1df8068b1e5d50361efe758ba7d254","datavalue":{"value":{"entity-type":"item","numeric-id":1922342,"id":"Q1922342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2320255$4EA12A39-CFA5-47F2-AFF6-C32AB5BF2F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226b7a5952ee12bbb2da6a2e4509b1cf2b25cdae","datavalue":{"value":{"entity-type":"item","numeric-id":1407160,"id":"Q1407160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2320255$FD14E148-91C7-4E68-BB21-69D5472CFD93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dce8a6e9b52d2da077f834e89a434c31a15449af","datavalue":{"value":"10.1007/S10559-019-00125-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2320255$EC45FD00-921D-457C-8483-81D741AB67A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b78728b8a4ce732be03e827c9d3c951912a8b06","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d188a4a1468cb9b2c6041218bfb7a66a1af92f2","datavalue":{"value":{"amount":"+0.9105396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2320255$97BE84FD-226A-4D22-BF30-82C57BFC07AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a259fbfb30acd7b9afc84c9da75c6b84c460e69","datavalue":{"value":{"entity-type":"item","numeric-id":5406034,"id":"Q5406034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c09f0f0e311c0416fd05080c1376ffa36f3bdbf","datavalue":{"value":{"amount":"+0.9070303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2320255$C66BE212-9CB7-4183-ABFD-4F927BEDDB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5487457b16e373fc2f20667b6413e1428eab509","datavalue":{"value":{"entity-type":"item","numeric-id":3500668,"id":"Q3500668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb5c645f50f6d374790927f7d19500dedbc8378","datavalue":{"value":{"amount":"+0.8904744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2320255$151C0FD8-DA58-4A93-B8BA-6E00FE4C3C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa85307c0dd0712c877407480231a7f3a6505d0","datavalue":{"value":{"entity-type":"item","numeric-id":805267,"id":"Q805267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77920db5bccfcff20a59f760f7a2ccf38444eb3c","datavalue":{"value":{"amount":"+0.8899605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2320255$4880279F-F9A1-4356-B84D-9EAE530C5726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee14aaaa558f787ca2df8773212157f816a32d7","datavalue":{"value":{"entity-type":"item","numeric-id":1778065,"id":"Q1778065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1b2a5bea081dbcef20b2e63724434d299baaca","datavalue":{"value":{"amount":"+0.8815718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2320255$ACAFAF41-DA34-43F7-BA48-1DCEDC1BB226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ad8702d084ac601752453e8b622e3bec0f3c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4944943,"id":"Q4944943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6539aadd0f2709e4d1cf6a9f72e326e07f4354f4","datavalue":{"value":{"amount":"+0.8814523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2320255$01DF1C53-A4ED-4EE5-8255-4F7B49CA66CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6731003027f94f1301e95b30639eaf4e16c084a9","datavalue":{"value":{"entity-type":"item","numeric-id":1038654,"id":"Q1038654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e38100a4cf4ee4a51942e09df45b3978576947a","datavalue":{"value":{"amount":"+0.87377477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2320255$93E41B47-D6ED-43F0-A384-A7B9F861C9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d55158f18b04ef72f2b9eb1aab2ae849d5d81f0","datavalue":{"value":{"entity-type":"item","numeric-id":4218100,"id":"Q4218100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee8a03ea244e63c9e1017fc06199a5ea67ed15e","datavalue":{"value":{"amount":"+0.86880493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2320255$0350604A-2DD5-4FA6-B8C5-4429C3B958C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d4f52c3ff2bebcd7403cfeab3554222fe195f3","datavalue":{"value":{"entity-type":"item","numeric-id":1193647,"id":"Q1193647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d97ee7527b14e7dcb6590445cb7460480069b9","datavalue":{"value":{"amount":"+0.8687527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2320255$23057D79-CDEB-4F2B-870C-5EC96AFFA750","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof of theorems in fuzzy logic based on structural resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_of_theorems_in_fuzzy_logic_based_on_structural_resolution"}}}}}