{"entities":{"Q6535861":{"pageid":14147004,"ns":120,"title":"Item:Q6535861","lastrevid":103503860,"modified":"2026-06-06T07:30:18Z","type":"item","id":"Q6535861","labels":{"en":{"language":"en","value":"Depth-bounded reasoning. Volume 1: classical propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7812111"}},"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":"Q6535861$38FF1FDA-9ADB-45B1-82CB-C2F7FCA8DFE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f95aa74a89e64119a25e1a2d0ba942a8c8482bd2","datavalue":{"value":{"text":"Depth-bounded reasoning. Volume 1: classical propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535861$A4BACA8D-2360-4FA1-9D04-81A6B3B004FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"512d14be580746db36d88b200289c7ea9812eaa7","datavalue":{"value":"1542.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535861$43274535-873C-4404-BFB3-83690C2BB9FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd74b551dc598d94e51622f5fee0611a3782ba4c","datavalue":{"value":{"entity-type":"item","numeric-id":281147,"id":"Q281147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535861$ECFAC299-E9F9-484E-AFFD-E2336F3C7910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535861$7270F1DC-A6F9-4E9F-97BE-2BB61C770BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dea4b4e3b2aa3cc1a2c3ac13157e402b07721607","datavalue":{"value":{"entity-type":"item","numeric-id":1632179,"id":"Q1632179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535861$543AD149-F453-4F23-933D-DABD804637FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19276001668108f461d0da6138a72576dd2146b","datavalue":{"value":{"entity-type":"item","numeric-id":360131,"id":"Q360131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535861$5F61E003-34EE-4B1D-AFAD-83F215534BC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2447854af9e49988330696b9792b09f412c6ade7","datavalue":{"value":{"entity-type":"item","numeric-id":6535855,"id":"Q6535855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535861$880CA018-B996-4677-8A15-69D2AFDF241A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b4f8179f4c5af9d5e23c2be86ce4f3fdf855100","datavalue":{"value":{"time":"+2024-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535861$B55889B8-4960-4FB0-A3CE-2E211BAF6D61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535861$792E7156-DCEA-45EE-8618-2EB2EEDE999D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535861$52ECD86F-C6AB-40D6-976D-89E0BCDA7974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535861$027A8F06-DCAC-484C-81B5-0393DC3B3425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535861$18D4BE43-5DAE-4B9F-BF0F-C6EB98C990D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc0773e15945d56a187ee78d494b8de8c139db54","datavalue":{"value":"7812111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535861$BC7F8796-F69A-4DA0-B5F2-9F5AFA3793F9","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":"Q6535861$E551091B-6361-4510-A01B-6494EF4D300C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"399dcc203081bb6f779deb66c8b135215cf87c8b","datavalue":{"value":{"entity-type":"item","numeric-id":3584010,"id":"Q3584010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e2dd73f713b86bb6ad5a8ba801f8a573476a8b4","datavalue":{"value":{"amount":"+0.816952109336853","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":"Q6535861$A1E5CA15-72BB-4E25-A86B-F7ED68F8317D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebf05996b83aa44eaf616717a41f0e257edddac","datavalue":{"value":{"entity-type":"item","numeric-id":2157601,"id":"Q2157601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4f4125976cfbefd65c85babd4ad146235216d1","datavalue":{"value":{"amount":"+0.7948798537254333","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":"Q6535861$7CC30386-AB9D-40F3-917C-331AC58EFF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3d62c85d5c9e55ab36a8626ab6316b1f5204e0","datavalue":{"value":{"entity-type":"item","numeric-id":1799294,"id":"Q1799294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059aaf84db10017f855cb9082077c347d62bc58a","datavalue":{"value":{"amount":"+0.7820618748664856","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":"Q6535861$1C0ED375-DAE6-4B09-BCC0-FF0F5190204F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"561abe1385572967b19311f096103bd10c61cb38","datavalue":{"value":{"entity-type":"item","numeric-id":6097771,"id":"Q6097771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71ef663ac2734912d9ff9b0730a3066e5dfd39e","datavalue":{"value":{"amount":"+0.7789293527603149","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":"Q6535861$A61C15C6-72E8-4470-B76D-7E330221CA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c38ce4248f9c99362def453a03395bbd26cea89","datavalue":{"value":{"entity-type":"item","numeric-id":897935,"id":"Q897935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3bb4852fa3172066f417c593bdeace88b44768","datavalue":{"value":{"amount":"+0.758551299571991","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":"Q6535861$D487606F-4A23-40D3-AD33-8DDCDDAAFF5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Depth-bounded reasoning. Volume 1: classical propositional logic","badges":[]}}}}}