{"entities":{"Q6552502":{"pageid":14163657,"ns":120,"title":"Item:Q6552502","lastrevid":57126873,"modified":"2026-03-26T17:25:33Z","type":"item","id":"Q6552502","labels":{"en":{"language":"en","value":"Sequent calculi for choice logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7862267"}},"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":"Q6552502$A0D6B4EF-4C8E-4DC9-A08E-52AA9E4766A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc1ec65025c73618a7cb92582b3f309b7d3fde6e","datavalue":{"value":{"text":"Sequent calculi for choice logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6552502$14E1B980-D02A-46A8-801E-53B381C96A1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd0115f05e7bcdab3afe72f62c8371f8e0fb3652","datavalue":{"value":{"entity-type":"item","numeric-id":2082502,"id":"Q2082502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$F5713251-C3A7-4F87-BAD1-772B3DBC5675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0af247aeda0d0aefbfde68ae92601a0a6b67c69","datavalue":{"value":{"entity-type":"item","numeric-id":670703,"id":"Q670703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$50BD854B-B752-453C-A374-4BE0131FC18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b21d00f84d9c5c43e2b91bdd5fb733d01daaf7a6","datavalue":{"value":{"entity-type":"item","numeric-id":227526,"id":"Q227526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$C0E701F8-89C7-4FC0-9DCE-4CAB52AC812A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$B3748392-0FCF-4D65-B648-D290F4745F01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$ACD0DE3A-1DD4-4E49-8D32-1D5D3AABEE11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cecc8d7d8d08573711fa21dc224c9ea5cd3eb97","datavalue":{"value":{"time":"+2024-06-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":"Q6552502$3BBC9C22-92EC-48BE-A08B-35A83E7F9B84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6552502$1C6C52BE-330A-43F1-BB1E-0E3FF460342C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cb2b8f28e8db48416e0d1428ec711897ea801a2","datavalue":{"value":"7862267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6552502$DC06A066-6E68-48B3-9548-90C1FD51C0BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552502$F4288DEC-37A3-4C35-985D-8CD58CBE6572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6289e10356bc8d14534a50f1e85ab2fd49701275","datavalue":{"value":"choice logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552502$23B77D17-32B5-4857-B23C-C6DEE842063B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca7a87ac75b6fc8996107d37cf3a35b06f03b833","datavalue":{"value":"preferences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552502$D6BA0DCB-58F3-425B-8EC2-9A7244741771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"999d35f359100f167c13eb8cfefaca94fb3bf9c2","datavalue":{"value":"nonmonotonic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552502$0C097E01-9C40-46DC-AB22-FCC8F3E15584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216a8d7b871a062bad8919fefbce32ef5dade227","datavalue":{"value":"refutation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552502$27FEC715-B257-41A3-8EA3-45A139FE33BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62676e9a34d7ad881529313209a5ee72ffffa4fe","datavalue":{"value":"antisequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552502$B76C4631-EBA9-433D-B53D-7262719970BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2f8e5d33d96624b24db20f5192522531f2ce8eb","datavalue":{"value":"preferred model entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552502$4A347760-66B7-45C6-A426-0955B9921E3D","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":"Q6552502$905596AD-F224-4785-B1B4-FF7A18C9C9B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0afcd6dda714ebc12ea0993fe847a41e9b939d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2082503,"id":"Q2082503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$460AA319-B921-4240-A584-0493C1BC32C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b211bc25b9bb75edab5ceafc4b86eb86c9a27039","datavalue":{"value":{"entity-type":"item","numeric-id":814609,"id":"Q814609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$C008B6F3-F3D8-4DB7-A745-A29F41F804EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1efaa2e9e8132af9e6c7845096b7a8467d9e2c","datavalue":{"value":{"entity-type":"item","numeric-id":2901188,"id":"Q2901188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$9F5837F1-AC3A-4E31-A676-1DE5541A2A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcdec353ac09243da6a3b62685ef11221c5b9d0a","datavalue":{"value":{"entity-type":"item","numeric-id":5227375,"id":"Q5227375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$F2470C6C-55D4-4D48-A200-E85E0F5BFD32","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":"Q6552502$E3C614EB-831D-49E4-89EC-F997BD8C2807","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":"Q6552502$95E76257-9004-479B-99EE-D2961BEB1618","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":"Q6552502$7D8D8969-3940-46E4-8D38-9F6208A2AF93","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":"Q6552502$315A0ABF-C2A4-4A67-929D-DDFEAF84EA4D","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":"Q6552502$E23AE81B-0E4C-4993-8E22-75CC8EB015E2","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":"Q6552502$72CF0553-87DC-4F7C-A128-67B613053852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75aea2e06e9ace93036a23121b2925d7388893e","datavalue":{"value":{"entity-type":"item","numeric-id":5020976,"id":"Q5020976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$18454A16-686B-436A-B619-B1ADCCC3608A","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":"Q6552502$7EC9FC84-1212-40A9-9636-46D0B2961122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368a84f58ca1408026d07605de2c13198cec437","datavalue":{"value":{"entity-type":"item","numeric-id":5296763,"id":"Q5296763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$285F28D8-EA9B-4E94-B312-04D714F1C68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838411164f69c97962f39c7996d24f24a07a1fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3770497,"id":"Q3770497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$0470F025-C757-4967-9D90-FB0AB137EE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72fe39e08bc18bc0a483b7750a615d4176ca318","datavalue":{"value":{"entity-type":"item","numeric-id":2351396,"id":"Q2351396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$CB2288E3-A3EA-4D00-86F3-C9E716DCE0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323930c8a01284c706b7d2e62910fc5d7662326a","datavalue":{"value":{"entity-type":"item","numeric-id":2045004,"id":"Q2045004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$09892766-7B38-49AF-8121-0293BD793E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a713f8c7ee9beb30f1c42d2923e953bd609ea99a","datavalue":{"value":{"entity-type":"item","numeric-id":2104520,"id":"Q2104520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$33197C09-88F9-41EF-A99B-568B611FCFE3","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":"Q6552502$20015CA0-7AB2-45FB-8689-E6B559DD78B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af24ba990df98829b6c3a0b381726a909a7b799e","datavalue":{"value":{"entity-type":"item","numeric-id":1193479,"id":"Q1193479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$47B5C5E9-683A-4897-97AF-FBC63FAF6FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$70CF4470-1830-443F-ACE0-64D12A2B98F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca517e7ea5421b333802fc45ae5321fefd551c52","datavalue":{"value":{"entity-type":"item","numeric-id":835189,"id":"Q835189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$14C56B9D-3A58-4A51-9489-546EF17D750C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e045644f15f2ec514fbf7d4f4fbc0347c4f7c10","datavalue":{"value":{"entity-type":"item","numeric-id":6411973,"id":"Q6411973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$ABF04849-BE8A-4992-B4A1-9A4E96A81B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde20416173d69340efc7174fe14015b85f237af","datavalue":{"value":{"entity-type":"item","numeric-id":6118690,"id":"Q6118690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$EA13ED46-9E03-4005-B5BC-EC91000A48A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccda224cf92515866ef119a116669d1b3eb5aac","datavalue":{"value":{"entity-type":"item","numeric-id":5019604,"id":"Q5019604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$4485D57B-4ADC-4DD3-9F78-365B781DD79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"791c19a998bc94e92ee1dd1ae1d775a24e126037","datavalue":{"value":{"entity-type":"item","numeric-id":5038473,"id":"Q5038473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$02838A07-034D-4718-BD1E-207371A8E761","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e4cd6ebc55db94b0d40ae16a0570c6b67b508a6","datavalue":{"value":"10.1007/S10817-024-09695-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6552502$7F5FD5D4-9CA1-4955-8601-7262D6D6974A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552502$4B417939-C454-4F72-96B8-D345697E82EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6552502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6552502"}}}}}