{"entities":{"Q2535854":{"pageid":2546597,"ns":120,"title":"Item:Q2535854","lastrevid":44295537,"modified":"2025-11-21T19:19:00Z","type":"item","id":"Q2535854","labels":{"en":{"language":"en","value":"Tableau methods of proof for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3293662"}},"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":"Q2535854$15A38CB2-5EBD-4277-A093-9884B0E1EB05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7639ad872239ca73277182d6491b9c6cd15ee90","datavalue":{"value":{"text":"Tableau methods of proof for modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2535854$1F301FF2-C9C0-4E8C-B060-28D39C5EAE4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8504eec206874178206b37488c7e4ad432babeb","datavalue":{"value":"0184.28102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535854$F1FF6AE7-82E4-4020-A0D2-0A6B86DB5739","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2535854$1CF8BD50-9D5C-43F5-8515-289753175AC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2535854$2A50D7E0-24A5-4BD5-B6F9-03E136E42B3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2535854$CD028AF5-0BF7-44A5-B978-7F4CAC151DE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535854$A1DED327-70FB-4106-8FD4-63738C42146C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f855311b087354abf6e3b26a80262b0004b93f4f","datavalue":{"value":"3293662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535854$3CA3F0E8-BCD7-4A14-B3FD-B064670C17CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db9eec9f8678adc5795d2749c1b35b75bb9eac3","datavalue":{"value":"general logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2535854$16A0C18C-F6F8-49EC-AA02-077575AD384E","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":"Q2535854$DAA2AAA7-9CBD-48E3-B73C-4C634446E417","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab3478fee0c12fa7e731126b0195fa98ce8b6510","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093894722","type":"string"},"datatype":"url"},"type":"statement","id":"Q2535854$98933AFA-5FF7-476B-B3C2-0387B3C69F18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92e8b60d7af2fc190a1ced67cac15d6e32df6978","datavalue":{"value":"W1978260344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535854$4F7A3EFE-79AC-4763-8E79-A90318A50EBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b834392affa9ccdae0d8b2b20caa31a304d769f","datavalue":{"value":"10.1305/NDJFL/1093894722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2535854$23989B78-33AB-4B24-869B-A44BA95DF37C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2535854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2535854"}}}}}