{"entities":{"Q2351147":{"pageid":2361890,"ns":120,"title":"Item:Q2351147","lastrevid":72576078,"modified":"2026-04-14T05:51:18Z","type":"item","id":"Q2351147","labels":{"en":{"language":"en","value":"Formally verified tableau-based reasoners for a description logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6448965"}},"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":"Q2351147$E5B42106-18EC-4167-BBB9-194C863FAD2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"724c882b24b60ab4dabbce2ca85a7b7034fedb1d","datavalue":{"value":{"text":"Formally verified tableau-based reasoners for a description logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2351147$E567EFAC-93F5-48CF-90D5-F69990C1BB2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43a20e709b1b6ae20207257a3480564877878ea4","datavalue":{"value":"1314.68282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351147$C8E6F7AE-C016-4D76-8CCE-8AA4CF0A47D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3c326443893741a25fbabfa08256cbd89a76465","datavalue":{"value":{"entity-type":"item","numeric-id":2351146,"id":"Q2351146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$12A53B0F-6D5D-49BD-B4D1-03F869530768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c62aa30223c79ebd49c25a78b6fc1f7a9e703d79","datavalue":{"value":{"entity-type":"item","numeric-id":1994358,"id":"Q1994358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$966ADACA-5905-4EBC-AAEE-511D303AEACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"795c45fbb5ad046d671672dce36d0c6ede79a1e3","datavalue":{"value":{"entity-type":"item","numeric-id":394435,"id":"Q394435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$AC881EF3-5730-4231-AF42-0815E5D16CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76b38168777167ff49199bd7f47bfebb8e51e498","datavalue":{"value":{"entity-type":"item","numeric-id":438547,"id":"Q438547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$E70D9A8F-27CB-4A7F-BE12-B3B292A8C8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5989ab1028cea7e9ee7fb42127fc02a808a197","datavalue":{"value":{"entity-type":"item","numeric-id":438548,"id":"Q438548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$90D6F4B7-27F3-4262-B00C-9DF357167A02","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":"Q2351147$AC5A9991-38FF-41CE-87C3-9545E39F83F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c61f53f8f8d7719eaa1ef54a22f9b50ec39aa46f","datavalue":{"value":{"time":"+2015-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2351147$4101F33A-C760-43B3-817C-DE9C841CE04F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20f603bee61b6d33eba2d955367a3b0214a5e70c","datavalue":{"value":"https://idus.us.es/xmlui/handle//11441/74927","type":"string"},"datatype":"url"},"type":"statement","id":"Q2351147$4C1797AD-EC4F-4724-9442-6D4AA16961EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351147$92F41593-DB9D-4D92-8B45-206A6F550F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351147$361BFA82-E7B5-4698-81E7-38C6A34B0FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351147$2F9C7A60-4690-4E64-B8E6-0098C8DE5215","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"caaa2fc9727e1998d139e6b00e148f68721da7bf","datavalue":{"value":"6448965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351147$32704556-79F4-48DC-963D-BBC3C3B016AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e689fe87c9a8a73399991b2f96dfb21a7919dcf2","datavalue":{"value":"semantic web","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351147$11BD8EED-6DFF-4A5B-9E40-0FAF1C83E970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351147$302A9D52-B907-41EB-9F87-C6BB3F124068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351147$E2ACDE83-00D7-499B-9C77-B1E49A39683A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351147$B2362A89-779D-4974-BCCD-C84877773D53","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$70B2A5F4-DFAB-46D0-96C4-B03CEA35B7C0","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":"Q2351147$972D46E4-8837-491F-97B6-EDF38829D719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a0f9a97f12aafd7c258bb9b7eba4ff6246a62e7","datavalue":{"value":{"entity-type":"item","numeric-id":40362,"id":"Q40362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$49C76AB2-852B-4A32-BB8B-F8DF09865719","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":"Q2351147$E7E26FB8-EEB4-4F2C-90E7-C4BCBA93247F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79364288bf55a5e9e75ae6ae19441509fb2c21e2","datavalue":{"value":{"entity-type":"item","numeric-id":24356,"id":"Q24356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$35C03A79-3FCD-4705-985C-DE85A403F7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$31F55081-00BB-4C9F-B02D-F6DB6B0EDF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"92ada66b7fad67177fdd185887b7c38f3272897d","datavalue":{"value":{"entity-type":"item","numeric-id":40276,"id":"Q40276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$0E54E111-8D68-4243-B4B9-7E0F14A4023E","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":"Q2351147$3009870C-A483-4906-823F-75ED0A0E3DA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8336ec47251568c8e802e5d8d38d290e32b55164","datavalue":{"value":"W2000998961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351147$96A0CE73-1FDE-4A35-A0B5-494BA6333F79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$D6127293-EB47-45FC-8E47-E2A8124A2773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf563be1b012a02a65c063395f9112edd18e4af","datavalue":{"value":{"entity-type":"item","numeric-id":3021901,"id":"Q3021901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$BEFA6E68-334B-4885-A381-1C10CFB15ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36370121c36b0c2edeeeafe9a4528a350aba816a","datavalue":{"value":{"entity-type":"item","numeric-id":3523171,"id":"Q3523171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$38E5BC14-056B-44B0-B3ED-3C76085E4AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea7fb806cb84b37335d37b3efe1590f8bc64cb5d","datavalue":{"value":{"entity-type":"item","numeric-id":839035,"id":"Q839035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$EA1DE54E-A09D-4868-B911-46C13807D39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$BB591FAA-1927-4319-BA7A-9209CB5A5A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65894f2af3b96bcb305bb357ba9e5a69f2e35cbe","datavalue":{"value":{"entity-type":"item","numeric-id":3075243,"id":"Q3075243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$BB435788-DE54-4A1D-9352-4B11B260C609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74a068a1ab71d4ef97685fc538b4f03d7a7a2b3","datavalue":{"value":{"entity-type":"item","numeric-id":4247075,"id":"Q4247075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$6EC3972D-11A3-461A-A1F4-2EEBABCEAF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caff94044d7e9e5c06d98ab72e868da5cf4fc6d1","datavalue":{"value":{"entity-type":"item","numeric-id":1821563,"id":"Q1821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$791923C3-BA94-4B94-BCF0-7EFF4D2E2724","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":"Q2351147$DD2EE15A-E649-4277-A0AE-66B1837B2310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205fc50b5519f69b83835852ede0d50684c7d19b","datavalue":{"value":{"entity-type":"item","numeric-id":4247076,"id":"Q4247076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$DA878535-3B42-49A6-ADDD-3B54DA3322A6","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":"Q2351147$7DAC54F5-B5EB-40A0-B8D5-FDE881D30E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$B122B46D-65B1-4A17-AC53-7741B3D4E87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93103087f9fdd2061ca362d1699d84a68c4fdf74","datavalue":{"value":{"entity-type":"item","numeric-id":2583288,"id":"Q2583288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$4EB91816-8811-4B41-B59E-B7D9511023CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"484cdfddfb72057241501b101f3e7159bfd5b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":5389920,"id":"Q5389920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$369E6F33-4BEA-4451-9F52-C93D87665102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b883d872eefbd5f8daf82a38b9e66e81e1a15c","datavalue":{"value":{"entity-type":"item","numeric-id":5477663,"id":"Q5477663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$3C6E3AA1-CD40-47A6-98BF-7B5693A221E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f769fe6ef8dd71200eafe07970c69907f40fbcb","datavalue":{"value":{"entity-type":"item","numeric-id":5179007,"id":"Q5179007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351147$F88D051A-5DB0-43D3-9C88-082D9B934BC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9b785820d5894e13d3d41380bf6c667455762e8","datavalue":{"value":"10.1007/S10817-013-9291-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351147$23B86047-CDA5-4287-A0F6-F6D5CDDA34DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b07206bb9230a7de4c11042d0be68788e294426a","datavalue":{"value":{"entity-type":"item","numeric-id":3523171,"id":"Q3523171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4e9104ba6e0f85641a021253a90c15d02d26b2","datavalue":{"value":{"amount":"+0.8791470527648926","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":"Q2351147$437E2664-ABB1-46B3-A1B5-58E4E830E7C4","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":"945551ac75a8265a931b004edd91fff2932976b5","datavalue":{"value":{"amount":"+0.783176064491272","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":"Q2351147$74005A48-ED9A-4C56-BA52-FD238032073B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d3ee437004547660667019a963d23ec7b081c2","datavalue":{"value":{"entity-type":"item","numeric-id":3408128,"id":"Q3408128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"945551ac75a8265a931b004edd91fff2932976b5","datavalue":{"value":{"amount":"+0.783176064491272","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":"Q2351147$C7EB17FD-87A7-40F4-80DD-453702BE79EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc04b104c3a6040412fb6a1d2616d7be37040093","datavalue":{"value":{"entity-type":"item","numeric-id":5955620,"id":"Q5955620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f9747b13d3a633133af686b6280459b4c44b1b","datavalue":{"value":{"amount":"+0.7814908623695374","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":"Q2351147$F722F369-AAFD-4FE8-ADA6-4B1F5FEA0960","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":"54f9747b13d3a633133af686b6280459b4c44b1b","datavalue":{"value":{"amount":"+0.7814908623695374","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":"Q2351147$34BEB27A-C855-4F5B-B20F-592AFAC00C91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formally verified tableau-based reasoners for a description logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formally_verified_tableau-based_reasoners_for_a_description_logic"}}}}}