{"entities":{"Q2904053":{"pageid":2914778,"ns":120,"title":"Item:Q2904053","lastrevid":51522980,"modified":"2026-01-18T15:19:31Z","type":"item","id":"Q2904053","labels":{"en":{"language":"en","value":"Cut-elimination and proof search for bi-intuitionistic tense logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063263"}},"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":"Q2904053$54521D85-260A-4FA1-8D25-2677755FB099","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d80175c74286126bccf9bded918994cc7795901b","datavalue":{"value":"1254.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904053$3FC71E9E-1599-4C0F-8345-54B75BC472BF","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":"Q2904053$58BD755B-D587-4439-8004-13ED7CDC091F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8379e444a374a0b4591c044a269fd6ffeb0f306","datavalue":{"value":{"entity-type":"item","numeric-id":2904052,"id":"Q2904052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904053$537A8336-C8AE-4499-A2F9-3E92965C27A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904053$7CAECD87-8D35-47C0-99C9-64841A1A1A48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d93f02b005a91d75e1fb36333e97807bdd2c51d9","datavalue":{"value":{"time":"+2012-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904053$5AC9C2FF-DD73-4829-848F-AFC04637B0C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904053$6F8D2B4D-B32D-4D0D-9D8E-AC7F45C0B16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904053$6BED6B36-F2A9-44E2-B34A-A4244EF20D98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a487f3a573ef4bd6e0848e6a148faa31ddfee6d9","datavalue":{"value":"6063263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904053$3B75AFA2-5122-47F2-AF5A-9938388ED6DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ccf93cb9c2e611933cd444e5046de4e6d00d478","datavalue":{"value":"bi-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904053$E35B6C54-0642-4314-A075-9A1092B09FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9dadf3bd896af0b9eb7940df62ce9d55f10cdc9","datavalue":{"value":"intuitionistic tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904053$B7C272B6-E7BA-462A-8075-D5DC92EDECE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904053$127AF7BE-D244-447D-ABF7-4972C29888C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904053$F98B0298-04DF-459B-83F7-56EB9568ED8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904053$8366B69C-8C11-4D02-827D-237B04C3327D","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":"Q2904053$036CE19B-CDE9-4EBE-9A6C-121597E4B403","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3137c39138d7b2ea8556730707bdaf917c8c652","datavalue":{"value":{"text":"Cut-elimination and proof search for bi-intuitionistic tense logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904053$F0843F59-951F-4F36-9687-404B2D86A462","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54400e226c42e05b9eacec803b7adbdadb9bd72c","datavalue":{"value":{"entity-type":"item","numeric-id":3086939,"id":"Q3086939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"894049dde85fdf38a6b4d8f2d137fc235297a295","datavalue":{"value":{"amount":"+0.8553987145423889","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":"Q2904053$4BD8A3DB-396E-4414-9678-679F05249D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52cea5787ca4559d60f7945eb71e37137d1c26d","datavalue":{"value":{"entity-type":"item","numeric-id":2180517,"id":"Q2180517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978931cf4e9466dbef6cdd44a1d7f94d6906f353","datavalue":{"value":{"amount":"+0.8463196158409119","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":"Q2904053$D75A56C4-01BC-47AF-8D8F-94653AB641AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b89ef05c0f7e3c19a9146f82007b89a968e0317","datavalue":{"value":{"entity-type":"item","numeric-id":3638293,"id":"Q3638293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d8dd5b7aae11ea55ee4af33d98ee1edf0d9124","datavalue":{"value":{"amount":"+0.8434731364250183","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":"Q2904053$58B07783-1F63-4C1E-888C-E637D575CC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126b4ae84e5e0e1c430bd8b060925154992bbe38","datavalue":{"value":{"entity-type":"item","numeric-id":3648731,"id":"Q3648731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6022b34f33d212b652da60e1e2d12d6936b8a3d","datavalue":{"value":{"amount":"+0.8434041738510132","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":"Q2904053$604D53A7-090C-4A9E-AA97-CB7E804ADD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e57d5451a04a9b0d54ced53f9985b8973935e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b5e45bbabc7038fd79c54e1d2b72e26fa24c3a","datavalue":{"value":{"amount":"+0.8309296369552612","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":"Q2904053$C839322C-3805-45E0-A976-11C9DB1CCFAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904053"}}}}}