{"entities":{"Q3718687":{"pageid":5748593,"ns":120,"title":"Item:Q3718687","lastrevid":50655599,"modified":"2026-01-14T17:09:56Z","type":"item","id":"Q3718687","labels":{"en":{"language":"en","value":"Continuing Variations on a System of Gentzen"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3948233"}},"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":"Q3718687$28AB2ECB-0B8A-49C5-B3E8-33E80814BA95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99878e35733d427f614604409e5f5381415d7c01","datavalue":{"value":{"text":"Continuing Variations on a System of Gentzen","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3718687$9AAB17B8-E903-4F94-8E12-A7BA00C52892","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fa7fc3d6ba46ed466e9e122ac02862e858c789b","datavalue":{"value":"0591.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718687$701A10C2-D66A-4219-B393-3D1953B76839","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72c895ab0c95a75242928e35bd111c40843f0404","datavalue":{"value":{"entity-type":"item","numeric-id":2037986,"id":"Q2037986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718687$543F20D3-E1DE-4081-AD5D-DE9DD713D3A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718687$F2FFCB2C-3685-42F3-AAD0-D92F1084F90C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3718687$A0A651C9-4A76-4696-976A-EC824EB19A19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718687$D8994793-97C4-49BA-B55B-9A42FF8B3164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718687$1F66227C-1495-4D8A-8015-61CE133AE86F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"078050f9c02df5b2620c5a44bb58da77ddcd4a82","datavalue":{"value":"3948233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718687$EF50EDA7-BB62-4769-B2D8-22827DF203F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718687$DE4676FB-11CF-476E-8D60-0ED86B1EE1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718687$2B220BED-AF8B-4B91-B854-0AD5319CA961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42140bf5c60886d1b662a67ae83288a51c3eab50","datavalue":{"value":"IPC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718687$D8313DB7-ED1A-4592-846F-4AD5B1BE647B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ade3288cf743f7cffdb50e64e21f05f31890b4cf","datavalue":{"value":"intuitionistically permissible","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718687$C347B961-35C3-4E03-879B-B55190BE6A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db0a8f73e91442d896c23d3b2ea0c927adb57f7","datavalue":{"value":"intuitionistic restrictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718687$B7D9A39B-7DAC-459C-A4E3-7E375271FCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be937498c17012b4a7c88335ed682d47eaae7119","datavalue":{"value":"multiple rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718687$BB1F9804-EBD1-4EE8-9090-C9569316DAF7","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":"Q3718687$58B3B9D9-67A8-42AF-B5F7-98C3F4EDBADB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00b8d0d4ec393481dd27f00245d4a1b40f4b1ba4","datavalue":{"value":"https://doi.org/10.1002/malq.19850313109","type":"string"},"datatype":"url"},"type":"statement","id":"Q3718687$DF6EBE1B-3F4C-4D3E-AB55-2EA5D5E07C47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d810d0eb2a168ca41cbab9f65f8a7879aa6d01b","datavalue":{"value":"W2121940920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718687$06CCD5F8-301A-446D-B28B-8FF544EAD97F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f69e092e5366bd0d9f906e2d3ce890ca75c37a72","datavalue":{"value":"10.1002/MALQ.19850313109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718687$9FD5251D-4AE1-48B3-AC32-490733C8EA63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c345787efb1d55b2c52347a647aa7c48a0beb002","datavalue":{"value":{"entity-type":"item","numeric-id":4249036,"id":"Q4249036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd377751061f717e57c08010c531915d4ef4902","datavalue":{"value":{"amount":"+0.8107125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718687$EBCC594F-5DAE-46B3-BD1E-0828E8F62EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8745f7a825d2993a9ef75e3eaea637abbd87e4b","datavalue":{"value":{"entity-type":"item","numeric-id":4644125,"id":"Q4644125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d239a374d097c1ecf73315e17960110e897a70a6","datavalue":{"value":{"amount":"+0.795297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718687$9EED5380-B02C-43FD-9559-21C759D3CCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af61ac4160e5b2f0fc58d5f87bdfa4a7849481d5","datavalue":{"value":{"entity-type":"item","numeric-id":5224688,"id":"Q5224688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60564d9d592569bf986c876743a9eb277f43e5b","datavalue":{"value":{"amount":"+0.7746295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718687$02283204-5891-4352-8D43-44C4B2DA9473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab561870c7225f539ca25f1fa498ee781390554","datavalue":{"value":{"entity-type":"item","numeric-id":579235,"id":"Q579235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624843764e1da7e75d162318f10b3f953dde20d7","datavalue":{"value":{"amount":"+0.76988286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718687$60DA6E06-6BA5-48FA-8F04-9ACD90AE57B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae79390b410ffc7dc1562220d0e0f9510b00401","datavalue":{"value":{"entity-type":"item","numeric-id":2525787,"id":"Q2525787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4effd029801dcf7be0fac542aaad619d00205e52","datavalue":{"value":{"amount":"+0.76933986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718687$B78107F3-B51B-4396-AA76-7F7C93172381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4b78d9c5d9385d6a3a32dadebef87ec32b632e","datavalue":{"value":{"entity-type":"item","numeric-id":552888,"id":"Q552888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ebc69c84ae54f24253f1894a592d7359c5748a3","datavalue":{"value":{"amount":"+0.76858157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718687$9E8E09CD-ABE4-437D-BBC0-69AB7B934C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7547eefe20a1ea800f8cdf8f2fd86bfeb3e625f0","datavalue":{"value":{"entity-type":"item","numeric-id":4736753,"id":"Q4736753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1ed67b987970cc7711ae0877866792a6e95d61","datavalue":{"value":{"amount":"+0.76493907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718687$D31CBE8B-6453-4BD0-95EA-7142D9A42847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e6ea15a0c5118abbf11452fcc896e257ab23fc","datavalue":{"value":{"entity-type":"item","numeric-id":1060422,"id":"Q1060422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d34fa63953bc19d786bbd7232d2c653cfd7141","datavalue":{"value":{"amount":"+0.76384175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718687$A95D8CDD-BF3C-4531-A802-6360F1FA148D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3d1823f6ab9896798edb158b31b35117786196","datavalue":{"value":{"entity-type":"item","numeric-id":3142030,"id":"Q3142030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b60c059f67298a1c160115f782794761648b70f","datavalue":{"value":{"amount":"+0.76309395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718687$E21F1F06-2699-405D-BE53-B1D1A1D49950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfaf78cbccbc8988cd41fde943180fccc9bd6bc","datavalue":{"value":{"entity-type":"item","numeric-id":1939586,"id":"Q1939586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39afd0e14b0a1d3a51311cfef213afcac26e345","datavalue":{"value":{"amount":"+0.76129293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3718687$846DCF39-7A22-496C-B33B-CD97FB17C6F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3718687","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3718687"}}}}}