{"entities":{"Q1415946":{"pageid":1426686,"ns":120,"title":"Item:Q1415946","lastrevid":68651874,"modified":"2026-04-13T01:12:08Z","type":"item","id":"Q1415946","labels":{"en":{"language":"en","value":"Fast algorithms for revision of some special propositional knowledge bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2015244"}},"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":"Q1415946$4151CE28-F60A-4DF6-ACF5-9F6E2C5692A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac6708bb67d6d9642b42b7a5714a7c23bc8c30fb","datavalue":{"value":{"text":"Fast algorithms for revision of some special propositional knowledge bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1415946$9A2B5587-85E9-409D-BDFC-B60B1330415A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"784c9f1a38a55ccaa02c7c60c1f95e447b061930","datavalue":{"value":"1046.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415946$AF624330-8422-404F-906C-92C700113130","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24c4a86abb929b74e805c408f79b53841f4d68d0","datavalue":{"value":"10.1007/BF02948909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415946$B5D5C39D-B19C-477C-9958-0E18936DAB24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415946$1ACB5D40-791F-4525-835B-394674B494E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61d719a76b59b832f7357f0ad884f9fab21a0039","datavalue":{"value":{"time":"+2003-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1415946$B16EABCE-9232-4FF8-8532-24CA9C2C1E8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415946$A42BB8B6-A4CA-4E3C-92F2-624078C17883","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcf8b9e4073f6f6e7c5f5cfed468a4177ef78b88","datavalue":{"value":"2015244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415946$9C77AB92-F97E-4851-8B57-3B36FCACA81B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c82489ab6951f080e42847f7f25aad37142ad020","datavalue":{"value":"propositional base revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q1415946$2669F41F-0D91-4E82-A03B-08D0F2956C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1415946$6AA80553-739F-44B4-B6D9-D85C2E1F3B71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01526c02f28b41b9f3a3d1a59e1a780221c30cdd","datavalue":{"value":{"entity-type":"item","numeric-id":866188,"id":"Q866188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415946$B3BD0A62-6E68-435B-A92F-6222D4A218C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bf4b1bf94036b5252d1b8d5cd4b3a1ff96c3d77","datavalue":{"value":{"entity-type":"item","numeric-id":866189,"id":"Q866189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415946$A9A5799B-22FB-4B8E-B1C6-BD400EE5581C","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":"Q1415946$5244A6E5-06AE-4B81-9C05-D1A2A8E45070","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64400c8a21f954d4d1e64a4e4ad36dc3d3174f52","datavalue":{"value":{"entity-type":"item","numeric-id":1103419,"id":"Q1103419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415946$60A3033B-D84D-4733-B85F-CF2BDAE1932C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d4601a7a68daa38eb0a1fd1c184b4a6ff2bc10","datavalue":{"value":{"entity-type":"item","numeric-id":5750466,"id":"Q5750466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415946$15FD1894-8261-48FB-9E3F-287F0CAE9169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113adb4ba1e3bd0177197069b543187572980809","datavalue":{"value":{"entity-type":"item","numeric-id":5903759,"id":"Q5903759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415946$B0C53762-B063-4DAA-A5DA-6762BED00407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd793e3cc41e1cfdd728dd923578990c02b6660","datavalue":{"value":{"entity-type":"item","numeric-id":1199919,"id":"Q1199919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415946$96A7CDD1-B181-40C7-94A6-96B9CDF06F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869cc242c24f4460d49da03068d32477b8153f22","datavalue":{"value":{"entity-type":"item","numeric-id":4003337,"id":"Q4003337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415946$0B27E8FD-D509-497C-8813-372FECC49C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415946$070A9113-1C0C-447A-8B45-C1FFAA1CDBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415946$C75BD3ED-5A1C-4E07-A7D3-5250DD4AC618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415946$6B91909C-30FD-43EE-909E-1E8B1B492047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44841c3783b391f04efea8c5ca7c77cab618df7","datavalue":{"value":{"entity-type":"item","numeric-id":1353999,"id":"Q1353999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415946$FD46A83B-2235-41C9-A9D3-0DE71EA8934E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7deb9824ddce440178402d1a7709929318e5b1b","datavalue":{"value":{"entity-type":"item","numeric-id":1894352,"id":"Q1894352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415946$E50B7D46-14AA-4803-BC78-FD5EFDA02A28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaeb2aaeba4a86b3a8126913f2f4bdbd988194a9","datavalue":{"value":{"entity-type":"item","numeric-id":4229567,"id":"Q4229567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f687dfbfc4ba1b79049c92e083c8ca065366d1","datavalue":{"value":{"amount":"+0.9163461","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":"Q1415946$6C0410AD-16C9-4509-9C04-A348EA29934C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f616c0db3caa4eff32e0cf834aa5b7ef5c854b1e","datavalue":{"value":{"entity-type":"item","numeric-id":2425850,"id":"Q2425850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7b55758cd4ac66c71135db5a2a07f812da7fa46","datavalue":{"value":{"amount":"+0.8984637","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":"Q1415946$B1906AE9-E5CC-4C2F-92EA-0E8CB09AFE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a9d0a2d317f4ab12a555c4dc131b42730a466f","datavalue":{"value":{"entity-type":"item","numeric-id":1189876,"id":"Q1189876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1bb533fc3f403c848d50d297cbfca2f31ef546","datavalue":{"value":{"amount":"+0.8819907","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":"Q1415946$5C1FFB03-575E-4412-984F-786AC552E637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d0b1a6fd612d00e7a44cb324907f24003e3e22","datavalue":{"value":{"entity-type":"item","numeric-id":1199919,"id":"Q1199919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9f9ab3c4bc144dc8af3cf80c30f9d9f966968c","datavalue":{"value":{"amount":"+0.86792254","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":"Q1415946$38EDBE5B-EEA2-4705-88AC-C79D0BC34EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e3647417e57a23045db5321fc213aee2b6ae7a","datavalue":{"value":{"entity-type":"item","numeric-id":866190,"id":"Q866190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8d8249f081330e6a2ea519c2bb2f94ad669353","datavalue":{"value":{"amount":"+0.859882","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":"Q1415946$98E45E18-A05A-49B8-A376-99FE9CFCF43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a63a882f87e00b81604aa63d98b58205d4a8961","datavalue":{"value":{"entity-type":"item","numeric-id":3533147,"id":"Q3533147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8348ea7f3451dc5e37dd3b4f2bee94f585cc5d68","datavalue":{"value":{"amount":"+0.85493124","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":"Q1415946$49B44139-9336-4CB6-A2F9-3B23DC66A31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93bb8dcb46dc45443d3d2d4a0095003c330461ce","datavalue":{"value":{"entity-type":"item","numeric-id":5751985,"id":"Q5751985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d597182e5d9214aa5a781c5c22392c5a2a8072","datavalue":{"value":{"amount":"+0.8505834","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":"Q1415946$B21948B7-61C0-4D40-A6DE-6623FDBFA92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b87b7cda223c81bea849035e86eea12931e6bcd","datavalue":{"value":{"entity-type":"item","numeric-id":3821631,"id":"Q3821631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b53d16048f1a7cea34cc9a5d58ee261ad5ee543","datavalue":{"value":{"amount":"+0.83989096","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":"Q1415946$B6CD2BEB-6084-4614-8FFD-1E9D37030C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f61ef80862fcf1751f006e5a4b1c65e784fb566a","datavalue":{"value":{"entity-type":"item","numeric-id":2248531,"id":"Q2248531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d3124d6e8dd9fcb0d622783c13d986d57fdcf2f","datavalue":{"value":{"amount":"+0.83532137","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":"Q1415946$9270A063-0169-41EE-B45C-71D0BE151CCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast algorithms for revision of some special propositional knowledge bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fast_algorithms_for_revision_of_some_special_propositional_knowledge_bases"}}}}}