{"entities":{"Q4795881":{"pageid":6825461,"ns":120,"title":"Item:Q4795881","lastrevid":74652138,"modified":"2026-04-14T23:46:03Z","type":"item","id":"Q4795881","labels":{"en":{"language":"en","value":"PSpace Reasoning with the Description Logic ALCF(D)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1874430"}},"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":"Q4795881$3A7EE6AE-8001-4A1A-B9FC-F40396BBCD8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b47ef873185d360e8e0cbe2202a6da27c48fe3e","datavalue":{"value":{"text":"PSpace Reasoning with the Description Logic ALCF(D)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4795881$7736316D-C801-4D8F-A343-85013B756376","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"202d9c1ad51e9ab624139e1df07be99ff236b1c3","datavalue":{"value":"1018.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795881$D7856696-CCEF-433D-8743-54A46145EEFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22db3ca50466332b07467138807079dd11905aeb","datavalue":{"value":{"entity-type":"item","numeric-id":420807,"id":"Q420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795881$71C26DED-84CF-4B4F-BB23-71F6E138D565","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e661b277723a4f4423f6a5c63161195287510fa","datavalue":{"value":{"time":"+2003-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4795881$6C5A8FF3-9AB0-48FE-BAAC-7EE94F20E64B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795881$A02C7D21-E8AF-4757-9F6F-F48AFC91CAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795881$2412EA1B-C535-442F-A0C0-FE4B23B0ECAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795881$B6869C00-B673-4E6B-B766-7933BC52C17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795881$DF40BA11-AF58-492C-B5E0-3E513478FB91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d88da199a5141f9a003a41e6c02dc9acf70a858","datavalue":{"value":"1874430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795881$E6AADECE-DC72-4663-9A84-DF4C92C71C40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795881$E1220E9C-AED4-41DE-96D1-87BE2DA8F5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43041f02ffa6c2bed7c282f0f40a8ed0052762ca","datavalue":{"value":"concrete domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795881$142D2452-4682-4241-8B2A-BB8EF764BD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795881$25584442-DF8C-4286-A1FB-60FE11449D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde1d1e1af20668058b806c8771f74236644002d","datavalue":{"value":"reasoning about conceptual knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795881$2AE0127D-DB52-4030-9B07-9537380070FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795881$7804E454-286A-4B5A-B814-510DF84A3415","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":"Q4795881$00F09969-DFB5-477B-B6A7-2F0EE3DCF8D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fccba67265c328d35a3f7361f69aa1bfae649e5f","datavalue":{"value":"https://doi.org/10.1093/jigpal/10.5.535","type":"string"},"datatype":"url"},"type":"statement","id":"Q4795881$C82F3334-2FFD-42FF-A166-F6698D69D3C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cf44099805bf65e98d2edf173ec3e12572e1cac","datavalue":{"value":"W1986923616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795881$77C14D5B-7435-483F-B39F-F727E4D2DACB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"882a2e8360cf1c29b6965f2cc6cf11c343992a00","datavalue":{"value":"10.1093/JIGPAL/10.5.535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795881$10A22BD4-6280-47F9-BFFD-B0F22171FC81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795881$9F2FB8DC-37BB-4F2D-A974-C0E3CC76C5AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4421612e16ad6837383486b373a7e101e60b918","datavalue":{"value":{"entity-type":"item","numeric-id":5277711,"id":"Q5277711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2316b3ccd11e0edc8327389f2bf3e11c5cecc334","datavalue":{"value":{"amount":"+0.8801246285438538","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":"Q4795881$ADF1EB03-7BB3-4812-A38E-4597527BC9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06d373a0beb8cb233ed682220c51b2f3bea5442","datavalue":{"value":{"entity-type":"item","numeric-id":4539597,"id":"Q4539597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21b1d20858014b0c9ff18125acec7c34d5d10fc","datavalue":{"value":{"amount":"+0.8493581414222717","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":"Q4795881$9ACB94AE-3224-49C5-BCE9-A896B3B50521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e72dbb8e9528e2e38f0b77e7df1ce3fa8ebc0bb","datavalue":{"value":{"entity-type":"item","numeric-id":5465445,"id":"Q5465445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729b9cd570f261363d715d65a3f075e2f5f89a40","datavalue":{"value":{"amount":"+0.8462401032447815","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":"Q4795881$5755626D-1D3B-4CDE-9B10-1DBF2E7E27FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9098dd5d22afc18ed45f01be14fc27829ab762a3","datavalue":{"value":{"entity-type":"item","numeric-id":5479278,"id":"Q5479278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0657b0d05c8f98547dfaa67a71e748550548c4","datavalue":{"value":{"amount":"+0.7949296236038208","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":"Q4795881$84014F51-E6C9-448F-800E-020FEFC7AE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dc339a4fde0379b376156e6a83a10a63fbef112","datavalue":{"value":{"entity-type":"item","numeric-id":4260086,"id":"Q4260086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43f2fe6184d0a7a2dd617a62d34927f21b9bc66","datavalue":{"value":{"amount":"+0.7925975322723389","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":"Q4795881$B70CA349-C3C6-44F5-B49B-E1331FD7619A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PSpace Reasoning with the Description Logic ALCF(D)","badges":[]}}}}}