{"entities":{"Q948069":{"pageid":949917,"ns":120,"title":"Item:Q948069","lastrevid":65594973,"modified":"2026-04-12T03:40:30Z","type":"item","id":"Q948069","labels":{"en":{"language":"en","value":"Automata can show PSpace results for description logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5349794"}},"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":"Q948069$1E5F5D6C-B94C-401C-9291-031293BF9819","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4aeb619b06490be08fead45483bdd15b85ea767a","datavalue":{"value":{"text":"Automata can show PSpace results for description logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q948069$4EA36DF3-9EA9-48A9-919B-A6AE5796A1F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72644b93b7bffca06f16500406c4ecc9f558fbbf","datavalue":{"value":"1149.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948069$76325982-5EA1-4B09-A182-7EF47C693A37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948069$DFD11764-39D2-45A7-9DF0-45DA9B09B544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e484f66b2d4d80476efc2741bfc7b501692ca02d","datavalue":{"value":{"entity-type":"item","numeric-id":465591,"id":"Q465591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948069$095B40CE-9E20-4ECA-8E4E-6E02B79D26C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d74d1573f14fe5cf596075a961b1d989613302f6","datavalue":{"value":{"entity-type":"item","numeric-id":431088,"id":"Q431088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948069$E5EBDBDE-F612-4159-86CA-443A26280BCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948069$DD56C3D2-E24C-42D3-9E7B-DB09EA5666F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09fa46f2b03bdf1f5a12466d7178f56b100279b","datavalue":{"value":{"time":"+2008-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q948069$6F33C71B-CACE-4FCF-8BE1-1BEBCE67223D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948069$E2143144-E305-450E-B7CF-5274945A03A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948069$35D879C3-0CAE-4D2C-AF60-A119E029804F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948069$A3EE2C5E-E24E-4271-B38D-12A9F0971759","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87054e4e714ab594116440afec21f315ad90fe4e","datavalue":{"value":"5349794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948069$FB7AE2CB-22D6-4A87-8FC9-4B43A749B449","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q948069$E69CA4BA-4399-4E8D-8D89-2BA9E1CCA2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q948069$12BD56A3-AB85-496E-8E19-011F8E81D43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q948069$0CAFB9E3-B43C-4D69-80F1-D62B9830A8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cb12d0892843dfe45a93ca6904125baeb509b23","datavalue":{"value":"PSpace","type":"string"},"datatype":"string"},"type":"statement","id":"Q948069$B0414414-6859-46B7-A474-7C115AFA886A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"579a2b9b6ab867516c7e1692f3e55117641fb9ec","datavalue":{"value":"Q57383699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948069$5F4728A7-DE47-4A5D-A9BB-E717F25E101F","rank":"normal"}],"P1463":[{"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":"Q948069$AABD84BF-8533-48B4-B453-5EB31CA6FC63","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":"Q948069$BF44CFF0-B3DD-4D6B-AF60-01EC7FE4DF14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5a13dd96293cce0869ee3db28f38279851d0d92","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.03.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q948069$B7FCB1F3-1DC8-4B01-9CF2-B40C806EED2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91d98093bc0d4c5e5f050e086fa68a674b5f54ca","datavalue":{"value":"W2111351089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948069$457AB9DB-B626-4C81-94A1-6B1B336413AA","rank":"normal"}],"P223":[{"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":"Q948069$4D760FEF-8F2E-4135-A7AF-B7B5030674DD","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":"Q948069$0685A2DC-55B2-4E40-94E9-B5D181322CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948069$C286EEC2-FD96-4FE1-A9A9-2C7C65C4C596","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":"Q948069$004888CC-89EC-461B-AE7E-B6F8AC04FA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948069$3B3787B6-6D1D-4C99-AC1D-C53CD019627F","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":"Q948069$2E71A0B1-B1A8-4FE2-9CFF-91C8F9698F0F","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":"Q948069$E3E143A4-836A-4CCC-B771-D2C98D6E9866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d48ed82b6a68c1d677b282d86b31cbfc7326a03","datavalue":{"value":{"entity-type":"item","numeric-id":4539600,"id":"Q4539600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948069$D0E0E0B2-F851-4B07-86DA-18ED3DC54FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c09753d5cd71d7b3115c41b9e9bee843bb5e422","datavalue":{"value":{"entity-type":"item","numeric-id":3184509,"id":"Q3184509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948069$5BEFEA25-0471-4EDC-8990-6C06130BC37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3044ac4490b10d9ae14ffde112d623275d907ce","datavalue":{"value":{"entity-type":"item","numeric-id":3408128,"id":"Q3408128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948069$5F688DB1-C834-4014-A13A-74128278D135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4269cc2603fa09c659096d281ccf8413d4ba0983","datavalue":{"value":{"entity-type":"item","numeric-id":2638816,"id":"Q2638816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948069$BB015BBA-6C9C-4494-AC5D-1393C309C990","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":"Q948069$672AEF8B-3AF7-49E9-9B8E-123A4C6679C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948069$3A0F58D7-EBDD-47D0-9F72-853721E38B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948069$BF770740-947E-42E9-AED0-6E7E615C2C0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12a544617e9b82dc984b8de6ca644322a3a5b1f2","datavalue":{"value":"10.1016/J.IC.2008.03.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948069$109F4D17-929A-4591-B3B2-F14D7E39AE69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f0db856d599668fffed0f2a59eddf930102e9f","datavalue":{"value":{"entity-type":"item","numeric-id":4460678,"id":"Q4460678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6969a852425a5b469d1357c140c0c5e38bfc44","datavalue":{"value":{"amount":"+0.8317999243736267","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":"Q948069$03D2DB6C-0569-44CB-A266-EA8EF3A4C374","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":"936b08f96031d13339ac13e8349f4af41aad2e9d","datavalue":{"value":{"amount":"+0.8317995667457581","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":"Q948069$BDA24C5E-2D18-4E1A-941C-3B0B51BD0D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2a0bd14924108e4c466d7322097e6eed034da2","datavalue":{"value":{"entity-type":"item","numeric-id":5900712,"id":"Q5900712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92821b1dc1ffb3297f23e0b70ceac7ce8213aff9","datavalue":{"value":{"amount":"+0.758587121963501","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":"Q948069$1BEB35E5-5BE8-4ECF-8438-70B4CAB85042","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":"29b38c72747066800b034f690d1c14d34cfac447","datavalue":{"value":{"amount":"+0.7454826831817627","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":"Q948069$CA6E1393-5606-4F26-9395-C509328913BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03548e7a519a10d65d5fa66261e4027e8544ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4487262,"id":"Q4487262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b38c72747066800b034f690d1c14d34cfac447","datavalue":{"value":{"amount":"+0.7454826831817627","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":"Q948069$B03627BD-6004-4972-A44F-678DE6E6E6A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata can show PSpace results for description logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata_can_show_PSpace_results_for_description_logics"}}}}}