{"entities":{"Q5747763":{"pageid":7777314,"ns":120,"title":"Item:Q5747763","lastrevid":97044800,"modified":"2026-06-05T13:06:55Z","type":"item","id":"Q5747763","labels":{"en":{"language":"en","value":"Optimal and cut-free tableaux for propositional dynamic logic with converse"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785451"}},"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":"Q5747763$8F177301-3134-4061-990D-B375CD28478E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3af747ff91e33f17674916f23c3dff3f1c54fa7e","datavalue":{"value":{"text":"Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747763$A66A8E1B-E3C9-4416-9B51-EE440F3578A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2824abea493d36652ac02183579451faf52b1f5a","datavalue":{"value":"1291.68345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747763$AD90D862-7BE9-4A09-A600-7CF2CF14763C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef3aaf49d9b83d3102024d685b8991455e95f107","datavalue":{"value":"10.1007/978-3-642-14203-1_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747763$EDC4853F-9963-49F4-A3B5-54133CD5D6C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747763$90433742-7B09-4DBF-9167-5B24F6B31053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88e1ab7ab2f148c27f932480a95ee9e0752f7f39","datavalue":{"value":{"entity-type":"item","numeric-id":2254248,"id":"Q2254248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747763$A9DC907E-A7B8-4AC0-94B1-568E315F26E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747763$78140C33-7A16-4225-A3AA-C34D9F2971FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747763$02FAFA47-4974-4967-BB01-B21BC64A14B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747763$E071C6AD-AAC3-43C7-8B8C-C37EB330046D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747763$C2C23C46-B924-4ABB-8A4E-D7DB743019DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a9d46c8855ae137bb16ac7cc1b0bfe857a53ef7","datavalue":{"value":"5785451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747763$4694731A-C322-4D2F-9994-804C8C727CBA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747763$B445F29B-9A22-419D-BBEB-5C342686072D","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":"Q5747763$876F91F3-FB42-4415-B3E1-D605E24FC753","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6f1c610061232c0e19fd6637a2e764d8fb535fe","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747763$E6296828-3B92-4E6D-BB93-CDC6618D2259","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f65a97f7c482dd0df30e8c51d21b7b429d62e121","datavalue":{"value":"W2161218164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747763$6C77BBC5-DEAC-4AD6-950D-36A1C6316124","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fce396657662d76f5dac0f33566dbff096a660","datavalue":{"value":{"entity-type":"item","numeric-id":3740223,"id":"Q3740223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747763$B7E569AA-3EEC-4E05-9A00-9DB0C2223513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1dbf5771994548b20fda96ec562836af82729f2","datavalue":{"value":{"entity-type":"item","numeric-id":1854371,"id":"Q1854371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747763$4175566A-9436-4D8D-BFAD-B8007B85589D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f4af750feffe07532baad6b022ff1a80c425c9","datavalue":{"value":{"entity-type":"item","numeric-id":5897298,"id":"Q5897298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747763$A684EECB-167E-4DD9-87B6-E7FEF2787462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747763$C3058736-105C-45CE-A563-6113660E929A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975b69a52d70fff5a2cc8b737e571d9ff57ab726","datavalue":{"value":{"entity-type":"item","numeric-id":5191118,"id":"Q5191118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747763$8944E962-0770-4DC1-87F4-58CF00873E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe4f2be9a68b53ee4de8efb6923b332d4ed8375","datavalue":{"value":{"entity-type":"item","numeric-id":3648732,"id":"Q3648732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747763$1A161ED9-7474-4485-81DF-5B3C7E44DD3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079684752b1943f1aee76a1343d5eb0e709eae7a","datavalue":{"value":{"entity-type":"item","numeric-id":4647551,"id":"Q4647551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde8cf3a9819455c413839243ac6835019a75ff7","datavalue":{"value":{"amount":"+0.8689802885055542","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":"Q5747763$FAAF5B8B-7A07-46CF-9BEB-94F39E444396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f8b0d0383c79431497177fe560a2953b859ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1854371,"id":"Q1854371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0540d63c453d78ee3dffce68f8ab0809bc9e78ff","datavalue":{"value":{"amount":"+0.8584070801734924","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":"Q5747763$FBCA53EC-6EFB-45DB-968D-7911EF73275C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badd3ca2fd1676c9c397fba42326eda923535b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5191118,"id":"Q5191118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04ff4e9854da05b9f10028a40522dc45d684ea3","datavalue":{"value":{"amount":"+0.851513683795929","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":"Q5747763$8A92A382-A241-4496-95CF-E71CE188F881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9b7acc2a4e33e51eaee2adb35124482e98b56f","datavalue":{"value":{"entity-type":"item","numeric-id":4982121,"id":"Q4982121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b756fe289f89e7aa0bd42e6568cc614014e4b63f","datavalue":{"value":{"amount":"+0.818929135799408","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":"Q5747763$01B72A51-9DC2-4757-B017-E090754A73E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c16f28dc3fbff40601c642aeeaf42e7e815893d","datavalue":{"value":{"entity-type":"item","numeric-id":1923830,"id":"Q1923830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d79807481db95057b5afda41ac84f1ed8237904","datavalue":{"value":{"amount":"+0.8079019784927368","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":"Q5747763$581EB0D8-DAAF-4265-9620-3E1104A5F7F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimal and cut-free tableaux for propositional dynamic logic with converse","badges":[]}}}}}