{"entities":{"Q5878905":{"pageid":7908456,"ns":120,"title":"Item:Q5878905","lastrevid":101978036,"modified":"2026-06-06T03:14:21Z","type":"item","id":"Q5878905","labels":{"en":{"language":"en","value":"The practice of logical frameworks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7656670"}},"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":"Q5878905$05140B8A-1DD3-4ABF-BAA9-CD7D0D8C4996","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9f061c12748aaaf8bc4a5f3310a42daab41857c","datavalue":{"value":{"text":"The practice of logical frameworks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5878905$1247C921-4847-4B39-B14B-DF1F2B55FFB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5222276a0ea8f89f1b3edced091839ec4d877899","datavalue":{"value":"10.1007/3-540-61064-2_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878905$2299AC77-37FF-47DB-9440-C28E6F6F2CA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"10a2dd9cfab3350d57ecfd66941f44fbfa64643c","datavalue":{"value":{"entity-type":"item","numeric-id":5878896,"id":"Q5878896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$43C2786E-C992-47B3-AFEC-40D4F800EADF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"729820b3d9c942c8ddeec0ce26b9b49723352c71","datavalue":{"value":{"time":"+2023-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878905$65ADD850-E029-499C-A952-B9CDF658EC6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878905$28C1E884-5B42-4294-A97E-88A006473E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878905$C7D5A088-8B03-448A-8D9C-AD765CC9321A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51218e4fc44c0048eda834a11a59c87fe5791f00","datavalue":{"value":"7656670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878905$E91CF584-D2E2-465E-874B-857796E2ACF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$4F6DCD01-77AB-4309-98DC-CBE4756FB826","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$3B982D45-E313-4E75-B328-69217C370FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$837F7C66-8F26-43B6-8824-60001101530C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$7661E74A-565E-4C6D-9C42-EFC924396662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$9B5A3D42-86FE-4D52-98B0-6B22DDA27715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$FA7917E6-C5A2-47F4-8BB6-282CE173823C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$2A78F785-6359-46A5-AA1C-39468D52F690","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":"Q5878905$273F8F43-4994-46AE-BB50-DF92CF8E2B43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17c48aec35d287da20382fc12957b644068f9e96","datavalue":{"value":"https://doi.org/10.1007/3-540-61064-2_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q5878905$A1544815-E36A-4DD0-B3CB-D250504DE215","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26dc7d9ee97fee41b1405eed39ba5e121fd891d1","datavalue":{"value":"W1536064546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878905$8D290404-F589-4DBE-9530-CC1862B96E2B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$9A93F03D-2E38-4373-8D6E-F5D40A231419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f1e3ba141320a825b33539e9c804648ab89170","datavalue":{"value":{"entity-type":"item","numeric-id":5096313,"id":"Q5096313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$EBE7711B-6B09-4533-9932-3AE1F3A606A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0238b319e350b5acb73d6863e5a0cbee7c02a3bf","datavalue":{"value":{"entity-type":"item","numeric-id":5210798,"id":"Q5210798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$4816F715-AB42-45E8-BB21-FCEB8A81E0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a0c8df1ebe6e984c4d874c516da41cf5d410c48","datavalue":{"value":{"entity-type":"item","numeric-id":4261732,"id":"Q4261732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$67B8A4C1-ADBA-4AC6-B7C5-012CF1C4BEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e0588203ef8b9842ea4ac0a5a5026a360c6a5b","datavalue":{"value":{"entity-type":"item","numeric-id":4470494,"id":"Q4470494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$C84D4D87-204E-493B-978D-8DD9861E6440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ebad1ec32f84aea32b38859e9c126afe144df8b","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$179605E1-B61E-40C0-B84E-CA07DCC14041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$B7FB2DEC-5CD8-4934-ACEC-6B0A07F26B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e723c31e56f2487bba3b93f0d7637a4943535187","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$615FF7B1-12D9-4487-9A42-80FE3D7A3872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9c25358477122b4737549d52e354b2ddfa62bb","datavalue":{"value":{"entity-type":"item","numeric-id":5055716,"id":"Q5055716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$C685DCDC-E740-4201-8837-C17DFE0E66D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8a46dcde5fd2e129135341af5cdfdbd275b731","datavalue":{"value":{"entity-type":"item","numeric-id":4731182,"id":"Q4731182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$5E19F94D-A764-4FD7-9CF5-2C5B619C8216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94a2fe58e64b528f4d29cb8a45205f6ae980a02","datavalue":{"value":{"entity-type":"item","numeric-id":1311396,"id":"Q1311396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$4A135AC6-F677-47A9-8D5C-678955EDDF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18fa226924cc974ee1c50efee3ff193344791f61","datavalue":{"value":{"entity-type":"item","numeric-id":5210800,"id":"Q5210800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$935C89D6-3023-42FF-BD03-7A97D064B8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e2b13fd5a27d330f592699f5bb5ff339813ded","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$661C5E34-D3BB-4BCC-84D2-F1ECE1B5A5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b6e785a5765a6ab67904291d6e6c1e679698bf","datavalue":{"value":{"entity-type":"item","numeric-id":5055832,"id":"Q5055832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$64701FE3-D242-435D-ABE1-F5BB826C0A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fba5e8ace22a05b3ebef9aa0392420cd4ad549","datavalue":{"value":{"entity-type":"item","numeric-id":685059,"id":"Q685059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$DBBF9B9D-40E2-4799-82E9-D1BC4DEF8B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bc6a217ec59b7ef117ee3f6ed2e2d3dfecc7e5","datavalue":{"value":{"entity-type":"item","numeric-id":1177153,"id":"Q1177153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$B9529695-7A5C-48C6-B614-EE7AC9F514BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$5D9AD3D3-CAB4-4E8E-BD30-FD40EB89938C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0223ea41de9d0d3a3b57ecfe38bc4d40a15c3492","datavalue":{"value":{"entity-type":"item","numeric-id":1326777,"id":"Q1326777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$8D3BB84B-4F77-4532-8584-CAB68FB5325A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$9E0C92AF-EEE7-4296-9DC0-625238BB9EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a550204b4fc9eb077df82e95f8c42f6d0c6fa7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4764621,"id":"Q4764621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$C7288642-B445-417D-997D-1F0AB86E68F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c91066f858fa64a799af591825e0694228fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4122841,"id":"Q4122841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$CB664819-D9BA-4A0A-A829-EDFD7A446E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5464a240ea005d91846c0ed6384f1e539280600","datavalue":{"value":{"entity-type":"item","numeric-id":5055834,"id":"Q5055834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$7F817E21-E7D8-471C-89E4-BB5273C5279E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e9db7d26f0c7b0b45d432b73750c58bf2f80eb","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$21C4AF51-FCC9-4F69-9069-4EAC62ED1728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$6447FC03-6E48-4AF5-BCD6-8ACB4E33EEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$46A78A1A-427A-4F1F-A167-5A3D45EACF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$7220B6F9-7AF1-46DA-870E-58529F9BA0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$A266F608-FB60-470A-98F0-D6B1D7107E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5809a6684c365442525c649f10f3cfd46627fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1825045,"id":"Q1825045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$B519452D-B2E5-469E-B4CA-32B3D56EC1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86db483e9a40527302031aff778bd8060ee45920","datavalue":{"value":{"entity-type":"item","numeric-id":1312157,"id":"Q1312157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$197D753A-E7D3-4FEF-AE61-708F2A83F60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$2C5D355C-0647-464A-AC0A-B37A086996F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$2CA62337-97CC-42E5-BE22-AFEDBBDE3F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$A270CD08-970C-4F48-9197-51F27A56F28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$197B9B5C-E007-4986-9E74-4BF4B6E3D0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffb78e1862447c8ce655b5a67759e1a1fa39b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3204068,"id":"Q3204068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$6DFC9764-FA70-46DC-BD52-CFE4FCD73CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$CF709D11-F607-4C08-A132-6D6CB9988B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1412987d8f490f7c5b9105337c817ffa3488daa","datavalue":{"value":{"entity-type":"item","numeric-id":5210815,"id":"Q5210815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$D82E46EA-0F74-43C2-9F9E-A7710F5960F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792bfcc0ce52da3d2cca69da6156e7ab647b8ee","datavalue":{"value":{"entity-type":"item","numeric-id":3024849,"id":"Q3024849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$7812A84F-40BA-4AAA-8CB9-C5B507BDEA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad2cd4cf713ccf989480cb5c49a18cb39965ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4264727,"id":"Q4264727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$3B6EEA05-0242-4A20-BE19-9E2CAB808F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a53c9ec1ed01dcb444298314487a4908d29766","datavalue":{"value":{"entity-type":"item","numeric-id":5286030,"id":"Q5286030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$40288A1E-FBF9-42F2-926E-ACB289E93646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ff1b1b2acb9048cb1a6bab022cee0521c66786","datavalue":{"value":{"entity-type":"item","numeric-id":5044750,"id":"Q5044750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$D9F168C6-3A9F-44A9-B665-216E1377FAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01c3b3196f0ebce61a0a8e32db97f5c3917a400a","datavalue":{"value":{"entity-type":"item","numeric-id":4012888,"id":"Q4012888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$6B712AB4-3D6A-433B-8F30-B04CBBD83CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93870916f985296994d3e934a3bbc33cc4056cee","datavalue":{"value":{"entity-type":"item","numeric-id":3801105,"id":"Q3801105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$B4ADD1DF-3557-4B79-B84C-CD16A9F1BC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61a08da25acfeab974424d372ebc069467b68e8","datavalue":{"value":{"entity-type":"item","numeric-id":3024848,"id":"Q3024848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$C4352B4D-4E7A-4C2C-9EE1-AC9B335C9BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f3b5c1dbd7317478ca669f42a70d5a3b211b66","datavalue":{"value":{"entity-type":"item","numeric-id":6488534,"id":"Q6488534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878905$6BCF3FF5-D1C4-4289-BD89-348987F6D4C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The practice of logical frameworks","badges":[]}}}}}