{"entities":{"Q1114684":{"pageid":1125433,"ns":120,"title":"Item:Q1114684","lastrevid":42888630,"modified":"2025-07-15T18:12:30Z","type":"item","id":"Q1114684","labels":{"en":{"language":"en","value":"Cut-elimination and interpolation for \\(\\Omega\\)-logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083621"}},"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":"Q1114684$383517B1-C7AE-4CC2-9AEA-FE4587D9A411","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcb2a34e985e7ad1ba422e28d5092bf3fbf12a6d","datavalue":{"value":{"text":"Cut-elimination and interpolation for \\(\\Omega\\)-logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114684$1BE4B3A8-E2F8-4439-A325-D248990AEA64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3c278defae57e986264c4e0c43956fe41e556b7","datavalue":{"value":"0663.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114684$D1CAF7D7-EE37-41B6-A53D-3E26D83758CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e2bf1e86e241ea58e9fa914590d87efa232ff6a","datavalue":{"value":"10.1007/BF01620764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114684$2BE2444E-E88B-4E48-9A1C-5B5B852A88D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a88302bb95e1e4db76c4441eafc7b30c336e74eb","datavalue":{"value":{"entity-type":"item","numeric-id":534714,"id":"Q534714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114684$2AA2938D-A35D-49FE-9E8B-8AA67AF59B83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114684$740EB884-8AF3-41DB-96D4-09EBF08DF12F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1114684$67D8F0DE-BA96-4F6A-A1AB-1E6E0000CC31","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2da22ddb694f5c3cff5a0d5b87c7ce3b87961e99","datavalue":{"value":"Girard's \\(\\Omega\\)-logic is based on the category of well-founded orders, while his \\(\\beta\\)-logic is based on the category of ordinals. Here Girard's (unpublished) results are extended from \\(\\beta\\)-logic to \\(\\Omega\\)-logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114684$EDF1FA0E-0B55-43FD-9623-DBEB945E5DAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114684$3616DD94-F81A-49B8-B8CA-CD2DB095F1F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c752797103be86ea372843b089644c8fb6387e2","datavalue":{"value":"4083621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114684$B51DD311-0E97-4FF1-A722-2BBBBCA30CB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56faf96010ede3ccd2932565591a964a3d2371ba","datavalue":{"value":"Girard's \\(\\Omega\\)-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114684$66A8CDF0-5652-4B23-99DF-6885B718225C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d3fb40ebb3064398604702c7ff3af0740823d4e","datavalue":{"value":"category of well-founded orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114684$07B9C2A6-1B65-4DDE-8CF7-B5D4047BEA16","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114684$B31ABA76-B0E9-4C05-922D-0B18D6420CB8","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":"Q1114684$5B1034DA-541D-4138-92AA-6ACE75EA676A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcffd60a0dd066361759c707e51c57e4a7fff169","datavalue":{"value":{"entity-type":"item","numeric-id":3222838,"id":"Q3222838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114684$610FA088-298B-4D79-9F11-9D0AF4275749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114684$B26A5B0C-6BCF-4E63-B39B-1EC466CBDC8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d5803ea97ec32216383531a0815203cfe3a1fee","datavalue":{"value":"https://doi.org/10.1007/bf01620764","type":"string"},"datatype":"url"},"type":"statement","id":"Q1114684$C2EC9771-3ED2-4727-9FF7-243AFD09EE0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b96d43aedb322d2443873efe6c051ea2037101c8","datavalue":{"value":"W2037314108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114684$F1B75EF0-2611-4930-AE89-99829D52A498","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159e99a66b45ece08d8265e462514540b71260b5","datavalue":{"value":{"entity-type":"item","numeric-id":5241408,"id":"Q5241408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f9dda59fcffce2bb432ff3a7a435a0b50e8c47e","datavalue":{"value":{"amount":"+0.9147762","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":"Q1114684$4333E4E8-F1F1-4A76-8817-BAD861E697C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823c5ac5724eeb35c38c48ebd0d2db113b1aee09","datavalue":{"value":{"amount":"+0.9104386","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":"Q1114684$71FDA62C-01BA-48A5-AD89-963FCC265983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb3f97197cc5507bdb6e9313478f714e3311063","datavalue":{"value":{"entity-type":"item","numeric-id":1204120,"id":"Q1204120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a59cf4b8609a488fd9acc2e8086b5b4d6a781e","datavalue":{"value":{"amount":"+0.90954614","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":"Q1114684$47351A01-8DB3-49F4-B43C-610D8782112E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8acb201e4f84be34fd78b46d2ae7a9888529e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3997528,"id":"Q3997528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a59cf4b8609a488fd9acc2e8086b5b4d6a781e","datavalue":{"value":{"amount":"+0.90954614","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":"Q1114684$536DADF2-E150-47EF-BD64-95ED5E616FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb7f55edf7ad5596acd1b785c956ec73e1ab1d8","datavalue":{"value":{"entity-type":"item","numeric-id":1685571,"id":"Q1685571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da84a29bcf4f00e0bae08daafc8fc2d78169b3c","datavalue":{"value":{"amount":"+0.9066153","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":"Q1114684$DAFCA8E9-3D33-43F8-A9A4-38CBAE95DD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa561b8b5342ab318639cadc68c91a52aafd256f","datavalue":{"value":{"entity-type":"item","numeric-id":3475264,"id":"Q3475264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68581153db2743e4a44339cccc99c6ad11819e2d","datavalue":{"value":{"amount":"+0.9053364","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":"Q1114684$7156DD22-A42D-47A6-B9BF-497637260FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"521768ff5f97ee8c42898a194b1f6f6f4ac9844b","datavalue":{"value":{"amount":"+0.9047167","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":"Q1114684$18422268-6870-4720-A92A-04241E1A45C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c9696d466114212941c86d3ceec7394aac4b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4910421,"id":"Q4910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d46b65638dbae817d7941d2e3c15e746d7a6e3b","datavalue":{"value":{"amount":"+0.90415657","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":"Q1114684$6EA5E2E9-AD3E-42EA-A961-3B2A570F171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961be91a8160add3a9c98d0da465c3b2515c4b48","datavalue":{"value":{"amount":"+0.90261424","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":"Q1114684$C53953ED-E1E1-4420-AA3F-75394E72C688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba67e2817f44d9f3978eab80105f1e99842b107f","datavalue":{"value":{"entity-type":"item","numeric-id":5450573,"id":"Q5450573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c1ca2fb29f77e6d69dbf1b7a50c74631135c62","datavalue":{"value":{"amount":"+0.9017631","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":"Q1114684$17D58E1C-0858-4225-AA6F-91CBAE65112F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1114684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1114684"}}}}}