{"entities":{"Q2282273":{"pageid":2293016,"ns":120,"title":"Item:Q2282273","lastrevid":73881012,"modified":"2026-04-14T17:36:20Z","type":"item","id":"Q2282273","labels":{"en":{"language":"en","value":"MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7148303"}},"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":"Q2282273$3EE2D922-0F53-48C2-9791-FCC788A2118F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd3fea8b149da5d3722ff5b1c81fc798dd1c9c20","datavalue":{"value":{"text":"MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2282273$7A215470-C8DF-4A5C-9CE1-416CED7CA280","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6cc3704a29c72541834d6fe82bf37380a65ae2b","datavalue":{"value":"1428.68346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2282273$CF73972E-C481-4AAA-BA72-866C277B9896","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff8f93ab03a7816654fe7019833a937dcbe0373d","datavalue":{"value":{"entity-type":"item","numeric-id":1699737,"id":"Q1699737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$2207EAC8-32DC-4E99-802C-0F2F34DFA722","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$7B0C9C9D-6E75-4456-A276-D9D3192286DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f9615bead893a7a14c5da1b4c65b78ba2f88f66","datavalue":{"value":{"time":"+2020-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2282273$BF4411ED-4511-4346-BEDD-FF833387EF99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2282273$942495CB-9105-4E7C-A27E-4B1029F8D65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2282273$9778C3F2-F1F7-4AC3-9188-D7F0F7A2F8AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e25a5125e44dde4393d1de473fdddd47d70b6f3f","datavalue":{"value":"7148303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2282273$2EBDF04B-60EA-49D9-98CF-5F71A9BBBFA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2282273$273824D0-FBCA-49FF-B2DD-69B8FBB914F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2282273$16B35EDF-777F-4671-BBDE-8A3C93E02714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2282273$3B2F6726-6A74-4DF4-BE6E-7C784357FCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"011133d67fadfde84f1216a5dea22b75705d8f28","datavalue":{"value":"continuous t-norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2282273$DA913593-8DB3-4F17-9CBA-D555BEAF6065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2282273$24724256-0F4F-4EF5-941B-434A08354C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035833e0e254ca70de52fd862a3eadd1b327c492","datavalue":{"value":"infinite-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2282273$A21346B5-6EB3-4E86-BFC8-E333D56D7897","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$D17CFDA5-99DC-4F0C-B1AD-971C8B4600D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5a9cd3ba3086ddb4843bfade44cc0feb2f7843a","datavalue":{"value":{"entity-type":"item","numeric-id":23649,"id":"Q23649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$043C5B28-33EA-403B-A873-8F4FD697D30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$82BCD4F5-1BDD-4D3E-BBD6-DAB1E6AA65AF","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":"Q2282273$0E35986D-CD40-4996-A623-D8D22520C6F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d6d2fc4442d85df7e1915f4692d920cf948bc13","datavalue":{"value":"https://doi.org/10.1016/j.ins.2016.08.072","type":"string"},"datatype":"url"},"type":"statement","id":"Q2282273$C885D88F-D36C-451F-8007-1CCE286B8AB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edc3cce3788599630ce5874b4f51f59db2fe016a","datavalue":{"value":"W2507687862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2282273$4221A47C-F4A5-4630-AB25-41DFCD0F7B4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81700654b480ea16a29b7b331463fd1f3978ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1812017,"id":"Q1812017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$F02AB80A-D39C-4176-8E1E-8C5A2568ACD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67cf68921371c49adfce9cf0f6418582fd911685","datavalue":{"value":{"entity-type":"item","numeric-id":816857,"id":"Q816857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$0E5F8231-FAD1-4572-9E2D-F31D473931D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113c26130e5fd82f3189a779ec052afade822514","datavalue":{"value":{"entity-type":"item","numeric-id":3172882,"id":"Q3172882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$1D01369E-2EFA-4FA5-A918-10E69F8B86E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b446daf0f502f31d92f40a82fb76c3289f56e4","datavalue":{"value":{"entity-type":"item","numeric-id":549343,"id":"Q549343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$F2FD0DEF-59AA-4A52-A623-FB471A85968A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee882c4c5a9419daf883aa80b81512143904988d","datavalue":{"value":{"entity-type":"item","numeric-id":4627753,"id":"Q4627753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$E3646EC4-9D47-418E-A8C1-F96C2DBCC9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc39f382ed261f6f0aeacfeeda63f5cdaf55f42d","datavalue":{"value":{"entity-type":"item","numeric-id":1043321,"id":"Q1043321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$2C2438FE-9979-4805-9E26-3F2CF7B09F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48ba437a89be041834f54556d5252b4709487e7","datavalue":{"value":{"entity-type":"item","numeric-id":1697336,"id":"Q1697336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$BF4F525B-A27A-49DF-8961-075C059978F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b1f057d067e964b3d0c33b0aac1737bec03fd6","datavalue":{"value":{"entity-type":"item","numeric-id":5268448,"id":"Q5268448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$DC102E03-7D82-42FC-910E-06B8F22665D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ac589897be4c492f7c47b59a82f0dbe5636db3","datavalue":{"value":{"entity-type":"item","numeric-id":3097868,"id":"Q3097868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$DB3F7FB5-EBE5-4270-AD52-00E00618A0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b794dccea43e5a06da900b7f3aecd933893d04","datavalue":{"value":{"entity-type":"item","numeric-id":2849434,"id":"Q2849434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$12EAF3F7-4546-4B1B-A6F2-A7FCE1A1BEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02149d0f3702ffaf6b195b17d6ff6b1ab7b5d343","datavalue":{"value":{"entity-type":"item","numeric-id":5176545,"id":"Q5176545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$B021B5B5-405D-46E8-8ED2-98EA40AF577F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3df0b23ba7271d3f990b3e9d91914833dff0616","datavalue":{"value":{"entity-type":"item","numeric-id":965908,"id":"Q965908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$2522AC87-2FD6-4760-86BD-B1C454685765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad8a08111b7c3be6ffd248fbc8c48d08fd6ee78","datavalue":{"value":{"entity-type":"item","numeric-id":2510175,"id":"Q2510175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$6608957D-80A1-4009-A647-E6CD1046316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$8BE1B3E7-3C85-4B48-8951-4AF9F602B914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a5a8514c16b27cd5b5f9310f33915f3161eb75","datavalue":{"value":{"entity-type":"item","numeric-id":4512929,"id":"Q4512929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$4E6D075C-C34A-41FB-93CD-5BFB7E799EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0c9c54f14f787f70785a2d58375ca21d25ce68","datavalue":{"value":{"entity-type":"item","numeric-id":2871197,"id":"Q2871197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$A54B4C1D-1B49-47CD-9B01-69F75F0B4931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$64BFD777-B0CB-45F4-AFB8-9ECF32CECCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$141122A5-7B22-40C9-9E90-FA154B3F088D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314723cd3c2623205e1c94c241193326b50b1f30","datavalue":{"value":{"entity-type":"item","numeric-id":2386237,"id":"Q2386237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$94EF2783-8B5B-499B-BAC5-67ABFA3A63A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d55d77f5cb9082cd03774e00855eecf84e8dfe6","datavalue":{"value":{"entity-type":"item","numeric-id":816867,"id":"Q816867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$09BE8E29-7779-4E6F-B478-776132BBE62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dca4e376739e90cb915f405694b6ab7c37e738c","datavalue":{"value":{"entity-type":"item","numeric-id":773072,"id":"Q773072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$82445C0D-8267-4779-ABCE-28A566121959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8084845bc1e7476620c12a49f6dd2abd44035dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1100196,"id":"Q1100196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$F30625DD-5ED8-4D46-AA87-1BCEA0153F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1410ecec3958d62bfe99f41a838a65fe28d2a62","datavalue":{"value":{"entity-type":"item","numeric-id":352963,"id":"Q352963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$93064371-1B53-4F3F-916D-FF9ED8F91ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1ef4c8566673a8a5c94d00ea3fc5ee04078d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$91BC044E-6785-4A6F-9559-6BB1E3E7E935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38cd1722307f26cba88383ac40fd6748968f36c1","datavalue":{"value":{"entity-type":"item","numeric-id":2970307,"id":"Q2970307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282273$7D7151BB-0B99-4150-827D-8A805A94391C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"760fb9dda486e33af62331207b45797b5aeca147","datavalue":{"value":"10.1016/J.INS.2016.08.072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2282273$C0F7E073-934B-4CA7-8971-ABAF05CB45E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4085a3beb10f5c03fef7c8ce09590ff0e047ab1d","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d4c4aa1f146fedad9225250724b5316e6ce048","datavalue":{"value":{"amount":"+0.7400357127189636","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":"Q2282273$168A34B5-B722-477D-AE5D-849BE045F260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74d4385a98677699e9bf417aca0b56ba167aaf2","datavalue":{"value":{"entity-type":"item","numeric-id":1697332,"id":"Q1697332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce549cd3a67c0aeb67e2fc77ad5b05e0a680290","datavalue":{"value":{"amount":"+0.7190625667572021","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":"Q2282273$446571CF-0588-4F2D-9EDA-E84BDA44C2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b518682764aac9e5df19f409f746a2a8c40a50","datavalue":{"value":{"entity-type":"item","numeric-id":2492318,"id":"Q2492318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae536d106006c83614e2b3bb9a53ab292e419459","datavalue":{"value":{"amount":"+0.7103648781776428","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":"Q2282273$8290EE38-2CF1-4F6F-A111-445262C43EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120bc11247eb6318aa1e2dfee23f8f7bd0411069","datavalue":{"value":{"entity-type":"item","numeric-id":2391235,"id":"Q2391235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa0bd972a5b38d28d0f2b6c0ac356ac30d8545c","datavalue":{"value":{"amount":"+0.7053354978561401","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":"Q2282273$26364479-931C-4B56-A163-3C750ECBA1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c06a3c99faf3f028955ff7f9f045e0aa2549db","datavalue":{"value":{"entity-type":"item","numeric-id":3546066,"id":"Q3546066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e82c0bde2e4bfd1462229a4c4a67d3cbd87107b","datavalue":{"value":{"amount":"+0.6988632082939148","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":"Q2282273$51A1D184-8445-4003-8CCF-31211F8970D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MNiBLoS:_a_SMT-based_solver_for_continuous_t-norm_based_logics_and_some_of_their_modal_expansions"}}}}}