{"entities":{"Q5738955":{"pageid":7768507,"ns":120,"title":"Item:Q5738955","lastrevid":52826858,"modified":"2026-01-23T14:25:31Z","type":"item","id":"Q5738955","labels":{"en":{"language":"en","value":"Sequent calculi for propositional nonmonotonic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729764"}},"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":"Q5738955$E55D47EB-ACA5-4B77-B970-4211BB8BE240","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa586ddc4f6d8ea22cb4bf57b2e74bd02270142a","datavalue":{"value":{"text":"Sequent calculi for propositional nonmonotonic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738955$1424A6E0-1952-4109-9CB9-A7F9FA2B6345","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea493341f04aec6d528dd569c9591133c194bb52","datavalue":{"value":"1365.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738955$130409B3-E30B-4FF8-B0AF-1AF4E6CC2CA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66bc2935eb42ea948e77f41e58a33388a56d5125","datavalue":{"value":"10.1145/505372.505374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738955$EFA824C2-CC13-4410-B09E-DB2D34E7AEE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738955$9F1D179E-7FAE-4C90-B269-051910714EEF","rank":"normal"},{"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":"Q5738955$A1EDB048-0FC6-427B-BEAF-290B78FC5030","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738955$E28E9B7D-7A3C-4488-9A3D-49A28AA56175","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738955$32C5688C-D5A8-4FD1-AAA2-68B31BC07510","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738955$8A9C9184-F269-47D7-898D-A0F118F545A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738955$5F3773D0-9C0A-46D2-9F47-4E951ACF80DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"560c7a20d74766343946779d8f62f06643a992ff","datavalue":{"value":"6729764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738955$15261809-12E4-4564-8FD0-29611F3CC113","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738955$AC2B290B-D4AB-4DD0-8DA4-4D4D4C7A2856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738955$8498D801-B86B-4781-B8A2-6D0336482A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738955$85FD9C85-6CE7-4172-A15C-4C33E54A3B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59c5457aa5101ec6782986169982c254b51cd9b5","datavalue":{"value":"rejection methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738955$D0B2E0AA-0C92-4A2D-98C7-57A94423257F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738955$5316FD26-048A-47BF-9DF5-56CA06F064E2","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":"Q5738955$954D3C5E-CD0D-4A0E-9723-D2C5E891105E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fae14b73d6b572f8e13af61b9536e02aa9b1b21c","datavalue":{"value":"https://doi.org/10.1145/505372.505374","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738955$98B9294B-F1E0-4913-A750-B6EB4BF618CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e95b019364235e508f6f9f4b22e62014b6cbfda","datavalue":{"value":"W2019738341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738955$E8471C5C-C395-4588-917A-7D0DA5DAC249","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c19d7b2a89b2589ee2eae31d625dcafc88fb45","datavalue":{"value":{"entity-type":"item","numeric-id":4218925,"id":"Q4218925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c64919bf1d36dd00f85fec05531fc28328c266","datavalue":{"value":{"amount":"+0.880944013595581","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":"Q5738955$C6D97123-D177-41BC-B11B-3921E865BAA4","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":"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":"Q5738955$2D254120-A798-496E-889D-9AE064476C01","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":"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":"Q5738955$31710928-66E3-4283-B4F1-69C3750FC52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fb6e42bbd5a706cb6c82783f385907544bd227","datavalue":{"value":{"entity-type":"item","numeric-id":2946576,"id":"Q2946576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73773b0267f10e033a43006f97d7101a91ee454c","datavalue":{"value":{"amount":"+0.8146451115608215","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":"Q5738955$C0D06CCD-E082-49E8-B417-35C0E7AA6CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087a094b8e4e9ab2ed58c2fb6e88791e3627d707","datavalue":{"value":{"entity-type":"item","numeric-id":3549127,"id":"Q3549127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"869e7c565798660adb90513d01723796d8a9755b","datavalue":{"value":{"amount":"+0.8099542856216431","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":"Q5738955$3AF177A2-0B5D-418E-9D56-449B066AEE2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738955"}}}}}