{"entities":{"Q2462647":{"pageid":2473390,"ns":120,"title":"Item:Q2462647","lastrevid":50226455,"modified":"2026-01-13T14:09:50Z","type":"item","id":"Q2462647","labels":{"en":{"language":"en","value":"A tableau decision procedure for \\(\\mathcal{SHOIQ}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5217110"}},"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":"Q2462647$D89D3124-53BD-49D0-8052-807E0A1EC6A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff4e66c523f6327750b7fa586570d5fe22616441","datavalue":{"value":{"text":"A tableau decision procedure for \\(\\mathcal{SHOIQ}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2462647$FEA96BA4-7DC7-4AE9-BCDC-EF184C5005B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b10252ff03b2752d8c6bb4331cc435db4d9ce503","datavalue":{"value":"1132.68734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462647$6C4B8AAF-0E2E-4389-A9BC-1F893B092C8E","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":"Q2462647$5AA390BB-C2DB-4FB3-892C-60944382C820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faba8a041f2410cf65e45e40a1807e773a945b14","datavalue":{"value":{"entity-type":"item","numeric-id":229742,"id":"Q229742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462647$F4AD1CE3-65EA-4670-851A-FAC29CF1EBED","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":"Q2462647$7AC9EF11-88C9-446B-99FB-D535702129CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9fa6f2f337ef8352aec632547ae6f1ca832f426","datavalue":{"value":{"time":"+2007-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2462647$F0095041-94FD-4904-8BD9-9CEF5BC31262","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462647$2A71812A-A6FD-4202-AC26-AD19C4006F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462647$1993E3CF-30D2-4B57-B555-7A355EE39740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462647$9CAB7A8A-920C-48B4-A166-E3F34A61465D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba8e06515e9752d0f44d85738189027a1f37ce8b","datavalue":{"value":"5217110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462647$001053DB-1238-41A0-B1DF-D3EE7373B2C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81fb3b5910162999df08c272bcc64ce7a568eb66","datavalue":{"value":"Description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462647$5D37E30A-2F3A-49B2-A502-96D3E7E60B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20a1d8b3158c8e54d3eb6dc847ad8b1b709f4bfa","datavalue":{"value":"Decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462647$C74526FA-70EC-4965-9013-16B17ABA525B","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":"Q2462647$D8672907-8935-47E8-A1B3-56D46172933C","rank":"normal"},{"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":"Q2462647$A5548FF9-CAA8-4D7F-A24E-1B286953FC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a8d622aa17d5fda12a0a4ec7736fa013c79a513","datavalue":{"value":{"entity-type":"item","numeric-id":40605,"id":"Q40605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462647$1F3575BF-2593-43C9-8414-B1550B62D2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9dc96d31725a42b8712b814e265dc136a76d4196","datavalue":{"value":{"entity-type":"item","numeric-id":21815,"id":"Q21815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462647$8244CCC3-0F16-4B9A-9F5D-F62636D2998B","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":"Q2462647$62A32005-1B0E-4245-8C1C-3D15DA28CCB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e7ba261ec768a26e620ba8c48f6497d3e0be714","datavalue":{"value":"https://doi.org/10.1007/s10817-007-9079-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2462647$8AFA8A9D-64E3-4562-B632-EF7447910D52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87e21a8d43f1f7ad4c16ece37bc05b1c74ddd45f","datavalue":{"value":"W1978912716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462647$4DDC1709-79AB-46B4-8C48-5904B58A045B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4d52060517fa063d0ba02ff1cd34d27d9377dd65","datavalue":{"value":"Q56988749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462647$3FD72BD2-A277-4E88-93D8-54E6CEE1D410","rank":"normal"}],"P223":[{"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":"Q2462647$E1A9797B-373A-48F1-B8F9-69CF0A29A648","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":"Q2462647$BCD2493E-F02D-4EDB-98F1-432F3F233AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db82efd43008b70d4f248e334270440bca3b5404","datavalue":{"value":{"entity-type":"item","numeric-id":5955620,"id":"Q5955620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462647$DADB7744-6572-4282-BEEE-BCE9B087E3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da8c2de419db8eadc2bb3e1de8c4f80cf93487","datavalue":{"value":{"entity-type":"item","numeric-id":1909610,"id":"Q1909610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462647$F270546C-8364-44F9-997F-B918F5446AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44e473b8e641dbfaf76db8227c4e98b00936e51","datavalue":{"value":{"entity-type":"item","numeric-id":4386924,"id":"Q4386924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462647$1455EE7F-1F57-46C6-86AC-42C2CCD4E677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462647$1E387420-096D-4888-9CF5-4F01E5692E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537b1eb19c2464dfb29e2d994234bbd08e6641b4","datavalue":{"value":{"entity-type":"item","numeric-id":4790403,"id":"Q4790403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462647$DCB5D3F7-A7B5-4DF0-B9E6-FC781BBB2A08","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":"Q2462647$7D2B8679-62D3-45A5-AFA5-2594AC41DDAE","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":"Q2462647$C5E2D0C6-1B8B-4972-B7EB-FDE4654DD645","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":"Q2462647$DA115C03-E042-4AE7-BCD9-F2057AAA17BB","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":"Q2462647$763B378C-77D0-4951-B39A-7E50D87DB24C","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":"Q2462647$764658F5-AF8F-4B43-B19B-F1CEAB185358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e900bffeb0fa39cad78b98f0ee33fe60626b797e","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462647$F083B1FF-3479-4144-AC67-BA1A0AAB5868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f23df7f56f01b2df4bfd8ae9a6bfb1bee9fd30e","datavalue":{"value":{"entity-type":"item","numeric-id":4012244,"id":"Q4012244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462647$CE8F23C2-04B8-4447-8B60-11EA71D62A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9364eedc05c90d299cb9a33a64f6c1c44059b09","datavalue":{"value":{"entity-type":"item","numeric-id":4954172,"id":"Q4954172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462647$94D630D4-7EF5-4E5A-B29D-1BA6D29B8F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9387f435a7e5ae169822e9f6fe0921cbbb50866","datavalue":{"value":{"entity-type":"item","numeric-id":2720401,"id":"Q2720401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462647$12AE9542-3AC1-4B57-8692-E1D38613A762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b90ce7fe73f733b88d2da3dac92118f16962252","datavalue":{"value":{"entity-type":"item","numeric-id":4353561,"id":"Q4353561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462647$5FF12C81-C8FA-40EB-AAF3-434442B80387","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59b2f014c810a01189a7eba2abad969ea14c869b","datavalue":{"value":"10.1007/S10817-007-9079-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462647$0D070505-230F-4AAB-9C4E-18999C781199","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a09dd8e2a7358ab9fd861a30a9104e2f284c09c","datavalue":{"value":{"entity-type":"item","numeric-id":3613440,"id":"Q3613440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1eeee37dfa66cefd9248d6fd2bc48b2235c8d7","datavalue":{"value":{"amount":"+0.8809205293655396","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":"Q2462647$892871B8-48CF-4B5B-90F7-EA6475234BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"732d5356bac202acbe7183f2c6946a61e0878822","datavalue":{"value":{"entity-type":"item","numeric-id":928657,"id":"Q928657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f158ee7223fa9347af11f5a4972146697c2d6d","datavalue":{"value":{"amount":"+0.8752456307411194","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":"Q2462647$9511A4E8-1075-4DA5-821C-323E292C35D7","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":"8adce5a4528671e8a9d090cb7e4fa6301c645a7a","datavalue":{"value":{"amount":"+0.8062166571617126","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":"Q2462647$5551C397-B60C-49B8-8A02-1E0E234B8A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa29568d4075b890fe92b5296e609cb9b3cd6e06","datavalue":{"value":{"entity-type":"item","numeric-id":924723,"id":"Q924723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c55e5b823941630c7be91e43c4b58cecc82de39","datavalue":{"value":{"amount":"+0.7967281341552734","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":"Q2462647$1C65BF86-D862-4DC8-8740-259D413DB7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eabb51a8e0a2ff7e7942c695b7eb487cd6db796","datavalue":{"value":{"entity-type":"item","numeric-id":2846571,"id":"Q2846571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7bce3648396cbcbdae9286b8f1e1ac52090acc","datavalue":{"value":{"amount":"+0.7942218780517578","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":"Q2462647$92A6434D-DA46-410F-B2E8-37283EE51F46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2462647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2462647"}}}}}