{"entities":{"Q4260083":{"pageid":6289684,"ns":120,"title":"Item:Q4260083","lastrevid":46692501,"modified":"2025-12-25T10:07:41Z","type":"item","id":"Q4260083","labels":{"en":{"language":"en","value":"Optimizing description logic subsumption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1332858"}},"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":"Q4260083$605565AA-4304-4D90-BC62-0ABE8EE351D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd2e813e650c1ec0f9e86175dae35f1519ca3421","datavalue":{"value":{"text":"Optimizing description logic subsumption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4260083$97B57423-8F05-4560-9311-28DCBD459F40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d94796eb5cdd0dd51818c422ca41e046f04a189a","datavalue":{"value":"0940.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260083$F5EFFE06-6364-4FD6-97B7-BD80A56FB0D3","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":"Q4260083$F1BB773F-A20D-4AC0-92AF-03A6BA8395A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ead71bb496cbcb553019c9478b7d6a0b70e1c59","datavalue":{"value":{"entity-type":"item","numeric-id":1115427,"id":"Q1115427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4260083$824806EE-914E-457A-AE21-043BE0306907","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3912e1b601670f66723cd4735b5759f89324c5b1","datavalue":{"value":{"time":"+1999-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4260083$A7AE7A23-7293-4B3C-9A97-2D30AAE27DB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260083$888FAA60-2C3D-4CDD-87A1-8A0076D0DDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260083$A358630D-5C5A-4AB1-81B2-1B83926D64AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260083$44DF9269-4EB5-424C-93BC-41E72BDAD53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260083$F74E45DC-B17A-4693-BE91-E7C9CF244745","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a44c34c7b3117b169a199bf037937827448aedc9","datavalue":{"value":"1332858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260083$C997572D-7746-48E4-96F9-1483E3F28EC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260083$A154B5F4-2B45-4E73-A6F1-479FA29B2DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260083$3247F1D1-8D03-4B14-B98F-6F27F024867B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260083$6DE5B67D-913A-46BD-992D-AD93E7EAE236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4260083$810187E0-70D5-412E-9F9C-AFA91D80F98C","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":"Q4260083$60B6FC31-A648-4CBC-ABFC-9049F273B27B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c360cf2aa017b8c22b88de488ce002f8ef3218c","datavalue":{"value":"https://doi.org/10.1093/logcom/9.3.267","type":"string"},"datatype":"url"},"type":"statement","id":"Q4260083$F26F54F1-9292-44B3-8665-53E7C2937091","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91e7bee6a5710866ada0ec60b6495cdec08cf665","datavalue":{"value":"W2126755595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260083$8DBFE962-835E-42ED-B738-062F8B752CF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2566d2c151ba5447439350e98b35e613c9751632","datavalue":{"value":"10.1093/LOGCOM/9.3.267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4260083$BDAF4078-D2E1-4EBC-9BED-A93B44A060FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4260083$B61B24F9-1B35-4614-BD57-C9254578E5D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b195073253ddbe86816d4cb6290ec1b2f289f3","datavalue":{"value":{"entity-type":"item","numeric-id":4217959,"id":"Q4217959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71baaf3941d5e0ca8e2c09288e031c305d78338","datavalue":{"value":{"amount":"+0.9241982698440552","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":"Q4260083$328C6BCB-319E-4EB2-93E1-2EA2B97F085D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26054354559157a9c81eb68a4f2361fced51b36a","datavalue":{"value":{"entity-type":"item","numeric-id":1040773,"id":"Q1040773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4caa34ee065f8452781fc75701610eed23a06c6","datavalue":{"value":{"amount":"+0.7823513746261597","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":"Q4260083$8CB1539A-E939-44B1-8E1B-AB0392E78A15","rank":"normal"},{"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":"d4d9c7ef515539adec9c03294c920ea4e2b06c78","datavalue":{"value":{"amount":"+0.7816447615623474","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":"Q4260083$4D8B03E8-6F9C-4A43-B566-4668B2058A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c03ca05d5a69bee948e640f712c3124353c0ff2","datavalue":{"value":{"entity-type":"item","numeric-id":4539598,"id":"Q4539598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"371b85116baeb51378232804f4869e1f3e1a2de2","datavalue":{"value":{"amount":"+0.7622309327125549","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":"Q4260083$8A83E159-FB7E-4F66-804F-8C6E0E415137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff4411c0a6945df180241d0bac7a6bf2417ba221","datavalue":{"value":{"entity-type":"item","numeric-id":5747784,"id":"Q5747784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f98646be694bc0b8692ede78d732ce5ae47d27","datavalue":{"value":{"amount":"+0.7609695792198181","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":"Q4260083$E6387394-5003-49CD-B66D-27C5FC22D278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4260083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4260083"}}}}}