{"entities":{"Q4604558":{"pageid":6634141,"ns":120,"title":"Item:Q4604558","lastrevid":53036243,"modified":"2026-01-24T02:28:10Z","type":"item","id":"Q4604558","labels":{"en":{"language":"en","value":"Representation theorems and locality for subsumption testing and interpolation in the description logics \\(\\mathcal{EL}\\), \\(\\mathcal{EL}^+\\) and their extensions with \\(n\\)-ary roles and numerical domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6846483"}},"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":"Q4604558$56BBFF2B-E2A6-4E97-B859-E4F22A7A48CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8335ab93f5844c4bf12b8444a890c2dc83488f4","datavalue":{"value":{"text":"Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics \u025b\u2112, \u025b\u2112+ and their Extensions with n-ary Roles and Numerical Domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4604558$4F779BA9-209C-469A-B7E0-77A4C6009354","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5acb47c01c4c174a9c3b64e78f20eb29a3379e4","datavalue":{"value":"1393.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604558$8685B773-ED6C-4353-AB5A-19D84F32CE05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ba1ee4c6b79d45ce2be0d331bcf07a3d4e02a7a","datavalue":{"value":"10.3233/FI-2017-1612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604558$6ECE4507-2B0D-4CC4-9333-AC33F5DE9F4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4604558$6F909B2F-A59B-4EAA-BDD5-9F8CE857B003","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4604558$BEFF7BB8-AD98-4336-BDC4-139BC429C7D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e12992cec71393b223d3be21aa58f0c76618221b","datavalue":{"value":{"time":"+2018-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4604558$88EDB225-ED5E-45F6-BEB7-0AC7A251B6FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604558$5D2A8BBD-C7FE-43A0-AE7B-27A0CC2B511A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604558$7669F99D-FDE4-4202-9A74-2D18049F4478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604558$F6FFF57A-C531-4D2B-80BE-AACC6F74AF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604558$22AE026F-51C1-4C2C-A1FC-E1BEF9F0C894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604558$B0A04578-06EF-456F-961D-D11309517CB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72c9b8afadf0ee44003d5db880ca2c85576d0b74","datavalue":{"value":"6846483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604558$959C1587-62DF-434D-8DB3-D27A1094E3DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604558$5189166E-DC76-49D5-B777-88EC3F095F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"002f4689690f66ff5ab6361d3264545d4cc2cf88","datavalue":{"value":"semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604558$0D5541CC-4A3A-4B4E-AD02-A9A59D0A64B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604558$6BC2F0F5-285D-4570-A69A-11ABC233907B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0412f3337c85629d092e8ab83b80677ed4dd72b5","datavalue":{"value":"uniform word problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604558$5AAE58F1-D681-4B46-A53E-461FA095FF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7c9096e657c203ed051515957ceb4acef68ca12","datavalue":{"value":"local presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604558$5EE859C9-C306-46CC-9C2B-382277B7ED33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65619d6c60d6467da42e94c3faebb303abeb5e15","datavalue":{"value":"CBox subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604558$6FD49C37-6B26-4F20-BCEE-10A3ED7B4176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0e0845967c88877bdf8903af7ab8f6920800a27","datavalue":{"value":"PTIME decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604558$C0F94241-4F90-47E7-873F-305BA726955E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4604558$19102794-F28C-4FEC-A58A-9844782CB96D","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":"Q4604558$37E54B45-E5E5-488A-B8A4-B3F9CD22C989","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f282835c363ef5b64eae1169e4270454180ea6ea","datavalue":{"value":"https://doi.org/10.3233/fi-2017-1612","type":"string"},"datatype":"url"},"type":"statement","id":"Q4604558$50242620-4B57-4EA0-8218-6357A2AE99D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31e99b0a8b192459f52f41d6fe00314247b802c7","datavalue":{"value":"W2776581687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4604558$C5D06CF0-20B6-4C53-B938-CBA0A39FA8AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a7d072a1fb96c276e42519642a163794f535e3","datavalue":{"value":{"entity-type":"item","numeric-id":3085175,"id":"Q3085175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b083ee6beb3df7c33667c0b292708d63ee55e15","datavalue":{"value":{"amount":"+0.8888629674911499","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":"Q4604558$EE4E82D0-FCFB-457C-852A-067F68129391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3f24e1a685cebe86775d87a496f2c7759b68f6","datavalue":{"value":{"entity-type":"item","numeric-id":4621174,"id":"Q4621174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115440e72416f51136b18c8a7fd58b29a93e55d1","datavalue":{"value":{"amount":"+0.8844878077507019","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":"Q4604558$EB3207A1-E789-4170-ADD3-C72BE1A01847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9dc52d49e0ef82520b7aa40cd9d51a2a8cca76d","datavalue":{"value":{"entity-type":"item","numeric-id":2374390,"id":"Q2374390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483f2e196fe3e838af16fa69514ce87b7ef35dd3","datavalue":{"value":{"amount":"+0.7747009992599487","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":"Q4604558$145C8B37-607D-4AEC-8587-5839AB1F4ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737f3a79de395aac3f4b27f3bb247a8fb93adf27","datavalue":{"value":{"entity-type":"item","numeric-id":2999103,"id":"Q2999103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f2c6e384fe717ea8a43d4ab001c0c7c5b66c2e","datavalue":{"value":{"amount":"+0.7612863779067993","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":"Q4604558$F8B39088-645A-4B9B-9A92-E57A82784200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f526ef8f91dbdb1e2ed2e4efc8800cd413092bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3112648,"id":"Q3112648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"878bfdcf93c98607d5df28029c04aae73e8e1cfa","datavalue":{"value":{"amount":"+0.7605552673339844","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":"Q4604558$B7C1487C-87D8-4820-A998-D66F6E8BA150","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4604558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4604558"}}}}}