{"entities":{"Q5259302":{"pageid":7288870,"ns":120,"title":"Item:Q5259302","lastrevid":52292012,"modified":"2026-01-21T09:12:34Z","type":"item","id":"Q5259302","labels":{"en":{"language":"en","value":"An ExpTime tableau method for dealing with nominals and qualified number restrictions in deciding the description logic SHOQ"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451176"}},"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":"Q5259302$B1D9FAFA-EE3A-4E49-A91C-BB931A0ACF19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6e1a66c2e5f8e7c9ecfe7c2d1cf3b3d971c5288","datavalue":{"value":{"text":"An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259302$826DD125-F2DC-494E-8049-A3FF004DEB67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7519ff69027f65827ec24b8fc1b42b98a0d9616d","datavalue":{"value":"1315.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259302$40FC980F-7E57-48CC-908E-DA6A7C1F639D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dda95830238bc668bc82e2e1942c63db98a698b6","datavalue":{"value":"10.3233/FI-2014-1133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259302$3B96BB4B-1DDE-4436-94BD-6A732954A511","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259302$4C8FA86F-CF9C-4D30-9D41-AC5318559922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f466985cf8143741f29cc3aa6e4e8a4f57c99","datavalue":{"value":{"entity-type":"item","numeric-id":284217,"id":"Q284217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259302$18BEBF8F-87ED-4D15-BB50-E11A7B07624E","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":"Q5259302$8DE11EBB-62C0-4155-AFB6-FE99DF8327ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4795efe26ace72ea33e5b50072c8db0e5047722","datavalue":{"value":{"time":"+2015-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5259302$984BE960-CD07-4147-91EA-B0B221EAC757","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259302$89669C5B-BB33-44FF-970D-6431A61A9625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259302$2A3B2C40-CFDC-4739-85C7-EBB98F4FFCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259302$3AA78DAD-733E-4CDB-B75A-87871FF52352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259302$F6FA0E4A-9F3D-452C-BE2A-E1B4EC665C7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"474771987cce773d8a171a5a20ceeb2ebc485170","datavalue":{"value":"6451176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259302$66C1E3F7-4952-4AAC-8940-F7A0CB7CE31D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259302$50ACBA7A-1E1C-423E-9CC7-525EF096F435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259302$B8CD0E3E-5EB7-47FE-99A0-C350D038668F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7889097487470e442c2fa67198c3a6e6b485032e","datavalue":{"value":"global state caching","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259302$5E386450-4CD9-441D-A333-1351B462776F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96734754b89ec444e465c7fb1dd20ad66aec5628","datavalue":{"value":"integer linear feasibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259302$8F4937A5-C2B6-455C-8BE0-C9EE4333F6AE","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":"Q5259302$F1D6C7F7-8949-48E1-B1F0-3DA66C171709","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d51a5a1096fb8fabfe81a85642f35980f4bb69d","datavalue":{"value":"https://doi.org/10.3233/fi-2014-1133","type":"string"},"datatype":"url"},"type":"statement","id":"Q5259302$9FD6FB6F-0066-4856-9A69-3BC9745749E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a02d169982137aabbdc82c088fab64f1783824c5","datavalue":{"value":"W1889795185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259302$F74730E8-E870-4625-A827-E45010A8F6CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11b67515a8b64fe08fdfdd02056b48fbcfe123b","datavalue":{"value":{"entity-type":"item","numeric-id":631080,"id":"Q631080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe75602e40c8e04d913a3c41b36db01b0bada31a","datavalue":{"value":{"amount":"+0.7999739646911621","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":"Q5259302$F895EE9E-CC68-44E3-B82A-3DDFF813935E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ac3d182f8dc5fe4123dfb396ccf283d3c9dc7d","datavalue":{"value":{"entity-type":"item","numeric-id":3052749,"id":"Q3052749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f85198f15af6d990c841ccff87d6b8e6d82e5c4","datavalue":{"value":{"amount":"+0.7933011054992676","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":"Q5259302$34969CAF-F476-4926-95D1-319BBF6670EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2bfbac368ebde2626735f889be9b48893f6e6f","datavalue":{"value":{"entity-type":"item","numeric-id":4954172,"id":"Q4954172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1fc749c217a353b70cf9f3fdf0998ed4cb96fb","datavalue":{"value":{"amount":"+0.7915518879890442","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":"Q5259302$D0DB227E-9EFE-4CDC-B12A-BF617AEEE088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c9c63514a1f09f977095a46c1b5b06a979e73e","datavalue":{"value":{"entity-type":"item","numeric-id":3163885,"id":"Q3163885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a05a8ef92426de083b24c68aa1153ccb8e57e1","datavalue":{"value":{"amount":"+0.7816682457923889","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":"Q5259302$C5C13245-932A-4428-ABCE-AD74703EAAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd77e8bbdad5015f01657073c24bbbf0d1094847","datavalue":{"value":{"entity-type":"item","numeric-id":5434485,"id":"Q5434485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7f41b03ba4c11d0bb1e1c3a97cf3774251bdca","datavalue":{"value":{"amount":"+0.7701312899589539","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":"Q5259302$47D5BC28-95B4-45DC-AAD2-CA78CBEBFDDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5259302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5259302"}}}}}