{"entities":{"Q2798266":{"pageid":2809004,"ns":120,"title":"Item:Q2798266","lastrevid":83298425,"modified":"2026-05-07T07:06:52Z","type":"item","id":"Q2798266","labels":{"en":{"language":"en","value":"Executable relational specifications of polymorphic type systems using Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6562507"}},"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":"Q2798266$611DC594-E844-424B-8DFA-0B5189C03878","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9ceca560a5b2c005c375a66292b1307f203d2e8","datavalue":{"value":{"text":"Executable Relational Specifications of Polymorphic Type Systems Using Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2798266$F2EFBDAB-7307-4A69-BF01-C536A803C11E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a84dba6e88c181fdee97248014416b9840a60a7c","datavalue":{"value":"1475.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798266$825CCF4E-39B8-4D41-953B-55C698BC25F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31b3fc18b28b15690d5b824a9de28211dbfac56d","datavalue":{"value":"10.1007/978-3-319-29604-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798266$058A81CC-FB4B-419B-BDDD-16C64B71950D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdef4d56dab2040e9e3b90cbb31accfa1cfbb6a7","datavalue":{"value":{"entity-type":"item","numeric-id":2798265,"id":"Q2798265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$C962660E-BD9A-4A0E-B545-015870876AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9199f6b62b1c2d447cb8fb326815f8911fcd3fb","datavalue":{"value":{"entity-type":"item","numeric-id":2319984,"id":"Q2319984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$552E58A7-3721-4756-AACF-7C3D9EF45D1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$F8680823-E21A-447E-9850-FC1DE3F70A47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d632be975d89d9bf6400f8a1a3033c5ac887a3f4","datavalue":{"value":{"time":"+2016-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2798266$07BC9466-DC4F-4987-85C2-4CBF26CBBBDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798266$13364C69-B6BB-4385-99DA-C50D2C40F53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798266$A56FFA92-CE19-4414-81D4-340B3790A3A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ce78491d9c109dbff6edbb5508ccabf7d57e4ba","datavalue":{"value":"6562507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798266$763C3894-5A03-46B2-9382-183C25A47F9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86974d0f6318eb7c5bf6de362f063cb70e1b4ab9","datavalue":{"value":"Hindley-Milner","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798266$B86E5CB0-42ED-4175-B2B6-08F1B0A757D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798266$747CEFE3-424D-486F-B255-B2A366D0B637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798266$37A0038F-2499-4FA2-8610-A5D87C33CCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798266$2796F756-4B3A-449E-B169-2DBDDD5BB0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798266$2334DF32-858A-487E-B29C-399A9FBD290F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658b900684683a841bc471a204ddeb78a040d114","datavalue":{"value":"parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798266$413B38E0-0367-4D0B-8B0F-07477244E91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc4af021012dbc610b09cbc2a9a30cda82c1814a","datavalue":{"value":"higher-kind polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798266$9F611D51-6C3C-4963-A420-C25CFCC91EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33676b551950455ecd0626c3bb8876b1fd4b81b3","datavalue":{"value":"type constructor polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798266$D6EF043B-8DA9-4A6F-B68C-E3644C87F863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ac59b8844bb9e76337bd16b051892e55f56288d","datavalue":{"value":"algebraic datatype","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798266$5EB3EB2C-421C-4BC3-9147-B40FC85B0419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0495ebb727f78e207aa1c4950190cead309945c5","datavalue":{"value":"nested datatype","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798266$68B62CA1-D5C3-4C4A-9E61-E2DE351B3837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798266$641E1769-3973-460B-95A2-D2C23A77AF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798266$871213E1-47B7-4FEA-B893-5A1631826D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d91be60fef6ad6ab2e7c05aec4797f072838ac0","datavalue":{"value":"delayed goals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2798266$A5799683-CDB8-4888-9DC0-357C1B798C25","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f4ab73bad77e7bc9aec2318619412bedc97da567","datavalue":{"value":{"entity-type":"item","numeric-id":54629,"id":"Q54629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$2D2BE07D-FC2E-4197-8DD6-6587EDD7168B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"039ee0c9703af52130b4ec7df459cd545f3e0bcf","datavalue":{"value":{"entity-type":"item","numeric-id":31904,"id":"Q31904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$A949FE97-FDEB-41AE-8A04-F36B90D2D349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3cd421874fcb8a2dd7e34ecd62611f94d136a75","datavalue":{"value":{"entity-type":"item","numeric-id":31905,"id":"Q31905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$D6C32EE0-F1C0-4B37-B706-BCE95299A9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$4334A251-0118-40E1-9D41-0C5042943B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3e00406e30ce785ebbefaf806da7a5b8ebf8458","datavalue":{"value":{"entity-type":"item","numeric-id":33172,"id":"Q33172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$DA2A1AE7-DE71-40CE-88C9-41CA6EC3F44D","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":"Q2798266$A3E76433-7439-417D-8594-8540E136816A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed1da5ed39f29a3282da8d5110cb0030347a05fd","datavalue":{"value":"https://doi.org/10.1007/978-3-319-29604-3_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2798266$D6E68151-62D6-4879-A005-ED6E96696389","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab2f149b12cfa6af218526fd500e5aed32869327","datavalue":{"value":"W2395886377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2798266$83D682BA-3530-4E37-BB15-9BF134E27C3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ba2ba45eb18915de37a9be36d21abe23403ed4","datavalue":{"value":{"entity-type":"item","numeric-id":4417851,"id":"Q4417851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$C706A2A1-70FA-44E5-8163-5763388B9664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d17bae0ffceb5fd554d01e09ca2f8bee3e38763b","datavalue":{"value":{"entity-type":"item","numeric-id":5176978,"id":"Q5176978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$EAD4520B-F926-4903-8479-1DD30AB143B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e782664592c4857317754ead0762505e6add4bf3","datavalue":{"value":{"entity-type":"item","numeric-id":5300891,"id":"Q5300891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$172A6EF5-9AF2-4542-B097-19BB19F9840A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2eca4886d74fe0b9bbb5dbd2b907e25280a1e8","datavalue":{"value":{"entity-type":"item","numeric-id":2841285,"id":"Q2841285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$49EB5D1C-0F95-4BBA-9716-B9B7ECFBEDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$5633D14E-E99A-4FB8-9B06-06414963FF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2146fe71b39638fd1364e80615a2a1a9ddb51fe","datavalue":{"value":{"entity-type":"item","numeric-id":5313189,"id":"Q5313189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$19FCD825-7ACE-4C7D-9D3B-6ED9054C9FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25fe608eef353f8ea3f88663bd647fd4051b59e","datavalue":{"value":{"entity-type":"item","numeric-id":5398050,"id":"Q5398050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$5A48CC49-811E-46BE-89D8-86A3C53A662C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0c438cecba5a43c492d1dc531aae4b714389ab","datavalue":{"value":{"entity-type":"item","numeric-id":3327701,"id":"Q3327701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$C3AC72A0-EAB4-42DA-8B2A-45EB99F2400F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae8e0b69fc9d0950d46df897230bb1653222693","datavalue":{"value":{"entity-type":"item","numeric-id":2754040,"id":"Q2754040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$9632FA16-B99D-4A34-AB11-B3A9FDD5EE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f1169f36228784d77e94c5f131e01a894c8e12","datavalue":{"value":{"entity-type":"item","numeric-id":5743587,"id":"Q5743587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$19AC52A5-4AC4-40C0-B712-7A36ABBCEB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7e7dfa9d530d207d8af0616a7342a81c167185","datavalue":{"value":{"entity-type":"item","numeric-id":4720069,"id":"Q4720069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$9091B4B0-2AF6-4DA5-A22D-EE1312C4D5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e678cfddf453ace95d62268a3ca88ca789ec4a","datavalue":{"value":{"entity-type":"item","numeric-id":3160301,"id":"Q3160301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$99F80CF4-7D5D-44AF-9B47-CE94764345B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e19a8839f4a8794351c3d2bb45f6f1e81e4095d","datavalue":{"value":{"entity-type":"item","numeric-id":1143818,"id":"Q1143818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$48A07966-96A7-4699-95F6-5A110F170319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7baf27aadc61a1a9da2fe690746cf94eb2136cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3578689,"id":"Q3578689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$6C640182-DF62-4106-BD27-19DB7C5CA05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc38e0f12dc12bf9a3a54e9bb80ff6e58fd43788","datavalue":{"value":{"entity-type":"item","numeric-id":5504693,"id":"Q5504693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$8501B72F-7833-40BA-BEB2-7630438AB602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa98aaee42f286216db2c5a52d808ab6de8c9bba","datavalue":{"value":{"entity-type":"item","numeric-id":5398293,"id":"Q5398293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$FCFB2AE9-99C7-4F70-8744-8CE8359260B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$7905755C-AF78-427F-B457-7F02908804B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e88d6c4a2b7a9f9d75e62f94b4cfb593c1b78d","datavalue":{"value":{"entity-type":"item","numeric-id":3400637,"id":"Q3400637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$93799EFF-F09D-4479-B75D-61AEEB8A261E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb253f5e5ed6313b31d572da8a6830ce788f9767","datavalue":{"value":{"entity-type":"item","numeric-id":4524982,"id":"Q4524982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2798266$A1C20222-EF28-4840-A4C7-9E0160218B41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a522f1d44e426d1d1deb47ee51959147ccf6c43e","datavalue":{"value":{"entity-type":"item","numeric-id":5881208,"id":"Q5881208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f65e66b31258730406f8fd2262f38f5c12874e","datavalue":{"value":{"amount":"+0.7649509906768799","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":"Q2798266$062D3AEF-D2FF-4C63-8A4B-80120874A345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"379dfd03691915d70bae84ad53634a8398273b6a","datavalue":{"value":{"entity-type":"item","numeric-id":4499245,"id":"Q4499245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d59e2070863c737ace3c28d59a0054f1fc9d7c8","datavalue":{"value":{"amount":"+0.7541456818580627","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":"Q2798266$E775380F-FEDB-41B1-8B96-849ADBC15A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dcf1f4adeed74f30ff1b5b21251becf517df264","datavalue":{"value":{"entity-type":"item","numeric-id":4301318,"id":"Q4301318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a669cbefb620f881ce1186c1e4c2b1dda7ddd5","datavalue":{"value":{"amount":"+0.7382806539535522","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":"Q2798266$948573CD-9BE4-479D-A274-084370EC5DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e5f8fc5d85f4060c321d3477b9772c5b3598bca","datavalue":{"value":{"entity-type":"item","numeric-id":2956732,"id":"Q2956732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7c2dbe98faed364c5739133c5f5b6e1ad4bf9b","datavalue":{"value":{"amount":"+0.7366610169410706","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":"Q2798266$A9E3E0CE-AB05-4EAA-960D-3EC1B4C6D3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ffd8feacfcde15c98b27127614c68284a4a493","datavalue":{"value":{"entity-type":"item","numeric-id":1791209,"id":"Q1791209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9506e85494c762c9fc3d8fbf8ab010365ff0b5","datavalue":{"value":{"amount":"+0.7345073819160461","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":"Q2798266$38B9A903-F13D-4811-A7B3-08241605BDA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Executable relational specifications of polymorphic type systems using Prolog","badges":[]}}}}}