{"entities":{"Q5259721":{"pageid":7289289,"ns":120,"title":"Item:Q5259721","lastrevid":52293443,"modified":"2026-01-21T09:18:38Z","type":"item","id":"Q5259721","labels":{"en":{"language":"en","value":"Cut for classical core logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6451725"}},"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":"Q5259721$9B30CC77-E117-4173-B095-C36E1461F11C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b9acd5cb9701316da40180fbe3d205b761425ea","datavalue":{"value":{"text":"CUT FOR CLASSICAL CORE LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5259721$4F8D6804-C220-4D7F-8C62-3ADAFCC58208","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f76dbb05f00ae03ea8a6abc94a7b85a5d10cdbc0","datavalue":{"value":"1337.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259721$0FB08C12-4FD4-4757-81A6-4C72C6F69991","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2af0eaa1e8e9a6ac7e5ee39b9a891d6e16434e6b","datavalue":{"value":"10.1017/S1755020315000088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259721$4326676D-13EE-4570-9C42-BBC825A2B0A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27254c1d2f89d1ba738a7f8c09db866c62eee8c2","datavalue":{"value":{"entity-type":"item","numeric-id":246764,"id":"Q246764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259721$560A9762-A14A-4AFC-A8BF-ABD898703101","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259721$33D702EE-58E1-49C2-AE10-ED02211B7DC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8267f1856df5311ac8f067da2122b7880d3f7c0c","datavalue":{"value":{"time":"+2015-06-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":"Q5259721$48226CC1-AD61-4D34-9132-F064111479A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259721$EFED0188-48EC-49F8-B012-24251EC99E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259721$03CADB03-37A8-468F-A6BE-FE2B2923DF59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2f80547a917087e268b5359775d46489a56ec7f","datavalue":{"value":"6451725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5259721$9F4909B0-B53F-4146-ADE1-D0CA96A57701","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259721$77054289-EF2B-4B68-89B7-912D7FABDAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"399b63181623d225d5d3a7026077e44483f2b48e","datavalue":{"value":"classical core logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5259721$D1E18537-E10F-4790-981D-14A9F18C4443","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":"Q5259721$A26C2E49-9E99-4EAC-8881-AD4E845090DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b799250153097af6a2c37f1b3695512ab9e084","datavalue":{"value":{"entity-type":"item","numeric-id":3708773,"id":"Q3708773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259721$804B4C8E-140F-4A1C-B098-38567E25F746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f372f89de7bf317c3abd74c1ef99e85415014e","datavalue":{"value":{"entity-type":"item","numeric-id":3941377,"id":"Q3941377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259721$D4221E25-3F24-4406-B760-2969A601C3C8","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":"Q5259721$C9BF79C8-993E-468B-AC97-5D99E1F759E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1512310d9a1856795bd5b6dad0f435590a830b96","datavalue":{"value":{"entity-type":"item","numeric-id":2919946,"id":"Q2919946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259721$9935D647-196A-4271-A4FA-6F4407E515D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259721$E15F0FAD-08EC-4E9E-9616-D006DC1BA2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98495c20f6be115d3d30ca5b7bbc330521eae78","datavalue":{"value":{"entity-type":"item","numeric-id":2890694,"id":"Q2890694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5259721$72F1DB8D-D9B8-4149-BD57-F1875F411618","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbb9a4569fa8a3870645d360df16159132aec3f","datavalue":{"value":{"entity-type":"item","numeric-id":2919946,"id":"Q2919946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f2a01da151ca7d0dc0970d492a95a107811a1a","datavalue":{"value":{"amount":"+0.8578782677650452","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":"Q5259721$EF58A936-59F2-414F-899F-1555B964661F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02143ec1e8a84ac534419747fa9b81d46555c3a9","datavalue":{"value":{"entity-type":"item","numeric-id":3435246,"id":"Q3435246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b825dd711984818113dfafa421269b522abe35","datavalue":{"value":{"amount":"+0.8193062543869019","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":"Q5259721$2A7EACDE-2F0D-4F94-A60A-3C9642C9AC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d3304759c7a28591f799b23c12c9591bc41b1c","datavalue":{"value":{"entity-type":"item","numeric-id":5963202,"id":"Q5963202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3150c4a0a22f46db2f1b415d5a7e7273fea66a72","datavalue":{"value":{"amount":"+0.8150548338890076","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":"Q5259721$4CD49113-7639-4145-9970-C810B0FD4485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22860814a549f6d2381505fa4c4fdc08fe96fdf","datavalue":{"value":{"entity-type":"item","numeric-id":5366876,"id":"Q5366876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e323a60f32d439ae8b40a1de5c62626883e67562","datavalue":{"value":{"amount":"+0.7689876556396484","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":"Q5259721$EE4939B9-C39A-4A1F-A425-12CD25296840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3d108a76ca7f1b5a0c31756f5db39cda771fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3389499,"id":"Q3389499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b817afb84aa28b9d92ad134f5782cee82b602d","datavalue":{"value":{"amount":"+0.7628075480461121","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":"Q5259721$8A3B73D1-05C0-4C6A-92AE-189A971A335D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5259721","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5259721"}}}}}