{"entities":{"Q3563381":{"pageid":5593285,"ns":120,"title":"Item:Q3563381","lastrevid":50998433,"modified":"2026-01-16T03:41:20Z","type":"item","id":"Q3563381","labels":{"en":{"language":"en","value":"Conditional and preferential logics. Proof methods and theorem proving."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5714249"}},"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":"Q3563381$F3565EE3-F1CB-43C9-B05C-E3315BB1BC5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62283908d20e29aa5039692960b455f85b597275","datavalue":{"value":"1210.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563381$7732B900-7E8A-4A0F-8C67-A70988DEDC67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25ff3ffeff83ff96082de6ad7766cc46bf675f47","datavalue":{"value":{"time":"+2010-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3563381$02B255A5-39EB-45E3-B196-3F75F6BE4153","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563381$97A47905-7ED6-45D7-A6E0-CF7D95AE604C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563381$9FF2F6F8-327D-4702-8E16-80804E35F25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563381$858D8E2B-B024-4321-9DD1-5B64F801E467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563381$84FA068F-770C-42C9-9F4B-6EEA12A10CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563381$E9F70F83-9B25-4350-BF02-AC382492FFD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba675380053b1ac8cfe3af2fc14fa0272f50682a","datavalue":{"value":"5714249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3563381$DF1C883F-D5E2-4BBA-8C21-7BFE6F5AFA49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a027cc6c69e14371ce3b0caa3d4ea616d122d747","datavalue":{"value":"conditional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3563381$844DFD45-EE2A-4B81-8A1A-2244708D31A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23a0f0602d4ebd77fcf5b70c8d9b43a96134e095","datavalue":{"value":"preferential logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3563381$46E68301-0470-4362-80BD-EF743197203C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"475da62138adc4b317318b4c133f60dba5d13d3a","datavalue":{"value":"KLM logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3563381$7711BD6D-F16F-47FC-B57A-40E85AF1FA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3563381$69FB24D7-CAAA-4F5A-8EBE-4160988B8B24","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c5e0741386db5544b604ac150c771bd2ac0b3f","datavalue":{"value":{"entity-type":"item","numeric-id":24297,"id":"Q24297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3563381$AE549083-CCB6-4E67-9498-DACAA85C911F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89528101ba6918f5711acee7d44cbeecff1b29c1","datavalue":{"value":{"entity-type":"item","numeric-id":21965,"id":"Q21965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3563381$2DB727BF-C8D9-4142-8329-64839971C451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0549c00eeb18d7ab7d692213433197d2b8b32d8e","datavalue":{"value":{"entity-type":"item","numeric-id":21963,"id":"Q21963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3563381$17257F49-F3D9-499A-8160-A7377E4DDAB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc392015ed7befd379e5ca2ca315ff477fe93108","datavalue":{"value":{"entity-type":"item","numeric-id":1694456,"id":"Q1694456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3563381$04507E5E-77A9-4CE3-B524-AE1188AEE68B","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":"Q3563381$84BA5EA4-1375-40CB-82FF-391FD70516D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e999c2e9d092b859fbb97ed4eca877f45ccf174","datavalue":{"value":{"entity-type":"item","numeric-id":2760429,"id":"Q2760429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce423ac5625045abdc401a159015fe5647b58171","datavalue":{"value":{"amount":"+0.7935182452201843","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":"Q3563381$B65D7F6C-1F24-4699-A065-434900DBA58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0608f1d0b28ac2ece0977f56d7e92706bb97b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":4236376,"id":"Q4236376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aeaee202f745902eb952dcc7d4111e368a433d0","datavalue":{"value":{"amount":"+0.7924374341964722","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":"Q3563381$7F587D91-5837-47AC-86CC-0D9CA12D75D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4f619bb0b4735219cd21111b337874ee724428","datavalue":{"value":{"entity-type":"item","numeric-id":3989923,"id":"Q3989923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0c44f2d341df6e4b77b9edf1cb84b40212803d","datavalue":{"value":{"amount":"+0.7788925766944885","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":"Q3563381$58516843-8840-463F-BA01-C327B8A4A70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8667353f7a136512bc0fb5610704fe59ecb5c12f","datavalue":{"value":{"entity-type":"item","numeric-id":3010347,"id":"Q3010347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970a450d49a29a4b89998456ce099b5f0ee4ebe7","datavalue":{"value":{"amount":"+0.7673154473304749","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":"Q3563381$C8788C75-9728-4758-AA25-EBF802493EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e048493908143d22722d6635433c61a158fe98","datavalue":{"value":{"entity-type":"item","numeric-id":5187861,"id":"Q5187861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a677d214ec143608c3cd9147b0880bdf597475","datavalue":{"value":{"amount":"+0.7643576264381409","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":"Q3563381$18E3A173-A7B9-4FA5-B6CA-144E9ECFF155","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3563381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3563381"}}}}}