{"entities":{"Q5957079":{"pageid":8133881,"ns":120,"title":"Item:Q5957079","lastrevid":47752639,"modified":"2026-01-02T14:47:40Z","type":"item","id":"Q5957079","labels":{"en":{"language":"en","value":"Analytic fuzzy tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1714124"}},"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":"Q5957079$FB8ADD6A-4F96-4901-9B91-32784E649FB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"745504993f302ef8e4049a7de52822ea4cecda49","datavalue":{"value":{"text":"Analytic fuzzy tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5957079$F16D1613-66D9-4A50-9172-228D4585400D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd6faf33c1185dc9abba8ebb5a420d027333f0f8","datavalue":{"value":"0988.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957079$C0E69B26-BA47-428A-9CD4-6B5B8F0A3CBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7f478f4bf1d908fc47518ca69ab35c023fd1c4e","datavalue":{"value":{"entity-type":"item","numeric-id":169549,"id":"Q169549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957079$67DFC493-CAB7-4273-BDAB-085F69A1F1ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957079$67FEA1F8-60B1-4BF3-8E3E-36EEF9581C82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdb5a504359c0d924879fd97edc82d8bdc42beac","datavalue":{"value":{"time":"+2002-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5957079$E1349B5E-2D6C-4ECA-A7CD-41C91247A382","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957079$D2016F00-5B42-4649-BA3D-E66D1B05E001","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efecc7551d9d72736b4ba1c34a8fba2fd7bc3a10","datavalue":{"value":"1714124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957079$E050FC3C-3233-44A1-A5D8-8443A9BF62E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957079$916B7E84-3BC0-46B2-B4AB-EDB8059020BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"361713894a29cc0dce773a6573707ae176532619","datavalue":{"value":"fuzzy deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957079$21D02FF6-FEC2-4F58-BA97-77B336674709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b5225c7263bfbe00de94bbf36a30687cafb195","datavalue":{"value":"fuzzy propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957079$5B05A64D-F61E-4F33-A7CA-5E3E3C5D854D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7603d4ec3f0ac5ffda6b3a63ddbb3ba6d649053","datavalue":{"value":"fuzzy tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957079$BC38FFBB-7B75-4EE2-AC70-D67DCF8E3B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957079$F027A97D-EC2A-4D73-8CE3-9D1880DB804E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957079$97F32BBA-C84B-4E6B-9DC2-050276CFA2FE","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":"Q5957079$10DC56A5-9F64-4B23-91D6-FC4C6D2EB452","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9549fd893c636343a680354404107c092991cadc","datavalue":{"value":"https://doi.org/10.1007/s005000100127","type":"string"},"datatype":"url"},"type":"statement","id":"Q5957079$CFB5C4D8-2A71-4B7F-84E8-D4A0A56597B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55017f54fd9551b535a75d1b96dd8e4f9a0962a4","datavalue":{"value":"W2099740887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957079$C57E9A2C-0A4F-45CC-9B5C-747DAFA99887","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36095c3e7ea83537599649d3ef58ef0035857938","datavalue":{"value":"10.1007/S005000100127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957079$304613AC-FFF5-409A-B02B-85B6A53FAB90","rank":"normal"}],"P1643":[{"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":"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":"Q5957079$F2B44EB1-7F04-4094-846E-FF7ECC239164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0174073f1d5193d1a6325a5a3ca5a638619dd0","datavalue":{"value":{"entity-type":"item","numeric-id":2364294,"id":"Q2364294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"542ffa6405e4693c39c5fa7ab01486efbeecf4e2","datavalue":{"value":{"amount":"+0.8106666803359985","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":"Q5957079$421DA76D-2CB7-4D55-B8B4-9B1415940159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06cbd7e909cfd2a452f7facc231fb2f88acd8d3b","datavalue":{"value":{"entity-type":"item","numeric-id":2320332,"id":"Q2320332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9ce2c11456c8f626e52b628f61bb3619792ff4","datavalue":{"value":{"amount":"+0.8046773672103882","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":"Q5957079$81B05657-2256-4FFC-8242-48CDAA6A8AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bce84944aeb7c05d3bab7957acfb1e5606018e5","datavalue":{"value":{"entity-type":"item","numeric-id":5717796,"id":"Q5717796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b23559cb54c09aad4aa2ddc9f29d8ef6ca122be","datavalue":{"value":{"amount":"+0.8024890422821045","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":"Q5957079$B0801F3B-B819-4EDF-8D8B-DE0B2347F9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b47714b0089725f95279fbe301b020f68edb21","datavalue":{"value":{"entity-type":"item","numeric-id":1189907,"id":"Q1189907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c7329357961116db14055db32e95a417a28cec","datavalue":{"value":{"amount":"+0.7915946841239929","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":"Q5957079$8A4AA6AA-0256-4A70-98BC-EB9D4B74D7E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5957079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5957079"}}}}}