{"entities":{"Q2904138":{"pageid":2914863,"ns":120,"title":"Item:Q2904138","lastrevid":51523685,"modified":"2026-01-18T15:22:26Z","type":"item","id":"Q2904138","labels":{"en":{"language":"en","value":"Cut-elimination and completeness in dynamic topological and linear-time temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063596"}},"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":"Q2904138$6BDED607-4A92-43F4-906C-25892AE552A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57d01647df44d7e63154e559590e79ed3c083091","datavalue":{"value":"1260.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904138$68809E3E-7A97-4443-B624-B6C90CE8C6EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904138$F32ADA72-4E39-4306-9D51-6F7D11A78657","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e1e94d61bf4c54e2ef7ef4c374530b93a773f9d","datavalue":{"value":{"time":"+2012-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904138$59CF7951-F562-42DA-AC53-8D8885A0B0E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904138$B5074581-9A88-482B-8F82-6B5F5B378FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904138$338A1828-A384-4972-9F91-6BFDB883535C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ee0ead85d6328105ddc15ed77834b8383e21529","datavalue":{"value":"6063596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904138$4178F879-F1E9-4200-A840-2A00634D71C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b79126166822f0b3c2c8fe9ec4d149842cfe762d","datavalue":{"value":"dynamic topological temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904138$E68B79C2-56F8-48A6-B07B-9ED98D28E630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904138$F19F5064-2696-447C-9C59-89FA379996C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db524ba5c05b265f6b56c138e47fd049cad015f0","datavalue":{"value":"Gentzen-type sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904138$187346C8-5BAD-45B8-A61D-2453EC8D26E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa2db0c7633d99f63b292ca3aa020d0cb717cfa","datavalue":{"value":"linear-time temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904138$4D6E36B5-08FF-464C-8EE7-88E30796D95B","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":"Q2904138$9D47CEF8-3747-4788-AAEB-B33230A44CA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74a277da75c61816f3d8953ff617d6c5407d87ea","datavalue":{"value":{"text":"Cut-elimination and completeness in dynamic topological and linear-time temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904138$6430101C-A98B-4954-B856-E41603FA52D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e564427b46103c49785239499fd2430e05e2677","datavalue":{"value":{"entity-type":"item","numeric-id":6601601,"id":"Q6601601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904138$73639832-6CB0-43EA-9B5A-A63BD4FB2291","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e821d8d0a03f4a83fd0f9976fbfca3c4328866af","datavalue":{"value":{"entity-type":"item","numeric-id":2810015,"id":"Q2810015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"352197d7b8fe52102305b202b324d23b9f69c3bd","datavalue":{"value":{"amount":"+0.8444034457206726","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":"Q2904138$D3E343F8-7DA2-4FBA-973F-B4ED148D7183","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":"2804add5f6db1a2cb0f7954a6da8a5a216a70b8a","datavalue":{"value":{"amount":"+0.8193683624267578","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":"Q2904138$62A06BAE-B289-4CA9-819E-0D4C8ECAC33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d9d447b99d89ed14040c00e63455066c69e900","datavalue":{"value":{"entity-type":"item","numeric-id":941433,"id":"Q941433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9ad3693fdd401a2747833580ae3ce73a6b1f72","datavalue":{"value":{"amount":"+0.8185486197471619","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":"Q2904138$5CF0F566-A2F9-4830-A8A6-5F1AD8B33EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd097637b33dcb3fa00a8d4528cacbfe5d3faa32","datavalue":{"value":{"entity-type":"item","numeric-id":3358711,"id":"Q3358711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97adbceeede3de434a70a0d0800767a5a4789807","datavalue":{"value":{"amount":"+0.8088668584823608","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":"Q2904138$E29E2BD1-9AFC-406C-A66C-150C94F78F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02fb2e1149742eb663352da5a7b2e941d5161e77","datavalue":{"value":{"entity-type":"item","numeric-id":5460163,"id":"Q5460163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c5105ac10623601a67cd2ca7be87a3661fba5a2","datavalue":{"value":{"amount":"+0.8034512996673584","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":"Q2904138$709EEB86-01C8-43B5-8AF7-3FA099BB6BCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904138"}}}}}