{"entities":{"Q3584010":{"pageid":5613914,"ns":120,"title":"Item:Q3584010","lastrevid":51059315,"modified":"2026-01-16T10:50:43Z","type":"item","id":"Q3584010","labels":{"en":{"language":"en","value":"Tractable depth-bounded logics and the problem of logical omniscience"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5772820"}},"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":"Q3584010$EBAD8DF6-B692-4AE3-A13B-AF896E033747","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ef2e3af6b6787c4494c98ad3ce0568bef930c46","datavalue":{"value":"1206.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584010$D92E9F89-DAC1-447A-89D0-5F9EC6D6AA5C","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":"Q3584010$D5A5042D-BE61-430B-A305-06AF5480CF61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ecc80aa41127c5c5083080112fd2c5d84f2bb11","datavalue":{"value":{"time":"+2010-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584010$6F03F493-AD52-412F-A506-8C0F212D5B70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584010$1D366C04-060B-4A27-8E2D-E80479FF16DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584010$F7E7032F-411E-41A4-BB13-3DCAC1CBE185","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5d4fe778f70085f955d51f240c38da3842e9ce2","datavalue":{"value":"5772820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584010$0D112F2E-A73E-4CBD-8659-A3E84DC432C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cb306d64a27fe24e658c6f12a47062d134b4093","datavalue":{"value":"logical omniscience","type":"string"},"datatype":"string"},"type":"statement","id":"Q3584010$1E7CDAD0-9356-445A-8335-AB75A03B5685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"300821aa018e345fff379ef8deb05d64ce6b4f29","datavalue":{"value":"approximations to idealized reasoning agent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3584010$5D7B51B8-7948-4B3F-A81E-E838815BF7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3584010$B5CC6B39-F06F-4728-9950-86F3952C57C3","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":"Q3584010$FB80A7FF-5679-426B-AF71-55ED854524C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b1f01fa63bfe1e049b81c9b3a26f1959630786","datavalue":{"value":{"entity-type":"item","numeric-id":2996156,"id":"Q2996156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9e77279f0c0dd021cbcd064b3d3534d05aacbc","datavalue":{"value":{"amount":"+0.7788398861885071","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":"Q3584010$0AB2EA08-6CCD-47A8-B08F-08A45668E183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ca470014fc786fa5abed6d98af062194ae33bc","datavalue":{"value":{"entity-type":"item","numeric-id":385021,"id":"Q385021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9c26f3502da64adf7cb8e5c6ff75831bd12fa9","datavalue":{"value":{"amount":"+0.7769762873649597","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":"Q3584010$1833062C-938F-43B8-82C5-C7508D97C2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b10c9f5d9ffe0f34f4c3e6f4e97e8072e7a63f","datavalue":{"value":{"entity-type":"item","numeric-id":1096610,"id":"Q1096610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf666e0bdfb298c70be94c2105ee343a6171719","datavalue":{"value":{"amount":"+0.7658184766769409","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":"Q3584010$3F01971D-1B9A-4C24-B6CE-FEDC981F8A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22d3e71b13b196172347a9f3fea86fc81a624e6","datavalue":{"value":{"entity-type":"item","numeric-id":4332468,"id":"Q4332468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bd938da014ce095056e76b8841b8fa992b384c","datavalue":{"value":{"amount":"+0.763324499130249","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":"Q3584010$9743D50A-7CD0-41BA-98B7-387AB57A76F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89099fe301da178effdb102af0cc3d4c4f84611e","datavalue":{"value":{"entity-type":"item","numeric-id":2987746,"id":"Q2987746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd4e894d8997b25f2db8a655d83d4c08045770c","datavalue":{"value":{"amount":"+0.7625980973243713","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":"Q3584010$BACAAD7B-EF9C-470F-AD4C-8ADFF5FEDB38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3584010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3584010"}}}}}