{"entities":{"Q2810015":{"pageid":2820753,"ns":120,"title":"Item:Q2810015","lastrevid":83642933,"modified":"2026-05-07T09:39:17Z","type":"item","id":"Q2810015","labels":{"en":{"language":"en","value":"Partial cut elimination for propositional discrete linear time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6587708"}},"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":"Q2810015$CD85E2F9-C2B0-4196-B03D-44DE34835495","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2697d9dc1493158da76b27c5d25f556dfc927a96","datavalue":{"value":"1338.03106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810015$9E60D33E-5F04-482B-A746-4A02DE14A560","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f39e5514529b8e1c36aae3b627e7a08dc67c559","datavalue":{"value":{"entity-type":"item","numeric-id":704033,"id":"Q704033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810015$4769E587-E48E-4CD9-9E8C-25B1E2702EB0","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":"Q2810015$D2C13C75-B582-4649-A06B-D454FA05B710","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810015$5889564F-5504-4C2D-BC57-924590ADD82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810015$81C7EE45-0D4E-4E14-BF3A-71D52A953212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810015$54EA94B0-6185-4D77-B410-A051B4F25531","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa4130bfd4ccdd880e53ced72f71e196e07756e3","datavalue":{"value":"6587708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810015$5C8E8362-8FE4-4796-B3C4-691FCF1C3944","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810015$70E35108-6130-4053-88AA-D106DE070A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810015$030AF4F5-11DC-4A01-81EF-5979F2D06DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810015$6B67FE98-A756-49E2-8C57-6D2DF8554119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6359e69ca0ed14836cdf3dfb1c08cb25746d77b6","datavalue":{"value":"past temporal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810015$22576BBF-1897-445D-BD5C-D7F53D69554C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810015$570809B2-1400-4350-B56F-6F3E6D284FAE","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":"Q2810015$268C7929-D43B-42F8-B885-515B90BBBFA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffdb5f18663112a475945ef097aff78fdb417af","datavalue":{"value":{"entity-type":"item","numeric-id":2904138,"id":"Q2904138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50d823afbca23fb856fe7fd42374cd6e862978d5","datavalue":{"value":{"amount":"+0.9277714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810015$0B322108-6C6D-40B6-AB3E-38FD8C0A4611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bd9578bcfb0760daa8553bf78b5b43bd9c1e21","datavalue":{"value":{"entity-type":"item","numeric-id":5216979,"id":"Q5216979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b337a84b62f2850b6760491da5da99e60065e0","datavalue":{"value":{"amount":"+0.9027881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810015$8B4828D5-7E87-46ED-974A-040962075721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec93f3db91f4f218461e5d581569c4f03214408","datavalue":{"value":{"entity-type":"item","numeric-id":5202986,"id":"Q5202986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"192152c3d65f67cbf0ce724e6bb0addc44206e16","datavalue":{"value":{"amount":"+0.89498025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810015$6F024DAF-85DE-432D-AF33-27E59C5D49FF","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":"95c8c493f2a911a0d357116a48efb44b641cd700","datavalue":{"value":{"amount":"+0.89288354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810015$5FC93D39-056F-4281-8A8D-7775B92E45E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa42d9417fb1daf1e93119f958b808811db4fa9","datavalue":{"value":{"amount":"+0.8869621","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810015$B61C0573-9652-4CC8-9C27-57A462AFFB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce80263bac2b4bdecf2005119948986e1263482","datavalue":{"value":{"entity-type":"item","numeric-id":2865739,"id":"Q2865739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b380418e1b493267ce3ae8b8004b632e0413b61e","datavalue":{"value":{"amount":"+0.8864579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810015$66691D1A-7F79-488F-9CF2-315331CD6ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be3f39e228ac8e1655e831f1223a5fe918b0808","datavalue":{"value":{"entity-type":"item","numeric-id":4412853,"id":"Q4412853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d1598304d8396fad43812d84371147f4e4d952","datavalue":{"value":{"amount":"+0.87942314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810015$8332508D-30E4-4A7C-A61C-0E85EBFCFF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6616e42a94ca68aa391a8e65d21ed4275c8a2512","datavalue":{"value":{"entity-type":"item","numeric-id":2852161,"id":"Q2852161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db414ee0f043f54041aa6ae8f496461ef8a7e47","datavalue":{"value":{"amount":"+0.87932646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810015$1897B0BA-119F-4CA0-9F73-32EE89300F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1269aaaf06a99a856618da49e7b292af7393a8a7","datavalue":{"value":{"amount":"+0.8774965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810015$77C0DD28-0B1C-4E4A-9ED7-485A7E023A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28cce3de0989a7cb3d96e085e2b47481c4b37f62","datavalue":{"value":{"entity-type":"item","numeric-id":3084992,"id":"Q3084992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f52c00ccbcf062dc8c59c903814f9810e634ac3","datavalue":{"value":{"amount":"+0.8770515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2810015$97B3B5FB-5CF3-4342-B9F2-DF523B38F696","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a053110f5bc35ec57b3500eb863e90be9168eedd","datavalue":{"value":{"text":"Partial cut elimination for propositional discrete linear time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810015$13A22256-E0FA-453A-B77C-FE9A93B6E47C","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":"Q2810015$7D279A40-B96F-49FE-81D2-DBA1C6FF08AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial cut elimination for propositional discrete linear time temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_cut_elimination_for_propositional_discrete_linear_time_temporal_logic"}}}}}