{"entities":{"Q4487262":{"pageid":6516861,"ns":120,"title":"Item:Q4487262","lastrevid":41137106,"modified":"2025-04-18T11:16:38Z","type":"item","id":"Q4487262","labels":{"en":{"language":"en","value":"Practical reasoning for very expressive description logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463110"}},"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":"Q4487262$2727312C-6D99-48FC-8FCF-24E4058D3DFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e94d30abb50a2dab96e8d7f95e7e5dcd7d2fe63f","datavalue":{"value":{"text":"Practical reasoning for very expressive description logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4487262$99FFD987-BBE2-4C8D-9446-66D79C83910E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f339a1fe079116f2c9f9487b5d610462bffc9af9","datavalue":{"value":"0967.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487262$37F1AC17-3292-407B-B2CE-E92AD757B3C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93b787c151653507489e8a5af88ca1b96d25a0b4","datavalue":{"value":{"entity-type":"item","numeric-id":438565,"id":"Q438565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487262$6AFF2380-9CFF-4349-9CB8-8C1A5DF88ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faba8a041f2410cf65e45e40a1807e773a945b14","datavalue":{"value":{"entity-type":"item","numeric-id":229742,"id":"Q229742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487262$9B79284B-8D2E-4FF0-9308-F656C893908F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de3632edebc8157d626bdfdbb4245837ef03429c","datavalue":{"value":{"entity-type":"item","numeric-id":2720400,"id":"Q2720400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487262$9398D56A-F8E9-4049-B58D-DF60F073A3F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf47f0c2f8921918b490b998264be36172ab63f7","datavalue":{"value":{"time":"+2001-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487262$31BC1D91-CE73-4BA2-A920-ADBF41E64408","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec2530a78e7979abe16992f1d14649ef7f15a43b","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.1064","type":"string"},"datatype":"url"},"type":"statement","id":"Q4487262$EEF26E28-182E-426F-8209-C466AD810F08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487262$CFFB96E0-7E75-44AB-953A-9DCF3C60A100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487262$1F960E3C-D16D-47FA-AB84-867AC79EE061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487262$CC2E48D9-F2C2-43BA-997F-E0EAADE6DA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487262$579D9C9B-F3E9-4464-8827-9D10D63B398B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487262$E1B83A11-C7D7-4141-8DBE-673FED475D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487262$FDDD1ADF-7D6B-4741-95EC-5E1DF93AAAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487262$68C86E3D-A6C5-4CA0-8947-ACD2A64807B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6799358389db9b26b8eedabdb5a25b25b2845d42","datavalue":{"value":"1463110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487262$9EFD070D-96BB-4D9E-8D26-B87E6E2275DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487262$06ADC52F-B037-42F0-B196-834FB977D646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487262$E4BC1EC5-9F34-441D-AFD7-DE6CF83BFAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487262$3DE5FA21-2AE1-4101-8AE9-C259CAF60E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc13c672aada5e474a873d4fd10b44f99551c4a","datavalue":{"value":"tableaux algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487262$13C76CCF-71F3-4192-AD15-EE001AF39471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487262$82F5A590-112D-4C84-8BBB-4DF8061E3046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487262$02759F71-C9FA-4E43-BB0D-2B975D17E414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487262$81800E87-99A7-44B8-A253-769F0A6FF196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c66d831f1b7a99700a8a583fdbec9044941e966","datavalue":{"value":"computational experiments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487262$03DABF2A-9332-4CD3-875F-0D6ADE6F2606","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":"Q4487262$D96000C2-C63A-46F1-850A-6C92D6717D4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"407a1d45a9a7198f3f96762e2c371955cb6bc694","datavalue":{"value":"W2109003533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487262$2B349E55-936A-4D0B-8EE0-1B01C9B61080","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ea5e3ba0c747edad4b1dd9b682423e4bb1008a6","datavalue":{"value":"10.1093/JIGPAL/8.3.239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487262$D837FF75-0F39-4005-80CB-FD87BF44AD0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487262$3E5FADC2-FC90-4E27-B596-DE9A67A84052","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397d8e4224505482a38a7a90eae514610d93d58b","datavalue":{"value":{"entity-type":"item","numeric-id":4938424,"id":"Q4938424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688345e2703aa31275ed4ebd90989703cf89d956","datavalue":{"value":{"amount":"+0.9887674","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":"Q4487262$648911CD-3C70-4F05-B8FA-133CC7CF8354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fd28bfaf82097668fc1844ac0b57ab206ceb3f","datavalue":{"value":{"entity-type":"item","numeric-id":4809039,"id":"Q4809039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab5d0b2ee98e6233ba995731fa87aa744c0cf677","datavalue":{"value":{"amount":"+0.9655017","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":"Q4487262$0E1A0910-1CC4-4BB8-9334-B1B940E72E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"308c1d54b7fa8f430c3f250d91d729e7116ce823","datavalue":{"value":{"entity-type":"item","numeric-id":2751375,"id":"Q2751375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30b728b029147fec1e44a14263aee813c6aaeba","datavalue":{"value":{"amount":"+0.9609646","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":"Q4487262$517975F7-8725-4613-BB46-2FBBDD204133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882644ca01e6f6d07596d4bd8efbb339f7ad4e06","datavalue":{"value":{"entity-type":"item","numeric-id":4514013,"id":"Q4514013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d1068e20682f693cdec4b703865cd8b17383a4","datavalue":{"value":{"amount":"+0.93749255","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":"Q4487262$063ADF84-915B-4705-9413-425D120EF004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"815050658b2d9059c6c82ea0d3dadfcfb7e6839e","datavalue":{"value":{"entity-type":"item","numeric-id":3603502,"id":"Q3603502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa0c6df807d0075d4629b8dce198294266d82b5","datavalue":{"value":{"amount":"+0.928656","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":"Q4487262$00AA62DB-8FAC-49ED-A5A5-0DCF78FDA5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28efeb1cc0d8010cf9505c89e6604485d4c8d94b","datavalue":{"value":{"entity-type":"item","numeric-id":4647812,"id":"Q4647812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db343ca1a9932562549e6c7eb8469cfb745a494","datavalue":{"value":{"amount":"+0.92303044","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":"Q4487262$35A4DF45-0566-4705-876E-06708165BF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8632ebe0ec5d28baaad85d52e2d9f5d382ae472d","datavalue":{"value":{"entity-type":"item","numeric-id":3638996,"id":"Q3638996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c21ecf358b1c053c167b1ad95a1701dd91a748","datavalue":{"value":{"amount":"+0.9205131","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":"Q4487262$DEFD7114-AA61-4217-B087-8944A52CF2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f45a56a9b763fe9ef62deca5d1a8ff559d2c783","datavalue":{"value":{"entity-type":"item","numeric-id":4930762,"id":"Q4930762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a50d21de51d4fb9b889dc7ab940b8a28f7634a","datavalue":{"value":{"amount":"+0.9174953","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":"Q4487262$20160D56-B591-4CFA-9469-1FB6A38BB696","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487262"}}}}}