{"entities":{"Q1326782":{"pageid":1337532,"ns":120,"title":"Item:Q1326782","lastrevid":68473008,"modified":"2026-04-12T23:56:25Z","type":"item","id":"Q1326782","labels":{"en":{"language":"en","value":"A context for belief revision: forward chaining-normal nonmonotonic rule systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 584686"}},"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":"Q1326782$01CFB7D5-09F7-48C6-A2C6-F2EC3723927B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11e6ca02a2346d7dbed7757e909af4cd27c4640a","datavalue":{"value":{"text":"A context for belief revision: forward chaining-normal nonmonotonic rule systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1326782$D13F86FD-09F8-47AD-87F2-B53E637F4D88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3e07fd20d8e074d3f0a01785ad15c357b2c9741","datavalue":{"value":"0798.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326782$7139E3D9-E341-476B-A79E-42E130D430A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77d22d81b77facc0f486ebcd2ab48951c1382a82","datavalue":{"value":"10.1016/0168-0072(94)90013-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326782$DEE4B457-B078-4B71-B2E4-3F44FBB0E4C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff666a2845ea1366016230a34f1ca97820fb5d6","datavalue":{"value":{"entity-type":"item","numeric-id":388663,"id":"Q388663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$4376A3C9-E37C-4F81-BEE7-3B92814F234C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dc30c87ee90e636f091c198a5b55721665c69f9","datavalue":{"value":{"entity-type":"item","numeric-id":698606,"id":"Q698606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$DB04BEF2-17F7-4047-9332-1961C8066D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5532f214cf43c102bd3290b91ab7949d2fec0","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$BD3B27A8-20F4-4BA3-B2AF-EF9A99B35DD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$B4AF17D1-99C7-420C-A9CD-77891F220DEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5cac1bac625d56172333526e9a905d35cc8227","datavalue":{"value":{"time":"+1994-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1326782$861F4349-4697-40E9-8F7A-11E82843FEBD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a41c3f2d16d9aa916c31ddffc43b75e1006816e","datavalue":{"value":"For some time it has been widely appreciated that those systems of nonmonotonic logic that are defined in the literature using fixed points (notably Reiter style default logic, autoepistemic systems, logic programs with negation, and certain truth-maintenance systems), have a considerable amount of structure in common. In two earlier papers [``Nonmonotonic rule systems. I, II'', Ann. Math. Artif. Intell. 1, 241- 273 (1990) and ibid. 5, 229-263 (1992)], the authors isolated a common abstract form, and showed how it permitted general proof of many theorems recurring for the various sytems.   In the paper under review, the authors continue that line of research. Specifically, they take the well-known notion of a ``normal'' rule in Reiter default logic, and generalize it to their abstract framework. This is not a trivial task, as the abstract framework contains neither negation nor the classical notion of consistency. The authors adapt \\textit{D. Scott's} abstract notion of a ``consistency property'' [Lect. Notes Comput. Sci. 140, 577-613 (1982; Zbl 0495.68025)] and use it to formulate constraints on rules. Although in the context of Reiter default logic those constraints are a little weaker than normality, they suffice to prove all the main theorems in the literature posed with that condition as hypothesis, and this in a manner that applies also to the other fixed point systems referred to above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326782$5691FE0B-6528-42C5-8C6C-B8DA5E802157","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326782$A7DC1402-2876-4557-894E-CF75DCE209F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326782$4F1D6928-AC88-4EEE-A545-35223A73D77B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a10e3de63006f3dd1dcfbe7059a2038bc72d0b78","datavalue":{"value":"584686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326782$E141453A-2B47-4E66-A48D-E6FAA735244A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04577428d241b72d19e30e510752011c28065056","datavalue":{"value":"normal rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326782$B2E65F3C-A48A-4959-87D0-4CCD9E7BA634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67cb8bbf2dd3c312980d93498f9033cad6fec01b","datavalue":{"value":"consistency property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326782$38F95B76-9D6E-46A3-A81F-EA2221A7BBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326782$349E987E-6BF9-45E8-B648-69B56AB321F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326782$9F21713A-7678-4B3E-9EDD-A551577A0EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64f64d44a1fe07d379e6bd9adff4f0f46107b8ff","datavalue":{"value":"Reiter default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1326782$8458295F-CD6B-4D69-896F-A8292ABC543C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$9DED6E98-119A-42AF-8347-3A780DF4157B","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":"Q1326782$4D6730B5-58BF-47FD-90D2-1F75D9237E31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ada66c9a558638efa74fa7ea62650a8dff5c9aa4","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)90013-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1326782$42046B56-319E-4662-9A15-60C443DA20DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68260bee7a47345dc6db4c07837deabb914feb80","datavalue":{"value":"W1994609200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1326782$E778420B-0207-4347-B897-1AA47AE106DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11ef0dda58449f200712db088b699d62dbc7885","datavalue":{"value":{"entity-type":"item","numeric-id":3477998,"id":"Q3477998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$42B41DE1-77CF-4B34-8C1E-387418D099A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$57FB4B09-8A63-4F22-A84C-18A801AF9AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3cad1b8093ce464b6c645c179cea5dffe1adc7","datavalue":{"value":{"entity-type":"item","numeric-id":753501,"id":"Q753501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$6F30C780-EE54-450C-94F1-78977DB4BE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"181b0ac17c3f28c3e8ded082301cb246642c093b","datavalue":{"value":{"entity-type":"item","numeric-id":1924734,"id":"Q1924734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$D4B6E2FD-F593-42A4-BE48-3927AABBED59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf9194a9ba6cee011a2dd98df700a7e54b66569","datavalue":{"value":{"entity-type":"item","numeric-id":4692605,"id":"Q4692605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$B713A46E-6A9F-4F1E-ABAA-A82A21B4F55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238fd29f8ac226411b59375cbcf60013cf861c4c","datavalue":{"value":{"entity-type":"item","numeric-id":2543461,"id":"Q2543461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$200A8EA3-D110-4315-BE98-AFBC9ADC1A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$B2777A48-0045-4E87-B9DF-2A327ABDC9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff329274d40bcc90d45b9589ebb6dd8805d9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1356221,"id":"Q1356221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$3E7C3915-6DD3-47B9-B85E-F9D00838815B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2485593fa6a43c384d21c41a4d7e3bef4c2db5","datavalue":{"value":{"entity-type":"item","numeric-id":1192346,"id":"Q1192346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$23C10601-A498-415C-8A7B-347D1960A01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23848f5cc002dab08c9e246881db71ecf933433","datavalue":{"value":{"entity-type":"item","numeric-id":1354038,"id":"Q1354038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$8D93EAC3-B5FE-4164-AFBD-D629FA6361B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06cc9a8327d453984ec7032053ea2656c70a83e2","datavalue":{"value":{"entity-type":"item","numeric-id":3486549,"id":"Q3486549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$B8C80947-D026-43BF-8642-4D977F8FA117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$C090F65D-58FD-4746-AB31-4A80A033DF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03faa4dbcac10b41e80920dfdcc0083c7771a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$32541CC5-ECB5-440A-BF3B-1D3DDC5B53B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94855211e231eaafec4a6b9936fa50c3f6c921ce","datavalue":{"value":{"entity-type":"item","numeric-id":3933791,"id":"Q3933791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$10DF876F-97B1-485F-8595-C5CB4B06716A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc8e898145b783212e800ad1bc88bc9c62fc6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1140441,"id":"Q1140441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$670ADBE5-20BD-44D1-974C-7A7FDA77B533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$02904EFA-FCDA-440D-B8ED-1430020A43DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab3bfd484ba524e34216a7dac1d185009ff5c6f","datavalue":{"value":{"entity-type":"item","numeric-id":5750427,"id":"Q5750427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$C1BD28D3-50BA-412D-9661-C42036297AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$5A1A237D-5B78-452C-BE42-F461183B96FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1326782$CF07DCBA-357C-4843-9A5D-CC5A8304DD28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2157a93edb93fca048044b613bc9e5a6fc981fa","datavalue":{"value":{"entity-type":"item","numeric-id":1354038,"id":"Q1354038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae8515f075457fcfbf3024d98e63bbeab1b53cf","datavalue":{"value":{"amount":"+0.8169173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1326782$4911558C-11A3-4599-8464-2557EDD7B469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8578a6e6ef3d752c6b1d2bd9a0ded1093ead00","datavalue":{"value":{"entity-type":"item","numeric-id":1283085,"id":"Q1283085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82fb22e7875e05909977d05f7f206fe6da8ef62d","datavalue":{"value":{"amount":"+0.8103591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1326782$73303037-FA17-49F5-9A8A-D02DF010E1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873729827c65d3029a90b22de03e42b7bee6bf06","datavalue":{"value":{"entity-type":"item","numeric-id":2734934,"id":"Q2734934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbe98008d53cd8254f1086187acb9f79b2f9fa4","datavalue":{"value":{"amount":"+0.7937549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1326782$FDAC5165-1172-422F-99D7-15D225DA226B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3606e5bc043828ddee1dc976bf9e3e837ca23dea","datavalue":{"value":{"entity-type":"item","numeric-id":5350159,"id":"Q5350159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74ed486ac759b8819e0865a98f095d3bea382eb","datavalue":{"value":{"amount":"+0.7934451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1326782$1398B36D-4DDD-401C-86E8-B1138D7C3114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3216ab9fe7aa5737851e528c83182df2b07b8729","datavalue":{"value":{"entity-type":"item","numeric-id":1364501,"id":"Q1364501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f0821bf675c423c719a29f23dabf338f36e9939","datavalue":{"value":{"amount":"+0.78965527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1326782$289C26F0-4B77-4B12-9A53-F09801222A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f04904a98b22e8c746abc71a1ede81617c3905","datavalue":{"value":{"entity-type":"item","numeric-id":1115426,"id":"Q1115426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8f62cd18095726f70aa9e35d4437af0d659280","datavalue":{"value":{"amount":"+0.78446794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1326782$B9B161FD-A347-4571-89FE-AC920935D2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b40c644067a78df07ff4e2c2765a4c6c420afe","datavalue":{"value":{"entity-type":"item","numeric-id":625708,"id":"Q625708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6e88a66eefecef2dddd60ed8bf0855c1e89a8f","datavalue":{"value":{"amount":"+0.7843788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1326782$83A9973F-DC46-4AE2-A721-DD96F9E38E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660ef4754d54100f2aa06781cd563f03a034f5e6","datavalue":{"value":{"entity-type":"item","numeric-id":4307060,"id":"Q4307060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a21d7f56ef32dbd1bd2ec8695662bc7c70afa271","datavalue":{"value":{"amount":"+0.78367084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1326782$DB8A504C-1ACD-464C-BE07-01A125E08564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6fbb9b5b818b8f414c0f0a2d28cc9fc21c75c5","datavalue":{"value":{"entity-type":"item","numeric-id":3613329,"id":"Q3613329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"760a139e26cd239e483520022917b67787a56236","datavalue":{"value":{"amount":"+0.7828687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1326782$6FD4ADCB-D8AD-4A15-8093-AB4B58D2CEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd82b803859e655e00052046c256be0c2bcb5309","datavalue":{"value":{"entity-type":"item","numeric-id":4858040,"id":"Q4858040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f1f864e558073e193d7cc702dc1ae292d21a1c","datavalue":{"value":{"amount":"+0.7821264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1326782$E11D19A7-286B-4387-B14C-02C9E1623C35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A context for belief revision: forward chaining-normal nonmonotonic rule systems","badges":[]}}}}}