{"entities":{"Q2810012":{"pageid":2820750,"ns":120,"title":"Item:Q2810012","lastrevid":83327822,"modified":"2026-05-07T07:14:40Z","type":"item","id":"Q2810012","labels":{"en":{"language":"en","value":"Cut free sequent calculus for logic S5\\(_n\\)(ED)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6587706"}},"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":"Q2810012$12386207-7ECA-48BC-BFF0-9DAD43B9BDB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f2b1df477a5be6c0d05dfed7f2fae920127b05a","datavalue":{"value":"1338.03105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810012$B9C152D7-F4AF-4930-A18B-7FE324B9497A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b2613cf584ec54a9fbe1b2955f9ceb90b88bb35","datavalue":{"value":{"entity-type":"item","numeric-id":2106880,"id":"Q2106880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810012$9DD578E5-1C39-40C5-83C9-F445281F72A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f88047d510a654c87acfb0f9b656988fa90dacd8","datavalue":{"value":{"time":"+2016-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810012$7762A8C6-4C22-4E7B-8B50-14A2C84A60FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810012$C3138DE0-A4A1-44EF-A9E4-6FE470057997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810012$4F9EE515-5C06-41EA-8BFC-E6A529ED21EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e77310928d687216f7714eb0713280b2a67df2d5","datavalue":{"value":"6587706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810012$0BBC757E-4754-4D48-805E-1EBC562D5196","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810012$C2CF141E-8360-4DA1-B672-B7763C1FA0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36b4959982108af6f045c0bb02c86d284bd9b8a","datavalue":{"value":"distributed knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810012$87541B28-F529-4441-B3B6-16B60FDBBFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52255284767fca974705d31b422c2984ee6837ff","datavalue":{"value":"knowledge of everybody","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810012$5E0780FF-6681-454D-826C-C511408E26AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810012$F6EB8E4F-9C22-4274-BB51-423B38BB9780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810012$611A4E0C-A198-4ED9-9433-E4A26DF0C5EA","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":"Q2810012$96C68891-C32E-4A66-8EEA-A7F1354AF6F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20cdb24fc0ff5189d25a44b84646e97014cbf53e","datavalue":{"value":{"text":"Cut free sequent calculus for logic S5\\(_n\\)(ED)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810012$168474C0-16FD-43A6-A38F-ABFB55FF4C5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d13f78e0250926a342a04894d5483e01be9d177","datavalue":{"value":{"entity-type":"item","numeric-id":6770969,"id":"Q6770969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810012$67364658-B289-4973-99BA-37C11BE4EDDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385247abf24659d0ccd0e3a161377fe445f64953","datavalue":{"value":{"amount":"+0.8617147207260132","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":"Q2810012$9F54D51F-D0A2-49AF-805C-C8AE5E3EFB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50b448ca2ddb9ee66e64ca64d548758fd3bf612","datavalue":{"value":{"entity-type":"item","numeric-id":5283968,"id":"Q5283968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3c7a957a0ec056cea740e32d32060407495dea","datavalue":{"value":{"amount":"+0.8435428142547607","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":"Q2810012$5482FBDC-A573-42B8-A03D-B0226CD52EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cbb356d708ec4d093af55fa2b4d23959b0ff10","datavalue":{"value":{"entity-type":"item","numeric-id":2987741,"id":"Q2987741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ef32e9587404b4e1508ee2b3083487411ae009","datavalue":{"value":{"amount":"+0.8250927329063416","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":"Q2810012$1963C2F1-B77A-49B8-A65E-B0A4B131C99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb7051288014263ab7e27ee69689e8865a31e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4392661,"id":"Q4392661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee4aa423a34bf72265b745120372e374708e155","datavalue":{"value":{"amount":"+0.8116077184677124","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":"Q2810012$857CC067-4E54-4BFD-837F-F923828A0C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cc7780ba43a8ea5c56365615a44d25e91d56cb","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee4aa423a34bf72265b745120372e374708e155","datavalue":{"value":{"amount":"+0.8116077184677124","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":"Q2810012$2167D126-FD6E-4EA3-873E-1CF1836975F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut free sequent calculus for logic S5\\( n\\)(ED)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut_free_sequent_calculus_for_logic_S5%5C(_n%5C)(ED)"}}}}}