{"entities":{"Q1102126":{"pageid":1112878,"ns":120,"title":"Item:Q1102126","lastrevid":69955359,"modified":"2026-04-13T11:28:11Z","type":"item","id":"Q1102126","labels":{"en":{"language":"en","value":"A theory of diagnosis from first principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049115"}},"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":"Q1102126$F5833694-9B9A-401C-8431-309F0B22F6CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c322bc9067945eb3f6346c1325a2370660f1df4","datavalue":{"value":{"text":"A theory of diagnosis from first principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102126$C79857AA-F746-46BB-8C64-0C0E16197239","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"266e573d7215ccd257d1b17827839236c712823e","datavalue":{"value":"0643.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102126$25DA57CE-9747-4564-9817-2C35E3E401F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59d97170eb3c76a2567906cdc0ce0f3053e4e3d6","datavalue":{"value":"10.1016/0004-3702(87)90062-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102126$5BBDF147-F69C-4DD3-9C01-C2E35B085297","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e4714652cc08cb68b2723846664c08d59552ca0","datavalue":{"value":{"entity-type":"item","numeric-id":582144,"id":"Q582144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102126$EFBE83AA-5949-487E-B592-B567D8259588","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102126$6580CB0D-92DA-432C-9570-C199C3EE4149","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1102126$7A77EBBF-ACD6-4FF4-808B-0034B8708954","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"486402931dd7616313bbd0c63521eaedffd4abc5","datavalue":{"value":"Suppose one is given a description of a system, together with an observation of the system's behaviour which conflicts with the way the system is meant to behave. The diagnostic problem is to determine those components of the system which, when assumed to be functioning abnormally, will explain the discrepancy between the observed and correct system behaviour.    We propose a general theory for this problem. The theory requires only that the system be described in a suitable logic. Moreover, there are many such suitable logics, e.g. first-order, temporal, dynamic, etc. As a result, the theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates. The theory leads to an algorithm for computing all diagnoses, and to various results concerning principles of measurement for discriminating among competing diagnoses. Finally, the theory reveals close connections between diagnostic reasoning and nonmonotonic reasoning.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102126$FE0648DB-6B43-4CC9-A241-4C6299778F77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102126$ADF5D9D3-A206-414A-BC6E-0DF5733E81CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102126$2829D5C5-E72E-4B82-9A6D-B1DE97C39A23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f21841048e6a3e0630864428e9ebe51216f2130","datavalue":{"value":"4049115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102126$8E4C999A-ECBC-4186-9D1B-1D22CA01AE9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5d4aee0ec42f0d4c081d6fd012daf87cec5601","datavalue":{"value":"correct system behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102126$3811973E-5E55-4B62-94F9-202A3E86E8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13cda79feebded1d79a735355b92da893b409390","datavalue":{"value":"diagnostic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102126$167488E7-4078-4E3A-8CDA-B68540F1B468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102126$F6839814-6426-4B8A-B1D8-C45F9E9E4B64","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e0e9fd42680d73e8cc995c54632de24c1ef45b5c","datavalue":{"value":"Q59884925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102126$60A0C9E7-27B9-4148-BFA5-2C33B1DED55D","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":"Q1102126$FCC93510-C358-436F-BE25-EB847019A113","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cedb793eddadf5ee320dce370a8d79bc9cab7afe","datavalue":{"value":"https://doi.org/10.1016/0004-3702(87)90062-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102126$EBE40673-3680-40AE-816D-14F561A70237","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de1066d4d8fb5dd50b4faff251297a0a4ca5e68a","datavalue":{"value":"W2108309071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102126$E7257472-14B5-4124-916E-A084DE2AF5DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6733b7bbb3da2725018c9c6a7b544f9ef86c0eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1101418,"id":"Q1101418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102126$F53E4D01-0EFA-45C3-8127-A1B4524ED85C","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":"Q1102126$E31177F7-87D9-4ED8-B320-21EE1FEDC72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615b3503f4eabccb3bc1e2508fae039476d7db44","datavalue":{"value":{"entity-type":"item","numeric-id":3962497,"id":"Q3962497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102126$9FB56E1E-2BA6-4C02-BC27-F1CF24D43614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1fe64c0cc812ed283c4f2283156f6945ce0ddc","datavalue":{"value":{"entity-type":"item","numeric-id":1069317,"id":"Q1069317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102126$539D76AE-50A6-4227-8602-CEF674FD24EE","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":"Q1102126$81648E60-04BD-4229-AD91-888EB615FC78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a89bf5ec79652120d06b39eb1d93742aaf59e4","datavalue":{"value":{"entity-type":"item","numeric-id":1924797,"id":"Q1924797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29bc758e8534e7deda2008029b155fba69c64949","datavalue":{"value":{"amount":"+0.8647258877754211","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":"Q1102126$1BEACF10-6960-4C4E-9900-D5FD39EF9D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6a98b822b23ab9e626cc36bf189b94626bb4fbe","datavalue":{"value":{"entity-type":"item","numeric-id":1274567,"id":"Q1274567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4861e1a94dcf88cb1dcd84368cbec18de898f08d","datavalue":{"value":{"amount":"+0.8642874956130981","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":"Q1102126$5C4A98EA-DCD2-4AB4-AEDB-1DDB82E67133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30640710d89e8a108bd41ccb8c3062b0d3b2404","datavalue":{"value":{"entity-type":"item","numeric-id":4028820,"id":"Q4028820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4176de2c18493d982b3162708832e8da6933631d","datavalue":{"value":{"amount":"+0.8624358773231506","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":"Q1102126$D78213E6-82E4-4DFE-806F-67FDE82EFD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0275fec262ce7d21ae7ab29ceb25924b3a14c25","datavalue":{"value":{"entity-type":"item","numeric-id":1199913,"id":"Q1199913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4176de2c18493d982b3162708832e8da6933631d","datavalue":{"value":{"amount":"+0.8624358773231506","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":"Q1102126$909C9142-128E-4114-91AF-4FD1F3F5AD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660cea4e917e90e6162d7af013976834e9490b17","datavalue":{"value":{"entity-type":"item","numeric-id":1321062,"id":"Q1321062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14afad485afc438b22a5e0064e30460b459b60d1","datavalue":{"value":{"amount":"+0.8518527150154114","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":"Q1102126$102CD727-BF6F-485E-AF79-9756CD50D45C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory of diagnosis from first principles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theory_of_diagnosis_from_first_principles"}}}}}