{"entities":{"Q5024718":{"pageid":7054295,"ns":120,"title":"Item:Q5024718","lastrevid":55399426,"modified":"2026-02-17T15:37:50Z","type":"item","id":"Q5024718","labels":{"en":{"language":"en","value":"Probabilized Sequent Calculus and Natural Deduction System for Classical Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7465321"}},"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":"Q5024718$D9580A23-B3F7-4D5A-A399-27DFAD1AA20F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"324482824fe0269897d3cc4582fcf46c7e06d378","datavalue":{"value":{"text":"Probabilized Sequent Calculus and Natural Deduction System for Classical Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5024718$EC58A6B3-56A5-4352-95F2-5C9777A6849C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"610d7ee3060730a255c81d750255f47077d86969","datavalue":{"value":"10.1007/978-3-030-52954-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5024718$0063ACFF-693B-4172-912C-23DBB43B1B96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4d07e9b6ccc332e5eb6e2abbc9194b37986203c","datavalue":{"value":{"entity-type":"item","numeric-id":1712932,"id":"Q1712932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$D9E7ADA9-EC3E-4893-9652-50463A6BDEB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23972b489d5d2fd582e2b3744ed1f91257c057aa","datavalue":{"value":{"entity-type":"item","numeric-id":5024711,"id":"Q5024711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$8C2374FA-F410-41B7-81D4-9F0BE5DDD950","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65c9e6e397b1a20fdb52cef8c05fd7e566e4b623","datavalue":{"value":{"time":"+2022-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5024718$B5C835FB-C2B8-4F30-B028-FDB3C45EBC6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5024718$1EC4DEDA-6035-454E-BB6C-ED96DD339668","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a5e42a078b92dd0b4f70775a832297d6918f614","datavalue":{"value":"7465321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5024718$A8F2F35A-086B-4A09-9934-0F4CE081AAD8","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":"Q5024718$A33A5E89-4A0D-438E-BEFB-1EF5CBD933F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8bccbc0a682166a1659fdf28a83c7723d7fba78","datavalue":{"value":"https://doi.org/10.1007/978-3-030-52954-3_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5024718$03F7F728-2CB9-428A-885D-C0C3779F5E9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99c961ccb0f2f4423be4fc09b078713e3f95e38b","datavalue":{"value":"W3043547779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5024718$6D6EF532-C885-4EF3-8D6D-8AAC42C2DFFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6aa74d7956c9ff67a4f6c30f537b3237b1bee6e","datavalue":{"value":{"entity-type":"item","numeric-id":5279245,"id":"Q5279245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$D503B14B-E62F-47DE-A3E4-4D2E762A4492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4572f60845998e43e40c611fda95fa7b1a04812","datavalue":{"value":{"entity-type":"item","numeric-id":3133161,"id":"Q3133161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$9BDC9193-6DD4-4CD7-A57E-91D8A7A8A82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7849d463038e5c67c51f59ab8ccdcbf69de2f60","datavalue":{"value":{"entity-type":"item","numeric-id":1712933,"id":"Q1712933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$584E8793-96CE-4D08-A594-CE13014539A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc6cb16206c23f60538ec60aa79c5469ef42fb3","datavalue":{"value":{"entity-type":"item","numeric-id":5799632,"id":"Q5799632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$DF4A5F1F-690C-4876-9BD5-68043F3C25FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c455776ed67e2653d0ecfc0b33093abbfd5da9","datavalue":{"value":{"entity-type":"item","numeric-id":1337678,"id":"Q1337678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$9F3A3068-B7D6-4716-B713-B57044C5E64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47f6d8e9994f8dcd04a3f58005d05ce9989a1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5341341,"id":"Q5341341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$B4544635-92D3-4EB1-9B8A-6F861FC64EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0863fe5c701d88620a62ed281e0b45e7e5df58","datavalue":{"value":{"entity-type":"item","numeric-id":798650,"id":"Q798650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$53A6D05B-3D53-4501-913D-D01D651F712E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf29858de9c5759c79a7755f47ba146a7d048c6","datavalue":{"value":{"entity-type":"item","numeric-id":1087535,"id":"Q1087535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$97C5D348-3D56-4A51-ABC9-C9A56B2FA013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e2e4bfecd199727ba1620e116a729a9d657a4f","datavalue":{"value":{"entity-type":"item","numeric-id":794047,"id":"Q794047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$AE19B75B-5EAD-4CE9-B639-D6805ACD9B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b64e26d6df264298278f7fa8a00d8a715e18a7","datavalue":{"value":{"entity-type":"item","numeric-id":3852162,"id":"Q3852162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$19204D13-F405-4EA8-8206-3EE1674F4233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79e5414603655c386b0938a096d52dca5eb3b69","datavalue":{"value":{"entity-type":"item","numeric-id":4815848,"id":"Q4815848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$C4910057-3AEC-4231-9166-E94DCCB76A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa412e33f39e5ffe362a3975f5bb22736868421","datavalue":{"value":{"entity-type":"item","numeric-id":3069416,"id":"Q3069416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$0583E932-0A79-4C61-8984-3FC1112EC1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$9BCB3968-C2A7-4E70-939F-0042BE1C6C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1a1edb5d0f41a1e3c3a2fac7424dcfc28af114","datavalue":{"value":{"entity-type":"item","numeric-id":3410681,"id":"Q3410681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$7C5E83D6-554B-46CD-844C-A3B9392529FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1602705b5b12aca3713099f929985b6562bd2a","datavalue":{"value":{"entity-type":"item","numeric-id":4296345,"id":"Q4296345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$D996B88D-8C38-481F-83D6-B0DF828E0634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d7285f94aee182cd458fc45fe1226e2e61429eb","datavalue":{"value":{"entity-type":"item","numeric-id":4253257,"id":"Q4253257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$D9AF02DC-424F-4CBA-B7B4-71612B1A61F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e15304bc8ff9694bd65524aff0a644c0008043","datavalue":{"value":{"entity-type":"item","numeric-id":5599789,"id":"Q5599789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$7C4BEABE-853E-4433-A528-B1D2C8E8FC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$843107DE-D04D-4C7F-8330-A79EE37BA8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc0e56379f77a02e512ad02cc727ddbc172fca3","datavalue":{"value":{"entity-type":"item","numeric-id":4670581,"id":"Q4670581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5024718$9A285087-7C3C-4A31-BF24-2D89D0DFC114","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309d192880e616dfc1f96e71e7b09694341d86de","datavalue":{"value":{"entity-type":"item","numeric-id":1712933,"id":"Q1712933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5202d55a624b1d9e21c3938be2c57c9c9adbd7cc","datavalue":{"value":{"amount":"+0.9278199672698976","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":"Q5024718$F25B7121-28DC-41BD-9EAD-ECD63BF9B18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a2d94be668875189f245cbbe7609e8006d2dd2","datavalue":{"value":{"entity-type":"item","numeric-id":3133161,"id":"Q3133161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8c824d7ecec4f1634a6c1983847e6cc393ca3d","datavalue":{"value":{"amount":"+0.8961043953895569","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":"Q5024718$58C96A36-E0F7-4594-9A08-7B519EFAB821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ba2f84dfbe4e6bac61a6b73841380ed8d5279d","datavalue":{"value":{"entity-type":"item","numeric-id":5279245,"id":"Q5279245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60d11062f84fbc29eb24fd9e54db32f0c39f689","datavalue":{"value":{"amount":"+0.8152711987495422","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":"Q5024718$DE46AA8B-8545-427F-8607-4FDB9157BF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"720e89ea7fc167eae199dc0f1074e390ce242d50","datavalue":{"value":{"entity-type":"item","numeric-id":4419271,"id":"Q4419271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eee6522494335b213dbaa4dba85d17d466cdd28","datavalue":{"value":{"amount":"+0.7643698453903198","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":"Q5024718$AD45273E-AB55-4E3E-BE86-CC49F75155CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b24fa97ecf4fb1cd296e6896f240d3e6e4503bc","datavalue":{"value":{"entity-type":"item","numeric-id":3369026,"id":"Q3369026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ccdd5c4f8caf7ac684939f983fd750540795bf","datavalue":{"value":{"amount":"+0.7630857229232788","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":"Q5024718$F5A3BB12-3888-4601-9073-DFF99E1ED55F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5024718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5024718"}}}}}