{"entities":{"Q2084573":{"pageid":2095315,"ns":120,"title":"Item:Q2084573","lastrevid":54423029,"modified":"2026-01-26T19:18:45Z","type":"item","id":"Q2084573","labels":{"en":{"language":"en","value":"Maximum segments as natural deduction images of some cuts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7603238"}},"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":"Q2084573$7FE94C3D-84C4-406F-B5DF-00F384157868","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edd48dcb297ff047817820e98dbd68795bc13c14","datavalue":{"value":{"text":"Maximum segments as natural deduction images of some cuts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2084573$05086D83-F2BE-4E66-A577-E4BD869C4B03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1804bbd961ab7085fcd6ebdf3ab03cf98686f33e","datavalue":{"value":{"entity-type":"item","numeric-id":818515,"id":"Q818515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$59DDAD70-3814-4063-99F0-95C26CE92B83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$3476629F-E720-4106-AFEC-15B9372BB0FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56990fd6540c9785f009870b6cba51a68900b81f","datavalue":{"value":{"time":"+2022-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2084573$CC4832C6-45CB-4CA4-A262-84744B52EDEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084573$CC6CDDCA-771A-45BC-A387-8FA91E3ED920","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94abe2f36cede1ce1146aeb6f94f9589df0b50a7","datavalue":{"value":"7603238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084573$394691D0-928A-459F-8A26-BAF336F309A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084573$CC4C8920-3482-43C6-A4E8-DCAB9D143D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5811ee01be7b6090e46931f12c7b72244d4806da","datavalue":{"value":"sequent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084573$ACECD619-40B6-46B6-89C8-195F81145545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084573$A2979551-8852-4F47-B295-932666F5AF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1262d51f50334708902b19dcd78f24e1a994f9ba","datavalue":{"value":"cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084573$36271B05-911F-4717-B02F-7346192879BD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6057a689e50483439af47f4d1199e34e7c608ded","datavalue":{"value":"Q114221729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084573$4D597FDE-9F3C-43D0-8E21-7DC378698081","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$0A4ABA2B-4221-4A2C-9E15-C5D02B937DF8","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":"Q2084573$143FAA87-C769-4C42-AB85-62D0D26B7B5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03001c59aa4c6296c954df2b608ec16147b28ad3","datavalue":{"value":"https://doi.org/10.1007/s11787-022-00309-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2084573$0B694107-3C70-4D46-B8AF-DC791C66BB39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96b123d1603579b2b3c6bb2190f13e0efd87c3ee","datavalue":{"value":"W4292767243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084573$AE193644-C14C-4B46-896E-7D84AFDE3F2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f063022c7a87fd396eb7925319f1228c174422c","datavalue":{"value":{"entity-type":"item","numeric-id":818516,"id":"Q818516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$1225FA26-5CEE-4AAE-BC9E-C0C8454051D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89ee28d802e5184e00121ab5d5eedf82af7c074","datavalue":{"value":{"entity-type":"item","numeric-id":1029828,"id":"Q1029828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$DC674007-AC66-43E5-8A8A-A52B2CDB8177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7255bd17e235d408b9d91bd14dee847807bd6f1d","datavalue":{"value":{"entity-type":"item","numeric-id":3655015,"id":"Q3655015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$977F1705-F0EB-45CA-9F40-622FAFE644A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f23eb6b061ddfcc11c8049787d05f4d3d156f78","datavalue":{"value":{"entity-type":"item","numeric-id":4577998,"id":"Q4577998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$F2C138AC-5697-4107-B756-BCE6E992EB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"981b6ecfbeeee11a7646fe38abcf6fa125e09a66","datavalue":{"value":{"entity-type":"item","numeric-id":5014060,"id":"Q5014060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$B22FE37A-2379-4D52-A369-0F6688AFA25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49508253f586991686167e53d90ae970b902e6b3","datavalue":{"value":{"entity-type":"item","numeric-id":1176199,"id":"Q1176199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$CB1393CE-7C09-49DD-990D-AC334337A282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e409d04ae616f7d079694aacd884cde7f6c8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":5213610,"id":"Q5213610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$66482F23-A7EF-4604-B032-E305C68500E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$0C92E59B-5C4F-45B4-813C-434EDDB74349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967c49333514bb16993591341675d1365fe80f48","datavalue":{"value":{"entity-type":"item","numeric-id":4397029,"id":"Q4397029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$A7802137-A442-4A90-BCB1-B3AF786E7F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$A2763F1C-1649-4609-9862-D62023DD17DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e2b13f94cfcbd2779246485d014cc60d2ea10","datavalue":{"value":{"entity-type":"item","numeric-id":4328835,"id":"Q4328835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$3E7DA06F-CFD1-43E7-A55E-198B8B208425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"095235182a772e949a894fe1e8dd7dd415201919","datavalue":{"value":{"entity-type":"item","numeric-id":4434498,"id":"Q4434498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$BE3E692D-A831-417C-96E0-7CDEC45CA017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318f662845e996eb181df473ff519adfb475c0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4156419,"id":"Q4156419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$A6700945-9418-42C7-B252-646EA1252FFF","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":"Q2084573$9DF37CED-3AA2-4600-A1D2-13C3A4631E01","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":"Q2084573$2969B9C7-1142-4E97-A58E-C88688883D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d60400ae1230d8a8afb8a42ea97caa8d1a90b5","datavalue":{"value":{"entity-type":"item","numeric-id":5251185,"id":"Q5251185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$E1F112F9-21E5-454E-A92E-2AE194CD5752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c24c6b43dc3a0ab21d80235a273aab5779111ad","datavalue":{"value":{"entity-type":"item","numeric-id":3503742,"id":"Q3503742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$BAC1A3BD-96CA-4A50-A72E-1F38F6418C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec600da85d43fdf6e3a8cb4556c7bef1b8b1c9ff","datavalue":{"value":{"entity-type":"item","numeric-id":3005996,"id":"Q3005996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$870AC216-0DA0-4282-AB07-2D3D45C3E864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084573$654DA25D-4EBC-465E-A297-8501B935BF79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8493aba1284f0935cf9ccbb0b0655e1d84f2cea8","datavalue":{"value":"10.1007/S11787-022-00309-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084573$9C005D27-E633-4FCD-AFAF-B8382527C6CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ec02c7d07ea4068b497ad4a87518a0249b32b7","datavalue":{"value":{"entity-type":"item","numeric-id":1029828,"id":"Q1029828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d050e1d3855f84043d5140aa572057ab7e196e","datavalue":{"value":{"amount":"+0.8505448698997498","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":"Q2084573$994C38A0-4857-4CBF-BCFA-EC6F44472AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb01259cb7c23725068d1206659a84001510162","datavalue":{"value":{"entity-type":"item","numeric-id":4899876,"id":"Q4899876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473be4822c71fc33149d0f8f942be9b102b4928f","datavalue":{"value":{"amount":"+0.8427492380142212","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":"Q2084573$2DB55E5D-1D4E-4EB6-BDD2-1485AD01FDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e26ce1230c9b8bee351f13d20c5d280087553d","datavalue":{"value":{"entity-type":"item","numeric-id":4328835,"id":"Q4328835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33759d572b45dd46ca4ba8df67259dce9fa5b0c","datavalue":{"value":{"amount":"+0.8420476913452148","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":"Q2084573$D5BD5475-3E12-4B2A-AAAF-67DEE8778F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d060f5b4d3a2be78d712d2ace8fc462e46859f66","datavalue":{"value":{"entity-type":"item","numeric-id":5396481,"id":"Q5396481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e96665a9a7f486b962f154a674f133f6c21a185","datavalue":{"value":{"amount":"+0.8400421738624573","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":"Q2084573$9AD2D86B-C0DA-4C65-8F3E-C9688A20E949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa83d117b6a397d4bbb80610c3146bbb5cf7a20","datavalue":{"value":{"entity-type":"item","numeric-id":5714811,"id":"Q5714811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c17a63659cadafedb771a0c439d85de54b07540","datavalue":{"value":{"amount":"+0.8094876408576965","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":"Q2084573$B69BA294-8219-41CA-82A9-BA14D997B79A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2084573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2084573"}}}}}