{"entities":{"Q5738965":{"pageid":7768517,"ns":120,"title":"Item:Q5738965","lastrevid":52826873,"modified":"2026-01-23T14:25:32Z","type":"item","id":"Q5738965","labels":{"en":{"language":"en","value":"Revisiting quantification in autoepistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729774"}},"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":"Q5738965$7F5E7F1E-12AC-4E68-910A-90212DF05523","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a35ea360c6c6aac870ee787f43dcff344fff0998","datavalue":{"value":{"text":"Revisiting quantification in autoepistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738965$CE575926-A965-42F6-8FB9-1693A4D95212","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cfa2ab1e602a1146dac61dabe00d980e37afcd3","datavalue":{"value":"1365.68406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738965$DCEE62CD-1E4C-4F85-9868-66109216B564","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5db29b70764a81a77f60587cc1038a96ff515403","datavalue":{"value":"10.1145/566385.566388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738965$57ED18C2-580E-4538-9236-07D26E67ED6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738965$ADB890A7-706D-46A9-96DF-C6F0AFD780C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c55a78d0633e685974140fac27ae3a32bec26353","datavalue":{"value":{"entity-type":"item","numeric-id":4507866,"id":"Q4507866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738965$BF28DB6F-35F7-4DD1-BE29-86ECF463970D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738965$1C19ED24-57C7-4225-AE82-73CEE4C767E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738965$EF7E592B-5DCF-4310-97BA-DAF7E1AFDE63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738965$E169C983-290C-48BC-9D7B-BD7C2773CA2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e16a32781d24508227c5a05f27dcb60dee5a8046","datavalue":{"value":"6729774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738965$4F54A490-2CD7-4565-8C5D-2A563F8A0501","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738965$0B237A21-29DB-47BA-980C-1D569AD24331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8223070af44dbcd5535d113eb5a26a71e7a318ca","datavalue":{"value":"Herbrand semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738965$315F788E-B834-489E-AFEB-1027D6ACF1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738965$8AF130EE-F455-4040-9A56-585BB0BA3873","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":"Q5738965$2E7B4AF0-D2FC-4AA8-B542-FFB0F6B9A628","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35e473ae0a1cd0d8303a0ff3ef230b4701d2696e","datavalue":{"value":"https://doi.org/10.1145/566385.566388","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738965$7D8B6C36-CFD7-4199-9BCF-31AB0F538580","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bc245e6b7d9bee5044a1c4feb79cbd16a84f1da","datavalue":{"value":"W2030773975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738965$40C58918-D8C9-4275-B907-825C5D576607","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7bb587756736d9b201f0c4df6a8c027955554cf6","datavalue":{"value":"Q130890663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738965$4E0407F8-BCD4-4D8B-976C-23FE1D9120C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ee23f683faee64722292bc5dd3ba684ce49006","datavalue":{"value":{"entity-type":"item","numeric-id":1344888,"id":"Q1344888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d868be3d7a7d7a722ac3fb60b81508249caf15","datavalue":{"value":{"amount":"+0.8283622860908508","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":"Q5738965$9BF85267-96DC-40E8-84FD-BED2C4B48CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454113aa989a0548b2a715352cf556fb85e228ee","datavalue":{"value":{"entity-type":"item","numeric-id":3486550,"id":"Q3486550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd05175d501fc7ac354275e9417db50e0e297f49","datavalue":{"value":{"amount":"+0.813068687915802","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":"Q5738965$DC983870-B86B-412D-BCDA-1FEF556F7478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb9fae495eb7edc0200cf0a50c5c77820be29263","datavalue":{"value":{"entity-type":"item","numeric-id":5750425,"id":"Q5750425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c760aefa42dd85dc672094121bd069d6a5f7fc27","datavalue":{"value":{"amount":"+0.7837679386138916","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":"Q5738965$547AE088-2843-4613-9796-A52CF3C3F78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebb7fec94f38c576aef40de450d2de7b5dd2e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4906889,"id":"Q4906889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15f54f1789b99e02cdd37591d01b1fd4d0c18bf","datavalue":{"value":{"amount":"+0.7782900333404541","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":"Q5738965$607C28A4-D12B-4C24-AD19-FF0693C82C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a418bdd253a523bfe6b897693f0d30c39224be5","datavalue":{"value":{"entity-type":"item","numeric-id":4507867,"id":"Q4507867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ea78212a4ee1ea197f6667c3b2a3657f27880d","datavalue":{"value":{"amount":"+0.7647040486335754","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":"Q5738965$A02EA285-A820-4B38-A437-EA433DB99376","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738965","badges":[]}}}}}