{"entities":{"Q2401889":{"pageid":2412632,"ns":120,"title":"Item:Q2401889","lastrevid":44032668,"modified":"2025-11-19T04:56:48Z","type":"item","id":"Q2401889","labels":{"en":{"language":"en","value":"Complexity of model checking for cardinality-based belief revision operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6769615"}},"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":"Q2401889$1D6D0D14-E285-429C-B8F7-EDB52F0B31F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa5af5700afe6fe0f4bd226775a27d86cb462eb1","datavalue":{"value":{"text":"Complexity of model checking for cardinality-based belief revision operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2401889$4BBD84D5-44E7-44EC-A05B-F74B05DD64BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20d9baf19aaaa102ec934e9afff9b74fc5e6c38c","datavalue":{"value":"1491.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401889$E1CB71E6-9824-4A4E-935A-BA9116E04B58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afa7482cbd02c0daa8e58cadd21bb5e6abe656b9","datavalue":{"value":"10.1007/978-3-319-61581-3_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401889$E3CA2177-E269-4F43-9F0C-2B3CA78D72C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b2501ec31141075b0e4a606774080e8f4837bb7","datavalue":{"value":{"entity-type":"item","numeric-id":293436,"id":"Q293436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401889$B7AD3D68-9FDE-4953-A28A-9E09EA16F253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06ef9c7e3d95da2f35c381d650927a668b6c596b","datavalue":{"value":{"entity-type":"item","numeric-id":386043,"id":"Q386043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401889$3800F7F3-57C6-48F6-B5B2-865663D31BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5a5d17b1e32b013dced1390d39c01b458a53e06","datavalue":{"value":{"entity-type":"item","numeric-id":488402,"id":"Q488402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401889$E87E3032-C385-459E-AC98-17E6C68A76AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c91369455d447b2d21e7a7fbb637e8bd07d0d00c","datavalue":{"value":{"time":"+2017-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2401889$716B3A6F-91E8-494C-84D0-B5795AE95889","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401889$AB91A635-8F0E-4198-AC67-1E623BE02AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401889$00FD893F-1936-4329-82FA-265FBF218EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401889$E067DAB7-74C2-4759-9E71-7B469A206C80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b21cdc11a2fd399c2f9d4176b6dccc450b5dd59f","datavalue":{"value":"6769615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401889$CE092385-8D39-45A1-92B1-C140872528F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401889$CC8272C8-2137-469B-A868-6F935F0BED3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401889$4446F263-4F2F-4412-B4C1-0D7C17883765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401889$4A3716F2-3D24-4A64-BEBA-0AC6707B25E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"800255ac4de0b3f0a990154ab09eba92923fdd6a","datavalue":{"value":"maximal cardinality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401889$067FD9A2-888F-4705-B5FD-4FD3DCD90ACE","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":"Q2401889$F432BF39-64BA-48B3-9E65-7180A0C722CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c5764196043a0d7374cdbe2137eb3ebd689acbc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-61581-3_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2401889$16B64475-29BD-4671-944C-8714749CC77D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cb0a60c2d787cc819da8ce9292c7844f9faf76d","datavalue":{"value":"W2625939790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401889$1436FBC8-0F95-4156-8376-FE33B6D57189","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c3b373cf83e7d8211beb29835ea5b4b107a0fb5","datavalue":{"value":{"entity-type":"item","numeric-id":5943121,"id":"Q5943121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87b0cec55582c27d614897305f9886974820a72","datavalue":{"value":{"amount":"+0.9200293","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":"Q2401889$9D00C5FF-5C8B-4204-8EF7-5E003FD0B531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6eec6eef4c9a9ba00b63bf3e7469dcd3fcd775","datavalue":{"value":{"entity-type":"item","numeric-id":3172883,"id":"Q3172883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66cf2a5e7aa3ed474be9f941dc455140785534de","datavalue":{"value":{"amount":"+0.8687042","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":"Q2401889$0233911C-CC55-444A-ADC8-8A19C44C745E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a4789964de886a8ffa8ad76bfefd2aaf84bad4","datavalue":{"value":{"entity-type":"item","numeric-id":3569272,"id":"Q3569272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67d80ad9ac9555a4b346d195b685a1206fd54bd","datavalue":{"value":{"amount":"+0.86394554","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":"Q2401889$163B6134-A3BE-416F-BDD2-D2B71C6AC064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c85101b0991c879a8e53c74afaf64142858b50e","datavalue":{"value":{"entity-type":"item","numeric-id":2891371,"id":"Q2891371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9906dd4d014cda07e019bc1cf69a3befe9ef996","datavalue":{"value":{"amount":"+0.86353034","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":"Q2401889$714F4003-6052-44C3-A2D9-6C96EE88BC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a5096ac076cc3618a967193266d9e9a45c01fc","datavalue":{"value":{"entity-type":"item","numeric-id":3176188,"id":"Q3176188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f033f6d779ea924e5fef3a0e6ad308b14367e4e","datavalue":{"value":{"amount":"+0.8558769","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":"Q2401889$54835890-1540-4114-BD31-34EA166428C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3063e852a837a71ab4521c138668dca85ad5e9f","datavalue":{"value":{"entity-type":"item","numeric-id":4654271,"id":"Q4654271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c29fd56ddb0598a0389f196d28a496d4d4d4c63a","datavalue":{"value":{"amount":"+0.8550791","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":"Q2401889$139CB98D-F0A3-49AA-BCBC-EFCD59C3ED7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99075a29069e8b9ccf7b53999493389a3a9d6061","datavalue":{"value":{"entity-type":"item","numeric-id":4584892,"id":"Q4584892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71c7206a232f3b7ce1329b73fc2b7ab7e20d450","datavalue":{"value":{"amount":"+0.85444605","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":"Q2401889$1DCBFAFB-F78F-41C2-AC43-796D652DC79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f906915a72bb3f81c3e387341a191491cb1f9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3584967,"id":"Q3584967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800ae276239baed6518ca4c94ecb2e4ec95dc654","datavalue":{"value":{"amount":"+0.8504359","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":"Q2401889$7606FCF5-FB7A-411B-BB9E-8E32BEEA712B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95d89062711ee600ca5496b3368ceddbb7727d8","datavalue":{"value":{"entity-type":"item","numeric-id":5492896,"id":"Q5492896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7f040a447ce22b589b642a977a15af5be65bb1","datavalue":{"value":{"amount":"+0.8503885","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":"Q2401889$3D546A55-8DF7-44F2-9782-0795EE582AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57de321feaec295c00e192f0ebc1efdf4a267a22","datavalue":{"value":{"entity-type":"item","numeric-id":5310692,"id":"Q5310692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c551ce2aacc70422296472a18e0ccd03ea0261b","datavalue":{"value":{"amount":"+0.8486134","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":"Q2401889$9D8FAB76-4C69-4381-A30D-FD3B695F2CCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2401889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2401889"}}}}}