{"entities":{"Q4632326":{"pageid":6661907,"ns":120,"title":"Item:Q4632326","lastrevid":53409281,"modified":"2026-01-24T22:14:59Z","type":"item","id":"Q4632326","labels":{"en":{"language":"en","value":"System J -- revision entailment. Default reasoning through ranking measure updates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048503"}},"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":"Q4632326$D79B1CAF-0905-4DEF-A2F6-528C843ABE0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"861cd301aaa3207de09fae4ef9a26d882ea3d58a","datavalue":{"value":{"text":"System J \u2014 Revision entailment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632326$60274F09-AA10-4534-9244-A4AC4B5A2B6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d27dc535e709ca47b4af99566ab6695dc219b75","datavalue":{"value":"1419.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632326$53F976F9-31DB-4EA4-A2AC-A1398C93AAF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f77a9cf4ac4867aba8bd88103724d03e8659462","datavalue":{"value":"10.1007/3-540-61313-7_106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632326$9BA192DC-F9B8-4976-A465-16A4E6BB3132","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6a3babe18c5d5d2273a7a6c689adf3688456cf4","datavalue":{"value":{"entity-type":"item","numeric-id":208229,"id":"Q208229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632326$0A20FC05-C0BD-40E0-83E8-BAC9FBAF5EFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5469fc662fa74c1289879f047c5642914a1a5026","datavalue":{"value":{"entity-type":"item","numeric-id":4632284,"id":"Q4632284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632326$6388DFF7-2337-41C4-BDAE-4A24C2643D42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632326$0177736D-C436-4673-A46A-455BD3735A2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632326$456150AF-D4CB-4CCB-93DC-9602CC6C41E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632326$379F8864-B37D-490C-9686-6D75CECCB397","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0f80896ba59a8981a422247421e3d64615b3269","datavalue":{"value":"7048503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632326$0B020807-2105-42A9-8688-08C9D8AFF459","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d86666bce4e863fa22d076e113065531d77c2aa","datavalue":{"value":"propositional variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632326$A0BCA9A8-5E88-46EA-867F-F1A2EA6F5428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a8d8a22d2e3db179e31405dd4f3c151e3af4a96","datavalue":{"value":"inference relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632326$C73AC34B-803A-4761-909B-7EB8D87835E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a762e3c2747945648370d73c77edfbf5b23c5759","datavalue":{"value":"ranking measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632326$C78E2E7D-867B-4A0C-8FF0-4040E44A127F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632326$C2565402-A323-44D4-8317-F1562526D944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2f976b8e52bff04fa9f0dfbc6ef2dd6da37e0","datavalue":{"value":"default reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632326$75B080F3-EF3F-4650-88E2-C8D5BB156887","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":"Q4632326$071C58C4-C0BB-42DA-B143-C2D29A9A7D67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcdb4b7721771f1c1e8c7dea5671f396e7220773","datavalue":{"value":"https://doi.org/10.1007/3-540-61313-7_106","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632326$531A9429-530C-4E11-9C71-D4E1ABB31596","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9872b83957c87cda10fa25e2f53079dfd74503ba","datavalue":{"value":"W1832053360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632326$160A516D-34B0-4D6F-858A-A1DA27C3FA65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddbdafb54965b3c8ad4b7e2330bdbbb850a02bf7","datavalue":{"value":{"entity-type":"item","numeric-id":1103418,"id":"Q1103418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632326$499140E1-F0B2-4A29-9C49-ABFA85D03009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b34ba705e389fe9c4dd2c4054287e15a051942","datavalue":{"value":{"entity-type":"item","numeric-id":3703316,"id":"Q3703316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632326$3291378B-A083-437C-B254-1428B5E8B739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dca31d9a11eec974759e0648edfc5d06aa380f1","datavalue":{"value":{"entity-type":"item","numeric-id":989161,"id":"Q989161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632326$27259114-B8F3-40CE-9F75-D41AF1F0BF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632326$78DFA95A-CCDA-46C3-B3AE-DD8EB1FBDA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28f765cbcdc6c956e21179476774712687a4edd","datavalue":{"value":{"entity-type":"item","numeric-id":1924825,"id":"Q1924825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632326$1EB32F63-A611-4A51-B5E2-77199E117851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af24ba990df98829b6c3a0b381726a909a7b799e","datavalue":{"value":{"entity-type":"item","numeric-id":1193479,"id":"Q1193479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632326$6B42AFA1-9EE0-45C7-B4A5-BB3F87CD8983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1afa435afcf418480dcd777218d3b92185b94ab","datavalue":{"value":{"entity-type":"item","numeric-id":5885615,"id":"Q5885615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632326$97D200AA-73FC-4710-9770-ED01A140BF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21158fdd8aeb5bfbf69f37899c9d7d739c30aa53","datavalue":{"value":{"entity-type":"item","numeric-id":4282557,"id":"Q4282557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632326$0AEAF5DF-FD8E-4076-B612-171B13FF0ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca9d3ed12f2a3747982aa96b42a9330f2586a8d","datavalue":{"value":{"entity-type":"item","numeric-id":4784868,"id":"Q4784868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632326$76DD5B8B-3272-4276-94D6-DE20EBA6E4EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e3060cc7a8d23ef0214c81bf9a082d286eccb8","datavalue":{"value":{"entity-type":"item","numeric-id":1427352,"id":"Q1427352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2516bad5d51f1030212207293ac0a7ebb6edf483","datavalue":{"value":{"amount":"+0.8352658152580261","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":"Q4632326$D6B71833-9BC4-4A53-878F-D98C8914B7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070cdf24480e0f99186013120b999ee9341aa60d","datavalue":{"value":{"entity-type":"item","numeric-id":5464020,"id":"Q5464020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401e472707753cf0e0336c65d51ebfc5aff2d92a","datavalue":{"value":{"amount":"+0.8158941268920898","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":"Q4632326$3374DE8E-63FC-4347-9245-EB3F7957B30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ea08f421325d90359e6b6bee1ad4b0ac338586","datavalue":{"value":{"entity-type":"item","numeric-id":4299138,"id":"Q4299138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4627ea202622e0cfde2d2baae8b814a5aa265c26","datavalue":{"value":{"amount":"+0.7971085906028748","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":"Q4632326$A2CFD1DE-51FF-4B74-934F-3E61D9D6C0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae7c5c87f7caf07e66922c69bb73a23953bfec2b","datavalue":{"value":{"entity-type":"item","numeric-id":4784868,"id":"Q4784868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f62e4f04bcfb3adc3c3ee9011cfd8bd5f39dfe5c","datavalue":{"value":{"amount":"+0.7811082601547241","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":"Q4632326$58247F32-9AF5-4CEC-8FAF-3310B916636F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e673ed6664c9496c00db23bd1a1def7c7d31d1","datavalue":{"value":{"entity-type":"item","numeric-id":5172608,"id":"Q5172608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b329a0161a35d7041ebbd8f1bb7348612524ab5","datavalue":{"value":{"amount":"+0.7757591605186462","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":"Q4632326$8E58F37A-7029-453D-A8BB-170CA07C1120","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4632326","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4632326"}}}}}