{"entities":{"Q4664018":{"pageid":6693599,"ns":120,"title":"Item:Q4664018","lastrevid":97960109,"modified":"2026-06-05T15:55:26Z","type":"item","id":"Q4664018","labels":{"en":{"language":"en","value":"Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2152445"}},"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":"Q4664018$0E6115EC-FDF4-43E0-81DA-49F3DDFB3090","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"078e96f323337832178bbbf33834c25fc6833f6b","datavalue":{"value":{"text":"Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4664018$AD6C5648-93B5-419E-B458-5B1DC1E2B021","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49c5cbb2afff55f80a78d04ce2e0d0014646094e","datavalue":{"value":"1071.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664018$D75BFB6C-00BE-4A92-86EC-6EE5D1FC4ADB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44176704c420391b1ec646932fc59126c7d2f6cf","datavalue":{"value":{"entity-type":"item","numeric-id":264026,"id":"Q264026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4664018$927DD8AE-E5D0-4D7C-83E1-44E97529843C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69cf2a81b6ae1673a040d25ae05c9f6a7d99e6cc","datavalue":{"value":{"time":"+2005-04-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":"Q4664018$CF3E2CCC-9D96-4877-95B0-2E6C5752D2CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664018$AA9AF01F-7202-46EF-A318-B3BDB701B907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664018$3A9DCDD7-0893-4EA1-A0EC-DD10F28A09FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664018$0A67F697-AFC7-44CB-8DE2-BDD39D987885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664018$9C0C1355-3CF7-4B74-925D-6EE9390DB4CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ad61792bec3ee7cfd492878307e693e092c72de","datavalue":{"value":"2152445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664018$491D0593-3F9B-42C4-AC2C-75DD97B22CFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f93d4daa019b00f0983b40b69c997ef73ff7f9e","datavalue":{"value":"inconsistent knowledge base","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664018$696C922F-BB19-4AA0-A7D3-CEF59F6547C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2232e10c1b8bb3b4053bdfdb651a29345507fbbb","datavalue":{"value":"graded consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664018$D672DB9A-68A1-475F-96B5-8804F39A52A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1514011e463f4b96b73949f9956db3dccc72fb4","datavalue":{"value":"probability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664018$95DC5E8E-65D1-4545-9360-D133C02E5318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664018$DC21BA0D-C7F9-4DC8-9A0A-0637E98D760C","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":"Q4664018$B929CD24-E174-4D16-BE14-36CFC44D2F18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00d4d63b5d49f2459467dcb52ce1f67c2992f36a","datavalue":{"value":"https://doi.org/10.1093/jigpal/12.5.345","type":"string"},"datatype":"url"},"type":"statement","id":"Q4664018$7190D601-59A8-4C60-95E6-9F01D1466B3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"205323b0ce641c99b6680e90f3ba743a5dbfcfa3","datavalue":{"value":"W2045324669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664018$55809100-C61B-424D-9CFF-71C035FBF565","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e68caa458235341607e8d352d9fc28296c917abb","datavalue":{"value":"10.1093/JIGPAL/12.5.345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664018$BFEC8DA7-2C59-4659-B698-A303937EC81B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4664018$E1519F2F-5EE5-450F-BAB1-ECDA4FFA6824","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"711301c2c4914532849a1074ed50a7a33321e554","datavalue":{"value":{"entity-type":"item","numeric-id":6041340,"id":"Q6041340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf25cff1db24a025cbf4241c9d5f18a404e38523","datavalue":{"value":{"amount":"+0.7601876854896545","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":"Q4664018$4AF42507-3D14-47BC-AF67-4CE0421D8AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e59d98e2704d0dd6a55fe092e9808dd81d48e19","datavalue":{"value":{"entity-type":"item","numeric-id":3395328,"id":"Q3395328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cdf8b85a4bb1f51499719eda383f6d833bb7a84","datavalue":{"value":{"amount":"+0.7592115998268127","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":"Q4664018$2A580FB6-9BD6-42C9-A739-4D0C8AC383CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee49e76f6674a63d8ede6dc2a33ba7212aa65784","datavalue":{"value":{"entity-type":"item","numeric-id":3509215,"id":"Q3509215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd732b369bb52f4525f141de790e0058f3811926","datavalue":{"value":{"amount":"+0.7556552290916443","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":"Q4664018$30846B83-1695-4674-A11E-ED72E421FD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd934749e933d2393a2cbabd2acd3df23363489","datavalue":{"value":{"entity-type":"item","numeric-id":962927,"id":"Q962927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db191a884e2fe99ae65645ad2276caf065c9ebe","datavalue":{"value":{"amount":"+0.7537887096405029","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":"Q4664018$1B69B4D9-FD91-40C9-904E-DEE2F684CF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb71cb8b41485817f472d41120829fb15ab5431","datavalue":{"value":{"entity-type":"item","numeric-id":4235433,"id":"Q4235433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada817c55a3ebd4bfd29810c92f1e68ab130bf09","datavalue":{"value":{"amount":"+0.751318097114563","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":"Q4664018$B71B4BFD-CF04-4CE1-AC29-EB702AAFE856","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deriving_Information_from_Inconsistent_Knowledge_Bases:_A_Completeness_Theorem_for"}}}}}