{"entities":{"Q4645232":{"pageid":6674813,"ns":120,"title":"Item:Q4645232","lastrevid":53315714,"modified":"2026-01-24T17:25:39Z","type":"item","id":"Q4645232","labels":{"en":{"language":"en","value":"Sequent calculi for default and autoepistemic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999517"}},"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":"Q4645232$4A805B77-D982-4314-8106-135F00C82E64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfb8a12394e44df5102dc2ec741ec82063bd544f","datavalue":{"value":{"text":"Sequent calculi for default and autoepistemic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645232$F0C26DFB-FFEE-4377-9EC6-1C3E9C823FF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55d3f6d6296546e78ded23c7970c028fd560b96b","datavalue":{"value":"1415.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645232$8427728F-9AC5-46C7-B295-11CFCD47AAF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e637f0f61a2226e33a8e193f41b3acf18e42abfb","datavalue":{"value":"10.1007/3-540-61208-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645232$E23FEFD9-62D5-42BB-89CD-C90924E7C731","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$5264DD8B-3D48-4EEE-9C66-1E8F2FAC2DCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645232$12BAF04C-D2F6-416D-A943-74B51A86AC14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645232$FC53C08A-AEF4-430B-ADDD-1BB4967E1EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645232$2537BFAE-6226-484F-9EE3-D303F74492C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645232$D2C7BCAD-9858-497A-8D69-AF53807E42BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645232$C472FB07-EF41-4054-B1B4-C6C508E74FFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9d55a6a750e795fcf55d409c12119e354ae792b","datavalue":{"value":"6999517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645232$A4C240EC-0FF3-4D81-BA5B-8EF33B67671D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645232$F8482DA2-1603-459D-8E9C-4F2B1AE307C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645232$6CBA0D03-8C90-48D6-9F24-F06D4D971C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c21a70463af21171b5268a4d1dc51b15d19d4ca","datavalue":{"value":"default theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645232$16E417AC-39E7-4D3F-9F80-065B6D83BC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645232$BE3EBBBC-8B34-4C5A-A2E0-3E2BB890F3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645232$10AEA3AA-E467-4FE0-87CB-BB6FD1ECDD69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0631f2d933312919de86ae8c0f02f442e4f96c29","datavalue":{"value":{"entity-type":"item","numeric-id":814595,"id":"Q814595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$057E3C9C-C759-4219-832F-D48637CAC885","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":"Q4645232$733BECF9-3336-40DC-A4AA-21DBD9947F26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9c9451c094d4d49b8a0cff2ed77424b2f51d7bc","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645232$0182D3F9-0D42-4150-8649-FACC1DED470E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f64435a197e602de26050f52a1df770f88ded249","datavalue":{"value":"W1586926492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645232$97B0840F-2085-4CA2-B77F-5D26FF71745E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e005c5656dfe8af90187b5c9f152bbd157e30aa2","datavalue":{"value":{"entity-type":"item","numeric-id":4880541,"id":"Q4880541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$B767BAA8-E82B-4D9A-A8C0-595439289AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef03999b796c54be743039f4a3fb23feae152e0","datavalue":{"value":{"entity-type":"item","numeric-id":4036587,"id":"Q4036587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$AC488F0A-00C9-4EDB-9D7A-E9B2865A5B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50fbedfa2e52eeba3d1c7e0a1ffc0a3e45ccd9a7","datavalue":{"value":{"entity-type":"item","numeric-id":1344887,"id":"Q1344887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$0B694BDC-BE90-434A-995A-100CFEF794F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f4166d90edf0f436da993c4009e171f8ec373a","datavalue":{"value":{"entity-type":"item","numeric-id":1235130,"id":"Q1235130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$044745BA-A7C0-46DD-B89B-90C3DA2ACEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"296bf5ae7c5c1f4ce919b1813197ac569c30f6a8","datavalue":{"value":{"entity-type":"item","numeric-id":750414,"id":"Q750414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$2F44D7D2-BE72-414A-A2F9-FD986993D5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f927a92bfb7361a8954519f1790a19e0db351e9","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$DFB7BEB5-0AD5-40AA-A282-6403F3B3CE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$78687B06-18B7-4789-9EA4-CB46082A0BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380def73f962827881df472fa96d16dc390d9918","datavalue":{"value":{"entity-type":"item","numeric-id":3988856,"id":"Q3988856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$B8985151-96BD-4CB0-A9DE-010B9E4A3E70","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":"Q4645232$7D0A3538-FDAE-4906-B568-97DC8F4BAF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307e53818e6dad7b853304ca71ddc563f5e76e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2276949,"id":"Q2276949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$E1DB83D0-4DC3-40A1-AF34-4D3A499A8083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0ca1d65125ac2719c77cef75c106a425833d05","datavalue":{"value":{"entity-type":"item","numeric-id":5805951,"id":"Q5805951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$FAC62C6C-A8A5-4E83-A82F-99AFBAE59FCD","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":"Q4645232$9C4ED1B4-AD59-49BB-802A-647AB147390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc4db50260c4eeaef046e54428421e6ee70389c","datavalue":{"value":{"entity-type":"item","numeric-id":3829532,"id":"Q3829532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$313F1A00-C76B-4880-836C-E4D206AFC594","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":"Q4645232$EBB47F70-EB5C-4F91-9BA4-753F717F53F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466def1e155af24781a2f03a6c94afe96cc0ac35","datavalue":{"value":{"entity-type":"item","numeric-id":3348894,"id":"Q3348894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$6FCD698A-522D-49E7-A635-0D43B43C3345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1368727864aeba50c31bb155f2f6e96f900d3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3807179,"id":"Q3807179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$94631CCE-DB5B-47FB-9B05-2D23018459ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc9a704e0a695471223ef1cd33102312776dcd2","datavalue":{"value":{"entity-type":"item","numeric-id":688552,"id":"Q688552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$F822E439-076D-480D-B633-C01A051BE7D2","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":"Q4645232$87126ACE-AE22-4374-BE28-B495705248B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbd0b8489aba57d80e9eb153dfd238f15cfe905","datavalue":{"value":{"entity-type":"item","numeric-id":1344885,"id":"Q1344885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$D12BC94F-1A5A-42D1-8243-BBA3B2F3CA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf3e796fd2e8120d999acaa240d4d3243776394","datavalue":{"value":{"entity-type":"item","numeric-id":2557697,"id":"Q2557697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$F487A210-2341-4AD4-83C6-C410F7F4EAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d026c9a1e39e4a40e139b4d29b1a36b03e3846a","datavalue":{"value":{"entity-type":"item","numeric-id":3358704,"id":"Q3358704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645232$2215034E-CC43-4BBD-A9CA-75378D916883","rank":"normal"}],"P1643":[{"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":"969efd418819797013491c6a8bdbb3eff662b3c0","datavalue":{"value":{"amount":"+0.8680477738380432","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":"Q4645232$0FF19B7B-05D1-4BC1-8D67-74B0A1D90A78","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":"2c3d0287c637db082b31404c4c93eeb3e55fe7da","datavalue":{"value":{"amount":"+0.8660263419151306","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":"Q4645232$C88C29D4-39F9-4285-8647-25566D3596DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbecdcb6ac501fa40c29d87506be76882c65ea1","datavalue":{"value":{"entity-type":"item","numeric-id":1776197,"id":"Q1776197"},"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":"Q4645232$70CF1FA1-05D7-42C2-BF68-40617516AB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbc866c35342d1718fc4b24cf4992a337dad3d3","datavalue":{"value":{"entity-type":"item","numeric-id":5193024,"id":"Q5193024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a0dc2b9859533acf89b1ee76fdfd342756d592","datavalue":{"value":{"amount":"+0.8306061029434204","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":"Q4645232$8978420D-CFD2-4F7F-B31A-9C2816457CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a2bc18a62b13e7a03628ba54285cfc645feed7","datavalue":{"value":{"entity-type":"item","numeric-id":5326476,"id":"Q5326476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d4d90d0741fc2aac03579a6354685ca66877e0","datavalue":{"value":{"amount":"+0.82867431640625","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":"Q4645232$AAE4C73E-A11A-49BB-8F67-60DB59F8C2DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645232"}}}}}