{"entities":{"Q877890":{"pageid":879738,"ns":120,"title":"Item:Q877890","lastrevid":65141754,"modified":"2026-04-12T00:36:22Z","type":"item","id":"Q877890","labels":{"en":{"language":"en","value":"A tableau algorithm for description logics with concrete domains and general TBoxes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149283"}},"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":"Q877890$A6F381C9-5798-4E1E-AC65-CD3F183F1966","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8636ea3d2726dfe1ade278abdb5a7146e7591c41","datavalue":{"value":{"text":"A tableau algorithm for description logics with concrete domains and general TBoxes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877890$2B782081-B7D9-4751-86E6-6A2CB991B299","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"083c957b3a15850285bfcec9ec0ea800ed30ac15","datavalue":{"value":"1113.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877890$14DA0FAF-4039-43A8-96CA-3AF021B9CC9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22db3ca50466332b07467138807079dd11905aeb","datavalue":{"value":{"entity-type":"item","numeric-id":420807,"id":"Q420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$6DE80ACB-5CFC-40BF-887F-CD06166BCBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37516da4b671052120a511562b1edb2d784ce1b8","datavalue":{"value":{"entity-type":"item","numeric-id":420808,"id":"Q420808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$7573AF28-02F1-4F74-95A5-4678BCB7E8A3","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":"Q877890$17A6B921-BA00-4860-9BED-57AD1A81B876","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ceacc095bcddce0ac9017ef9315962415a2b424","datavalue":{"value":{"time":"+2007-05-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":"Q877890$AFE9AE81-73F3-4177-9261-029472B0E27F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877890$FF7323DE-29C3-42DD-8C9D-E050ED7454CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877890$7663D4C4-3646-4C23-AAEA-F549586A5299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877890$B04853F2-C7C7-46DE-9001-6C9147AF4CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877890$751FA36E-3991-439E-AE05-A7DDBB632A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877890$8FE01E36-14D2-4D99-8903-D519315F8793","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03ef0a9b2562229226e1ff214767a911f0afd1ff","datavalue":{"value":"5149283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877890$72A0DB96-6FE0-47C0-87FF-F611179D9561","rank":"normal"}],"P1463":[{"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":"Q877890$10E53252-D5D2-49B5-A034-0EB41F8231F8","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":"Q877890$2A617E9F-8B87-47D3-90C0-7FC6909591C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eef90683373cdfa81108072caed39401aa214330","datavalue":{"value":"https://doi.org/10.1007/s10817-006-9049-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q877890$0F5AC79E-F048-4753-BE57-FE6A59120326","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b0ba2266a382a136625a648fef89e811fe4e8b3","datavalue":{"value":"W1975503364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877890$E8D97A38-16D6-4B0B-8540-896F372511E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$728F3894-03A3-4290-8690-D11C6F20A0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a16baafc6ee140316a692994ccb90efb963ec","datavalue":{"value":{"entity-type":"item","numeric-id":4012242,"id":"Q4012242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$4B3A6D43-7E26-4DDA-A5CA-8BC8D66B6716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc41449e9fa0420cd7863d27acebc9d2a03ec89b","datavalue":{"value":{"entity-type":"item","numeric-id":5717442,"id":"Q5717442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$D7367F80-9435-46B2-A39C-914100057693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$A7827AFC-A847-40E4-9FE7-C4A355445818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a83536a5cfb6ee546411bcb1c865e683c42fdda","datavalue":{"value":{"entity-type":"item","numeric-id":4737132,"id":"Q4737132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$C298E898-93D4-4F82-AC90-DF282C9F8AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ffd6eed86bc162dbc98975cfbcc995b7e6e806","datavalue":{"value":{"entity-type":"item","numeric-id":4400805,"id":"Q4400805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$AA320027-37E7-4959-A2D6-6D9A03316950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$53EE9193-E44A-4A59-B18F-21AE4688679B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d14b1ecbe3662398f81bd2a0e0822e0e1177ec","datavalue":{"value":{"entity-type":"item","numeric-id":4539653,"id":"Q4539653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$664B5FFB-298C-4DCB-96BE-747F79DB0274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7786fed3bfb126efe721d30d866cf596970aa","datavalue":{"value":{"entity-type":"item","numeric-id":4539596,"id":"Q4539596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$79F0986B-E286-4E91-9B1A-DBFC3183F61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888cd95d66a558d3523482665852ecce7912cb81","datavalue":{"value":{"entity-type":"item","numeric-id":4260083,"id":"Q4260083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$10F24B51-A762-474D-A023-EA6BACA9C2E2","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":"Q877890$FFF59234-D93E-43DE-9CAC-4F934DAB672B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce756cff5325e84ef31a6f28e3264cf9abbc9358","datavalue":{"value":{"entity-type":"item","numeric-id":4938424,"id":"Q4938424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$2A6077FE-4F04-42B5-A318-000B01CF1260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c7d902d44d1593a2e8de6e938e4f184203da4d","datavalue":{"value":{"entity-type":"item","numeric-id":4938425,"id":"Q4938425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$344FFDBD-321D-470F-908A-EB4FB9E3D537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f42923096e074c4f12a8590c161b35989c5936","datavalue":{"value":{"entity-type":"item","numeric-id":4795881,"id":"Q4795881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$6B5C1BB9-07FF-4357-961C-B5A88E13429F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e69f0e7b4cd65dc00db9b20bcbcc64488b4a2c","datavalue":{"value":{"entity-type":"item","numeric-id":5465445,"id":"Q5465445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$9A862488-CE9A-42CD-89F7-E03B5EC6B1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31565222ca1fafb516057e574f0cac854b471ab9","datavalue":{"value":{"entity-type":"item","numeric-id":814545,"id":"Q814545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$6377F727-D386-4E92-A09C-7C04B25865C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88ad94730bbdb66adc59ef89b68a56f2a80d7620","datavalue":{"value":{"entity-type":"item","numeric-id":5479278,"id":"Q5479278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$ED655FC7-06B1-41E2-BEAF-3E60FB9558F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27379a4dc2c88acd334f055823ac29fd901a3cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5310658,"id":"Q5310658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$362538AF-C45F-41C2-8DCC-ADF720B771C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34da21d2e3fa3e67c2ba7ad8a54e7566b0adae6","datavalue":{"value":{"entity-type":"item","numeric-id":4369856,"id":"Q4369856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$4977820C-922D-469C-BF08-4DE124490F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd5e11e2c045b305cd9a22f8792f180ce267a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1285670,"id":"Q1285670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$D8DA4D37-6EDD-4222-9A33-8973612DBAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b4c14406a61f28f8d6bf23209bb95e38f7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$3282B48E-21A7-4B56-A437-1325801532BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877890$DCA4EB23-A924-48EF-9578-6D43EE2600C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9463268455f9624c08db48e5f4d727841d6e083","datavalue":{"value":"10.1007/S10817-006-9049-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877890$7D7CE83C-D093-4492-B1E4-F092095EF693","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9098dd5d22afc18ed45f01be14fc27829ab762a3","datavalue":{"value":{"entity-type":"item","numeric-id":5479278,"id":"Q5479278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6617f1e09d8c651741c2428eac8c6c15baced225","datavalue":{"value":{"amount":"+0.922392964363098","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":"Q877890$8AE433F8-A383-452A-B2F2-44E77EB41037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c270e5340c5fe53e63dce87936e9b2d88521eb32","datavalue":{"value":{"entity-type":"item","numeric-id":4576256,"id":"Q4576256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9137b74938933c149f59f81d2805d124a7f09e","datavalue":{"value":{"amount":"+0.8158297538757324","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":"Q877890$F10C41D6-3CA3-4737-A23C-FB1A94BA67C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e72dbb8e9528e2e38f0b77e7df1ce3fa8ebc0bb","datavalue":{"value":{"entity-type":"item","numeric-id":5465445,"id":"Q5465445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dcb876bd2eb074ef8f922ad8db8c4e0da9c5347","datavalue":{"value":{"amount":"+0.815079927444458","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":"Q877890$4F071915-E9D4-4D52-918B-35A8370D895A","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":"8d141996f111e3236cff8e468bede5bf058d3fdc","datavalue":{"value":{"amount":"+0.8083707094192505","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":"Q877890$158FE523-370C-4E66-A255-9A6C10C09899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4421612e16ad6837383486b373a7e101e60b918","datavalue":{"value":{"entity-type":"item","numeric-id":5277711,"id":"Q5277711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d141996f111e3236cff8e468bede5bf058d3fdc","datavalue":{"value":{"amount":"+0.8083707094192505","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":"Q877890$1DAA580E-C899-412E-89B8-0B796E32A26A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tableau algorithm for description logics with concrete domains and general TBoxes","badges":[]}}}}}