{"entities":{"Q2946759":{"pageid":2957479,"ns":120,"title":"Item:Q2946759","lastrevid":85134119,"modified":"2026-06-03T06:00:36Z","type":"item","id":"Q2946759","labels":{"en":{"language":"en","value":"On the Power of Substitution in the Calculus of Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483250"}},"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":"Q2946759$6D7A0D2C-280F-4E70-B0EC-0C10434BAA17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc258987597e1afe774844c3be8c6a76c020d2b0","datavalue":{"value":{"text":"On the Power of Substitution in the Calculus of Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946759$293B0F7A-8CC6-423F-A054-B2CFA5D2B3F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ccefa1647b6ad0b8212b8eb561c2a6954343356","datavalue":{"value":"1354.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946759$C7DCA755-6B7D-4064-B934-6E2457B301C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"657094a1c23df57d5e07b3d16588a821f8ee5974","datavalue":{"value":"10.1145/2701424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946759$6B45D53D-FF30-4485-A001-35AB65E3DB10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43ba6c3bc72b6a7cfb0ff96d27dbac5077dc2fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2946758,"id":"Q2946758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$2DE11788-A121-4824-9814-7D8E58666BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$5985174B-B066-4979-A283-D840FA4E0B6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$2BFC5F06-D5A8-4CC4-8406-98B4C5187921","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946759$6E891EA4-1377-4CDD-9216-AA1D80B6A608","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946759$E0274CA4-CA41-4A2C-878B-3FC02D52E1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946759$08C8BAD9-668B-4F3F-8C62-AF97F39F2B5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22e80136fcec6e2500fa6bcc18834e9cd4c12678","datavalue":{"value":"6483250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946759$A9BD688B-B6D6-4907-861D-1E886F50FFD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6bfc6cb4e944c3dea94e46f9c5f8b0ec2fcd1e5","datavalue":{"value":"calculus of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946759$AC2050C5-CE3C-4446-8BAB-409BCDBC9529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946759$E9350F43-A47B-448E-A548-1D1799D34ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946759$71B569ED-C2B6-4E4C-A7AB-4AC81E61B186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946759$6516D201-9D30-4FA9-8F2D-53EA0247C1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef23eca485d4406ba22b1553d154f0247ab251d","datavalue":{"value":"extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946759$74DBE3E1-6A4E-41CB-A5AA-6FB190D9ECA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946759$F7390D86-3552-47A2-964C-53969D1E295B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946759$EE75A9DC-A6C0-413B-BC40-7E96548374CD","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":"Q2946759$EC3AD07B-DFB6-462A-8525-211CA8B60921","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a04dcafb0b1bbd2dbcfaa47a936254a612ad7418","datavalue":{"value":"https://doi.org/10.1145/2701424","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946759$91327200-7E92-45B9-97F9-05104BECEB88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"049a9bc4b934e4b55201ffdc1ab6531929741812","datavalue":{"value":"W1979474827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946759$799865CE-0C33-40C9-B4D6-02CB23D3B330","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a487a3fb672eb98191b9bdbf624338ecd55ae0","datavalue":{"value":{"entity-type":"item","numeric-id":672046,"id":"Q672046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$F801CDF1-E70A-41D9-96D7-3BF832316306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"835b5d5a9aacd02e7b5f2578220b9801477986dc","datavalue":{"value":{"entity-type":"item","numeric-id":4218927,"id":"Q4218927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$5FA6E4B9-9D79-4D7E-8045-C33BC7B120AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0581d67197ed273468e87cc26938ce8560d0342","datavalue":{"value":{"entity-type":"item","numeric-id":5292628,"id":"Q5292628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$92A617C9-76A5-42A2-8618-5B3F1A518EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c694a926a4541db3d8f9dad5bdeacfa898716b8","datavalue":{"value":{"entity-type":"item","numeric-id":817702,"id":"Q817702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$5EBB463C-BEFF-4E48-8D78-077E801D832B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c3580c9d30ad06ffdbc3efa06e3324c57f8e3","datavalue":{"value":{"entity-type":"item","numeric-id":2996175,"id":"Q2996175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$7CD8BA57-9A9D-4B3E-AFC8-9486EFE4575D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b8d4724fac31c84be8dfe751236a3355fca52b0","datavalue":{"value":{"entity-type":"item","numeric-id":2946572,"id":"Q2946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$B32E3752-7198-4924-AB9E-8E8E22159EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c5da44101671f25106f11c567d07e1d10b383f","datavalue":{"value":{"entity-type":"item","numeric-id":3066096,"id":"Q3066096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$7EC742FF-02A5-413B-875C-BEA0A1A01FFD","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":"Q2946759$A2C1EE05-997C-4777-9481-24DAF6626CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"921780dabce96c51679e465426154ae95e68811f","datavalue":{"value":{"entity-type":"item","numeric-id":5327358,"id":"Q5327358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$4CD24663-95EF-4CC1-94DB-6903BF576E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c78d555367231da2b5a62a6c9589d4d99c1214","datavalue":{"value":{"entity-type":"item","numeric-id":2915680,"id":"Q2915680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$5601B15E-33C3-4BD7-A501-4EC3C0F7E954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$3A683F48-ED17-4A18-9529-2129C9DA630B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45588cd7360799e3b56381b497f12f36a21e9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1314288,"id":"Q1314288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$6F7F2EC9-3F4A-44EB-A126-890E87899DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e953cdc9324bdf3ffb616c05bb43b6a5a3250d0","datavalue":{"value":{"entity-type":"item","numeric-id":2904403,"id":"Q2904403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$D601BD11-A8AB-4B00-A903-DF5016EE9DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89cdfc41b3924af7324d0b8d9aeef14b140f8813","datavalue":{"value":{"entity-type":"item","numeric-id":2958382,"id":"Q2958382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$16D91BDC-F444-4B06-A957-AA452769DE5A","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":"Q2946759$483E67E8-0187-4EAA-B4E0-A24D5F76749F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823283118cf938a4fb235b4fc4e9c097c8994ada","datavalue":{"value":{"entity-type":"item","numeric-id":5191475,"id":"Q5191475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$E28A5F27-3AD6-4400-B91C-C337CA44A4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff84a380859792f98a71b73007569735b0f24f","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$5D73D15D-B3BC-4B0F-946F-405FFF6C2A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d590a8f70bc72c2b3c07f87de20b83fab847d9","datavalue":{"value":{"entity-type":"item","numeric-id":3518275,"id":"Q3518275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$1EFCC62A-BE08-4B49-B9ED-C8217A7D0B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe802cd8809baf377abe6a55d7cfe19465c65ab","datavalue":{"value":{"entity-type":"item","numeric-id":4783301,"id":"Q4783301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$AC82A011-2998-49A3-83DF-3FCD065979AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59ac8dcbc939c8e95884b4f5ff621b9c7e67538","datavalue":{"value":{"entity-type":"item","numeric-id":3008232,"id":"Q3008232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$39BB5D93-43CA-4AF4-A029-9C3EC111B1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e3b71e51738c70df77fe3149eb762a140db251","datavalue":{"value":{"entity-type":"item","numeric-id":3623221,"id":"Q3623221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$A56CADAF-2ADA-461B-A2B1-807CC0DE8A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53604aebe7eea3e521fe2684073eec97cfdbce2d","datavalue":{"value":{"entity-type":"item","numeric-id":5387898,"id":"Q5387898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$3A960E1B-EDA1-4C99-B823-7A893F513A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$338A22AA-2F26-4551-8F2D-AD43154ADC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761227e28ec3092e559c7874757d0ce5e8b995d8","datavalue":{"value":{"entity-type":"item","numeric-id":4198749,"id":"Q4198749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$E1476042-9463-4D33-902A-D774443DE29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6752f5bfcd214b548bed40ff03d9ea96ba00b25b","datavalue":{"value":{"entity-type":"item","numeric-id":714731,"id":"Q714731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$460A412F-ED69-483E-8C21-83DA6AE87D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085fcb13865846087bf3ea98365bc1766133773d","datavalue":{"value":{"entity-type":"item","numeric-id":2946642,"id":"Q2946642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946759$628135DD-B602-4FE8-9FC7-16BA7215047E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e54c07ad29f12c4bdd75800e72942c910f887bb","datavalue":{"value":{"entity-type":"item","numeric-id":3608416,"id":"Q3608416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc092d63767196efb1b8ba5aecb8777b60b8b229","datavalue":{"value":{"amount":"+0.9103022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946759$D57A53B8-8202-4339-9CDC-DC10C7E4929C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b81ba912d1cbad7c756971fb5cc3a7a5512625","datavalue":{"value":{"entity-type":"item","numeric-id":4371674,"id":"Q4371674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49f3b74bfc21b6695aa99cf0dc6e82c13f82040","datavalue":{"value":{"amount":"+0.87105495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946759$13781D5E-C630-40CB-B929-DAA25CC2E643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b28e634a2f47ae015d38e6b9d5e23909267b9552","datavalue":{"value":{"entity-type":"item","numeric-id":4506396,"id":"Q4506396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bce59f1c7389c4c5ca9b54c28b9fb0e5fd46363","datavalue":{"value":{"amount":"+0.86731875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946759$DF950A98-97B7-4614-B378-10276E548920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa303ed6a575b0f573d1e04e77f3cca05291ceb9","datavalue":{"value":{"entity-type":"item","numeric-id":5951894,"id":"Q5951894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b07ac8b5b8c24f76f911d8007377f632b44f67","datavalue":{"value":{"amount":"+0.8648258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946759$FB2EAE75-9261-4CF6-917E-7C9E6763B9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e57db94f2cf00d9b70a446301f88f6f3a596628","datavalue":{"value":{"entity-type":"item","numeric-id":4472187,"id":"Q4472187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63558bcd36b4e83b6bcf6586368a7d38b1af3ea2","datavalue":{"value":{"amount":"+0.86334455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946759$B8799B59-4C32-4FA7-9183-7075FD5191F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c96bf5f1897a35022c3b74bbdeb0e3647e41d6d9","datavalue":{"value":{"entity-type":"item","numeric-id":2708965,"id":"Q2708965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7726b95428e6b4debe9fde195344eaaca5de6a","datavalue":{"value":{"amount":"+0.859763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946759$6D57C838-A2BC-4FAF-BC9B-790FDB621579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bab0519a4863edd82daf226dbcf07fa72f0817","datavalue":{"value":{"entity-type":"item","numeric-id":1433380,"id":"Q1433380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcbee36bf14dd3bdbe705278be2244adf3841164","datavalue":{"value":{"amount":"+0.85929745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2946759$6D21EA9A-C1A2-416B-AA82-A7FEECE655D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Power of Substitution in the Calculus of Structures","badges":[]}}}}}