{"entities":{"Q4659952":{"pageid":6689533,"ns":120,"title":"Item:Q4659952","lastrevid":90595373,"modified":"2026-06-04T20:47:34Z","type":"item","id":"Q4659952","labels":{"en":{"language":"en","value":"On Computing Belief Change Operations using Quantified Boolean Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2148320"}},"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":"Q4659952$7E6B79C2-B5B6-4C84-ADD3-4338A1B5786A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e5a0837541bce889e1667805bacac0de4f68e3b","datavalue":{"value":{"text":"On Computing Belief Change Operations using Quantified Boolean Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4659952$2E1CD7D2-DEB4-4D4C-8417-2A86485ACCB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfd172aea5be5aca529fef2686a29e5a87d8209f","datavalue":{"value":"1066.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659952$161ABC8B-D11C-4DBD-882D-F0B71D27A25A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26bf0cff9e215df3aaf30e4a09d6638e838fc0de","datavalue":{"value":{"entity-type":"item","numeric-id":294885,"id":"Q294885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659952$887CDF89-92EA-45DF-909F-1075910983B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b02b9e7e03e44c0aa9ad28c14a665e922cd412","datavalue":{"value":{"entity-type":"item","numeric-id":421457,"id":"Q421457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659952$110E2F06-2213-44F7-A229-6C872C98A38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659952$DBDC38A2-C9B0-4B37-88F2-4AC9ECBB3E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659952$3215A016-5F31-40DB-A917-E5270D9749B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11b4b9e71888c8ae87efc4750955ed379903fb79","datavalue":{"value":{"time":"+2005-03-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":"Q4659952$F3F1F89C-56F3-4713-BFBE-1A2ACD8A10B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659952$CD15A0D6-078F-4FC9-BA82-4BAB1EA1ECB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659952$06FE82C1-2379-40C1-A0D0-530C00E82BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659952$B1759273-4E7D-4E0E-9777-88063DCDCC1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7635e4528e03bf620d58a4d4e4adc4b532fc89a","datavalue":{"value":"2148320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659952$3F741267-9EE5-47E1-9008-4DBE41EE8DC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedeaeac111061df471ac114d83c77ac38d00603","datavalue":{"value":"belief change","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659952$0863BDCF-D6A5-4351-8F1A-209CBEC1E602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659952$DFCD85BF-6856-4A51-800B-E18314E153A2","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":"Q4659952$4DD9B6BB-D807-4B59-8A73-B44939102626","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4292c572a9bcead083be599d6529e89539656953","datavalue":{"value":"https://doi.org/10.1093/logcom/14.6.801","type":"string"},"datatype":"url"},"type":"statement","id":"Q4659952$8BB110FC-751A-46B2-A7C0-C2F9DDB52976","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b675cd3c5a03ef471ea693b86790c47639b80b3d","datavalue":{"value":"W2066173367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659952$7181C77A-1DBD-4536-8FD1-6A673AA95080","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdfb3acc609b9cb1457fd68b1a316708311a6bd2","datavalue":{"value":"10.1093/LOGCOM/14.6.801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659952$B96AB875-0C05-450E-8505-2BB250465AE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659952$8995360A-333A-4ABB-BB18-53D1925DC28D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae588f6238cda7284c37a380116d20b76c16fe1c","datavalue":{"value":{"entity-type":"item","numeric-id":4784859,"id":"Q4784859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfa59d1f504ffc5aac4d64bca460f220814c990","datavalue":{"value":{"amount":"+0.8554490208625793","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":"Q4659952$D8CAEFA2-1B9C-49EC-BBC3-E2D72312F061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e653047f85c86bd6281c1d6269145a1a3bd83b2","datavalue":{"value":{"entity-type":"item","numeric-id":814523,"id":"Q814523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e961aebeadbcad1c3276d3a5650a2a080c646a","datavalue":{"value":{"amount":"+0.7619649767875671","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":"Q4659952$E3A27879-AB4C-46FD-8E1E-C02E6D7AD4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac35702c9b73c601d3a7b9571bb943bb5eb79be3","datavalue":{"value":{"entity-type":"item","numeric-id":2909842,"id":"Q2909842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06297cb5b889232af56d79cf3baf7acde715839e","datavalue":{"value":{"amount":"+0.7576952576637268","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":"Q4659952$BF687AAB-99E5-4A48-8FA9-AC1FD50D41BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f6f27ed85b53006ece08dd53c8e961370673db8","datavalue":{"value":{"entity-type":"item","numeric-id":1602967,"id":"Q1602967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a215c3fff12a0c974d497123c33ad0036d4de85e","datavalue":{"value":{"amount":"+0.7561448216438293","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":"Q4659952$CEA996E0-73B5-45B4-ABE5-A7A7E9C6DA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b80742f5c678e71b0fc89a16475043e49a36efb","datavalue":{"value":{"entity-type":"item","numeric-id":1575185,"id":"Q1575185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e0145b4b25dd7dd86a3320ff08162f25b4df852","datavalue":{"value":{"amount":"+0.7521440982818604","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":"Q4659952$4AB3A42A-2BA4-4917-A5EA-4715C39CDF97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Computing Belief Change Operations using Quantified Boolean Formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Computing_Belief_Change_Operations_using_Quantified_Boolean_Formulas"}}}}}