{"entities":{"Q6860388":{"pageid":20658961,"ns":120,"title":"Item:Q6860388","lastrevid":84251423,"modified":"2026-05-14T05:23:16Z","type":"item","id":"Q6860388","labels":{"en":{"language":"en","value":"Refined tableau systems for some modal logics of confluence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8157970"}},"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":"Q6860388$D3CF0189-79AD-47D7-A4A4-A76882D98788","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a550ec840786dfe867aba1d348a5f0e9adc8234","datavalue":{"value":{"text":"Refined tableau systems for some modal logics of confluence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6860388$F1AC6014-556B-498C-B840-7B856ED9B769","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75eaaae1b40e08395c4573551497a660711d5e1a","datavalue":{"value":"10.1007/978-3-032-06085-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860388$EB8AA31B-2640-4AF8-BBCA-85E27104CA50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c574390416e433f2f843abe27e231b52e358a6b1","datavalue":{"value":{"entity-type":"item","numeric-id":6860387,"id":"Q6860387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$726CCD4F-8F47-42C1-A894-3AB287FA3151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$2425834B-6F0C-404A-9E1D-612CD8F5C490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6ab1fbf106e496a88446f2b3bd6d2be3544b1a6","datavalue":{"value":{"entity-type":"item","numeric-id":281155,"id":"Q281155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$3D247C08-038C-408D-BDAB-90E2F6792FAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-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":"Q6860388$F3CCC7BD-00BC-4D16-B96A-F57B710B93F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860388$764A3C68-71E0-47D4-8238-9D4A4AB0EA5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c826dc4afa8a5dcfa2e96d2e5d4f7a35e5c5ee9","datavalue":{"value":"8157970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860388$5D5C3740-47EB-484A-A68B-5305BB80206E","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":"Q6860388$FFEEC49F-F1A1-4D66-BAEC-F93CB3DFA0C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d24b41403a0fcda25f5f01b825e049f27d0d59d8","datavalue":{"value":"logics of confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860388$2D6274BF-4473-483A-97CF-C1A074BF1506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860388$261EB461-5B70-41FB-93F2-28EA1BED47D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860388$47598501-EFED-4C5A-A545-6B4D3462CDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860388$EC5B5B79-39F5-48CA-A68B-B767DE7278D3","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":"Q6860388$EB3A4A18-CADC-4B32-9ADC-0BCDCBE7AD82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"705e9c4672a37f242664e1a5d1c0779d2d5632b4","datavalue":{"value":{"entity-type":"item","numeric-id":2772883,"id":"Q2772883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$7191D533-1655-4C19-92C6-5350F73C37EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c41c3dc82af541fc9c595061b1bfba9eb47dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5955622,"id":"Q5955622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$63518F25-392E-454F-B2D0-60725CA93DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$B239D70B-03D5-4CB9-9BEC-4F2AA4833F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c29138920afdd872cf6e3791feb17594655142","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$25057AE4-C497-42E7-A664-70E5B75E9798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28eed6885d90be9ab542657cb2af4b6d289edacf","datavalue":{"value":{"entity-type":"item","numeric-id":4235432,"id":"Q4235432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$E8ABA03E-DCB6-4165-BB7A-6C287FB2DB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e299267965163ff34f1159e5fde10f92447367","datavalue":{"value":{"entity-type":"item","numeric-id":4539631,"id":"Q4539631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$BA69547B-5496-4322-A3A1-EEBE8D7D4D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$CEF789A6-3E56-4324-838D-D94B0E5DAD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"214814706b303bd97dfcc54cbc6e37d479d80dca","datavalue":{"value":{"entity-type":"item","numeric-id":5034228,"id":"Q5034228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$48B46365-13CD-4E40-B824-D289AD87E1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d871ed2878848b3bdbf2a24e9ddd2cdf4aa007","datavalue":{"value":{"entity-type":"item","numeric-id":4947999,"id":"Q4947999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$D1F48C64-F4ED-4C06-B828-2083B814EFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$C6DB9C19-6CE9-4C09-810F-446611A0F60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa97ceef96b310a53cd4a2f55a5b0957549af1b1","datavalue":{"value":{"entity-type":"item","numeric-id":409323,"id":"Q409323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$3D7E5F66-960E-4E82-9FD6-A0823C87F71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784e5301f99974a355391804b7e2a59fa92d55b6","datavalue":{"value":{"entity-type":"item","numeric-id":371440,"id":"Q371440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$CFC85DAC-5E5C-4471-A357-442B4C606E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$C6BA1B59-F3C5-4256-B95A-90712D88A638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0a36b5e5a2f5cb80d9359e24f77fcf45641717","datavalue":{"value":{"entity-type":"item","numeric-id":2721185,"id":"Q2721185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$4A528EDD-C6FA-4D9F-80B1-9BF2444CEF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$84E5EE88-2A27-45E6-B12C-A5D80CF66096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf080a55f0b8964651acaeb861c03614c58bf33","datavalue":{"value":{"entity-type":"item","numeric-id":4168590,"id":"Q4168590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$45FCFE80-A9A6-4A23-8F02-DB7870FFA382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8878af2dd7b0d9fdb044f92714984afaee5f54","datavalue":{"value":{"entity-type":"item","numeric-id":2142093,"id":"Q2142093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$8765491C-4739-45E7-A6D9-FBD5F5D1AA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ffa56082557e8885a87ab41ce768616fcf161dc","datavalue":{"value":{"entity-type":"item","numeric-id":3382814,"id":"Q3382814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$86052C3B-9702-4E00-9E63-4301B5380B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bcf1b46178be44062d377be1abddee858aa0cfe","datavalue":{"value":{"entity-type":"item","numeric-id":1694451,"id":"Q1694451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$F31EF4EA-8B8E-46FE-8878-6DC9B7704657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595c8b1dfa02519b9bc0d4750f00a276e02ef5a6","datavalue":{"value":{"entity-type":"item","numeric-id":1977576,"id":"Q1977576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$8CDBB947-D004-4C4A-ADDE-3993DCDC4D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027ebbb319f6ddd45c809b3e595d23ff70f6cd1c","datavalue":{"value":{"entity-type":"item","numeric-id":2817940,"id":"Q2817940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$F00E7C25-CD62-4509-A09D-1A6ADCD9CFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9548f5831db17341f032d3d52c447dde869b51fa","datavalue":{"value":{"entity-type":"item","numeric-id":3192202,"id":"Q3192202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$D9075808-DA5A-4F1C-81F0-3364511D3F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$2F10BB89-8BA7-4610-BA41-393266657474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$9C89C982-8352-49BE-A76B-FB8BC6C6CFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf369b49ac3a1f4335d4207d86c61de5a8b6e77e","datavalue":{"value":{"entity-type":"item","numeric-id":4558785,"id":"Q4558785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$73BBA2B3-7CA9-458E-93A3-954EAFBE555D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$14AC8BCF-CBFB-4F6D-8968-025863767CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c0b67b26953c51ed06d8bcf68eda9998162111","datavalue":{"value":{"entity-type":"item","numeric-id":5277784,"id":"Q5277784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$91BF0803-99AA-4835-996A-52887DDA3EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ce04b9cd2287eadad31499bc1179a15eeae372","datavalue":{"value":{"entity-type":"item","numeric-id":3541702,"id":"Q3541702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$541BC818-07AD-4081-815B-DDBB30D28DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3596ced879e749ef53140dbf9ff2b1cddd891bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5902297,"id":"Q5902297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$C242B58E-D707-4A83-9E06-AD2130799BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b556daa46d372d3d13308ee1a82ad862dd3152e","datavalue":{"value":{"entity-type":"item","numeric-id":3455760,"id":"Q3455760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$399DA670-5EC1-4C2B-A727-2A05C9AD1DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dade27511e89249ddf1dc288e1390c3b726b93f3","datavalue":{"value":{"entity-type":"item","numeric-id":4636309,"id":"Q4636309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$9A623BE3-0310-42D6-B270-D54AE5D3122F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$66F4F1D8-6C94-4D0E-BF00-E2770EDD40A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b497915b088012b4d3693a4884f5f42492c51b61","datavalue":{"value":{"entity-type":"item","numeric-id":5419898,"id":"Q5419898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$DD13CA5B-61A5-4DE5-BFD2-7C0CE04F10F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$39A8C3A9-AA76-42C2-AF94-CEC56FDF059B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842d1c2c50e4f6152c1646f7649b15d27250c7c8","datavalue":{"value":{"entity-type":"item","numeric-id":3608799,"id":"Q3608799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860388$B67DF718-1C05-40B1-8557-2EC0E52CE638","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refined tableau systems for some modal logics of confluence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refined_tableau_systems_for_some_modal_logics_of_confluence"}}}}}