{"entities":{"Q3613411":{"pageid":5643317,"ns":120,"title":"Item:Q3613411","lastrevid":50603744,"modified":"2026-01-14T13:14:11Z","type":"item","id":"Q3613411","labels":{"en":{"language":"en","value":"Cut-Simulation in Impredicative Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528289"}},"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":"Q3613411$84FC7982-A2BD-4657-B622-AD022169239D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79d9b1b49c83339d75cfb31c9d4f058492226d52","datavalue":{"value":{"text":"Cut-Simulation in Impredicative Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613411$BD582851-5292-4549-B49D-219179925DD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdc047f4768218c749b52fa86160a4e15a082e44","datavalue":{"value":"1159.03303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613411$BC03DAFA-93E0-4347-B689-4CAE8CE06AEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a00e551c439a2a9884d3fdacaa22c83b050d23b3","datavalue":{"value":"10.1007/11814771_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613411$9D3DB0AA-7388-4686-A222-9CA202738FAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613411$7809AC19-3013-4879-90FE-5E42D27DF039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613411$2A1249D4-9097-49D7-843D-98A6012C6CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613411$B087C0D4-31F6-4061-97B6-237212E02F26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613411$721E801F-D673-45C8-BA55-E63EF68DFCA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613411$77BB2AB3-149E-4BB9-BC57-578F8ABCDE68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613411$4A2B346A-58DD-4033-A221-4BC6C927DBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613411$B8C0679E-3F83-40F7-992B-0D53FE3F5B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613411$49D77E85-FE90-4AB9-A1C6-965F4D437A4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"610f16904a4c8abd3aa2c6fb84a7785a550267c7","datavalue":{"value":"5528289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613411$2141E3FD-1B61-4B89-ADAD-2F3D0A7534C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613411$D99541D5-7C66-470F-95BC-A48F15EF25F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44c50c8760cf1c665cdb4d8e899dbb565a99b89","datavalue":{"value":"cut simulation impredicative higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613411$3503D6EB-FD39-433F-BCDF-97DCDBB3D9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613411$FB7ACE37-5C06-45C4-AC56-6B3032B59CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613411$854E576B-DD63-459C-B31F-538050F37F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc5db9cd38afc76e5fc12e234f61171b78ea67b","datavalue":{"value":"higher-order proof automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613411$0EAB7FEC-A73A-49C2-833F-C97240195F41","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":"Q3613411$CCF951AA-8C4A-4456-A87B-096AD7072FDF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93d69990fc90ba6cd9a1ed24ad863c009713a755","datavalue":{"value":"https://doi.org/10.1007/11814771_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613411$4D720ADF-E6DD-404C-8620-324E69A7A3D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f68693f6c3a58d011a5ffa87c4e2f5f88dd054b","datavalue":{"value":"W1489391956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613411$8564A07F-F8D6-428D-9D8B-811840D6DDB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc72ee8921409d1c1098e187bd8ab97a3c539ed","datavalue":{"value":{"entity-type":"item","numeric-id":3623018,"id":"Q3623018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c74470c08afa54cef14b8968919ec14e3c4c4f","datavalue":{"value":{"amount":"+0.9953122138977052","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":"Q3613411$F8F00B79-C28A-4521-ACDA-ECD5B78089E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9987f33ba101db0386c2982395419d1feed10884","datavalue":{"value":{"amount":"+0.7807413935661316","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":"Q3613411$5FE908E1-A825-4C54-8039-6DD62AC88579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823bf123ebe6faa90aff855086ed04687b1aef94","datavalue":{"value":{"entity-type":"item","numeric-id":3540178,"id":"Q3540178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083f90c3ad6cabe5a3f0b3cfcd5ae958d7f16d46","datavalue":{"value":{"amount":"+0.7465243935585022","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":"Q3613411$FBD780BA-7225-42C7-A260-E642F62831BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c03adfd0d13ffb9cca204894d0f8ede1fe92d2","datavalue":{"value":{"entity-type":"item","numeric-id":3086776,"id":"Q3086776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d365973925fdc9ccb0bf5fcd7362ad2a9480c50","datavalue":{"value":{"amount":"+0.7368749380111694","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":"Q3613411$4904319E-701F-4E7C-9AB5-92E14EF8677A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6fc6366c0c2b2e621d1db85f37747606df9abb","datavalue":{"value":{"entity-type":"item","numeric-id":3781102,"id":"Q3781102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b289cf5d47e85cbde9ab6bbfe9ddb71e83d168a5","datavalue":{"value":{"amount":"+0.7365968227386475","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":"Q3613411$FEB231E4-F9B4-45EE-8436-5A127F658333","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613411","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613411"}}}}}