{"entities":{"Q5210808":{"pageid":7240379,"ns":120,"title":"Item:Q5210808","lastrevid":53639402,"modified":"2026-01-25T11:42:32Z","type":"item","id":"Q5210808","labels":{"en":{"language":"en","value":"Strongly analytic tableaux for normal modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154585"}},"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":"Q5210808$056712D2-E511-4F2C-A638-6EF23E00694A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37cb28bdfe26f1b9a1beea7cf32c62b8cf682fe4","datavalue":{"value":{"text":"Strongly analytic tableaux for normal modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210808$2BB1C9EB-3A3E-4D48-A6C4-D50B2531F682","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d4ef65e62aed1ba76ce625369d652d2b1182ec2","datavalue":{"value":"1433.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210808$6732D515-C171-4EC2-B314-DEDD609E0DE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4097f3c5a8803a939427543dd487e9248f4562e2","datavalue":{"value":"10.1007/3-540-58156-1_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210808$A9E05C85-67B4-4FD9-A38B-E058E68CE705","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd8358f34fdd94323fe17d3e8928b2b07a4e9975","datavalue":{"value":{"entity-type":"item","numeric-id":861697,"id":"Q861697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$4105DF08-01C4-4FB1-8A4A-4E51963A1167","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$58B8758B-5C41-4626-96FA-CBA08F757672","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210808$2E98FAEF-9580-494D-8AAD-F8AB0B70066C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210808$5CCDF466-D1A7-4FB4-AD77-6CC6113EF912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210808$4D1F644F-CE80-4E6C-A55F-E21546A438D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210808$C4BBDB1D-7645-46A4-8156-5D40EA750051","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70817cd55aac7fd83028e47e89d1fa184d937989","datavalue":{"value":"7154585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210808$5F859702-D36F-4A35-8752-79668EDEEEA7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4fcbbc12ff0cc07e406341b97e062f2fb672fc0","datavalue":{"value":{"entity-type":"item","numeric-id":23614,"id":"Q23614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$48CA188B-5EE6-459A-8337-2954EBAF8B86","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":"Q5210808$BA226081-96E7-4DDE-A3AE-FF4501C7FA22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db6f8375c2968e65884bccc08de55488189d8391","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_52","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210808$25244CAC-9947-4043-B162-3001C757B837","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a68b34f2728d8e7b282dad94996de526cee06783","datavalue":{"value":"W1567530468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210808$C5E13EBD-2F5A-48A0-A908-BD9D354B4539","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f5ecfa5a7f28801d04e2a0a5dc023244c9dab","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$7CDE8770-C8AC-49FF-B827-B213CE66045E","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":"Q5210808$0FF7B233-CC22-45C9-BC6A-DCADE28DD5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$70F7982E-C30D-4612-99DE-6021791BD462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5b36bc29ceed97d7f7df9301741351cda0737","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$185DE587-A148-4AD2-BA3C-2DCA6DB8977E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b64a24b6f394e37ee8f75882225f0ef086a937","datavalue":{"value":{"entity-type":"item","numeric-id":4281253,"id":"Q4281253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$7636127D-3810-4B09-9B76-CFE0F014BE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d53d6754bb9d6cbfb29567ac9b38ab8c7fa26f","datavalue":{"value":{"entity-type":"item","numeric-id":687154,"id":"Q687154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$713FD2AD-2EC2-4D20-9C33-6BF6D63A3407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"597066d5dd527d5726e521eb569617d9144c2aee","datavalue":{"value":{"entity-type":"item","numeric-id":1262142,"id":"Q1262142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$0BAEDD09-3CE3-4F62-A13B-2A0FA46322F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$D7CA423F-5B51-4817-ADAB-232922C21409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$9603BCFC-05F0-476C-BFE8-783354499A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262e0fc0c9acc0bb64d9975fe151b6db2ee24cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$BD3F373B-9C37-493F-B4BD-B08609D107C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038d0668ad0e7481c38d391c3c8c11bc8fd7a343","datavalue":{"value":{"entity-type":"item","numeric-id":4271091,"id":"Q4271091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$1499FF77-FB29-4F5D-BEFC-1AE28F19951A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$F7CB2AD9-7CC3-4D5D-B33D-34C8496887FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bda7bf2b683d32fb9bd0a60fb1ebf165437c69","datavalue":{"value":{"entity-type":"item","numeric-id":3832540,"id":"Q3832540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210808$2E205F46-B6F3-42E4-AB2D-71D9F0E19CCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cfa752e0b3eaf12afe959fb8e02e1c76c5e61a0","datavalue":{"value":{"entity-type":"item","numeric-id":2701979,"id":"Q2701979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37620166db5464bcf3b3508cb1e989ab81e52e6c","datavalue":{"value":{"amount":"+0.8314737677574158","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":"Q5210808$992D1F10-8F80-4138-9CC2-531D99332010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d5cf897fab50abe790e1373e1fad4ffd6c0495","datavalue":{"value":{"entity-type":"item","numeric-id":4235432,"id":"Q4235432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33330a6210422206a80989269eac7c234ffb9ace","datavalue":{"value":{"amount":"+0.8261184692382812","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":"Q5210808$137A9887-5F5F-4037-AF50-A3DFEE870B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474b52b1c95b980b32861a8bdfab5e4610ad7445","datavalue":{"value":{"entity-type":"item","numeric-id":4835516,"id":"Q4835516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a460c71b1b91ead56ba0b2fff051c74e4859d64","datavalue":{"value":{"amount":"+0.8261184096336365","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":"Q5210808$6C366526-242D-41AE-A298-EE23D2D07F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c3f572b6f09dd7c84ca727916e627e3fe09680","datavalue":{"value":{"entity-type":"item","numeric-id":4295875,"id":"Q4295875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1499dbc1921d4a2ed5201019a6b032aaa0a05e3","datavalue":{"value":{"amount":"+0.8257574439048767","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":"Q5210808$BDA08FAE-E467-4D42-AF37-F7A33D9574EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3257705da6e6f66c7382979e2a09e49bd780c0","datavalue":{"value":{"entity-type":"item","numeric-id":2563456,"id":"Q2563456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd35b28f05d58e681187b28ac5ccc3e17d1cb99","datavalue":{"value":{"amount":"+0.8229908347129822","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":"Q5210808$63D4A136-22C4-494D-A6B8-B8D1396550C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210808"}}}}}