{"entities":{"Q5410334":{"pageid":7439908,"ns":120,"title":"Item:Q5410334","lastrevid":101000612,"modified":"2026-06-05T23:39:20Z","type":"item","id":"Q5410334","labels":{"en":{"language":"en","value":"Using tableau to decide description logics with full role negation and identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6285713"}},"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":"Q5410334$7286DDA0-0DA5-4681-860F-7D72D6E7D599","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74738df5d37975b10055842f47b6c2dfa33e4953","datavalue":{"value":{"text":"Using tableau to decide description logics with full role negation and identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410334$79ABC233-EB3A-4F28-9EEE-58CB80989F94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d2a5dce4bd465da3d05f37bc91bff0207fde710","datavalue":{"value":"1287.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410334$7E422AE4-4BB8-411B-9A93-1484B5CCA1E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01ec51e749152764dbe3badc9966028680c35834","datavalue":{"value":"10.1145/2559947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410334$3E283DDF-8867-499B-9370-28C1E67A72B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$E79D49EB-EC11-49FC-A1E6-EF736A5FDBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6f6116a537b2100eaf2b15ff2d89502763ddba9","datavalue":{"value":{"entity-type":"item","numeric-id":702099,"id":"Q702099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$3D065F35-AB89-4B1A-9A94-4AA5F7F154DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$771275F5-89D5-4671-BE85-581557E269C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410334$19F74AE4-BD13-4668-99E1-B51ADDB91800","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c402de65a22ab4d7227be07599f1ef16c6e7f5f8","datavalue":{"value":"https://arxiv.org/abs/1208.1476","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410334$B755DCE4-EB20-4006-BA5F-2DBB6EA04A64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410334$0B16FE02-978B-4792-A586-F5172A9F6DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410334$4102A0C6-6544-4E7D-96F1-5927E909FD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410334$B705B845-BB64-4E6D-A8DB-1E413ED90E8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"659d8faa074a64be1140010424489ddfaad0eeb3","datavalue":{"value":"6285713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410334$8B132F9D-F655-48BF-85DE-6EA35E91C86D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27cf408f646a8788f6fb4f6850c9b332b3c3e92","datavalue":{"value":"Boolean modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410334$113BF8C7-4C58-4317-935C-EFD0D44B7B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5ebc797a20b41b114bf017a4c468eb6accb676a","datavalue":{"value":"blocking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410334$01799724-77F6-4313-A6F7-6A6B7C398F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410334$17EB4A00-E781-45B3-B7F7-85A535FD96C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410334$06AE4E88-BA56-4294-ACD7-3F1338EAD977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410334$3E30788C-3BF0-4833-9F23-A62CDEC8CDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410334$7D294F77-6F05-4B04-BFB3-D315880A2929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa124537fa864e8bda5221d842c9c6b68f2a233e","datavalue":{"value":"identity role","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410334$667932F3-1A4B-4BF4-9459-E987CCE16417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4028ae4de9590a4c335ab698147aacd1e6c7ced","datavalue":{"value":"role negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410334$2A426FD1-B1E6-4BE8-ABAF-3FC6A4824A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c2a4598ff526c55957e4d2bca7c587b75b20c78","datavalue":{"value":"tableau-based reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410334$97ED80C1-E6FE-4F49-955F-9AD42659486E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a2e99bf2d721f734420e941cd08910602eca6fc","datavalue":{"value":{"entity-type":"item","numeric-id":23924,"id":"Q23924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$68CBC233-0490-47B5-B992-82A292E1F03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a8d622aa17d5fda12a0a4ec7736fa013c79a513","datavalue":{"value":{"entity-type":"item","numeric-id":40605,"id":"Q40605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$D4029060-3AEC-4858-955D-EC1CF45EF2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$7BEE1F0A-5535-49DD-894D-78BF9B4D2493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$80D816E1-2A42-401C-B8E0-6B9948294F5C","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":"Q5410334$E845D4EF-5E1B-4264-8E4D-370389D814D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb7088750bd120dbb903cfb4374953d8ca5ac1c4","datavalue":{"value":"W3122242939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410334$50ED2FBC-C11B-496E-B333-6CA1B4889860","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$7CFDE7E8-02A8-44C2-9D65-F80AEEF1A4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db82efd43008b70d4f248e334270440bca3b5404","datavalue":{"value":{"entity-type":"item","numeric-id":5955620,"id":"Q5955620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$32CE2694-FA6A-4E4B-9FE8-859B13C87C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70cc4453f5a873a7b64997b7df88ef8b7cf7b8a","datavalue":{"value":{"entity-type":"item","numeric-id":3613405,"id":"Q3613405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$D3A41C43-2D09-4C01-8E8F-3F7CE25B0A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3fbe5dc19781d8cc61fa707bddca7c6943cc26","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$5A017E68-E052-4FCE-B6B1-F28E234715BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3a57f9c14ff1fbe1b20e0c45aedc0125c5f1f1","datavalue":{"value":{"entity-type":"item","numeric-id":4246965,"id":"Q4246965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$74B003FB-3F80-4680-94C6-0AB92FCDB17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac348edf5197106c01b0af0eaddd33deadaa349","datavalue":{"value":{"entity-type":"item","numeric-id":4539607,"id":"Q4539607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$8DDA3601-C4EE-49CF-BEBF-F92CA4D33B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec26365896126f6bfdbaf8332a7af025cdb680e9","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$64F78CDE-3994-4457-B555-A1F78D840DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11a68127ffe50f48e9353d4f18c252a475ffee49","datavalue":{"value":{"entity-type":"item","numeric-id":4532364,"id":"Q4532364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$385A37DD-E497-4184-B52E-D2042F28B978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$F2F63B36-5B1A-4B14-8B67-B21F32D7B2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b533b2bc04d6033c9636f1b8a0113dc5a63f8746","datavalue":{"value":{"entity-type":"item","numeric-id":4694250,"id":"Q4694250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$EF82263C-5065-45CC-ACE0-2BDAE2E8C959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b356ce08b4c99f2940e2874e7822fa7411c905","datavalue":{"value":{"entity-type":"item","numeric-id":3478385,"id":"Q3478385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$7B11866D-64A5-4736-8D2F-63BBBC443E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$43641390-B795-4AF2-B15A-BCEC654A0759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecca54508906e4011695aeae26b951f98ffd436a","datavalue":{"value":{"entity-type":"item","numeric-id":4503911,"id":"Q4503911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$5AEE28D8-9A04-45C5-8067-DDCE6B43A88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7f927bfa8e321e19631908b18a8580a455fc90","datavalue":{"value":{"entity-type":"item","numeric-id":3533154,"id":"Q3533154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$9D09F7D7-E59A-4ED7-B920-B9F06F090E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b07300338fa589e0d13797c392f9165b28e0bf4","datavalue":{"value":{"entity-type":"item","numeric-id":4430407,"id":"Q4430407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$F51A87E5-E757-4E91-9D5D-D80BC5DD5475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9edcc87dfc4232f438bb89d9572975124db71a","datavalue":{"value":{"entity-type":"item","numeric-id":5307064,"id":"Q5307064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$69D66D83-BBEB-498B-B4D5-F9F7095FF825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$FE528D46-D769-412A-9B1C-5A1B761A05F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06d1639a77fb6a08e844e59d3625f2d47877d20","datavalue":{"value":{"entity-type":"item","numeric-id":3651485,"id":"Q3651485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$3AE996DE-3E7F-4414-8270-4971667307F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c061dab185fe1bef51da7d9346e274bd625a1e8","datavalue":{"value":{"entity-type":"item","numeric-id":4539622,"id":"Q4539622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$85CC736C-D2A9-4F2C-9CAD-0EDA218BC525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef1deed94f9c801ddb59c49bf6fe6b1f9d0ad3c","datavalue":{"value":{"entity-type":"item","numeric-id":3509041,"id":"Q3509041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$11D50D74-FFDA-4A2E-B25B-06E65FB84F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9451ad0579e7a5b436770e0c43bdc090bfb7cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":1037405,"id":"Q1037405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$7B5A9362-7933-48CE-BFBC-F0A26AA692CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ed882b3979db3c64d5bf182ed038c035ede3c3","datavalue":{"value":{"entity-type":"item","numeric-id":5410334,"id":"Q5410334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$DF79EA17-EDB3-419C-AD14-749FBF1045D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ce04b9cd2287eadad31499bc1179a15eeae372","datavalue":{"value":{"entity-type":"item","numeric-id":3541702,"id":"Q3541702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$C1D07B5A-330B-49FE-BC5E-8D096EA16F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6858b0b56c13460d0127feb6a167897ec5eb0b6","datavalue":{"value":{"entity-type":"item","numeric-id":5892517,"id":"Q5892517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$4E9C99F5-889A-4012-AF61-512420F5B124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$8F56BDEC-B324-49D8-B464-4F8ED387C014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea93a15eb2e168ed63bacd734a1093143a4dbb0","datavalue":{"value":{"entity-type":"item","numeric-id":3010372,"id":"Q3010372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$DBC013E6-BC38-4D44-9B17-66BBAFBFE52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9387f435a7e5ae169822e9f6fe0921cbbb50866","datavalue":{"value":{"entity-type":"item","numeric-id":2720401,"id":"Q2720401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$07719144-AD88-4434-AFFA-3D37DC7A7DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842d1c2c50e4f6152c1646f7649b15d27250c7c8","datavalue":{"value":{"entity-type":"item","numeric-id":3608799,"id":"Q3608799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410334$1A240CD4-9A64-4F62-8D4F-D971CEAB024D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"85f38e240c2f60eb351f6b46dee72f4c64c1ffd4","datavalue":{"value":"Q130880060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410334$A8BCA6A8-F0D2-4A76-A8B1-4CF7B1247C89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c9c63514a1f09f977095a46c1b5b06a979e73e","datavalue":{"value":{"entity-type":"item","numeric-id":3163885,"id":"Q3163885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6e7965b3e93986f52dd7340f382552a71bd385","datavalue":{"value":{"amount":"+0.7779970169067383","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":"Q5410334$3FF64A4C-00E5-43A5-B227-38768BE85D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb4a9838e61a6260264cd3ae1d55d29c0d61ca58","datavalue":{"value":{"entity-type":"item","numeric-id":2721180,"id":"Q2721180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05343c610064dd4982981bfb3a73cfd5b78d9903","datavalue":{"value":{"amount":"+0.7744708061218262","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":"Q5410334$99165330-15D3-4306-89C5-B4D2E4586320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03548e7a519a10d65d5fa66261e4027e8544ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4487262,"id":"Q4487262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05343c610064dd4982981bfb3a73cfd5b78d9903","datavalue":{"value":{"amount":"+0.7744708061218262","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":"Q5410334$C586F352-D1D5-45C9-8434-991CB9B66A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc04b104c3a6040412fb6a1d2616d7be37040093","datavalue":{"value":{"entity-type":"item","numeric-id":5955620,"id":"Q5955620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c4ef6bf8aea127f3da209408c0eeae44099dcc","datavalue":{"value":{"amount":"+0.7728556394577026","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":"Q5410334$D6EA9F87-0213-4BC2-B6AF-18B4DE964E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee6156693e2fcb22e1cfdebb11a106a522a0a42","datavalue":{"value":{"entity-type":"item","numeric-id":3651485,"id":"Q3651485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c4ef6bf8aea127f3da209408c0eeae44099dcc","datavalue":{"value":{"amount":"+0.7728556394577026","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":"Q5410334$A5E265AF-3364-4F81-A6C3-CDFE009B0EB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using tableau to decide description logics with full role negation and identity","badges":[]}}}}}