{"entities":{"Q2352498":{"pageid":2363241,"ns":120,"title":"Item:Q2352498","lastrevid":52299791,"modified":"2026-01-21T09:33:06Z","type":"item","id":"Q2352498","labels":{"en":{"language":"en","value":"Reasoning with nominal schemas through absorption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455034"}},"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":"Q2352498$B3C0D31E-9A92-40EC-BCE7-4C1ACF6C0179","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64fdc8a958ed079efc692ec78b04ad2c03ccba79","datavalue":{"value":{"text":"Reasoning with nominal schemas through absorption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2352498$9CD24C4F-2A03-4E23-81CA-4C9BC0B2A63E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82e93d9b25d1a0e57d800cb393e2a740204246da","datavalue":{"value":"1315.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352498$1CCCF109-03C5-4259-BD80-80393DF7E560","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d6bc8dc64d879b5357d975bb122b8eaecb8826d","datavalue":{"value":{"entity-type":"item","numeric-id":1694572,"id":"Q1694572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$4C986986-07A8-436F-9F98-617584F31DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30da8ee38d85518919015647a8c8e48beb165aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1694571,"id":"Q1694571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$EF41F6B7-9170-4602-80F5-466F6E224722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbd779d70be7d2c3db1d9b7622aeb5e203d1039a","datavalue":{"value":{"entity-type":"item","numeric-id":2352497,"id":"Q2352497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$E38ABD3B-6DEF-47A7-AD5E-0F5640A1A6CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$96B0C663-D3FE-4E41-B5F7-B876AFF88457","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"574af01bec34fab94fbd05c1ad16d21d195c1ca6","datavalue":{"value":{"time":"+2015-07-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":"Q2352498$A26D2168-2D43-40FB-95A8-B74043B7FAF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352498$B5003A19-6837-4B99-A3FA-D4D23F6E4AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352498$294670AD-45E7-440E-B41D-4296037539FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352498$B0D9969A-87BF-460B-B642-33AFD24A3184","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fc3c5e84851a3d90dc0cf08e665534e98e99a74","datavalue":{"value":"6455034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352498$C2938DE3-EEED-4E90-9880-29953523CEDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352498$9C2AFB2E-83C9-49A0-9BFC-99442F4A1DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c35d843baee3f90a1d4527e4bb4cabd7c9a0e0","datavalue":{"value":"nominal schemas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352498$6860B5EA-19BF-4695-8D6E-59EADBBAF406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfdc5df680f65e1cc25221a47e8c816cbdffe7d1","datavalue":{"value":"tableau theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352498$88CD627F-A141-4017-BF1B-C84B8A14785D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e60c382d34494b5fd80dc7c38b43980673d4b8","datavalue":{"value":"absorption","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352498$47FB0CBB-B8D3-4502-8379-9413CD53E622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5278a2cd6d828169a876e53690db61adb02c7b1","datavalue":{"value":"implementation and optimisation techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352498$44A3EBA5-A854-4435-BC94-C3C01BF9C7E3","rank":"normal"}],"P1463":[{"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":"Q2352498$919A21D4-C112-4D5D-B561-E55628E4BAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0f49f3d91b5bb6404f6af16c3d3e9e91c3558c9","datavalue":{"value":{"entity-type":"item","numeric-id":24402,"id":"Q24402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$E6E8B684-980A-4709-ACA0-4E52D71D7850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b27951eda27e49b2ce22a20f25ffa598b6ef28c2","datavalue":{"value":{"entity-type":"item","numeric-id":24401,"id":"Q24401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$CF4D6ABA-A300-470F-B35D-DF627EB50FE6","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":"Q2352498$06850B00-23A2-40CD-8041-319BCD299ED7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e75aecddda72256dcd433ee948bc34eac91ffd4","datavalue":{"value":"https://doi.org/10.1007/s10817-014-9310-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2352498$F461926B-6539-456E-AA01-37C5EEA044FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7d45f102a4a385f992033ccb718a504155b1e62","datavalue":{"value":"W1988818178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352498$BDFFC9AE-34EA-4F70-81BE-3352111270AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12de8834b4345a0a8992c9bedff5f82b9abe2d65","datavalue":{"value":{"entity-type":"item","numeric-id":5309957,"id":"Q5309957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$9EC1BBDE-DC83-4DB9-82BD-B17CC20F31BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfb3abb81cf65fe1593158d7caf4b8e92f35886a","datavalue":{"value":{"entity-type":"item","numeric-id":1286394,"id":"Q1286394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$1629B53F-BE4F-4AF7-96F9-8CBDDAE5A30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d67cf8264090fe41d23f087dc2ad7410444041","datavalue":{"value":{"entity-type":"item","numeric-id":2567343,"id":"Q2567343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$939DD2AB-D729-4602-853C-A8E1A02F4D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054e1fee51a47209d6acee4d481805a6f1cdac89","datavalue":{"value":{"entity-type":"item","numeric-id":4260087,"id":"Q4260087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$4BD57D94-CBF7-4449-9C36-24DB9B0A957B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9066cd4aa2727fcf2939d8d889a4ccf4e4246bef","datavalue":{"value":{"entity-type":"item","numeric-id":2462647,"id":"Q2462647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$EBDA5A33-D8A2-47EA-A295-8BD29C5414AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49bc61bca8fc6b36bd3188902a097b16572a1fe4","datavalue":{"value":{"entity-type":"item","numeric-id":2723446,"id":"Q2723446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$E80BD262-520F-4C7A-8C58-9E3BC30D300A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a803b5b82ae46961f92b1fe7c572346c2f7136","datavalue":{"value":{"entity-type":"item","numeric-id":2462645,"id":"Q2462645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$B37380AC-2641-4052-B256-4BC3AC99AF5A","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":"Q2352498$77F9198F-16A5-4EA3-8BE7-672B93EE78D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1481ae0fbf73d60c4d92bf4e7d8c788cb0a81281","datavalue":{"value":{"entity-type":"item","numeric-id":2352498,"id":"Q2352498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$04DDB77D-3D76-4FB8-A754-85F765316B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34e4b4a4f874875c424366b8a0fb52c2621654f","datavalue":{"value":{"entity-type":"item","numeric-id":3192211,"id":"Q3192211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$13E62532-384A-43E9-ACED-C0F5ABF8588B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c96351bce924d2bd832aa57f04cb251df288b284","datavalue":{"value":{"entity-type":"item","numeric-id":2908522,"id":"Q2908522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352498$4C550A20-517F-4DEA-B2A0-6BC3390DB8D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4c66dc66de21fecf028f749400892d049e20611","datavalue":{"value":"10.1007/S10817-014-9310-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352498$4F8FF17B-49F3-4500-90A7-68CEBBCD7748","rank":"normal"}],"P1643":[{"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":"04cee0bb75fb34b1383d1531f12b22b9f9a8e960","datavalue":{"value":{"amount":"+0.6985987424850464","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":"Q2352498$977088E6-DFCD-4559-8521-6AEEA8A31453","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":"cc5a4ee25b894be317122062e398f8a0461d1404","datavalue":{"value":{"amount":"+0.6861713528633118","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":"Q2352498$FE715236-C247-46CA-AB87-C1CC6CA3AF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6092e7e3dd61fc82a67ffdd997c575c138304f15","datavalue":{"value":{"entity-type":"item","numeric-id":1697336,"id":"Q1697336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f5d58aab273c42bd52eb18cec1e82470d3a6c4","datavalue":{"value":{"amount":"+0.6775268316268921","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":"Q2352498$618121B2-E113-41DF-8E8B-073CCBE8DAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f0da77225f8296906af8445bf590cc2a73e483","datavalue":{"value":{"entity-type":"item","numeric-id":2224833,"id":"Q2224833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04dfc3683874c86fada2fc3633bd752dada7b99","datavalue":{"value":{"amount":"+0.6758875846862793","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":"Q2352498$3C3F4E53-2EFB-4663-A0B6-0D3425911467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a1ec030ec0e00fcee981123eb5f7224dc3f6042","datavalue":{"value":{"entity-type":"item","numeric-id":2908522,"id":"Q2908522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96695c2ed577297f3da4e8be2d5ee8564f95e034","datavalue":{"value":{"amount":"+0.6707450151443481","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":"Q2352498$04089A4C-74AE-4F95-B860-9E320B71FADC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2352498","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2352498"}}}}}