{"entities":{"Q2851951":{"pageid":2862671,"ns":120,"title":"Item:Q2851951","lastrevid":51838439,"modified":"2026-01-20T07:17:04Z","type":"item","id":"Q2851951","labels":{"en":{"language":"en","value":"Intelligent tableau algorithm for DL reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213581"}},"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":"Q2851951$D944135F-B939-49C7-80A6-CA32148A3074","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91624f289f461f6ae807b13f4abad9cc326bdb59","datavalue":{"value":{"text":"Intelligent Tableau Algorithm for DL Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851951$CAACD086-16CE-47C4-B84E-6916D3F9869B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42c97e5e89ceb940bdf2794b4c9f1ad21d01ecd2","datavalue":{"value":"1401.68281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851951$C198201E-7095-46EC-9E13-2C8A84D8A554","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4eb3f40457fb4d2a2f13007efc854f7a2625a6d","datavalue":{"value":"10.1007/978-3-642-40537-2_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851951$D6EC5BEE-0E88-4AD9-AB1A-A8A965283D7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9199b80dcde9e4242d0b69187f7e233e24528529","datavalue":{"value":{"entity-type":"item","numeric-id":853880,"id":"Q853880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851951$D4063F13-0D0C-4648-9732-49A20322A5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76e563c55de0205c0de26bcd6af3f5b992426ec7","datavalue":{"value":{"entity-type":"item","numeric-id":631079,"id":"Q631079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851951$EB687705-E911-4B8B-96D1-2F438995CF7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851951$8B78D14B-88B8-4DBA-9844-8C7FFD75ABF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851951$85558C57-4701-4D4C-B922-363DB3AE98B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851951$E89F5E44-8BA1-4627-9C94-1FB362762FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851951$F7D9B54F-603E-4800-88E5-D65457410F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851951$8A5AD607-74E3-43D1-B0AB-2E6F237C2F3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"716fa83e4a282602ba7647c1c8fb01ff50d60da7","datavalue":{"value":"6213581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851951$169CCC4C-10AC-472B-B999-3590D6F8346F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851951$7D617106-5BD4-4F57-853E-E4205007A30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851951$FF7C925F-CE71-4922-ABE0-72D3EC946E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ca76faeb672415cff41bbc3ad8454e227be1fa","datavalue":{"value":"learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851951$721DB7ED-34BA-444F-B1D2-5FC74FB09E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b2cd1ff4b4ec358a0f04030c8cd19875b686c6","datavalue":{"value":"forgetting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851951$8DBD9189-5B0D-4088-A5AC-C44FE3F9D203","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"241376e7c8a7762a3ef5795f86895e1e03c6d11b","datavalue":{"value":{"entity-type":"item","numeric-id":23852,"id":"Q23852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851951$236C0AE7-9F7D-4F5E-8774-5BA5120C8AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9dc96d31725a42b8712b814e265dc136a76d4196","datavalue":{"value":{"entity-type":"item","numeric-id":21815,"id":"Q21815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851951$6E9651A5-04F7-4383-900C-3DDB0407B2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9de48e5ed16a4f1b19ddac063d5ea05707ecb87","datavalue":{"value":{"entity-type":"item","numeric-id":19082,"id":"Q19082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851951$38FABF6B-95AB-496A-8B9F-7F1186FA7CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc77af174298c7eb41d0137956ef240d703fe0ef","datavalue":{"value":{"entity-type":"item","numeric-id":21816,"id":"Q21816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851951$D1C7F8DB-BEE3-48AB-8748-AB803315166D","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":"Q2851951$A35C925C-B763-4C39-B0ED-C1206AEAF5B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85face0f0fd6f6874d786c0bbb1b8f0c5f0a88b1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40537-2_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851951$64A7094A-CF3E-4ED7-99D8-1B46B53E81B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"741eaaa149e5111007cc3a91dc3e56e7d5a0ad7c","datavalue":{"value":"W235840106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851951$EC6E7247-C0E4-4DBF-B3E4-06930C5F99E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121c3434d5f32ab707691d119fdc2e89d8124b67","datavalue":{"value":{"entity-type":"item","numeric-id":2462645,"id":"Q2462645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2fe6df1ea7985b2472c8636ad7895365c983933","datavalue":{"value":{"amount":"+0.781985878944397","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":"Q2851951$EC61DB14-72E0-4CA2-BB53-8F2A4D61A510","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":"14592e14c057b52fac6ec14b2eeadc24a0ce1757","datavalue":{"value":{"amount":"+0.7647541761398315","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":"Q2851951$B6EF26F4-7037-443F-8755-A71FE0B8AE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11179fdc9b91d289d3823bed1cd26595a25eee2d","datavalue":{"value":{"entity-type":"item","numeric-id":3608764,"id":"Q3608764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41cb0232a7babeb99fcda3208dfaf2e127cabc5b","datavalue":{"value":{"amount":"+0.7644384503364563","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":"Q2851951$A7A5EBE2-DC2D-4338-B127-58E576D43089","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":"e068c8cd1d0bf55f900c851acf8cdaaf7fc29fe5","datavalue":{"value":{"amount":"+0.7638860940933228","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":"Q2851951$02DA84A3-DEAC-4158-A0F2-8872EC031113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f932960c4d54a383a21ca0416ff503e86582990c","datavalue":{"value":{"entity-type":"item","numeric-id":5452088,"id":"Q5452088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e068c8cd1d0bf55f900c851acf8cdaaf7fc29fe5","datavalue":{"value":{"amount":"+0.7638860940933228","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":"Q2851951$84BB8B61-1273-4776-80D6-AB29D7318F12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851951","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851951"}}}}}