{"entities":{"Q1901708":{"pageid":1912450,"ns":120,"title":"Item:Q1901708","lastrevid":71114229,"modified":"2026-04-13T19:34:30Z","type":"item","id":"Q1901708","labels":{"en":{"language":"en","value":"Category-based modularisation for equational logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 814158"}},"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":"Q1901708$A497DA96-1551-41F5-AED0-72221EA6CF93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad7dea4145bd4d819a1d818c348f2612d995daa9","datavalue":{"value":{"text":"Category-based modularisation for equational logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1901708$DA039B22-F48F-47E8-8CD6-6722E8B4DF1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15541d596c1c36356e7c23f8b35133e342e9d278","datavalue":{"value":"0849.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901708$EE51E779-E10E-47A9-AC3A-32EA219975B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2289c57fe71d0e69841efc981491fa17b2cd3710","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$987F9686-D74C-4107-8637-1B5E208F6366","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$16BCADCF-D973-41CB-A1ED-68CE0A632BE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00fe8bfda3ed2cfe20a514de7a7e433b0f6c2b5","datavalue":{"value":{"time":"+1995-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1901708$1D4E4A11-BF42-4D61-89D5-547904D6B131","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20fe3447b16045131e416aa154731ad246b8024e","datavalue":{"value":"Although modularisation is basic to modern computing, it has been little studied for logic-based programming. We treat modularisation for equational logic programming using the institution of category-based equational logic in three different ways: (1) to provide a generic satisfaction condition for equational logics; (2) to give a category-based semantics for queries and their solutions; and (3) as an abstract definition of compilation from one (equational) logic programming language to another.   Regarding (2), we study soundness and completeness for equational logic programming queries and their solutions. This can be understood as ordinary soundness and completeness in a suitable ``non-logical'' institution. Soundness holds for all module imports, but completeness only holds for conservative module imports. Category-based equational signatures are seen as modules, and morphisms of such signatures as module imports. Regarding (3), completeness corresponds to compiler correctness.   The results of this research applies to languages based on wide class of equational logic systems, including Horn clause logic, with or without equality; all variant of order and many sorted equational logic, including working modulo a set of axioms; constraint logic programming over arbitrary user-defined data types; and any combination of the above. Most importantly, due to the abstraction level, this research gives the possibility to have semantics and to study modularisation for equational logic programming developed over non-conventional structures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901708$F812F818-93C9-449F-B4C7-220A2B4286A3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccb45899d5f7bb3c880aa37d11928692be2daaa6","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$5FBBE534-557F-46F0-AE49-C22D13248D9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901708$E05A7EF5-E6DB-4439-8E4B-91493488A6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901708$E73962B3-B7A3-4149-950D-45AEA65218E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901708$6004E9D5-E175-4221-A5EE-4B760A6A20C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901708$584A4B9F-90F3-41A2-9EAA-053CE52796F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901708$C5ECBEBE-5D4D-4225-9D01-9ECE950460A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c66ab1a1f7ff5b8624727f95b3040e16685c5248","datavalue":{"value":"814158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901708$B629BF8D-D534-474C-ADEF-E1B2E315768E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d3be1eb599ccd7840e8f665ecc80e1687b4f4d","datavalue":{"value":"modularisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901708$BC7C3F60-F44E-4AC7-96C6-20B30C72D496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d21c7e43ee401f1d5f18fd87b963c5b7e7ae323","datavalue":{"value":"logic-based programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901708$527884F3-CC35-42DF-9736-80BDFC593B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51d48159b121f6342be037664dccc0e5aa71f4fa","datavalue":{"value":"category-based equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901708$41CFB467-8C0A-4294-9FFC-8D62B2138261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48aa52be1cbb2bd3d6ea1ad2f4ee190229e257d3","datavalue":{"value":"category-based semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901708$BAE4A15E-89D4-4663-97EE-1A9184952299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901708$3ADABC3C-7498-4BA8-AF21-45A071E55AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901708$1DED6EAE-615A-488D-AAC0-BD828F005040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d958ef02bdf074a60d670471cc677567c94c4a3","datavalue":{"value":"compiler correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1901708$FF18909E-E9EF-41A5-9C45-C5B4FFADDD5B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$E2294876-AAD4-4827-A921-313C314FB0F7","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":"Q1901708$B8A6E0FE-34A0-4527-A8A2-80A056A329E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ce78f7ae2ccd24426eaa4ae79dff36a79b3aad4","datavalue":{"value":"https://doi.org/10.1007/s002360050054","type":"string"},"datatype":"url"},"type":"statement","id":"Q1901708$F87896AA-E2FA-48EB-BE87-C021B204AD85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e1d33a3be80b7a8a7c2924ec42fcd1c48ce2f5e","datavalue":{"value":"W2043675079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901708$EB139949-B0D3-4C01-91EA-F5002FE140E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4d6e0242e97964801b94c30538e3d083f39156","datavalue":{"value":{"entity-type":"item","numeric-id":3950541,"id":"Q3950541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$3B05BEA6-D3C1-46BF-8771-D1F97A58A988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$B706B40A-D9D0-4408-B87F-F93AA841F66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$85F8AE6B-4526-4517-BE4D-290282EB8D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$35CF9226-5D78-4698-A4EA-0F049AE330A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca03755096d6dd8f8b1e2c870f83bb2a0ac6887","datavalue":{"value":{"entity-type":"item","numeric-id":4284237,"id":"Q4284237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$1DD273FC-10FD-475D-B44F-DBC8A4718B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec45a842bd7bf87466a82e7175870b8977fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$A3C71255-4180-4B8E-8C8A-22862B0C8336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$19188883-CE59-4730-BCED-7D64185D47EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ad239d9558ddf4069defdc51954d5f3259dfe3","datavalue":{"value":{"entity-type":"item","numeric-id":4847310,"id":"Q4847310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$7640F940-0118-41A8-B8B3-89B8C1A5BE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869d4442a19887c35c6ffb8de8dc0db844cccf0d","datavalue":{"value":{"entity-type":"item","numeric-id":3993363,"id":"Q3993363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$D6D2C79E-C845-4947-B24A-7BAB468A4376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d81257f3403e2bd6dfaf12e4319d6962382d0e","datavalue":{"value":{"entity-type":"item","numeric-id":5096184,"id":"Q5096184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$D50F5003-4348-465E-B9B2-CCA26BBD7997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d504f8f758d30af6cf41a7818010f5320c73d6d","datavalue":{"value":{"entity-type":"item","numeric-id":4723263,"id":"Q4723263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$774FC896-E9CF-4D8A-8741-12D064BCE93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$B92988D5-3B30-4C06-B101-5E5F9C85762C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae532117f641c6cd3699efe68107bbec082a054","datavalue":{"value":{"entity-type":"item","numeric-id":4322433,"id":"Q4322433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$F9606355-133E-4B05-8FCE-C135E1C734BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17381064ecefec5ad5ec8699a3a8d3cf543b73fa","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$4EDEC635-7299-4A45-8E38-8A6ACA4BE068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$AA2FB685-9161-498C-A02D-6606407601F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$C64AC6BC-6CC5-4CB7-BCCA-9CCD53A5F1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$42DCE3DC-FC70-43E0-A73D-A087A3C1690A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$37EA7174-794E-4D59-A246-8480CD081967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577c16d7219eebe17d5c59e5734b8d6c26ea7c26","datavalue":{"value":{"entity-type":"item","numeric-id":4038704,"id":"Q4038704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$C17AFB4A-BC5A-4D4F-83D0-2A20A54A44CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$B29BB564-11FA-45BA-B49B-9577B87A8AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$4AE98D22-1F44-4D85-9001-280572566A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$D512D849-62E8-46C1-9426-EF86B6D07A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53df5a0db0f8dfae3cf9d762bf0f64420ba10d0","datavalue":{"value":{"entity-type":"item","numeric-id":3204056,"id":"Q3204056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$20DC3ADA-38DF-40DB-B370-0CC18E3625DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a26bd5a2d091665bb9748f0afc8044d78bb7ada5","datavalue":{"value":{"entity-type":"item","numeric-id":1173754,"id":"Q1173754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$1E14AFF1-6BD1-4F08-8BF9-C1FEAF37AFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2e9eda5633627f3277aa943a0eb055885cf8cf","datavalue":{"value":{"entity-type":"item","numeric-id":4725720,"id":"Q4725720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$82F7B757-8165-431E-B8FD-3D8170C42331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd1521b09c28288aac5eba941cf98ad93dad22a","datavalue":{"value":{"entity-type":"item","numeric-id":1089796,"id":"Q1089796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$E87B36B8-C024-40BB-BEF1-E1B354B5B67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$DCA7AD51-B742-4896-89E9-E5494EA557D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$66ECAB40-8AC7-439F-B276-E72EE38D5B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ded35fa4006f2f111406d3f785af5860f3b8d2","datavalue":{"value":{"entity-type":"item","numeric-id":3776610,"id":"Q3776610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$B24CB88A-1DC3-4E55-BDE5-5FF760701DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e33d995719930daceae5b9ecd9a739ea7b34d8","datavalue":{"value":{"entity-type":"item","numeric-id":1085969,"id":"Q1085969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$B22EC56E-8415-4726-874E-4CB8D728B6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9333699cc6f4fb9c72e8fb4341e54b02f5c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1091132,"id":"Q1091132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1901708$F299E7D4-2E0D-44CE-A5D0-2F8F0BD74899","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0412489980ce309bd3f25e241c1b4fd0b57b4422","datavalue":{"value":"10.1007/S002360050054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1901708$C9094D12-99F6-4369-83EB-FDE189189929","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c5fa3ecbfa560b0d437ad2252be9d5bdba3617","datavalue":{"value":{"entity-type":"item","numeric-id":5096381,"id":"Q5096381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421a95fd457588f8083983994ee4a4434d83111a","datavalue":{"value":{"amount":"+0.844620406627655","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":"Q1901708$EEC67C87-7A9A-4AD8-B48A-D94E7827B722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af440ffc97331810229a2ff164b8cfa72ae8687","datavalue":{"value":{"entity-type":"item","numeric-id":4500173,"id":"Q4500173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc600f2e10aee6988c50e0468eec56678fe2d5f3","datavalue":{"value":{"amount":"+0.7927808165550232","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":"Q1901708$D6660D4A-4470-4CE6-BC65-A292D97A43BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f170105f515c48e300ff698a0d97cad045f080","datavalue":{"value":{"entity-type":"item","numeric-id":3361875,"id":"Q3361875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc600f2e10aee6988c50e0468eec56678fe2d5f3","datavalue":{"value":{"amount":"+0.7927808165550232","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":"Q1901708$AA4860E6-CD99-4C29-969D-5941A3D29A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee679dc8306a060b0fecf845d95f9ef13bec5a99","datavalue":{"value":{"entity-type":"item","numeric-id":4202952,"id":"Q4202952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2f123f718a795caf95170a5ffdb14418252106","datavalue":{"value":{"amount":"+0.7627338171005249","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":"Q1901708$EB54E2A8-D118-4E60-8505-F3A33F9404A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f55a60addaf155f5c21794603291dfa94636384","datavalue":{"value":{"entity-type":"item","numeric-id":5903118,"id":"Q5903118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d3f4d94100c80d6e355f3a5520b2e3f5118478e","datavalue":{"value":{"amount":"+0.7556114792823792","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":"Q1901708$0B0E5017-B56F-41F1-B6EA-F9A9BA17B7BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Category-based modularisation for equational logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Category-based_modularisation_for_equational_logic_programming"}}}}}