{"entities":{"Q3131518":{"pageid":3142234,"ns":120,"title":"Item:Q3131518","lastrevid":80302946,"modified":"2026-05-06T15:53:15Z","type":"item","id":"Q3131518","labels":{"en":{"language":"en","value":"Tableau approach for fuzzy propositional modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6831060"}},"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":"Q3131518$55AB5D5F-F044-4662-BBB7-FF5354442FE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3b947de52efb9377114034ac3e301fe80a35455","datavalue":{"value":"1389.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3131518$E8AE42D0-5090-4057-87C4-22312C27A6AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ef80489f18ec1e0adac5c64413550fdbdc51c62","datavalue":{"value":{"entity-type":"item","numeric-id":258968,"id":"Q258968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3131518$1C02690F-8B7A-4C85-B978-488302083B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3733d74b17adf403cac83c95a6e14a37f9f92fd","datavalue":{"value":{"entity-type":"item","numeric-id":369695,"id":"Q369695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3131518$B2BCCCEA-9200-4605-8446-CC71DE3FF522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12556b3bf2c14f9581fee4ff027905f0443a69ba","datavalue":{"value":{"entity-type":"item","numeric-id":3131517,"id":"Q3131517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3131518$17610E9F-9F29-443C-911C-9073A4EB0102","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1fdde4a6b7c393bd7e7511d176d020130b90b6","datavalue":{"value":{"time":"+2018-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3131518$9F823D9F-D332-4C60-941C-89C1CEE455AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3131518$B60A57C1-7B5D-451A-B3CF-BC418D22F420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3131518$32D7AF5B-A4E1-4A74-B364-A0D30BA874B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae1746051472781f4f9f864eeadf8d2dde1931d4","datavalue":{"value":"6831060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3131518$2C14FEB2-645F-42A9-8DC2-326A71249968","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e11e95d594931249867ee079eed7802df24e4d","datavalue":{"value":"tableau approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q3131518$2EF210A6-B7DE-4268-8659-94968CEDC327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3131518$F0A75AD7-B7A6-4B83-8F1A-4352AE5B7124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1222b801c0b63459999f795ad10239a56436b6ec","datavalue":{"value":"fuzzy propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3131518$ED28C88A-2624-4E74-B473-24A8FA6A9A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87dd2e64b92b9bce51a6d9a8e24dbaa28d19658b","datavalue":{"value":"uncertainty reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3131518$C7F76B46-4187-4DEE-A76B-6DC08BE7DDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d7491970eb69570d8a1e20b0cf2695f5eda1a01","datavalue":{"value":"consistency checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3131518$C19D7AD9-3047-4585-A1BA-F5D2DA547E64","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":"Q3131518$A741D3BB-BED6-4BFA-B2D1-7E7E61C48D58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fbd96c7fedceecf9b14bf2d75a8bc9d468e0d9b","datavalue":{"value":"10.11990/JHEU.201603080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3131518$BDA17C38-15A8-42C1-8FB3-B0810DBB6387","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0366d1d0f096f2340ba14418bbea46a01c98290a","datavalue":{"value":{"entity-type":"item","numeric-id":5957079,"id":"Q5957079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e109629f263dd4524440022516f7f71dfe050c","datavalue":{"value":{"amount":"+0.8379841446876526","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":"Q3131518$8703656C-BFD6-4613-A20A-F3C7F35DE185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c92c69ff2ecbc83992240f2921ca3d91fd6e91d","datavalue":{"value":{"entity-type":"item","numeric-id":859844,"id":"Q859844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc5d75311081dea4171c705cb8b09cc05ba9669","datavalue":{"value":{"amount":"+0.8278905749320984","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":"Q3131518$C10F7809-D350-47AD-8339-FE4CA525E53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0481399bd436b12827821b09803f8b44a2e9b70a","datavalue":{"value":{"entity-type":"item","numeric-id":5394672,"id":"Q5394672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a478d2875602465b93ec490312e3f28b91f73da3","datavalue":{"value":{"amount":"+0.8025725483894348","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":"Q3131518$56528A61-D0BC-464E-93A1-FD5D34EDFBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f60fc305366934afa36c432ae17adda02122ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5700409,"id":"Q5700409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780beefd93f3be681bebed051ae055c2af2f0f8b","datavalue":{"value":{"amount":"+0.7962927222251892","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":"Q3131518$6E3DD698-B6CF-42AC-8D2A-D7678A6A1511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673eec19879f08636052e43d23dec321b61661d4","datavalue":{"value":{"entity-type":"item","numeric-id":5757949,"id":"Q5757949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95dad030d9400eddc05a53891ba1e6c452c4e815","datavalue":{"value":{"amount":"+0.7961239218711853","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":"Q3131518$6FA83EC4-A4BA-4814-B8FD-D98A26C7EFD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tableau approach for fuzzy propositional modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tableau_approach_for_fuzzy_propositional_modal_logic"}}}}}