{"entities":{"Q2804325":{"pageid":2815063,"ns":120,"title":"Item:Q2804325","lastrevid":52518590,"modified":"2026-01-22T20:54:49Z","type":"item","id":"Q2804325","labels":{"en":{"language":"en","value":"A cut-free sequent system for Grzegorczyk logic, with an application to the G\u00f6del-McKinsey-Tarski embedding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575037"}},"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":"Q2804325$FA8EC758-0FB6-4A9F-A5AF-24B565BAF25C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a959df56ba94e146e305db9f10292142ef4065f7","datavalue":{"value":"1444.03170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804325$7C242E0D-48A1-4DD3-A646-255FD870F574","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804325$2CBFC2A3-65C5-4505-A314-5B9F9751FFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804325$FE819A37-6145-4EC6-9982-172E3AE77B17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"023d69fc066169597fa101da2e0c4ab7a589a584","datavalue":{"value":{"time":"+2016-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804325$5FE9B042-EDB0-4160-B981-727556E6F607","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804325$730F17C5-96CB-45A4-8ABB-9561DEBCED08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804325$B3D0BF6C-5FD1-4AE6-B16D-8850BA1093A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804325$CC910194-BC2A-4BF5-8780-B07814CEB03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804325$430ADF84-7CEA-4FC6-86E9-F09877AA1A20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cd1bb66528ef07ff5f2ffa4032daedcc4782580","datavalue":{"value":"6575037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804325$5BDE0364-00AD-4017-B3B8-47FF64A3DEA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804325$092BF512-83DD-4126-B390-2F239555702D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804325$04DD3874-8815-49F2-95FE-27783D50A1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804325$41517A5A-CE5A-4961-A44C-45994E856D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de855ea8fd65a3e3409eb19aa5d66ba3dd450e6","datavalue":{"value":"Grzegorczyk logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804325$37E2D2CE-1220-42B5-825A-402673DDA2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804325$99B0C069-9466-4EAC-8F62-789306F2E9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804325$311C3457-9E1C-45C3-97F7-3E22085CCB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804325$22DB36FF-F492-4496-8100-3AB340D0BF3C","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":"Q2804325$112B2CCC-6F80-448E-A848-DBC78C26BD9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d74c2276ed2b2e0e5569c33aeecf8aad5f5d9c08","datavalue":{"value":"https://doi.org/10.1093/logcom/ext036","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804325$9DAA824A-351A-4B8E-9A6A-3F90FE8FAFEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3e801ccaed8ddefd79f4231993f50a92e917df1","datavalue":{"value":"W2132979411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804325$E8C0624D-9ABA-4335-87B6-BA447E4B3F98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"874f192bdd8fa8239bcf4bc3d985ef5cad5df9ef","datavalue":{"value":"10.1093/LOGCOM/EXT036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804325$9201B83A-BD92-41C5-B9F6-BE5D225F9F34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7744777ef8c864e86767d3d88b8e7b0367f014cb","datavalue":{"value":{"text":"A cut-free sequent system for Grzegorczyk logic, with an application to the G\u00f6del-McKinsey-Tarski embedding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804325$CF745370-F1CB-46C4-97D9-E795A19225A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804325$7B63419E-7E3F-4D18-BCBB-DFCCDF95BBA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5085a4f190468c7d040e315facfc5b23ae9b19","datavalue":{"value":{"entity-type":"item","numeric-id":1685937,"id":"Q1685937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8482075410eaed041bb63ef01bfd599a30069a4f","datavalue":{"value":{"amount":"+0.798486053943634","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":"Q2804325$C92E85FC-A144-4074-BA3A-85AB63C981A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96b24529064868309ef70909e88547cc2d47a9b","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20144b65a8f830725a10080c155b5c596baea882","datavalue":{"value":{"amount":"+0.7937704920768738","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":"Q2804325$BF5AB871-C78C-4E63-BE2D-45809AF8B641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3af6615aa935c19d22d206c8431a7b973af754","datavalue":{"value":{"entity-type":"item","numeric-id":5213676,"id":"Q5213676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20d57362c81d3988e5b514a8fda102bafd66bb8","datavalue":{"value":{"amount":"+0.7810294032096863","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":"Q2804325$376229E0-7B44-4AE2-9FEE-F4CE6B72F376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ffbf5bcf927e838d8d52979b22e0d9675aa17de","datavalue":{"value":{"entity-type":"item","numeric-id":3762284,"id":"Q3762284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86979720bd22bbd39e80f269f21213d4b694d9af","datavalue":{"value":{"amount":"+0.7775074243545532","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":"Q2804325$FD2876A2-F211-4715-B2E4-23A1143B1CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281cbb897da458faa372b0698c9483dcc9a20a93","datavalue":{"value":{"entity-type":"item","numeric-id":920971,"id":"Q920971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beda522546f476c76c8e4fae58e1f3960817c2e2","datavalue":{"value":{"amount":"+0.7746626734733582","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":"Q2804325$BA524181-BB82-4BBA-8C0A-28E4B12321FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804325"}}}}}