{"entities":{"Q2259014":{"pageid":2269757,"ns":120,"title":"Item:Q2259014","lastrevid":71698929,"modified":"2026-04-13T23:58:05Z","type":"item","id":"Q2259014","labels":{"en":{"language":"en","value":"A survey of nonstandard sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6409347"}},"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":"Q2259014$50AEB0B0-9F16-4659-B62F-B4CF8519F12A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2968ad35f6c2ff682a293915b449d92a121d6515","datavalue":{"value":{"text":"A survey of nonstandard sequent calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2259014$B4AF8C4D-3CC1-48C0-9641-ACFF6C10B8DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f84d9ad8c4eae92c97d5f110a88084bf055e83da","datavalue":{"value":"1318.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259014$1403115B-6EB6-4CCC-AF3F-24F1FD563E8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$F5E0E447-C64A-4979-9CFD-01230C6DC802","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":"Q2259014$A8B3A69D-5AB0-44FA-8CFB-C35D984D04B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b04cbc0bd9d6002d18ef325b8d307775df0871bf","datavalue":{"value":{"time":"+2015-02-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":"Q2259014$C5EB6E4B-1D41-4EC0-AB98-6192FA00BA89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259014$16504B6D-BA00-4AEC-A67C-86B905EB151A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259014$33748AE7-5748-43B2-B8EE-0E6498122B21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c9c52c27c5a892c6069660d90c4f76f451aa187","datavalue":{"value":"6409347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259014$7C5C4C86-519D-4587-AC0A-A49200A4BF1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259014$A60B0254-451C-488E-BCEB-9C536413E6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259014$9AF74C01-5A5C-4BFD-B79B-4D8AF362DC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca6a85d411aad7cd24a325d583836dc376ecdc71","datavalue":{"value":"proof methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259014$49FFCEDC-3438-4882-9D58-70C15E2303EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$75C3CCEC-0382-40F6-AA17-0B444F207D40","rank":"normal"},{"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":"Q2259014$0037041F-BC5D-43EB-963B-4F9C75021CB9","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":"Q2259014$1CE096EC-EC01-468B-8EC7-9954E5181169","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46ee2017b6e004cbf9d638412783aaf50d0167fa","datavalue":{"value":"https://doi.org/10.1007/s11225-014-9567-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2259014$8E69482B-A9F1-4E3D-A205-7DD5172FCE23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3412605f129260f823e404be39cff636c854ed8","datavalue":{"value":"W1985418894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259014$81A7189C-9ECD-43BD-B948-58AECFDE83A7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e6a7bca672ba218fbbe6f03cc0d79671aaf82593","datavalue":{"value":"Q59399285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259014$59A7ADA4-6C71-4599-9A01-7605B3EEE73A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c78cdfcb5522837b65a574546a4b21a5164ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1876085,"id":"Q1876085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$87A2160D-E30A-43A9-A672-B03154899E08","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":"Q2259014$2DD26DC1-E439-498C-AEB4-FC4500BE2334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$B9AFD680-CEF8-4A59-A1B9-2E03AD6A366C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$57DF1326-BD08-4A8E-9B99-AB63FD3ECD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$DF7D2FC0-FEC7-4A1B-9296-D4C60FBD0429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$92D3700A-C67D-4892-B4B8-A8476D751748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9b17b058262356a218fbfe4c50273096acc3c","datavalue":{"value":{"entity-type":"item","numeric-id":5586224,"id":"Q5586224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$0F272404-22E7-477D-8802-A3BEE47348F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29bd3fb046590d8a5b165cf211e62a2078a71ed6","datavalue":{"value":{"entity-type":"item","numeric-id":1187165,"id":"Q1187165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$EE5D4188-1062-4CBA-A01D-63E7B11EA2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41a8555e95c2e50b94f6ebefe107e921d0116fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4012975,"id":"Q4012975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$605480A8-14AA-4CBB-ADB1-61CBF2827BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e9b4d2b73c4238f89e2674297b6becf284b2a42","datavalue":{"value":{"entity-type":"item","numeric-id":2259013,"id":"Q2259013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$0CB8ED6A-6247-45EC-A731-C6813A51E20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$06247827-C627-485A-897C-544F87E4DFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f580077c20a971d5f9bd8188096db37f21f37730","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$0A0428E4-8E9E-42D3-8ED0-ACBC75971C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba37178f4849a6f9f33cd6f635de99808396dd40","datavalue":{"value":{"entity-type":"item","numeric-id":583184,"id":"Q583184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$934CE304-8B15-4284-9EB7-F88270D88D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70f2ea607c531d6dd18caae6608fc0d3173fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2753193,"id":"Q2753193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$AC1A7742-1CEF-47EC-B94C-A881FCE4D287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41ed073aa8154ef82f4568e281d9fa0e323670","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$0E38E9B7-C9C3-4884-9BEA-BA6B4EBF7A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b32f94878e4455260b11f29cb552ce0d6d9a46","datavalue":{"value":{"entity-type":"item","numeric-id":5411456,"id":"Q5411456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$B50CCF77-1575-4291-B117-14EDA53A39EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840cdf0fd2fc7639009b50125648d2c88152a633","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$B672961B-8796-4C61-92A2-857CCABF98D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$A48E090B-D1ED-40BF-AF33-486CD240116B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b77e9616af68856c2fef9e864836767c008fc","datavalue":{"value":{"entity-type":"item","numeric-id":3414345,"id":"Q3414345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$3DD8F8BD-E939-4DF7-82BE-DA598AF8C3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3bfa6429084272e3b286c3ade956221a18f48d","datavalue":{"value":{"entity-type":"item","numeric-id":1353259,"id":"Q1353259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$B1F2573C-DEE6-40ED-A6C7-129F9C297750","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":"Q2259014$B215E9D3-23CD-4C23-A2BD-7EC591A196B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$99A8DE22-5805-4240-9948-88B4D3405BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e44c710a782f863005b16cb75d9669f3106b48","datavalue":{"value":{"entity-type":"item","numeric-id":5626592,"id":"Q5626592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$585FB6E5-0F73-4A06-B0E5-025C4D368CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ad7e5511b4ff3544b3699d474a77e2b5f47d67","datavalue":{"value":{"entity-type":"item","numeric-id":5723177,"id":"Q5723177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$2AC69934-8427-4007-8664-EF4DE0AE69BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f304ec4dfdee91836b173349673a23b1b162ba5","datavalue":{"value":{"entity-type":"item","numeric-id":383562,"id":"Q383562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$99D05BB3-3D88-4322-9950-E07E4123EAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7007d983f7272b825303e660ef4da93ca5ccee","datavalue":{"value":{"entity-type":"item","numeric-id":4229377,"id":"Q4229377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$23574114-C4A3-44BE-B509-E8F743EC181A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a568888be8b5be4fdbfd5a43fc3024e643387af5","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$3E25D6A4-63D5-4D67-9FDB-22EE0EC9472F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c5913842f072af2a571b9d6d0c4d38133e5905","datavalue":{"value":{"entity-type":"item","numeric-id":3452681,"id":"Q3452681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$EC2CDA54-2A22-4C8B-8665-3A6A64DDBBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52cd1a25a23d6ee1d2d790b85193089c176c154","datavalue":{"value":{"entity-type":"item","numeric-id":1840387,"id":"Q1840387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$DBF224EA-C66F-44CC-B0C1-C1B4C7BA6438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$3AEABA33-0BC9-4C75-82D5-A847256ACCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cbc15bc2e4019bb2a7e2912bcd3e921b994499","datavalue":{"value":{"entity-type":"item","numeric-id":2540418,"id":"Q2540418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$C4377013-3196-4FF8-B514-1FA3E51E9D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2de32e8b261b9ed518cb66c46273931cd0ad03","datavalue":{"value":{"entity-type":"item","numeric-id":2531860,"id":"Q2531860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$477BA470-EA83-4FE8-B80B-28A48497E28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2946f9210b56cf40c78bc7c781e28832ee6caf5f","datavalue":{"value":{"entity-type":"item","numeric-id":5541301,"id":"Q5541301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$93CDB90C-D621-41ED-BE5E-339C89F9FAF7","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":"Q2259014$B1B3DD63-E87F-4CAC-B384-0FDFD59EB706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb71ef34d1853cfbb25dad548087d8fa70b79e85","datavalue":{"value":{"entity-type":"item","numeric-id":1145691,"id":"Q1145691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$E5D0936F-08C6-43E9-B64A-A775D81921D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$A6DE037D-DD25-4103-AF65-3EB16E626D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$DD360254-8FBB-4EB1-9031-B3BABF39761C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abcb2e905e92d8a61492e0924459f1fe3cd4406","datavalue":{"value":{"entity-type":"item","numeric-id":5784989,"id":"Q5784989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$3FE58AEE-629C-4787-9BBC-61065848726C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba87f647d350da9410e3009029b609261e32924","datavalue":{"value":{"entity-type":"item","numeric-id":5797033,"id":"Q5797033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$A0F1A64A-F85C-4EEC-AA0D-638966E8DBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7da31dc57de17f2359111ce6f3d485bca36d62","datavalue":{"value":{"entity-type":"item","numeric-id":5622139,"id":"Q5622139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$317E87B3-2552-45E6-9063-D09973C33B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02c8fd5a0c3234de52455be624291c050a5c6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5534913,"id":"Q5534913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$E5599016-87AE-485A-B174-830D24E93CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8a147af86037048b9477b570c64562b3c4df5ef","datavalue":{"value":{"entity-type":"item","numeric-id":3684103,"id":"Q3684103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$9C880035-04D3-4C7B-951A-12214B67D54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d76d0080e73382629d30e4bc952a2749e33fea8","datavalue":{"value":{"entity-type":"item","numeric-id":3149962,"id":"Q3149962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$74486D6D-AE94-4D04-8F2C-B10E7E84AB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$DFD3639F-494B-4370-B1F4-8317894E3AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d56b350a678a50a52bf732fd7e9002ae33d3f14e","datavalue":{"value":{"entity-type":"item","numeric-id":4049046,"id":"Q4049046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$BC1D2308-00A9-4AF5-87CF-18CFAAFEBE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$07B446E4-7BB7-40AE-82D8-8A4857C0F6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ff8f7704174158e4c5067ef5934618afec4702","datavalue":{"value":{"entity-type":"item","numeric-id":2642520,"id":"Q2642520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$666E8D63-E2DF-4954-98B9-989A42D47806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f9a7101c4b1d182a3fd64de178bfe7cae0aa96","datavalue":{"value":{"entity-type":"item","numeric-id":3241190,"id":"Q3241190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$791746DA-0DF0-425C-98F5-5A3BA6FF9186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5712faae7526dbf49898e1f752209cc1ab0d5ce7","datavalue":{"value":{"entity-type":"item","numeric-id":2531861,"id":"Q2531861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$B4C54447-2194-4EBA-9D74-242936E3E1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$87FD68D5-9E4D-4B85-9EDC-6DEF667BD9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e178c90d5d44c31a72eb3351acc4b7ff86fb7130","datavalue":{"value":{"entity-type":"item","numeric-id":4948528,"id":"Q4948528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$78CB854D-F51C-426F-914F-86EC5D0CE67A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90f401931369d1d7f9b1f999b70d2466d1e6a800","datavalue":{"value":"10.1007/S11225-014-9567-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259014$9564E0B6-6EC9-4551-98DC-51E61F97ABC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf84873aa607654ff474162add2a713fb0cf02f5","datavalue":{"value":{"entity-type":"item","numeric-id":3452681,"id":"Q3452681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad9d3b62a2082f564f4a2d8c1bd0016fac155ae","datavalue":{"value":{"amount":"+0.8269340991973877","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":"Q2259014$4C8B1F18-EBC2-4E09-A538-2ADC760DE96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa5cf114142c7401885020ce03c36c9a76ff232f","datavalue":{"value":{"entity-type":"item","numeric-id":4395551,"id":"Q4395551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461e2402eebac47583591d76b46f91872457bf30","datavalue":{"value":{"amount":"+0.777655303478241","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":"Q2259014$9B62A2D9-8444-4E6E-B31B-023200D116C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461e2402eebac47583591d76b46f91872457bf30","datavalue":{"value":{"amount":"+0.777655303478241","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":"Q2259014$6B17B120-1026-47CE-9A41-4BC2F61CA138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb2f13d6b30ed0683aae3f5b87342a8cd117c26","datavalue":{"value":{"entity-type":"item","numeric-id":4229377,"id":"Q4229377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c395dfc814d1f19684e4ea32cbb173bc6e377a4","datavalue":{"value":{"amount":"+0.7541730403900146","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":"Q2259014$92CEA468-2CD5-442C-89A7-617A81E97917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd73cac53fba691c91f3c5bb0c0521936e275dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3819043,"id":"Q3819043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6bb964a0697a1f7b20ef041818a6319be9e2ea","datavalue":{"value":{"amount":"+0.7498442530632019","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":"Q2259014$E65EA19B-C844-4DE3-981E-AB5907576C46","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259014$C114D4C9-3B42-420C-93A0-7C40B713EDAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A survey of nonstandard sequent calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_survey_of_nonstandard_sequent_calculi"}}}}}