{"entities":{"Q2364294":{"pageid":2375037,"ns":120,"title":"Item:Q2364294","lastrevid":43950996,"modified":"2025-11-18T11:28:21Z","type":"item","id":"Q2364294","labels":{"en":{"language":"en","value":"Free-variable semantic tableaux for the logic of fuzzy inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748384"}},"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":"Q2364294$F1FEF7E8-717E-4FD3-BE16-B1BF03E89649","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f9e822e65708460f8b0e21325de6a18c0436b4d","datavalue":{"value":{"text":"Free-variable semantic tableaux for the logic of fuzzy inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364294$0C3B16C8-D989-4686-B0A8-5DDBC058AD0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e61ec8b1aea1ffc99f41a4dcdb5375e80eb63b4f","datavalue":{"value":"1386.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364294$FCC29013-76E0-4168-80E6-D626A75BF705","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7958daafcdbf9301e5dd935afbdbc11a979e087d","datavalue":{"value":{"entity-type":"item","numeric-id":2212725,"id":"Q2212725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$9F69EDC2-34FE-497C-B09D-6B00D501224A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$A93F8E41-B208-4731-9CFC-3354645B8FAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62e26106cac22eebe80c29038bb39eb76039e480","datavalue":{"value":{"time":"+2017-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2364294$7839FDCC-7FBD-46BA-9924-B0A46B4FF0F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364294$AC461C39-1978-48F7-A650-DD469F2DB701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364294$73A001E1-4EB4-45F0-8A6E-EE279079177B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364294$4BD385DE-8473-4FC5-A4F9-63EC19FFE757","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a506cae796be88be1acaa5318d53392433f6c54","datavalue":{"value":"6748384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364294$25FBA314-F35F-448C-BCD5-E45274AFE972","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364294$A0E5A57E-7B68-4E92-B20B-15E9EAB84DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aad42015a6eaee2ab0385ecdc5c7d60222e180d0","datavalue":{"value":"infinite-valued first-order \u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364294$FA176E66-8FB4-4D7B-9FAB-C2C5256F15F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"790862c178bf7e99d3df53d51b67ade6173815c9","datavalue":{"value":"automatic proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364294$B3C184E3-BC15-4157-B4BC-695FBAD15E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9429c31f4d94616162aba961d8f1bfe6fc6a7665","datavalue":{"value":"hypersequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364294$FF6D0600-756E-44B5-8443-3B7BFAFE45CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364294$36644028-CBEB-40E0-9B51-0BE48264F179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13bb6f91146bdb2ee629fa3e374bc8c40fabf0b1","datavalue":{"value":"tableau closability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364294$5FD48A46-C5B0-48A9-AD47-7B93F61B1F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50dc5a1d041f9e444212e60e5236dde69d229f7d","datavalue":{"value":"NP-complete problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364294$87DE11F9-3B39-4FA1-B2CC-5CC0A65F297E","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":"Q2364294$574DC40C-8121-48A0-BAE6-DB44C3E6F98E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a65b5f16a0f5f7a41d143e93459ee7bda0333a4a","datavalue":{"value":"https://doi.org/10.1007/s10469-016-9382-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364294$AC56C03D-99DA-4DAD-AEBA-052358406981","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"141c4c2fea836a343e71358185235d1f0bfa3c58","datavalue":{"value":"W2502870360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364294$C235C1D4-2F06-4B9D-A4A4-BF58AE0E405B","rank":"normal"}],"P223":[{"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":"Q2364294$189471AD-0432-42D6-8A23-C448F0615B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b5a082fa64992ebd54051a4deba16d01cc97f7","datavalue":{"value":{"entity-type":"item","numeric-id":5406033,"id":"Q5406033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$C1832160-52BD-45F5-8931-D9C29764AFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eceab85592a141b79054bba3c46b77a70076fdb","datavalue":{"value":{"entity-type":"item","numeric-id":3406683,"id":"Q3406683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$BEE52DAF-F517-4F2A-B052-B9D8AA4D79D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$1A00AE63-7F12-4FAE-93D6-C9ED9E9E9B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f3ec7b072c09a1159334ee7f28d6642defc137","datavalue":{"value":{"entity-type":"item","numeric-id":2851943,"id":"Q2851943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$05DDF9F8-9BBE-4682-A527-A1A53CCC80D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$E7F15407-4F1D-4C91-AC4B-F6199115A235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$B76D9398-BC3D-4FD2-B104-5FF06A03F1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb87030458893ce6a5226c20f4768389b71ec39c","datavalue":{"value":{"entity-type":"item","numeric-id":2751362,"id":"Q2751362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$6B10AECF-9036-4CB7-BC63-4F52D7E53992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8918b138e0301b7fb7013f51e3914c9e9e6a4da4","datavalue":{"value":{"entity-type":"item","numeric-id":1344882,"id":"Q1344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$D06A4B94-5EC9-490B-B5B9-E4C9FA990BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca6511549e49f777a3062715960da405f21828e","datavalue":{"value":{"entity-type":"item","numeric-id":4242506,"id":"Q4242506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$FEBC092C-98C1-4AF2-9D65-B2A581050C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$30C6EE1C-FBCD-4984-B78B-3A84EA62971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79e0895cef6511a66f2f69942b4b62dbc4d4823","datavalue":{"value":{"entity-type":"item","numeric-id":2957449,"id":"Q2957449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$BB25C4E4-6694-463E-A0AA-69149C80D38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9880b94a230fde4c0270dde04aeb2ef6caba7159","datavalue":{"value":{"entity-type":"item","numeric-id":4132487,"id":"Q4132487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364294$1255E55D-72E4-4809-9581-642C201F1424","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ba80e6d0a754d9878f10120d3ecee4c2b16f432","datavalue":{"value":"10.1007/S10469-016-9382-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364294$E5418C44-7A9A-4D9A-B4D7-AF1FB916D4C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67d06eb86b3e7291f1d0f3612a5b259309055fa","datavalue":{"value":{"entity-type":"item","numeric-id":2364329,"id":"Q2364329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d57d9028305001f4c71f4759bd9e7e447f4d99b","datavalue":{"value":{"amount":"+0.9243966","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":"Q2364294$727ACCE6-6F37-4601-A150-B0065329D2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22106a3347722ff447633be5ecd41dc1716c09a","datavalue":{"value":{"entity-type":"item","numeric-id":5955622,"id":"Q5955622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c80c13ec3f9fb43f9067598776609e8d67ad6c","datavalue":{"value":{"amount":"+0.9018255","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":"Q2364294$3811CC1A-B5C2-48FA-B334-DFBA86820C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be0ff7a94ae10fc754662618a70836ed9a9173","datavalue":{"value":{"entity-type":"item","numeric-id":4610317,"id":"Q4610317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b516101db5f030163b872ed0bfb0ca2470ee51bd","datavalue":{"value":{"amount":"+0.89930785","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":"Q2364294$F0C0B95D-5AE9-45C0-B1CD-35C9B4263E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec3f39c85991148be4a95847283075c4761c1796","datavalue":{"value":{"entity-type":"item","numeric-id":3131518,"id":"Q3131518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebbf7fd81b9c0c84ff1572a1378dcceab7da8329","datavalue":{"value":{"amount":"+0.8805279","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":"Q2364294$8BA9E22A-DE94-49B4-A001-D94584BF5CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e593bcf54f85dcc5e3276ed1ccab0010bb2935c","datavalue":{"value":{"entity-type":"item","numeric-id":4539603,"id":"Q4539603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11cca289edf21d8a3bb43467d1761d223fe2988","datavalue":{"value":{"amount":"+0.879626","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":"Q2364294$A16DF5AE-02D3-4EFC-912E-D2D72C320A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffae32cff7401dba4e18c4a614da9497a516056","datavalue":{"value":{"entity-type":"item","numeric-id":3838814,"id":"Q3838814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87289a6fc5da42c4fe734ad39861bb39465cb23","datavalue":{"value":{"amount":"+0.87513304","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":"Q2364294$E627C4D2-4DEB-4CAB-8F88-FB76A31C16E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4ec779637246597a22c28c9772cdd1746bd2370","datavalue":{"value":{"entity-type":"item","numeric-id":5955623,"id":"Q5955623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df6a2f04d640a385183d42d1fbd636480427cf96","datavalue":{"value":{"amount":"+0.8709638","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":"Q2364294$86339457-698E-40FF-BB19-ADD84028E8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b07fd2d74ff93d00b2966087a8bb6a22624d01f","datavalue":{"value":{"entity-type":"item","numeric-id":5406040,"id":"Q5406040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ce6540b2ae8d41b97302b214c39380bd056ae6","datavalue":{"value":{"amount":"+0.86628366","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":"Q2364294$18C1D230-962D-4CD8-AC66-F33028362354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789cfb79965b5f4559c74bccae720c90818510b2","datavalue":{"value":{"entity-type":"item","numeric-id":4375634,"id":"Q4375634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9e97134a55405fd2d88c8b83715ca69774d1b9","datavalue":{"value":{"amount":"+0.8659078","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":"Q2364294$0F52F179-24C6-4BA8-B2B0-856DF1CF2738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52014f38519c67092ed36f75aece7662e9fe8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2142061,"id":"Q2142061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf39bb1cb2298305fd3d8f9a5e679a3bc72e17b0","datavalue":{"value":{"amount":"+0.86432946","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":"Q2364294$C8E3D4D3-8CF1-41CE-B66C-3BC4D1446366","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2364294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2364294"}}}}}