{"entities":{"Q5251189":{"pageid":7280757,"ns":120,"title":"Item:Q5251189","lastrevid":91952411,"modified":"2026-06-05T00:29:30Z","type":"item","id":"Q5251189","labels":{"en":{"language":"en","value":"On the Structure of Natural Deduction Derivations for \u201cGenerally\u201d"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6439451"}},"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":"Q5251189$F6AEE13E-9345-4578-8F98-CDA0A556A9C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75c505684d076ee9f827d590b613a56a26689669","datavalue":{"value":{"text":"On the Structure of Natural Deduction Derivations for \u201cGenerally\u201d","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5251189$4A04125D-4295-4F6F-91C7-C7A8F8BA803A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbd12b22b3ed7521f1f0697aba17717c245e4078","datavalue":{"value":"1344.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251189$D94309B3-B450-4D53-AB9E-E2A741765B4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6daed75ab3ec01878988f10d88d222413e19dfde","datavalue":{"value":"10.1007/978-94-007-7548-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251189$97462720-B311-4F00-BDB8-2D5B3A5F741F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00f5ddde19826bcf2c65e92f6efac4182dc21d5","datavalue":{"value":{"entity-type":"item","numeric-id":2866736,"id":"Q2866736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$EF0076AD-BC10-4B4E-9A64-A45315757F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$2DC1CFF1-C307-43AA-A9CA-4570FCCA1DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28f368ceba13f379acac343070a56af24adeb81","datavalue":{"value":{"entity-type":"item","numeric-id":281162,"id":"Q281162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$1D91E574-2F55-4014-BA6A-99425D0D4491","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9ef5f862067a8dcfef6601f996709bbb53d732cd","datavalue":{"value":{"entity-type":"item","numeric-id":3295143,"id":"Q3295143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$64661A04-3472-4B85-93C9-41C6AE192291","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ccdd437656ae39926623dbd87596e190124636a","datavalue":{"value":{"time":"+2015-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5251189$1F843D03-C8BB-4E06-8B7C-975747FDAD6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251189$109F2D56-E3C6-402B-A77C-DC9713DFBD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251189$2BE1ED93-E5E9-46E4-97A3-39CF9D3BEA86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fb2c6b077f3ff7438ff7a08f560343044cc17ca","datavalue":{"value":"6439451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251189$18FB2562-2AD3-4AC8-99AA-FF85815D1F00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1e6738356b198162786bbbedf3603e2b0767a4e","datavalue":{"value":"logics for `generally'","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251189$79E8AFB6-E48D-41BF-9F84-3A723904F051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251189$0378BFED-FD9A-42CD-8BD4-44382CCA0B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66cf777c58050acca72bd4bb5be78c665ac953c2","datavalue":{"value":"Vague notions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251189$22EA1BB9-C8EF-43AB-B4BD-16598772C4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251189$E3668870-FBCB-42D4-AB79-EF79080C731C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e616e5975a616a8dee627c0cd0ce5233be3f524f","datavalue":{"value":"derivation structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251189$68D870D4-AEC7-4D5D-80AA-785B1FFE3074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251189$C35CE4FD-29D1-42AE-BBE0-3F37EC30779C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ce77f9d43ea791f63eff9a39b772e26e96b3db5","datavalue":{"value":"minimum formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251189$223E7372-BA4C-439D-9CD9-0C4178112F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f764d6b71b405be4c56b43e9f6b3e1478f4f9f3a","datavalue":{"value":"minimum segment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5251189$1A7E65A9-4EB3-4D50-A07F-213DCF904A09","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":"Q5251189$6E848D72-CDCF-4662-8C29-9AD4C200B398","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e968b470a6f9f97d7f54578f881be04cfd0b499a","datavalue":{"value":"https://doi.org/10.1007/978-94-007-7548-0_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5251189$804DCD7E-8960-46AF-8C1C-F556C5E81E09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a366e94c735d4d8c6fc5310c0ba335937636e8e7","datavalue":{"value":"W134001138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5251189$3A6122D8-6E36-4D67-AFAD-2CCECC29F838","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe612022fee900feabafdb798e8c4802541f969a","datavalue":{"value":{"entity-type":"item","numeric-id":4364502,"id":"Q4364502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$AE4C3FF6-FDE2-46D6-B461-5FA42F36B541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce17307cca0ae46bc1d9fa6d8428d022f07c5af0","datavalue":{"value":{"entity-type":"item","numeric-id":4437963,"id":"Q4437963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$88E0DCD4-AE22-4968-9D2B-1DD3D8FFD0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c2ab4aeaf12ccda321ed9dc7a76a8c810035fc","datavalue":{"value":{"entity-type":"item","numeric-id":4812325,"id":"Q4812325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$65F2E15E-E562-4114-9D0B-E29E23558826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cccc386e1a9193984252c97cfbc60e037bf9ea9","datavalue":{"value":{"entity-type":"item","numeric-id":3367290,"id":"Q3367290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$1F961ADB-9CDE-49F2-A40B-352BB5520FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74cf8bc17935d5a0209c6a3bbfbbaf6d830c38fe","datavalue":{"value":{"entity-type":"item","numeric-id":5711869,"id":"Q5711869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$59557A36-E645-457E-BE13-23A620BBDA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82ee8829bc54a7c7c959a82d691b2cf83cc9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1770623,"id":"Q1770623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$04869394-4219-4D3F-98A4-7CB0DB23DC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f361776621a5564051cc62b6d60dbaa77631345","datavalue":{"value":{"entity-type":"item","numeric-id":5463271,"id":"Q5463271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$B82565AD-7FFD-4CAB-8D16-5CD8DCBF0EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b9fc182cdb4d4be18656b786e2a3f5a11394ba","datavalue":{"value":{"entity-type":"item","numeric-id":3378199,"id":"Q3378199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$555DD629-DBCA-40E1-AA34-C48D30D7FCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22dc04d60f1c6de08e9469c3ba5fb7ee3645c98f","datavalue":{"value":{"entity-type":"item","numeric-id":5437004,"id":"Q5437004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$C4533319-3DFB-4073-9049-0426498C5EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab238552f2b9c7363eab17a0669ec60f782ff934","datavalue":{"value":{"entity-type":"item","numeric-id":2866737,"id":"Q2866737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$FA88BB3D-2689-4340-B93B-FA547AAB2588","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":"Q5251189$EAB10C9A-A11C-4B91-AA78-289340E3CD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e32bf44a89a3518bdab99e59431c4ecc0020886","datavalue":{"value":{"entity-type":"item","numeric-id":3245361,"id":"Q3245361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$59DA88A6-55F4-4D41-9329-1C875BD454A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de2e97cfd28ea719ced4227f556878363f58d68","datavalue":{"value":{"entity-type":"item","numeric-id":5606563,"id":"Q5606563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$C071C0C3-79A7-473C-B3E2-B54F2825CF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac87242fc70de06e2fa974f724f0ac7de2b8737","datavalue":{"value":{"entity-type":"item","numeric-id":4847379,"id":"Q4847379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$9E6D3C7E-6065-4890-827E-72540D4B6A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4840fb89c1bb0abc19f0ac0e208874bbd3c00195","datavalue":{"value":{"entity-type":"item","numeric-id":3927223,"id":"Q3927223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$74E9AB2F-DFE9-4312-87B4-F2E1D27A845B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$D5F538C9-A6DC-4BF8-9CCC-9484AC24FB22","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":"Q5251189$19FDE191-47EC-449D-9AE3-55FEE6E9135E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba4cd235346de0bc02a623953674e572b92e157","datavalue":{"value":{"entity-type":"item","numeric-id":5916300,"id":"Q5916300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$1166CA0F-79F6-4D0B-9263-26F75701BB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75072c5bce5a3ad953643dfb9953f029de8fe98","datavalue":{"value":{"entity-type":"item","numeric-id":3781073,"id":"Q3781073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5251189$86A62B41-94B3-49EF-AF03-2640365A74EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f462a7feded8524e3374e173442133b0f6d78304","datavalue":{"value":{"entity-type":"item","numeric-id":2702240,"id":"Q2702240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30fe7defeaacb604fa638d9dda2d58f2acc74fc9","datavalue":{"value":{"amount":"+0.9220163","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":"Q5251189$E107D50C-D919-4184-8ADF-57DB4F758A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5820ca235d12252b41cc6c592978addc321496","datavalue":{"value":{"entity-type":"item","numeric-id":2784788,"id":"Q2784788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0f54ea84488f590a3da03b555c719af01235372","datavalue":{"value":{"amount":"+0.89117134","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":"Q5251189$BA64A9CF-6DD5-4BB8-AA6E-12FACD467280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"168be4cfb9834c766e4967c4a968980ee4cd31d2","datavalue":{"value":{"entity-type":"item","numeric-id":2118979,"id":"Q2118979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75eb91099bbf274ab8bc7187385fdf6fa4e65b89","datavalue":{"value":{"amount":"+0.8869785","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":"Q5251189$51335D56-7349-47D9-B1C3-E3C2ADA17D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0dd89f9496f0359f23a325b9e86265732996217","datavalue":{"value":{"entity-type":"item","numeric-id":6060674,"id":"Q6060674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53efccc659154b0ce88c3650cad188b3055d16a7","datavalue":{"value":{"amount":"+0.88637024","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":"Q5251189$2B6E71E9-82EB-4DCC-9FA4-837640BB87B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be5ae1bebf2ff766009419abd2758b8d8096b23","datavalue":{"value":{"entity-type":"item","numeric-id":5213573,"id":"Q5213573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d808476028ff307aad8bb071ff8d5945ee1a1d56","datavalue":{"value":{"amount":"+0.88582695","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":"Q5251189$F1C44A37-70A2-4B57-B84A-78201693619E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c66effdfb572f89746c0e0dd70f3bfa67d60f7","datavalue":{"value":{"entity-type":"item","numeric-id":2702282,"id":"Q2702282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584eb8e06718db2d593e1b5926ec8966df3473cd","datavalue":{"value":{"amount":"+0.87938404","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":"Q5251189$9F53BF3F-D24E-44E9-B961-6059F407243E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d70c14f98ba73a054e8626e184bf7044acfdd8","datavalue":{"value":{"entity-type":"item","numeric-id":5437004,"id":"Q5437004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d540683ca0e22998734289c72800cfc1933b4a","datavalue":{"value":{"amount":"+0.87809837","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":"Q5251189$43CDDA70-7AD3-4AD3-A266-D129E151ADAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3319c62225857a03967b75c1e67b7bea51e6e684","datavalue":{"value":{"amount":"+0.87514347","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":"Q5251189$7860AB6D-2EEE-4E38-A4EB-3CB3FB9E54EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c0a2d0a8faf7e005d2b893339ed612ee0cfcc9","datavalue":{"value":{"entity-type":"item","numeric-id":1903127,"id":"Q1903127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0331e97474667f263bd5cb34fe95c2f8c10a74","datavalue":{"value":{"amount":"+0.8737397","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":"Q5251189$6C3FE811-B4E0-4105-A291-6590DF4875BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62556a19f9c935314aa9ea5dd45d240fd6868544","datavalue":{"value":{"amount":"+0.8736121","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":"Q5251189$1C038BC7-5C41-4DDA-882C-E0111F95D677","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Structure of Natural Deduction Derivations for \u201cGenerally\u201d","badges":[]}}}}}