{"entities":{"Q2437800":{"pageid":2448543,"ns":120,"title":"Item:Q2437800","lastrevid":51948422,"modified":"2026-01-20T14:52:06Z","type":"item","id":"Q2437800","labels":{"en":{"language":"en","value":"A modular order-sorted equational generalization algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6269680"}},"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":"Q2437800$F5C2E57B-B85B-49E2-8E82-0E4DFF73BAF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc00e335e7a337d267dece52a88bd2ebd60ef4da","datavalue":{"value":{"text":"A modular order-sorted equational generalization algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2437800$8266B8E4-EADD-498C-AF4A-3FADE4B196E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ed5a9bc419d9eeac628e0c020015aa0cb472d0f","datavalue":{"value":"1314.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437800$DF5E8B6D-0B5D-4A29-9767-4EEA9368BA75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$CF576D78-1B45-40E9-BACA-9F6790CD9237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$5B979625-B330-4559-9894-EBA84AF6BFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dabf78cc3a44e2787ed3d90b0b35e33968ad3920","datavalue":{"value":{"entity-type":"item","numeric-id":2437799,"id":"Q2437799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$5C7E6543-628E-4BCA-BB7C-F61DB8016CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$2C2E8E22-B437-4B37-80E9-FE7952BAEDC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$A3E6FF15-9F68-4EA3-AA92-D86FBDB13FEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90cd079fd2844668d283b4beaad22194313eaa90","datavalue":{"value":{"time":"+2014-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2437800$7AC56B96-638B-4F1B-807A-D9D1EF149494","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47a8e0ffe3486ca5aad330eed4008971b1a2ba14","datavalue":{"value":"Generalization algorithms attract interest because of their wide scope of applications. In various forms, they are used in machine learning, inductive logic programming, cognitive modeling, program analysis and synthesis, automated reasoning, symbolic computation, linguistics, etc.  The problem these algorithms solve is the following: Given two terms \\(t_1\\) and \\(t_2\\) in a certain theory, find a term \\(t\\) such that \\(t_1\\) and \\(t_2\\) are substitution instances of \\(t\\). Such a \\(t\\) is called a generalization of \\(t_1\\) and \\(t_2\\). The task is to find least general generalizations. The algorithms that compute generalizations are also called anti-unification algorithms, since the process is seen to be dual to unification that aims to unify two terms and, in this way, obtain their most general common instance.  The paper addresses this problem in several first-order equational theories with and without sorts, namely, (i) syntactic order-sorted anti-unification, (ii) modular anti-unification for equational theories of associativity, commutativity, identity, and their combinations, (iii) order-sorted modular equational generalization that combines the rules of the mentioned algorithms: order-sorted anti-unification on the one hand, and equational anti-unification on the other hand.  Order-sorted equational anti-unification in the considered theories is finitary, i.e., the minimal complete set of generalizations is finite, not necessarily a singleton. This is in contrast to the syntactic first-order anti-unification (which is unitary), and also to some equational unification problems (e.g., associative unification is infinitary, while the corresponding anti-unification problem is finitary). The authors provide a rigorous treatment of these problems, design the corresponding algorithms, and prove their properties. The algorithms are implemented and freely available.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437800$9CEE5834-A4F4-4FB0-9E51-69418AAB7676","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"280ff167571eae470be0cf4df8b58914cd581f92","datavalue":{"value":{"entity-type":"item","numeric-id":351994,"id":"Q351994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$95756539-F34D-4C53-AE80-9BFB8651263A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437800$A7E6046F-CEC9-4470-B9D8-A12633C53745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437800$355B4AE4-088B-47FC-B6A3-305469CAA8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437800$8FB985B1-C06E-46C1-B31C-740B1D416B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437800$68F0632A-34F5-40EC-B888-0D6EDD192863","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79a5af5c22b9a9c0b5f1acd8839cf0caaae8cc90","datavalue":{"value":"6269680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437800$BF7F6616-7723-4C69-A855-E2A5C7DEE689","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437800$D6DED3F5-CE82-4504-833A-2E1DCACE290D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437800$3EBC4FEF-CDB8-42CF-A44B-C83E21A9F67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7413548ee5a3c981bbfc02abdbe3952385946211","datavalue":{"value":"order-sorted theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437800$95FA7205-34E4-4D38-8713-9AEEDBF19A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13710f95996fd41956c3ecad6e0f72157fc99b2b","datavalue":{"value":"generalization algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437800$8AE6BEBD-9451-4FFA-A18B-4F68F69FFA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62f8285ec9168038e8abf84f9022154d339db764","datavalue":{"value":"least general generalizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2437800$6FD6415E-3BE5-401C-8047-1D4A0EA5D59D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0d7caf8bd0a5ab743dde4e806c5f6eb8506dcbf2","datavalue":{"value":"Q57978120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437800$E6804A4D-2DF7-48B6-910C-EAC65B7A884B","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":"Q2437800$434BA173-8B8B-486B-9950-ED7A53E68E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$8BC82212-D250-4AED-9160-082A37316A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$9E5562CD-BC99-4B46-9A05-104057D8972B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8ca966210be70fcada8c30a5c6fc89e9edbc6851","datavalue":{"value":{"entity-type":"item","numeric-id":21787,"id":"Q21787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$1F46BBF1-05BB-4E6B-BFD5-5F8FE146C3F6","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":"Q2437800$4831F891-98E4-4DED-A5D8-E93C688185A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ee0c5b1fb225c99f8755f8eeadf3d7972d81fcd","datavalue":{"value":"https://doi.org/10.1016/j.ic.2014.01.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2437800$56D85E56-384C-4A53-BA53-2323CE1CCCF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8abb6cf5f0408eb468b1173c9a7912e522f52e5","datavalue":{"value":"W2048906114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437800$706F5586-B26D-460F-B66B-D2BFFBD9C3CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6124b3fa6203d5872e76e9ef217264411673cf19","datavalue":{"value":{"entity-type":"item","numeric-id":4797044,"id":"Q4797044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$E7E887DB-9A0B-4BB9-ACD7-6F7FA2A430BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2d0e624dea5ad9c24b428b27d652ea2649ac3f","datavalue":{"value":{"entity-type":"item","numeric-id":3617428,"id":"Q3617428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$A24DCFCF-D867-4385-A2C5-A0D4B5168178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bfc56d1a17c0b1f57145b3bf5bc7d1645d20086","datavalue":{"value":{"entity-type":"item","numeric-id":4982625,"id":"Q4982625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$69F7A032-2A9C-4390-B9AA-C1428AA9EF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9501bb1d9fd85f6048bfce52d9f1953e608a8448","datavalue":{"value":{"entity-type":"item","numeric-id":1367535,"id":"Q1367535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$25EB034A-C0FE-42C5-BD2E-B7B9015EA544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa26fb31f630349faf69dcaa7a1b2c79fa1928c","datavalue":{"value":{"entity-type":"item","numeric-id":2817728,"id":"Q2817728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$C9690F65-7563-4254-9DEC-A75B932E4871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9722d3d41e94c400721cdd3dbe2d3872096a5a","datavalue":{"value":{"entity-type":"item","numeric-id":1592369,"id":"Q1592369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$99DF2AC1-DBE7-4393-9B5B-83CE0B4C74CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b36a13ea79c16c027fbb4e0beb7b61b1c31957","datavalue":{"value":{"entity-type":"item","numeric-id":5055751,"id":"Q5055751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$B08F8169-3E0B-4FCB-9EA9-57BA266D5F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"290d3013f4832df97a35c79891587387962ec5e5","datavalue":{"value":{"entity-type":"item","numeric-id":4692466,"id":"Q4692466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$9E07CFEF-822D-4654-9901-856D169B9F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b84e50d5b8107ff3d8511662cf6eee9934348f6","datavalue":{"value":{"entity-type":"item","numeric-id":1608914,"id":"Q1608914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$33B673D2-5D27-4BF0-8033-B1D4DE841C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b361b18378330ee5493a4a7224369a123369e872","datavalue":{"value":{"entity-type":"item","numeric-id":3402293,"id":"Q3402293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$0D38820C-7E9F-4262-A42E-DD98EF4C34E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdae2f9abfb6a0c290fa453ee717c5806580158","datavalue":{"value":{"entity-type":"item","numeric-id":2457667,"id":"Q2457667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$399626F9-A3A3-4120-9DF6-8F7CC0FBFF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$0F47DC03-CF5B-4A0F-8F27-CCA46D012991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$4C71D581-2B07-4D0A-B3FC-74EF460095F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76fb45e28ec1fe2b0effcfeeca5b6f58e3c6de2","datavalue":{"value":{"entity-type":"item","numeric-id":4447218,"id":"Q4447218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$6C5426AC-91E9-4371-A097-B1FD9044B416","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":"Q2437800$B57627F0-CA9D-4659-99C1-7FB4C2D99DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$A385B953-C980-4BA0-A7AF-CA8EFC2B0400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ceb28bb4c6d355783334e1ae2916b20c8aa5033","datavalue":{"value":{"entity-type":"item","numeric-id":3093353,"id":"Q3093353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$ECA0760D-B38A-4F1A-8630-876806E3F990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3716380c365a9a74399177d925885dbd2810d806","datavalue":{"value":{"entity-type":"item","numeric-id":5389083,"id":"Q5389083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$1AC5D2DD-0580-4B8C-BE57-776843BE53F2","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":"Q2437800$A823A560-19F8-49D6-81A8-C39591758B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98fd547d19be8a20901c74ce0390630b8770d5","datavalue":{"value":{"entity-type":"item","numeric-id":1601844,"id":"Q1601844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$D01A334A-0196-4C8C-BE07-B17E649E0B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$087FEE3C-785B-4605-9DC7-1420DE1BFE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$9E840AF9-A85E-46DD-8E15-AD2EE6E11FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2e515b8f14213cd38f21fb2b2915093cbf9321","datavalue":{"value":{"entity-type":"item","numeric-id":582269,"id":"Q582269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$D21588A2-3EA5-4147-8F49-B083D070DF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a795a995788bd3d07cb6961e4d4ef2f1b33754","datavalue":{"value":{"entity-type":"item","numeric-id":1978459,"id":"Q1978459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$FDD11479-C01D-41EB-92EC-1D2272E7901B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$FF1BB233-B778-4270-BAAF-44D8FF89EBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$746384B4-94BD-4286-BA96-3A60CBAC4C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e434545614ed9fdf61993762d64fa0cb28fa940e","datavalue":{"value":{"entity-type":"item","numeric-id":5624682,"id":"Q5624682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$3767F43A-00F5-419A-AEB2-4A19017D7C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$77F46033-2884-462B-94B2-F1AA63EDE754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6d2a053c064f46255a86369491e6db14ea9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3786020,"id":"Q3786020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$6F69178D-417E-43E4-9C38-91D8BB2145C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$D3E45842-8B2C-49E8-AF6E-098FCF5A3283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4afef3b11d19d8db29962a36cde78d2d8af8733","datavalue":{"value":{"entity-type":"item","numeric-id":1124313,"id":"Q1124313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$66E678A4-E6C3-412B-B3AD-455645081BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2437800$CC315709-6B1B-4F44-B365-BAE3519720C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c5e46dba721873b715d232421e032925db9959e","datavalue":{"value":"10.1016/J.IC.2014.01.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2437800$E96480AE-43C2-47D0-A33E-5D69359E7455","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf442b32a9f8dd346b9c2ef9220fe62a42162a7","datavalue":{"value":{"entity-type":"item","numeric-id":4982625,"id":"Q4982625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b68114903174c15a3ba996cd116b8599de8ae02","datavalue":{"value":{"amount":"+0.9460346698760986","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":"Q2437800$6FC90B52-0F97-4E94-9AF9-FBFA2DB6B967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c5ccb15c95e9929926008825198bb4316ba964","datavalue":{"value":{"entity-type":"item","numeric-id":3617428,"id":"Q3617428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cbcca9bce82d165a070004cf6ebe674b6af9812","datavalue":{"value":{"amount":"+0.8352883458137512","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":"Q2437800$E0844B4D-3D10-4DFE-B11E-5A28F1460998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6d9e1a47e9a7e2e6e8cfde0815e7bdfac71a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5139277,"id":"Q5139277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f51dd09e65a184a55fe0e5e5ae23e2e0400d47","datavalue":{"value":{"amount":"+0.8090856075286865","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":"Q2437800$91741D82-5B88-4D1C-983C-FAFE4116397F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93edfd845d60c56672462defc9facae3febaf21c","datavalue":{"value":{"entity-type":"item","numeric-id":4246979,"id":"Q4246979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12236aa55d4bdd6b3a5bbb1300dd600ad6b49789","datavalue":{"value":{"amount":"+0.8006998300552368","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":"Q2437800$7FB11730-B3AB-476D-8A75-B552158A078D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0cd579ca8bca6791eda79674bb44853a64beb2","datavalue":{"value":{"entity-type":"item","numeric-id":2457667,"id":"Q2457667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12236aa55d4bdd6b3a5bbb1300dd600ad6b49789","datavalue":{"value":{"amount":"+0.8006998300552368","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":"Q2437800$F9B38088-76A6-4D94-986C-856DF1A8E39D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2437800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2437800"}}}}}