{"entities":{"Q817698":{"pageid":819546,"ns":120,"title":"Item:Q817698","lastrevid":64565394,"modified":"2026-04-11T20:44:49Z","type":"item","id":"Q817698","labels":{"en":{"language":"en","value":"Gentzen calculi for the existence predicate"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013034"}},"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":"Q817698$2966B93C-FEA9-40B8-8486-9066AB7E946E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bb3b41938531337348732939d0ad294d2c1874c","datavalue":{"value":{"text":"Gentzen calculi for the existence predicate","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817698$5694F76E-F696-40F0-BEA1-8E7D6C829F1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e80042d5bf41f73c0b48a9f75d8d28ef6e8aacd4","datavalue":{"value":"1097.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817698$3F908BC1-0EEF-4843-873B-658351132F1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$9F3DE7F6-1606-4AF7-BB81-221BA88119AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$5119979E-561B-49AE-80C0-2190CA9164D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$2E22D4B7-80A7-4EB0-9BCA-C3DAEF80DAE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817698$43208819-801C-4F42-9D08-2A3FDC7EBBBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817698$814898F3-D9C3-4E30-A222-BDEA36A7CF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817698$14883B53-2E68-45B6-82A7-9E93CEA6C1FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4812b25d06cd45761ce4b437ecdf3d4fc22532a","datavalue":{"value":"5013034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817698$CC73EFCE-46CA-4171-91F8-085F7C02A50D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817698$DF18AFA5-F9CE-4430-A7C0-64A226461F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1dd2829add34e6c0adb199f2ad50cb663cd9070","datavalue":{"value":"existence predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q817698$94042B79-B4AB-4023-A1B6-C734E2BDB160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fa4521f7ec6ed8084356633aae3e2434bffba9","datavalue":{"value":"Gentzen calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q817698$C3B2294C-CCE0-48C4-900A-F133F3F65758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q817698$7BA0F12A-2315-439A-A2EE-E16D55BDA008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q817698$80C8D314-7362-4E8F-B4E1-BB5034C1D9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a3d45d676b38f514b1b2591add900a72ab45b25","datavalue":{"value":"truth-value logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q817698$3A47BEA1-C134-4287-B580-0082560A1118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1a1f25e847b244c568cc40973694e51b1ad3da","datavalue":{"value":"G\u00f6del logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q817698$E6B5B3AB-C7F9-4EFF-B7A7-B389895CE189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f2e873fcfa3d18f07e3ab9e801ec8050281f28c","datavalue":{"value":"Scott logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q817698$47C02BE0-D0D7-4B2D-A955-43A45D3280A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q817698$244BEB31-4B0B-4119-BC74-4E7F4CA7C11C","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":"Q817698$33BDD943-E19E-4A4B-946A-05858B7EAAB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8d8b8c3246a82fa80b1217830fc05793ff32f01","datavalue":{"value":"https://doi.org/10.1007/s11225-006-6603-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q817698$C3F345CC-9742-4FD5-9463-C2521D67F5BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25b8157b532d8cca8d614e446f34045c867898b8","datavalue":{"value":"W2027917524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817698$589EE9D7-0785-455B-A375-8143B5759F87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5022617428ef26e116124ed59330ee04428a997","datavalue":{"value":{"entity-type":"item","numeric-id":2503404,"id":"Q2503404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$36408F52-ABBE-48EC-9BD1-333E0EBB021D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1edcb888e96f446a1331c09f2a0c09105dbc83","datavalue":{"value":{"entity-type":"item","numeric-id":3426561,"id":"Q3426561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$71356C1E-792A-467A-8FA4-B8188B9A56E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$2CEBDC4F-836D-4BAB-AD62-F1E2077F2BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e89d8d03393c956719e9f366cc5f7a6ed4752f6","datavalue":{"value":{"entity-type":"item","numeric-id":4206723,"id":"Q4206723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$85868B96-DA14-408C-AD7E-C94F726432BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2f9e2ad93b06ab1b713950faadf42f86b42e23","datavalue":{"value":{"entity-type":"item","numeric-id":1264135,"id":"Q1264135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$D34ECD3D-1B22-49E1-974A-99BACCDEB43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dca0ae1025642432ff78eab317d494163fb9e74","datavalue":{"value":{"entity-type":"item","numeric-id":1207344,"id":"Q1207344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$4BC087E0-FFB1-4646-AC13-BE537D3F5994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$C574B07E-DB5A-4BCB-8FBE-D6B3E9E4E2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$C56293BF-54F0-4A2B-95AC-CCFFAE0558D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb99ef2dd029a6a71f5c13723c87366677baf080","datavalue":{"value":{"entity-type":"item","numeric-id":5696304,"id":"Q5696304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$2280ABB6-50B3-4367-AD5F-48E0E0D27123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"982a2048dbca32b998faaf02f17ebd6cf97a7911","datavalue":{"value":{"entity-type":"item","numeric-id":2702564,"id":"Q2702564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$C4841638-8F57-4284-B450-4C7636E4BBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7895067d93807ed12c82cf34a5a83b73c813d58","datavalue":{"value":{"entity-type":"item","numeric-id":1099155,"id":"Q1099155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$D7B6A355-9B08-401F-970F-A584581E1F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bab06c6efc101c2c178c21ed15568782da3276","datavalue":{"value":{"entity-type":"item","numeric-id":3693510,"id":"Q3693510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$208D43AB-01F7-48AE-8DDE-F696F1346043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$68ADC953-CC20-47D4-A095-CDB418F1D7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$090F201C-4FD9-40BD-A64B-BC0610AC1B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94601d8d25d56e483bc8718d1c4429028f0983e","datavalue":{"value":{"entity-type":"item","numeric-id":3720600,"id":"Q3720600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817698$39DEF342-1034-42D4-AE8C-049C9A0D161C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"843a03789581afd9875d01040db24c34e7967a95","datavalue":{"value":"10.1007/S11225-006-6603-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817698$02AB2F0A-287A-4D77-A0ED-1A3B4A63D29D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9a310b31eaf5a477426701cc373a17a34144fc","datavalue":{"value":{"entity-type":"item","numeric-id":5387875,"id":"Q5387875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6512592a089779d7cb0d7e63575e30fb55a6cb","datavalue":{"value":{"amount":"+0.8464457988739014","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":"Q817698$E2E9A02B-2133-4BA8-9191-2865C13EB390","rank":"normal"},{"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":"0da2e33024b0d6ee1990b34a173f5112c40e6a9b","datavalue":{"value":{"amount":"+0.7947856187820435","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":"Q817698$4E775683-40E4-4534-9694-EAE1C6945E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ec75e220191ce9be193662d16c95db9d8a74a2","datavalue":{"value":{"entity-type":"item","numeric-id":2503404,"id":"Q2503404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e1ed3231b5fc3498929cce3f5c188867c79b3e","datavalue":{"value":{"amount":"+0.7792026996612549","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":"Q817698$0DCEE5ED-43F6-4AFA-90A3-B636C0EB7696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72d2ba9a0f1103d65694830aa2a37639bb867eab","datavalue":{"value":{"entity-type":"item","numeric-id":3007245,"id":"Q3007245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f779d7e007f63ac36578ed707a23f413e1979c3f","datavalue":{"value":{"amount":"+0.7773054242134094","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":"Q817698$062C28E1-6BE4-4681-BEEE-F2D902C318BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a7f5d33dcac8a5c692a947f863eaa52dc89083","datavalue":{"value":{"entity-type":"item","numeric-id":4828042,"id":"Q4828042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbad204b41c44f9e14ff465fb91abaa2e3ec0d38","datavalue":{"value":{"amount":"+0.7697595953941345","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":"Q817698$4D6D8D12-8C46-4318-873B-CD774973BC2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gentzen calculi for the existence predicate","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gentzen_calculi_for_the_existence_predicate"}}}}}