{"entities":{"Q6939166":{"pageid":21138609,"ns":120,"title":"Item:Q6939166","lastrevid":84105389,"modified":"2026-05-10T05:07:00Z","type":"item","id":"Q6939166","labels":{"en":{"language":"en","value":"Hypersequent calculi for propositional default logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8084058"}},"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":"Q6939166$CC25E303-5437-47AA-A73C-5765FFFF301E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"931cea0df4be76913a186929d8b3a89d704d574e","datavalue":{"value":{"text":"Hypersequent calculi for propositional default logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6939166$2E9F9C61-3F02-4F0C-B73B-98CBEDDDD77E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f29bd4392944553611d4b13514d82a26093093d5","datavalue":{"value":"10.1145/3725849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6939166$789DB847-4832-464B-8041-2DF0959D9218","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df2385c3290f4a126d253e8192b4d267a247c","datavalue":{"value":{"entity-type":"item","numeric-id":209450,"id":"Q209450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$E5D2B6B7-2451-4ED2-AFE6-DD0543C12F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9da19579cfdc09b98329a3e119b112178d12ba0f","datavalue":{"value":{"entity-type":"item","numeric-id":6145028,"id":"Q6145028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$B3487465-54E6-4EBF-8F2A-75603952BF11","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":"Q6939166$A47AF468-B792-4657-804C-5E6A7F6848B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52aff4aa4372617c5859dc7854cd4240466465d4","datavalue":{"value":{"time":"+2025-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6939166$C6A84AC0-9245-4EE9-9002-A86E3A40820A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6939166$0C927B7E-D3BA-4F22-9136-406B28FE2D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6939166$5E422090-32C5-4903-90FE-58EBDB81F400","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ac1dd3e238929301d4990d96374d82dbce187e5","datavalue":{"value":"8084058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6939166$676722BF-D2D9-49D9-8334-ABF9F7AA2CCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939166$2BE411A1-AC79-4661-8888-3941971FAD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffb7d6d0086432177d71260173c9efb8a43d2a5d","datavalue":{"value":"sequents and antisequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939166$252D184A-5334-4BBA-AB9E-0B4C798F8FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7639d1040c7017ae5d014d2c1b372530bb6003a5","datavalue":{"value":"hypersequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939166$B6927F37-3A80-466A-91A4-31CE3E43BFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939166$A60D7702-36F9-4B3D-A2FB-0A7B54A019B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d75ab3b1d0b161be33e4d2ec6fa01a5a7c7f224","datavalue":{"value":"analyticity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939166$68F4CB0A-B6F8-4C6C-B29A-C1C952847264","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":"Q6939166$65057736-30D4-40E9-B3E3-D593A62D9D25","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":"Q6939166$1DEC3341-360E-4BDC-9BD8-960CFEC3F836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad00fb32e5c4433a1ca77c521ef6a0bc27cb664","datavalue":{"value":{"entity-type":"item","numeric-id":4501807,"id":"Q4501807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$C72C1634-4AC2-4DD1-8DB2-91F081F56217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$32E1FBAB-0294-496C-9896-2AB0A290A319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a8a36327ea86df5522203c0e0180d9b3bcc5cb","datavalue":{"value":{"entity-type":"item","numeric-id":1311413,"id":"Q1311413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$337D9C84-338F-4A83-8CE6-E3BFB6816534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$D1136549-442D-4783-A177-2E0A2BFB0BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880d41332430dd5e6574ad173ae1b0cee5f623fd","datavalue":{"value":{"entity-type":"item","numeric-id":5738955,"id":"Q5738955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$B066919B-7BE0-4A00-93FE-954785FF7045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f517f93e41f1b83fc185c6676d8edd046e7ca0a","datavalue":{"value":{"entity-type":"item","numeric-id":1187215,"id":"Q1187215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$75805A81-3F79-4593-A523-7F9E824A4E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0766a7492cd5748706edf0fecd8cb2e432ebb13f","datavalue":{"value":{"entity-type":"item","numeric-id":4644486,"id":"Q4644486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$A24AE0E2-3DDB-44E5-B3E4-72A04B4F701F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8814d7f358f9540fd14785c9a38b122c4dd1402b","datavalue":{"value":{"entity-type":"item","numeric-id":5101456,"id":"Q5101456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$20B994C7-EB7E-4224-A5B7-AF745D680137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ffc0f5d69527983879367d3a98f2fc5ed501b2c","datavalue":{"value":{"entity-type":"item","numeric-id":472804,"id":"Q472804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$EF868427-04CA-47A5-9337-2316E67B68AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e9b5b6f891d832de62777964bf4d48b4146b18","datavalue":{"value":{"entity-type":"item","numeric-id":4028783,"id":"Q4028783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$F3A54E82-CF30-4519-ADFD-5001660B42C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87bd0d661c6f87c4eba3d55a7217fe1c254772e6","datavalue":{"value":{"entity-type":"item","numeric-id":1342221,"id":"Q1342221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$6013446C-B758-4823-85BC-A0809124E834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"558a8dd2e71aab5a2cba4195f7760f22b214457e","datavalue":{"value":{"entity-type":"item","numeric-id":3549127,"id":"Q3549127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$B22B1F4D-F6D5-4DD4-9791-06481C32019B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$687A5A2D-470E-43A9-BF5A-E7843A2356E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b545a3b78940c4eaf91abdb8f66855858430c8a9","datavalue":{"value":{"entity-type":"item","numeric-id":1327486,"id":"Q1327486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$CC0640DD-792F-4C74-AC87-8671E3059F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8282ae76075de46eda753bf93260923ef326c373","datavalue":{"value":{"entity-type":"item","numeric-id":6601769,"id":"Q6601769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$E23A242B-1425-448B-8EC5-EB6C3D2CFF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a516a7e10420a76f19eabc78f2ea2114edaeeadc","datavalue":{"value":{"entity-type":"item","numeric-id":2330501,"id":"Q2330501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$F959BCFD-2068-458D-8C5A-80482337CCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$120762A6-2B74-407A-B657-5B4F4970ABC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5e87837189e35a898d6440a502052dbfef3ca9","datavalue":{"value":{"entity-type":"item","numeric-id":1589575,"id":"Q1589575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$16A38B68-F071-4E96-85B4-C5D4DFD85A20","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":"Q6939166$339634C1-1373-41C3-842E-88B31B756ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51131bc45fc540dcda31969ae9495c544dc192f0","datavalue":{"value":{"entity-type":"item","numeric-id":5715109,"id":"Q5715109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$998CF32C-BA30-4330-A6F0-101F5CEDC11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ff346f261c7fd8750a0cb425f77cff3ff4dbf2","datavalue":{"value":{"entity-type":"item","numeric-id":2384386,"id":"Q2384386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$EAEF2B07-A16C-4397-BCF0-35B9235D0457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03faa4dbcac10b41e80920dfdcc0083c7771a5","datavalue":{"value":{"entity-type":"item","numeric-id":4273952,"id":"Q4273952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$A05AEB96-3459-4B34-9CDA-347CA840CCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$CAEB26EE-3F26-4442-A748-8A0914630A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1d49409c8b07d07881a4c43600f2f99f1c45f9","datavalue":{"value":{"entity-type":"item","numeric-id":1337686,"id":"Q1337686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$5C3CF3FC-23F7-4BF5-8730-772C7AEB7873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb98811df87eb4444770359179b26645f248a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4644567,"id":"Q4644567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$1160C91A-637D-4143-B58F-5547D07E8AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ffb139b611f3f4d51fdd9fe821033f42728b18","datavalue":{"value":{"entity-type":"item","numeric-id":2987041,"id":"Q2987041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$B2C0ED44-3633-4180-9DF8-F8B11CD1117B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b557ba22f033313fc1b288821f5dd881be2de00","datavalue":{"value":{"entity-type":"item","numeric-id":3389493,"id":"Q3389493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$7C0B0CB8-3601-44B9-AEB9-E31EC9F239C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dffdf59cc6a3ca778ec9d41a1a51036535a53ca","datavalue":{"value":{"entity-type":"item","numeric-id":6145029,"id":"Q6145029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$C346F470-4A6A-4AA6-BC3A-AD1A095F27A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ed30a052fd205d7275a78c3f635a9df973bb30","datavalue":{"value":{"entity-type":"item","numeric-id":7004097,"id":"Q7004097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$E06684E7-4B42-46BF-9731-034648BD9DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd65447e64a1305887ff96dde7e16d42996c9549","datavalue":{"value":{"entity-type":"item","numeric-id":6909896,"id":"Q6909896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$5B4735EF-C963-4C2B-AC23-2370A04EE382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727533a3d0d816797bcc34128bff8fa0002535b8","datavalue":{"value":{"entity-type":"item","numeric-id":5883190,"id":"Q5883190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$CE43B2FB-084D-4E1C-9BD7-9E4EFAF0D8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658fbffaf2ae85f06a398287b1897cc70567d3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4857857,"id":"Q4857857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$71103496-F587-4DDD-A74B-D839369770BF","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":"Q6939166$C654DC88-4D43-4DDC-A7FA-478D0E49F5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b708c439c098500da67d50fe581b317ca0afea","datavalue":{"value":{"entity-type":"item","numeric-id":4868235,"id":"Q4868235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$D6623FF0-4B8F-4A01-808B-CC02EAED7A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7697e3748d304d7ab9639d6e56e46ca2421c6fa","datavalue":{"value":{"entity-type":"item","numeric-id":1896366,"id":"Q1896366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$682F4C4B-4F69-40B5-B4BA-535C3DC1FBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48848107f3c58d397a2d8c591afa779ac7733c51","datavalue":{"value":{"entity-type":"item","numeric-id":6936325,"id":"Q6936325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939166$E9ABD3A1-8582-4ED4-AE7A-34A4A8A631AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hypersequent calculi for propositional default logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hypersequent_calculi_for_propositional_default_logics"}}}}}