{"entities":{"Q2323444":{"pageid":2334187,"ns":120,"title":"Item:Q2323444","lastrevid":53518457,"modified":"2026-01-25T03:27:28Z","type":"item","id":"Q2323444","labels":{"en":{"language":"en","value":"A PSpace algorithm for acyclic epistemic DL \\(\\mathcal{ALCS}5_m\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7100455"}},"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":"Q2323444$D1107E52-0995-42EB-8438-D1AC483D97A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfe44a0d23b26a0212807554e367fb531da31939","datavalue":{"value":{"text":"A PSpace algorithm for acyclic epistemic DL \\(\\mathcal{ALCS}5_m\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2323444$DD087404-8B52-4554-915B-565921D94314","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4b7d4b938e4abf35756fb4b1b38e639e15d1490","datavalue":{"value":"1468.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323444$0B155A88-029C-43CD-9890-FC75242065A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d32a1035d8eb7defcba59c585627ef7cd01d9943","datavalue":{"value":{"entity-type":"item","numeric-id":352964,"id":"Q352964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323444$084D799C-5DDE-4333-BF3F-3299E3E8EBE5","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":"Q2323444$21577123-195B-4619-B866-6051FC0B23B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bb2730e245e69026d7d337b11c937cb60d6f2b0","datavalue":{"value":{"time":"+2019-09-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":"Q2323444$33D9D69D-FCC0-4745-A628-9788E9B019EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323444$04520B93-F61F-4F1C-AB14-F0A6C1C75780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323444$40AB5016-58AE-48F4-9200-7AA9737D6A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323444$8F48C7D6-C3AD-4F99-B014-3597FD6030EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323444$93007C9C-A194-42BE-93B7-0DF4DC1BD05E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e625a3beb78f08d2b3639d0750d888132ad4dd0c","datavalue":{"value":"7100455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323444$1C94663F-2729-406C-8A1B-99C5B7F046E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323444$CD9DF2ED-71A4-4B4E-95E5-B291481303CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323444$26E5EFBE-49C3-4AF5-B7B5-EC66C620C2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"847c98e0b3003a853b99db09037baea88a8f4581","datavalue":{"value":"\\(\\mathcal{ALC}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323444$59BE2CBB-7B76-4C82-9577-8FED623B0EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85ac9bee5a1986b4b64cfd2f22189509173f34e5","datavalue":{"value":"tableau algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323444$D72C200B-4947-4B76-84D2-CEE0DEE4C60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80d4a22932f64c5b477fada2c6e789717ce3925f","datavalue":{"value":"\\textsc{PSpace}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323444$50049A89-3274-4842-BE11-C0B89CDB3961","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":"Q2323444$3352B6F9-07C7-426E-9648-D7A9937A60FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e04e63b7c55cf607946ad5787b5487bbeb4f3f55","datavalue":{"value":"https://doi.org/10.1007/s10817-018-9473-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2323444$00B505DF-9227-4072-83D3-5C5E306C84AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eff2176a70f436fd38aef5246c48d12fbd0fda04","datavalue":{"value":"W2808612319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323444$D285C7BC-2208-44CC-9484-114C223886A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323444$9F260D41-2469-4446-BF9B-7F25E9DB94D7","rank":"normal"},{"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":"Q2323444$1A9053AF-B734-4543-B48F-7BAFC70C8910","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":"Q2323444$DC7ACD8F-C8A6-4599-A59E-859526AEBB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139c7d9efdeb56f237ad395d93ed9d91278792cc","datavalue":{"value":{"entity-type":"item","numeric-id":1863829,"id":"Q1863829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323444$679DBE37-264C-4D2A-809D-E65A00FF214D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c752df2ceda685eee05a31a2019ae3a0fabf5bf8","datavalue":{"value":{"entity-type":"item","numeric-id":352965,"id":"Q352965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323444$75B43323-6C13-40E3-8C18-482FBBC1C90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d348f7642fd3207b18fca167fc057269c1c37b7","datavalue":{"value":{"entity-type":"item","numeric-id":1128772,"id":"Q1128772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323444$C82B70DD-053D-4DEE-86AD-F36BE34F6028","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":"Q2323444$ADED56D1-0C46-4496-AA60-718F2CF39DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323444$0668A025-FF85-40EA-8546-A771EF364BDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e46a131d8118e6b4d6642d075c7350f88ccd4a1","datavalue":{"value":"10.1007/S10817-018-9473-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323444$FBC6E600-D25D-49BF-AB32-C8445549216E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c89060419f9d185348dea959a70bccb043bb951","datavalue":{"value":{"entity-type":"item","numeric-id":352965,"id":"Q352965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac82bad806a7511b4770753edb9840a0024c9179","datavalue":{"value":{"amount":"+0.8740555644035339","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":"Q2323444$7B20F77B-62AD-465D-83CB-F718C329298A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0731fe3a9c0609e8054224047c5b2a50f394c06c","datavalue":{"value":{"entity-type":"item","numeric-id":1863829,"id":"Q1863829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54bf3fd08975d6a5ed6cb5e9df85907106784d39","datavalue":{"value":{"amount":"+0.7262592315673828","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":"Q2323444$106C0F74-3383-4959-A92D-57E72BB6F30F","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":"54bf3fd08975d6a5ed6cb5e9df85907106784d39","datavalue":{"value":{"amount":"+0.7262592315673828","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":"Q2323444$AC4F431B-DDBA-419F-85D5-3F6709AA6B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ed23eddd079fb18cd65a9a8f867133b0a6f27d","datavalue":{"value":{"entity-type":"item","numeric-id":4939661,"id":"Q4939661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce315bfd08b5b3e442a9016ac482f33f67ef13bd","datavalue":{"value":{"amount":"+0.7252204418182373","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":"Q2323444$10C2F3E8-F659-4BB0-A4CB-B53A8DB36474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0fb2fb23fa287af5310dbe427fe8889ac5b0c32","datavalue":{"value":{"entity-type":"item","numeric-id":4263156,"id":"Q4263156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce315bfd08b5b3e442a9016ac482f33f67ef13bd","datavalue":{"value":{"amount":"+0.7252204418182373","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":"Q2323444$D435F076-8FB7-4211-A467-62A7AF4EB1CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2323444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2323444"}}}}}