{"entities":{"Q3623018":{"pageid":5652924,"ns":120,"title":"Item:Q3623018","lastrevid":58228275,"modified":"2026-04-04T07:53:06Z","type":"item","id":"Q3623018","labels":{"en":{"language":"en","value":"Cut-Simulation and Impredicativity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5548995"}},"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":"Q3623018$348B9EF1-71BC-4AC6-91EB-DC366C510120","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3febcab24f43a417ccaafff5824b378902d9856","datavalue":{"value":{"text":"Cut-Simulation and Impredicativity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623018$0087B7AE-4190-42B7-9BFB-550B8D320623","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27568ba5077cb9ef36075b1c2b39c7916b08d370","datavalue":{"value":"1160.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623018$9519788B-F7F8-435B-A62B-A81AFE32DBAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3df1f45253b1ecbbffbe2187243b4c199bac5a39","datavalue":{"value":"10.2168/LMCS-5(1:6)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623018$DF8A3B66-1773-4A34-BF9C-EE5088AA3F9F","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":"Q3623018$7A6664CC-B8E0-4E34-8675-89CC3518BBF3","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":"Q3623018$385BE12F-5249-4F90-BC34-1E8AD24DE042","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":"Q3623018$3A03539A-697A-42A8-B8E8-D0E0A1411EDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623018$9A9776DA-FF5D-4906-AAA4-D66128B02F81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc7396a377674bf1d1ad6a9c9bbfaef229fcbe16","datavalue":{"value":{"time":"+2009-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623018$DD45076C-E413-448C-B06C-0CA76BEB69E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b5474f2c9dd6313d6aed21637c7e584ef37f7ad","datavalue":{"value":"https://arxiv.org/abs/0902.0043","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623018$E47B67E1-5772-4D08-B922-EED30621C082","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623018$2DA5C967-6B30-431F-8622-5D6160AD1BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623018$2D677122-7AB2-4A4D-B749-653D2DE4D07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623018$40BD1C94-C4A3-4092-82BC-CCECBEF0B534","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33e805a62f796f1663a288998d1fe827b65152a7","datavalue":{"value":"5548995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623018$C9E196CB-2ECA-4844-B395-DD9069530989","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623018$88ACDF9B-A6F6-4742-BF55-171F319DCC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44c50c8760cf1c665cdb4d8e899dbb565a99b89","datavalue":{"value":"cut simulation impredicative higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623018$BA7E9000-F5E4-4B55-BD51-14BF9A0A5CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623018$8912FCE6-061F-422D-AFE5-9AB07AA7DD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623018$182208D1-021A-415E-AEB0-FBDB6A6DC8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc5db9cd38afc76e5fc12e234f61171b78ea67b","datavalue":{"value":"higher-order proof automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623018$1875B766-19C4-4286-83A8-1FB717C5A646","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":"Q3623018$B1CA4AB7-7AE6-49D0-9B03-554CF7DB1032","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9eac5ce863a21cc50e3763f6863471de86e4ab","datavalue":{"value":{"entity-type":"item","numeric-id":3613411,"id":"Q3613411"},"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":"Q3623018$74F45105-0680-4F09-8BB7-44F5D858F9E4","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":"c2a6014ee318422da6b9872d659d034be86744e3","datavalue":{"value":{"amount":"+0.7781099081039429","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":"Q3623018$E53F6754-7586-4EE6-AF8C-E27C7D716501","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":"27971b5cbd4da26d340332329ef3ef8c757e6f0b","datavalue":{"value":{"amount":"+0.7539593577384949","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":"Q3623018$A0DA199D-67D9-4942-8A2A-0DF71341E80F","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":"46f37aa0fc99938e834f7acc2bfce6af050aee23","datavalue":{"value":{"amount":"+0.7463764548301697","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":"Q3623018$DF327B64-20C8-4681-A4AB-83E872EE1AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceff7222dafdd35672ade5fa367dbdffe968032d","datavalue":{"value":{"entity-type":"item","numeric-id":1948276,"id":"Q1948276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0613c1cc8bf5336c2253b13af14acce62ab4541b","datavalue":{"value":{"amount":"+0.7387886047363281","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":"Q3623018$65FA721A-957C-4E70-9BDD-4FA042B5D152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3623018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3623018"}}}}}