{"entities":{"Q1776197":{"pageid":1786939,"ns":120,"title":"Item:Q1776197","lastrevid":48488176,"modified":"2026-01-04T23:44:54Z","type":"item","id":"Q1776197","labels":{"en":{"language":"en","value":"Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2170150"}},"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":"Q1776197$31520317-F0BB-41CE-9FE4-41F9CE678AC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa43eb172968103c0f05f7e2b831e140383b8fb0","datavalue":{"value":{"text":"Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1776197$2099BB63-62E4-4E6D-AB59-96A1D4B68B67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"241a8944aa3e09314a76111a3398671d4b27ab0f","datavalue":{"value":"1099.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776197$5040880F-0D60-4620-A9BC-5FD1AD14B8CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8450522eaf34ce6110696ce25ccf0bdbf4cb155b","datavalue":{"value":{"entity-type":"item","numeric-id":1776196,"id":"Q1776196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$4DD913C3-FDA2-4787-B7D2-BFE54506DAA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$282789E5-C129-4A4C-AEBC-B6F889BD87D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df3b590d9edae7ef06862f3d803ab57ea4760b6f","datavalue":{"value":{"time":"+2005-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1776197$75F59C2C-BF35-40EB-A0E8-612F49AADB6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776197$C3DB697E-7EC1-4587-A5DF-AC8776267E3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d865a7fe67304b2722ad7e096e7d9ce18667783","datavalue":{"value":"2170150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776197$31333A0F-BF67-4013-9A80-AE3AB227D760","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776197$33901CDD-C14A-46D8-A836-85A93F50FBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776197$CF904400-5C6F-4CB7-8622-BF4BF85977A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776197$660F46F9-C6F0-4919-A504-D870FADA8A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776197$26A27B7F-3590-4C49-B3C5-EF3550C00209","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":"Q1776197$7F30869B-AA00-4DB1-817F-C429BEF1F5C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c56837a37c2ae34ba4dddebccf6f0ed2819436f5","datavalue":{"value":"https://doi.org/10.1007/s10472-005-1808-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1776197$3A29BDA5-571A-4B4A-8C49-01E8B63BD3A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b3e1ea26850fce0a367cb4e9286549a7ff294df","datavalue":{"value":"W2136737640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776197$DBAD4480-B1D3-4B89-BDF4-058BEEA2FC6C","rank":"normal"}],"P223":[{"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":"Q1776197$ED453095-81C7-4827-8593-7C3E645C9418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$20A416E7-98E2-44A4-90DD-0DC4AAFFE8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbbf57e9ab3e3de0dc46a6723061a1810d5f0eb","datavalue":{"value":{"entity-type":"item","numeric-id":5392678,"id":"Q5392678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$C5BC22C1-B334-41F1-8B62-8B7187900F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a740e46afe023e451c11475c01a910ad507d1028","datavalue":{"value":{"entity-type":"item","numeric-id":814596,"id":"Q814596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$D9E5CB6E-E1EC-4411-B96C-13A630FA4DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75aa1af297d479f9392ade5ff5a91565369009c7","datavalue":{"value":{"entity-type":"item","numeric-id":4249723,"id":"Q4249723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$279FE684-AE1A-48DA-8BAF-33F341DB04F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69190f2fcb79af37af8501cc4522400218bea1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$88C4085C-CF8A-496E-8B74-6D45C222E011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$757644D5-1D00-4CBE-AEF9-7CE30DFA5B21","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":"Q1776197$2B626220-AEBF-464F-BC80-3B615DD4851C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f40f7943146117c8e05bba7b8a3ff87d13179d","datavalue":{"value":{"entity-type":"item","numeric-id":4318872,"id":"Q4318872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$ACEC40FD-4F93-4CEE-98A9-22E43EB3F2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$86B95977-9E7E-414E-A0C9-E652C7E5966F","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":"Q1776197$DB26462B-D251-426B-8667-20A76924E9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86829c01ee2a453ab04be906e03bb0913a163972","datavalue":{"value":{"entity-type":"item","numeric-id":1861328,"id":"Q1861328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$2BFAADF2-5DC5-439A-9143-7DC0EF260AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6831e3c40f9c3bc9e14e80e5dff0855a3d922bca","datavalue":{"value":{"entity-type":"item","numeric-id":5900658,"id":"Q5900658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$A8760302-9E8B-4B1E-852C-3B4E7C5406B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e65efa9d87340eb40959ca22ea8ec4c90fba14","datavalue":{"value":{"entity-type":"item","numeric-id":3471707,"id":"Q3471707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$66DA3CB5-47D0-4F2B-AD16-07EB79FD4335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adf3b69f1569c7efd2007397ab963a81fdd382b","datavalue":{"value":{"entity-type":"item","numeric-id":4725709,"id":"Q4725709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$A00CF543-47F9-47CB-82E8-4813A3C5EFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$E2F11D15-476B-4758-BED8-40DCAA7F47FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7acd6881add1114f062391b8c55ecda1033c2b5f","datavalue":{"value":{"entity-type":"item","numeric-id":3125203,"id":"Q3125203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$75399A8A-E808-4339-AD50-D2F4B01224E8","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":"Q1776197$7ACC5E39-73DB-4341-A6D9-493607B4ACCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1404689b09d74d21e7a020ae5de0dc18b37657","datavalue":{"value":{"entity-type":"item","numeric-id":579240,"id":"Q579240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776197$5884A017-9B26-47AC-9911-A09E3C1D0ED3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3d2619fe520e4545e67e5ddb12e6377a5595985","datavalue":{"value":"10.1007/S10472-005-1808-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776197$A6683013-B9EE-45BA-8512-CA31D1D38F78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddafb0b8921f701d2d1d7794b11cce76a0d169f","datavalue":{"value":{"entity-type":"item","numeric-id":5900658,"id":"Q5900658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a87689f3a2152fa476bc01ec8e9100b77fca1a","datavalue":{"value":{"amount":"+0.9563655257225036","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":"Q1776197$790CA069-8308-4712-8499-D32FB1FDEC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac110c0e50382251469e3d37bbf2fe302dc335e","datavalue":{"value":{"entity-type":"item","numeric-id":4645232,"id":"Q4645232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bfbc7c003fbc99bd9bd19280609835d0193c6c2","datavalue":{"value":{"amount":"+0.8618682026863098","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":"Q1776197$8BD7D9C9-4694-41D2-BEED-E47A2300891F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fed5f973324a7796ab5672ce47630263820969","datavalue":{"value":{"entity-type":"item","numeric-id":4610318,"id":"Q4610318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96be206d2cd06e662d46a604b16249fa32b0e29f","datavalue":{"value":{"amount":"+0.8610225319862366","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":"Q1776197$07B2C668-2D60-480D-B22D-960921077FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e357a708b153c3d2d7a09294cbc021afe29e90","datavalue":{"value":{"entity-type":"item","numeric-id":5738955,"id":"Q5738955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b760dea25f7e0438865065c7df7e9413faf3f91e","datavalue":{"value":{"amount":"+0.8326884508132935","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":"Q1776197$306F2426-4A89-4621-94CD-AF4E9CCF9A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e58770b831abc2ac95b038ca376cdd6dce9e1543","datavalue":{"value":{"entity-type":"item","numeric-id":4930577,"id":"Q4930577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f77938c7c98331570c8753b96d3d63fe6b30392","datavalue":{"value":{"amount":"+0.81618732213974","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":"Q1776197$2839CBB6-89D3-4F1C-81BA-8801EE0074B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1776197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1776197"}}}}}