{"entities":{"Q3602955":{"pageid":5632861,"ns":120,"title":"Item:Q3602955","lastrevid":50572160,"modified":"2026-01-14T10:43:51Z","type":"item","id":"Q3602955","labels":{"en":{"language":"en","value":"Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5507909"}},"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":"Q3602955$40C6EFE0-7CED-4EDA-9FDC-A1D2E0884044","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5110aa6bd84427710a95d65e25291d27921309b","datavalue":{"value":{"text":"Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3602955$79D228B4-67A5-4C5D-93E6-839FA87A92EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f18389b58250fc00e1a5152f97f138b75be2488e","datavalue":{"value":"1175.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602955$58E61EC4-D6C5-4887-98FC-59017BDD2AD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"859bf3c6406c4877369738ba36af3b3fdb1dec00","datavalue":{"value":"10.1007/978-3-540-88833-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602955$F5531320-04ED-4826-A0D0-A507A3845400","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":"Q3602955$BFD6EC41-9768-488E-BE03-30E60F1FA688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$74BAA247-6CA6-4E9A-A84F-03D359774E87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$6E98FF25-DCA1-4B6A-838E-2147319C52FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"662c9d768c258b8c4aa4cc6d6ce95028979dfb46","datavalue":{"value":{"time":"+2009-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3602955$7E37C7F2-0195-4A9C-BEAC-F8CD702AA906","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602955$4EF25B5D-E5B7-4653-8846-E06774CD0182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602955$8B9E89D1-1767-4EEA-98EC-88CCF0787979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602955$3DE2CC3A-7951-4E9C-B307-BFF0DE742936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602955$A794C882-3832-400B-933C-890C89E46968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602955$217E5CCB-CC0F-469C-B8A2-CDC2E9640783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602955$E084C3DF-A920-4B2B-9747-227D09FFB2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602955$AD0B8D6E-38D5-4B2B-AF77-15568C8EB4C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7626a21eeb16b6cd7f8c067ee8bf8bf29438f7a1","datavalue":{"value":"5507909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602955$69975E10-BCD2-407B-BC02-3B017AE17474","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":"Q3602955$E032DE74-EA2E-40F7-AA90-06D4E44021DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55ef8372acb096e96238caa5c9154846deb26b9c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88833-8_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3602955$2FC5D5F0-DDDF-4197-9FEF-A4459DCF9B37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ebecda5e8bff3d67fa7fe9123bfc6864f8b8ad3","datavalue":{"value":"W1596272894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602955$3ABD351B-44F5-489E-B91D-32ACA376186B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e93f225a9fb65e4ce08a25ac30f0d68011d2555","datavalue":{"value":{"entity-type":"item","numeric-id":4681370,"id":"Q4681370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$56B0FC08-4D3C-4572-B8E7-BF35984AB3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093cb8288f4bd70c7a0e1a5334ff31c1e7f21b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4012241,"id":"Q4012241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$9AB956A2-6052-485E-91D6-B0CE6C047DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5981093de7318a498b1240e582ae77ef4686c9","datavalue":{"value":{"entity-type":"item","numeric-id":2701979,"id":"Q2701979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$EFD6FC4C-833A-49B2-B4BA-AD7C6494274D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6654ad769f2a465edfb201062980ff3941c62e81","datavalue":{"value":{"entity-type":"item","numeric-id":3838802,"id":"Q3838802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$7DB32BDB-8C6B-4792-837A-194C7C5DB238","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":"Q3602955$59C439D9-EDF9-4A69-9125-5924AAF88FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601eb92fb4eb5672b421ee77f36023e965bb0eb7","datavalue":{"value":{"entity-type":"item","numeric-id":4529491,"id":"Q4529491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$78226DB8-F9C2-4318-81F3-6B0EBDDFBF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d67cf8264090fe41d23f087dc2ad7410444041","datavalue":{"value":{"entity-type":"item","numeric-id":2567343,"id":"Q2567343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$DE9C2F93-CCC0-411A-A332-16AEB63E34BE","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":"Q3602955$E35ADA06-3683-424A-B009-A48DA56871FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b4b0209c74c5d7baea41c1bf0a2599eb0bc248","datavalue":{"value":{"entity-type":"item","numeric-id":5479274,"id":"Q5479274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$E7709BD6-6FF3-4E8E-932B-2D45B45F9587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d71c210a6bdada3134ea1f7d266d1bc5fbfa6d","datavalue":{"value":{"entity-type":"item","numeric-id":352943,"id":"Q352943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$AFCCE96F-A9FA-4746-B21B-C6F9A85F2557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed62affda232e5190a0a7d708ab74cbe94781bb","datavalue":{"value":{"entity-type":"item","numeric-id":5434485,"id":"Q5434485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$47F10C55-A7DA-43DA-8C5B-E0BC9FEC1BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$F38CB484-3D13-40B5-967B-916908043F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$09261D38-F9F2-440B-B606-98D1D038FFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98afecea6c9bf2b569ab9987ff42dfd676b47f5c","datavalue":{"value":{"entity-type":"item","numeric-id":814639,"id":"Q814639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$A0A56094-C9E3-4E7F-B6F1-431632B74145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ee55017802e011954bc099d138e27efcf9e2f8","datavalue":{"value":{"entity-type":"item","numeric-id":5955621,"id":"Q5955621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$C2A12FF7-39F8-4468-82FC-D29A729D6943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ede75a9b2c95c75421b8fd71bd4d85f0b10f45","datavalue":{"value":{"entity-type":"item","numeric-id":2503328,"id":"Q2503328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$227D155C-DD85-4B85-B73B-E8F9DBC076AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ddd5969b027023ed398a6ec0122155bc79b858","datavalue":{"value":{"entity-type":"item","numeric-id":3623962,"id":"Q3623962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$B9B57000-D276-40E8-B8F8-4EC2A4A4E25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d60697a31a720ca3818e290670745c2871f117","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$CB3B7DE5-E6D5-423F-83AD-E99F944E9CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602955$7D7537CC-BB11-42D7-B4E4-A5B59011D03E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e41072e861f72b3f62d9e622b3f1127307a419c","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e407d4ca82e4c9b310311b1c1b33ad84fe4cec4d","datavalue":{"value":{"amount":"+0.7954477667808533","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":"Q3602955$36C1F0BB-2F22-4042-AF7D-674C1557F319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c595f8293d5bed0227e1747b9ffea55e6cefba1c","datavalue":{"value":{"entity-type":"item","numeric-id":3397155,"id":"Q3397155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833203df0c8cac80ceb1a67c4e22f5f29a2b79d5","datavalue":{"value":{"amount":"+0.7895521521568298","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":"Q3602955$BD5A515A-D180-4065-B1C5-16FEE8B821F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c343dd6ae88daa7a0fbb561afbc44922ecab5bf1","datavalue":{"value":{"entity-type":"item","numeric-id":456722,"id":"Q456722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95bf579c53464a4ccfcba3ca27b2856ce2362973","datavalue":{"value":{"amount":"+0.784847617149353","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":"Q3602955$0C808991-9636-4FD1-8DE1-981A2C5E2B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55400300a4200ea2ef755c71c47748c8f4843f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4236067,"id":"Q4236067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f4b0b48780aaa0fed2dc8194636682232d74d7","datavalue":{"value":{"amount":"+0.7789168357849121","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":"Q3602955$3B73DED4-74A5-4765-B563-9A4151EB39B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553bb8fccc21fcd98c66f3bfee4c1a71213ffb01","datavalue":{"value":{"entity-type":"item","numeric-id":5479274,"id":"Q5479274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0f1b029c988288cb2fd4b6a8bae27b8c6e3e08","datavalue":{"value":{"amount":"+0.7664033770561218","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":"Q3602955$7676C938-F4AE-435C-8867-C69BD5FD7878","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3602955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3602955"}}}}}