{"entities":{"Q5943121":{"pageid":8119923,"ns":120,"title":"Item:Q5943121","lastrevid":47665609,"modified":"2026-01-02T09:18:32Z","type":"item","id":"Q5943121","labels":{"en":{"language":"en","value":"Belief revision and update: Complexity of model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642265"}},"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":"Q5943121$F3423E57-9DB3-47A4-9071-03544BD995A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d95805bacec071b12ba21e45a7467afee73660be","datavalue":{"value":{"text":"Belief revision and update: Complexity of model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5943121$7E838189-681B-4E5B-85A6-905D6DE02E3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e5478ea56ed70edf450527df4782e9f69e653f7","datavalue":{"value":"0990.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943121$B4C04720-D0BB-49AB-A428-DF59EACB9EC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b0e56c25c2b7d0d8276bcdd33dabb0c16cbbccd","datavalue":{"value":{"entity-type":"item","numeric-id":202172,"id":"Q202172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943121$5E1B6C47-4052-4752-99EC-C610CF55AA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfa319edb343a88799f4301c6459138449825083","datavalue":{"value":{"entity-type":"item","numeric-id":202173,"id":"Q202173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943121$F6D190D9-AFE5-4807-ACB0-076B4BE2F05B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943121$2CCB0F32-E604-435A-A080-6F5B8C6130B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65236f11c6868324c9cf523182acd6ee7e837356","datavalue":{"value":{"time":"+2001-09-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":"Q5943121$7747A43C-FB5B-457C-9727-751F3D505BF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943121$EDA9947F-C480-4521-A2F5-690A9E202079","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23358dab272f109f4347304d2dceb5193990f5c4","datavalue":{"value":"1642265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943121$FEFB4C5C-D667-45DC-87E4-943DA0876F69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1badf97afec64de486c5ed46f4df943e81758dc4","datavalue":{"value":"formal modeling of common-sense reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943121$0B9E3EE3-9A24-4D67-988C-1C2FDD179836","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":"Q5943121$4BFCBED7-5782-4851-898C-587531BD3B75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4666d8902b1e4d7baf532776b29e68f22cbd492","datavalue":{"value":"https://doi.org/10.1006/jcss.2000.1698","type":"string"},"datatype":"url"},"type":"statement","id":"Q5943121$A2D98237-7A1F-4F9B-95A2-46568A10A555","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caea028a99b1fb682c980b6ee26512c06414a514","datavalue":{"value":"W1967138724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943121$784E62EE-770A-4F36-A7FF-EB56D0ACA4F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943121$E5513B2A-8595-46B7-A108-E0ADC740575F","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":"Q5943121$32252AA6-0CB1-4CA7-8FCB-DA89FC733D98","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":"Q5943121$AD4F753E-62B7-4A25-A5EE-6A7CB8B35292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a577e0da01ec1adc44266e1d896fae0d9ab7207","datavalue":{"value":{"entity-type":"item","numeric-id":3107917,"id":"Q3107917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943121$1D57A5F7-3812-4C03-9277-768A86CF7507","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":"Q5943121$519DFEE3-3621-44DB-917E-0171973B3C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f87e0c14123257a7d92334ce438dc07fa1c084c","datavalue":{"value":{"entity-type":"item","numeric-id":4016548,"id":"Q4016548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943121$90EC3B6C-0CAE-4D81-90DC-EC5072E49222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c568fbb12fc5452c9699a0a3e0159154b2a6454a","datavalue":{"value":{"entity-type":"item","numeric-id":4385525,"id":"Q4385525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943121$B05880A3-37E3-4539-866E-A724F1F34BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0216e5a9bf29271c71e32daba01395b31c649379","datavalue":{"value":{"entity-type":"item","numeric-id":5751985,"id":"Q5751985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943121$1E6584CF-8DC5-4511-9426-CED12183E962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0b53867c88a73a7a906320d0a81056ca94fdd2","datavalue":{"value":{"entity-type":"item","numeric-id":4028812,"id":"Q4028812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943121$BD735CD9-45C0-4C2C-BAA2-CF2FF8ECDEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e724dfd30072c517bda3ea5885b5018ea4eef23","datavalue":{"value":{"entity-type":"item","numeric-id":4028815,"id":"Q4028815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943121$CFF6B087-1C2C-427A-81EB-A68AC5B87833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943121$23880341-91E1-4209-9B41-47424913D304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ddcb140c43060e07d701c755da306f95a6f3311","datavalue":{"value":{"entity-type":"item","numeric-id":3198896,"id":"Q3198896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943121$BB325E69-19B2-4AB5-930B-7BD5037CB992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c35621b2ed5ed557d15acc7529d8ec02f18cc9","datavalue":{"value":{"entity-type":"item","numeric-id":3995235,"id":"Q3995235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943121$65358BBA-498F-4B61-88AA-D73BDC595BFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0770c6572fe0089e4f242046ad43a535873a6f2a","datavalue":{"value":"10.1006/JCSS.2000.1698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943121$2BEEA506-67AD-45F4-91C0-70988D7362F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ecbaf81dc288b67b8bbc9442774351fd973ecd7","datavalue":{"value":{"entity-type":"item","numeric-id":2401889,"id":"Q2401889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf8df6806d7a741f3b568e02ac3c6d8bfa95642","datavalue":{"value":{"amount":"+0.82982337474823","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":"Q5943121$3EC5D015-0B6D-4AB4-BC1A-5E9A596DD956","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":"4cbe3958cb811ffff9b6c7378d72443f1af7cae9","datavalue":{"value":{"amount":"+0.8251872658729553","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":"Q5943121$C4F89E21-A22D-4B99-888E-4F894B5B3F9D","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":"ad0c85422774a0823c5cd5feb1573f929fe465a3","datavalue":{"value":{"amount":"+0.8223099708557129","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":"Q5943121$83C28679-7403-4E36-A03A-C7D966397339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c6a974d2abde99651a3fbafa80fe0b2e634f6d","datavalue":{"value":{"entity-type":"item","numeric-id":4023583,"id":"Q4023583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c0577cb19d10467281130c650b903aee50134a","datavalue":{"value":{"amount":"+0.8136311769485474","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":"Q5943121$C62C1F40-1C36-4A1B-8DB0-3CB1D8C3A52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b8f5bd47fb0d0bcc7908c7e1a4ab42d101a9047","datavalue":{"value":{"entity-type":"item","numeric-id":2457677,"id":"Q2457677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f95303bb9dc20d57feb715d86f77774f1cb71b","datavalue":{"value":{"amount":"+0.8102874755859375","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":"Q5943121$565F8CEE-169F-4C7F-BE45-B21ECDC3CFBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5943121","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5943121"}}}}}