{"entities":{"Q4796511":{"pageid":6826091,"ns":120,"title":"Item:Q4796511","lastrevid":74654001,"modified":"2026-04-14T23:46:33Z","type":"item","id":"Q4796511","labels":{"en":{"language":"en","value":"Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1876809"}},"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":"Q4796511$0EA479D4-9170-47F8-A629-BDEACF923536","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84ce94af9af455292bdc7d858ad98c98bfd43d4a","datavalue":{"value":{"text":"Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4796511$E4E01708-FE20-440A-A5AA-F8AD52FBE702","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24bf17f80f5611d31a642bbb74e450d51ce6bb95","datavalue":{"value":"1021.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796511$6841A178-6215-4F49-BE89-307BA355C8EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f4ea1efee24d61ac529f7c23d216b29b9ae9c81","datavalue":{"value":{"entity-type":"item","numeric-id":209489,"id":"Q209489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796511$9A8867B5-3A89-4745-B748-9F59D3BEC17D","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":"Q4796511$F0400C3E-2054-4AC1-AACA-AF0D0CF5565A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e47904ded443e266686011e452213a02922154b0","datavalue":{"value":{"entity-type":"item","numeric-id":2028725,"id":"Q2028725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796511$69F4FB0B-751B-4A38-A3F6-D88C97FB2C24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac7e457c13a6fc575ac6a3f0a43b59f9a10be41e","datavalue":{"value":{"time":"+2003-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4796511$E751FDAD-F451-46A3-B39F-72E57264004F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796511$32DA6105-9B38-49D0-930D-272CEB6EC7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796511$4552F935-DB94-48F3-B881-C58F26422322","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82d065d6629f587cd2228e4f9253b82b5a8e1fa3","datavalue":{"value":"1876809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796511$D956F8BC-D123-49C9-9626-9B853B714F8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796511$E1FAF5AD-8130-49FE-AD32-8B8CCA82EF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796511$71B7C2AC-E9CA-474A-BC1A-7752CE80DD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad50f51004fd877c150b4f3dafb3e70ce9956b19","datavalue":{"value":"deletion on object level","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796511$A3C703C4-5152-4AD5-9A68-398B61BA927B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74eaebf7607381f88fd572e729d2f453f7e664b8","datavalue":{"value":"anti-formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796511$9FB83702-2978-4A2A-A484-925C9F6BDCDB","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":"Q4796511$952523FB-785F-40C6-81D1-3CAB42FED5E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8719593a4fa3cd0100902e669b4dfa751141f6b8","datavalue":{"value":"https://doi.org/10.1093/jigpal/10.6.601","type":"string"},"datatype":"url"},"type":"statement","id":"Q4796511$0A41B109-B78E-4731-9665-E4CC3FC9B8B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf5f7e6340641c0971018cbe08954b7fcbd5eb57","datavalue":{"value":"W2018760262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796511$57E43D77-5F09-4D95-ABE0-FC5DFAC78B2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df766017913cb5b2857c9affaae6b6f98309b30b","datavalue":{"value":"10.1093/JIGPAL/10.6.601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796511$E4A8676B-8285-496B-B9A0-E082EA8D2C78","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":"Q4796511$72B0016C-F16B-4734-9E1D-978F461B18A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c2e245036b90c6d879652cf595afea0a1f4b7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5711861,"id":"Q5711861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0b96da5608d165febc6cb469ec911b16b9546f","datavalue":{"value":{"amount":"+0.98647517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796511$1456BF47-404E-4971-8261-3D61845F5B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aca2fc0fc3ff5e056b2cb6c20bb616c4d712120","datavalue":{"value":{"entity-type":"item","numeric-id":5044549,"id":"Q5044549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e6d646e8e9f027aa9ae17f87558dc69aac87ee","datavalue":{"value":{"amount":"+0.86729246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796511$73177507-B16C-4A88-ADA7-8CD7D01520D7","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":"ff2d72ad6d68d4e98732bf91ae15b9fffa8d9e1f","datavalue":{"value":{"amount":"+0.8575231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796511$7BBFD1B9-E7E6-4C61-9982-03FEA3A44685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ea1eff4d562e6dfcbd8753cafd2329d35feb8b","datavalue":{"value":{"entity-type":"item","numeric-id":4576185,"id":"Q4576185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c2436e0a5f0bbc59c70d7c5cc61ac5931e0741","datavalue":{"value":{"amount":"+0.84695154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796511$9CDC8AC1-936C-4E65-A9D6-A98F67996121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d885227f885cbf4619d0b2a0a4268af7c45e49e0","datavalue":{"value":{"entity-type":"item","numeric-id":5279185,"id":"Q5279185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98fed70b17928a83c6396c1f0c03c650e8cde9c","datavalue":{"value":{"amount":"+0.84576595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796511$5E738B69-5482-477A-B53B-06AAA2733EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e8ddce3e6702af501d866c1cf56a670f67266a","datavalue":{"value":{"entity-type":"item","numeric-id":5394143,"id":"Q5394143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576c99388ea717334e0bd792b411f6c13a06841b","datavalue":{"value":{"amount":"+0.8434583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796511$387BC51C-C10A-483B-AEB7-215168F006F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4269cfb22a072ea9f02e72955562cbc2704d36","datavalue":{"value":{"entity-type":"item","numeric-id":2372198,"id":"Q2372198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576c99388ea717334e0bd792b411f6c13a06841b","datavalue":{"value":{"amount":"+0.8434583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796511$3EC6CEB1-5485-473D-A29F-CED2D81E5FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a58d94bb57000f6bc92c805bf1a96dd4d60c2bfc","datavalue":{"value":{"entity-type":"item","numeric-id":676308,"id":"Q676308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815b6b1e325299f9feabbae35bc2cdc1b05c2152","datavalue":{"value":{"amount":"+0.8426354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796511$29C17A6A-BBF5-4FE9-8947-296C5595D00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb51721a2cb84a668393920674daf82d56044e6","datavalue":{"value":{"entity-type":"item","numeric-id":2106882,"id":"Q2106882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022f75d824a5acec495609726346ade2887df386","datavalue":{"value":{"amount":"+0.8425901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796511$5712A795-9E2E-4888-811D-CE29C5438DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cac800603a0f7b3647f4fa47388310e55ee12d6","datavalue":{"value":{"entity-type":"item","numeric-id":2938533,"id":"Q2938533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c26a00bca968e272d7000ec2402ad83a469d46e","datavalue":{"value":{"amount":"+0.84023196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4796511$99FD922A-DA25-4AF5-AFDC-F6EF2B4419E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Belief_Contraction,_Anti-formulae_and_Resource_Overdraft:_Part_I_Deletion_in_Resource_Bounded_Logics"}}}}}