{"entities":{"Q4302848":{"pageid":6332449,"ns":120,"title":"Item:Q4302848","lastrevid":47265094,"modified":"2026-01-01T04:23:15Z","type":"item","id":"Q4302848","labels":{"en":{"language":"en","value":"Autoepistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622328"}},"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":"Q4302848$202FE234-46E7-4B13-9665-A96BD3105E41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"373b3b66938685d62373dda16b4feb100fa9953f","datavalue":{"value":{"text":"Autoepistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302848$1B37E5AE-D17F-4EBF-A476-06935B3CE303","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f16c8b2afef5cf7e84ad172a5ec36f620d313264","datavalue":{"value":"0799.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302848$F9DA5D43-7078-4199-A815-EBB72B4C383F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6846e3b2b779285eff8e9c75203bc443a8f3bc2","datavalue":{"value":"10.1145/116825.116836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302848$432C54CE-B329-482F-9A3D-9DE231BDEFE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff666a2845ea1366016230a34f1ca97820fb5d6","datavalue":{"value":{"entity-type":"item","numeric-id":388663,"id":"Q388663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302848$999D3035-3F60-4DCE-8B49-72F505663FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca2007526997750f6621dbd8268e4738be04df24","datavalue":{"value":{"entity-type":"item","numeric-id":286082,"id":"Q286082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302848$A639F156-B8E1-47D9-8B7E-20A6D0369CF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302848$6CEC04AB-9CF1-44B9-BCC3-3FDA0A0D194E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa19c9ba2bfb06d6b3228b43c9df9a36396a6316","datavalue":{"value":{"time":"+1994-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302848$2906F9D6-9663-4A4F-9074-AA6DF45B611B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302848$E2C535FE-B042-43E4-AD54-883780AA0383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302848$8BFC80D3-47A4-4647-BE3A-D522D3DEFE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302848$E95969CC-317C-45E2-BCC6-3637FA6D9ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302848$4AD0D079-6A44-49A6-B4E0-6196614C34B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302848$D783F776-43FC-4C3D-BA47-3A9CD6AC7369","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4d9602086ae6b725c3577240886b83deba62e15","datavalue":{"value":"622328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302848$FBED0DC5-B029-4EDE-ACB4-D9F8B68C542B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2db40c62fbba481c23c52e595e1d3bd4320088e","datavalue":{"value":"mechanical theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302848$0B5DF486-6D6A-4219-8414-31184D1B5281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302848$4410D56A-1E66-4A6B-923D-BAD9BD8C50D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302848$BB42D233-3AB5-46EC-994B-FAAAB9898F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56e5793ea33870a204239ad40fe7f02bf24fac2","datavalue":{"value":"expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302848$1FBE50DA-54E1-449E-8771-0BF77FA9CF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302848$DAA8CDE5-6AF4-4455-80A0-AB74F4D95115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302848$E538787E-2CA7-4226-9CD0-43214E0CB10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f23b08d2781e3f127d59df2af253bb6089bfce7a","datavalue":{"value":"stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302848$3A3E96CA-4FCE-4442-BD24-4C4BA0A352F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302848$77F48B69-F175-4AA5-9183-5A3042696237","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":"Q4302848$A2BC080D-93BA-4C8B-96A7-AB9F54CFF452","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cb8b0d585ed372abbe4a81726651a0d719bbbce","datavalue":{"value":"https://doi.org/10.1145/116825.116836","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302848$30DC9DA8-0D92-4E66-B3A5-CADF636F7AED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79687710acbcf380ceb81c02ab9cb8484ce8aac0","datavalue":{"value":"W2611415697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302848$7781BF5C-099B-4DED-AB34-D3E4EBE82B8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bb99ae193d543de930ba3d8898ef455ddf345c","datavalue":{"value":{"entity-type":"item","numeric-id":4278739,"id":"Q4278739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83f1ea3a8878873b92c8feb6724c2b503e62a94","datavalue":{"value":{"amount":"+0.9047874808311462","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":"Q4302848$BC8690E8-E40D-48CA-B493-4E94982550A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81eec7d7b73f4133e9b894d6a40f3dbd8f69c65","datavalue":{"value":{"entity-type":"item","numeric-id":1272349,"id":"Q1272349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ce45348ee267530c9a33b61fae5703654f0981","datavalue":{"value":{"amount":"+0.8851747512817383","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":"Q4302848$DC90F778-B0E4-42A0-B91D-ED6697BD1E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789623959325f74e70fb086616e176ff29dc8255","datavalue":{"value":{"entity-type":"item","numeric-id":1891263,"id":"Q1891263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ce45348ee267530c9a33b61fae5703654f0981","datavalue":{"value":{"amount":"+0.8851747512817383","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":"Q4302848$76C279EF-D2F8-457C-A29F-2A6A956EA6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab494eff9185ac5525528cf71c6769108ac63bc","datavalue":{"value":{"entity-type":"item","numeric-id":4287511,"id":"Q4287511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c414dfd2e7d41884bed9f419eb841fc7c387c1","datavalue":{"value":{"amount":"+0.8753874897956848","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":"Q4302848$BA5CDAD1-67F2-47C1-9AB0-68244482E107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83483bdd144755e1614f43414f458dde66426561","datavalue":{"value":{"entity-type":"item","numeric-id":2276949,"id":"Q2276949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139cda9dba94a564befad0df09885d7749984a42","datavalue":{"value":{"amount":"+0.8736957311630249","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":"Q4302848$AD051EAF-E5C6-4878-931B-ED50B59CA417","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302848","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302848"}}}}}