{"entities":{"Q5108501":{"pageid":7138077,"ns":120,"title":"Item:Q5108501","lastrevid":58442022,"modified":"2026-04-05T06:01:19Z","type":"item","id":"Q5108501","labels":{"en":{"language":"en","value":"Anti-unification in constraint logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196144"}},"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":"Q5108501$8E572BC8-B165-40D5-9996-2C2D23A87BBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4466b6a7292890171094c7927bec91ffb2544328","datavalue":{"value":{"text":"Anti-unification in Constraint Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5108501$FE8BCAD0-D884-4D90-9992-23AC0B38F907","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a798a410cd74df0328847b00ba87ec5c143cb136","datavalue":{"value":"1434.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108501$A6858519-B0F2-43D3-86C3-17BD13CF1870","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99d7f28fede0d801c356a18229bd781e887452f0","datavalue":{"value":"10.1017/S1471068419000188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108501$0C75A053-4ED7-42DD-8C24-B9C8107C7FD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6f99c5b445a89dbb7d20ad8e0d85b357a4e82d8","datavalue":{"value":{"entity-type":"item","numeric-id":5097638,"id":"Q5097638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108501$DD60F964-A68F-4215-A77A-D1428A9CFEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d2a20ae9908cdd5ce01b798243591507a77cf62","datavalue":{"value":{"entity-type":"item","numeric-id":2039952,"id":"Q2039952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108501$B2990532-02D9-4802-8F89-105D427E7C14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108501$D250E1AD-A696-476D-88F4-1C0D5F1D0CBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"266349113821a9568dc8e478c029e41016cf97fa","datavalue":{"value":{"time":"+2020-05-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":"Q5108501$2C98DC09-8306-4A6F-AEAA-EC93AA386B15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f707afe9f7081c212b622ef857e29535998be2e3","datavalue":{"value":"https://arxiv.org/abs/1907.10333","type":"string"},"datatype":"url"},"type":"statement","id":"Q5108501$ECAD105B-A6D0-4412-A36D-0BDB679C4681","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108501$987F3AC8-A8BF-496B-BA27-6B947ED6ADF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e983f269611d60032273b5ebfc1ef0e8d83c88d","datavalue":{"value":"7196144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108501$44CDD824-239A-4631-9B8A-217327F8C0F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108501$FCAC56A8-BC3C-47BC-93A8-9527CF168290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8852bb7b1789c6adab63f82b56a59c09fa50cefe","datavalue":{"value":"(most specific) generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108501$A5AAB7CD-DD57-44F0-96F0-023CCC3CB259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80741ab8c1e1defd9f4c904e31551867139f157c","datavalue":{"value":"CLP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108501$26A6E282-5CC9-4CFC-B7AC-EFA522A8C3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108501$676DD8F6-1697-434C-84DB-1441D3E63F58","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91dd7e13f71e3e62484b361def521e363c006e6b","datavalue":{"value":{"entity-type":"item","numeric-id":16380,"id":"Q16380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108501$738F3EAE-467D-48C1-8079-0040B32086A4","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":"Q5108501$3A7AEADF-6882-44CE-8785-F645045EB8CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"346e6666d6abf8f2ec43ac1a604dc5ba74efb51c","datavalue":{"value":{"entity-type":"item","numeric-id":2852015,"id":"Q2852015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108501$E744CC53-6D68-4287-A316-14718BA5BD18","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":"Q5108501$C9BF80E6-62EB-49AD-A0FD-BF6E878F8AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0705daecc5ffa3855114e3599480f53a82f40e64","datavalue":{"value":{"entity-type":"item","numeric-id":4939538,"id":"Q4939538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108501$FD515F92-3450-4720-9277-CC24A59B51FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b28e0edefaf6386924592e2e5582185aeb497b","datavalue":{"value":{"entity-type":"item","numeric-id":2841959,"id":"Q2841959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108501$F3D248DE-5F16-462A-BE2D-FCCB2BDE7AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a71fd353d8e84eefdab1541c9ac29dd2f6d005","datavalue":{"value":{"entity-type":"item","numeric-id":4592995,"id":"Q4592995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108501$3B568A18-D64E-467B-8FB0-27A0C9AA97DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471abb3e7f4ab1ef1a7fc449604429dc98060673","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108501$E5F22E3B-E6AE-4D26-8FBC-0C15C8312AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631d69ca17b8d773ba8dafae1578e27d6614ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":2581757,"id":"Q2581757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108501$52353D87-6486-4EFA-AB7C-1DC8EE17EC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b438bbb516811f205ec8f11e9219676250dfd808","datavalue":{"value":{"entity-type":"item","numeric-id":2767091,"id":"Q2767091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108501$642649ED-4956-431F-A0B8-90048E160C7B","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":"Q5108501$C28ED300-6FFD-47D0-A98B-1597734E675D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b50bad9b5e66b2da9e23a06d8d2e993a52d5f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1056237,"id":"Q1056237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108501$E51CEB9C-57D2-48F2-AB5B-5599352F0D04","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6fe6586450ee9775e35e7ea7e6f2e734b90b8efe","datavalue":{"value":"Q127225768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108501$4C4CB14D-3F4E-4DEC-89A5-5EEDBA3B733A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dca6fc765d95da1d1a1ee901a4c3cff310ba6a2","datavalue":{"value":{"entity-type":"item","numeric-id":2938520,"id":"Q2938520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e99d4c5e6c45cfb96fce3b817c7c8e93990b4c28","datavalue":{"value":{"amount":"+0.8200382590293884","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":"Q5108501$46D4C319-2AC0-40EB-9393-192E547BAADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f2f579ee0ee2c1ff1949e12500fc3f3002072a3","datavalue":{"value":{"entity-type":"item","numeric-id":3402293,"id":"Q3402293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2780944f2957f07cf86f65eea090bd91f4cfe6f2","datavalue":{"value":{"amount":"+0.805756688117981","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":"Q5108501$DFD22E39-8C5B-41A1-8034-3A160F82DCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"785bcfbd5bf81407ea8020c4db7a5044b1d38544","datavalue":{"value":{"entity-type":"item","numeric-id":3184519,"id":"Q3184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93534702a6ca5768f4910460e9364c5369328d9e","datavalue":{"value":{"amount":"+0.8051684498786926","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":"Q5108501$076E044A-56B4-42A9-AA59-3AE9F287E414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498790f2df7b119f899fc3700ff814f93ff095fe","datavalue":{"value":{"entity-type":"item","numeric-id":5277871,"id":"Q5277871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf510cb6dae68e3fbcb32cefa068211156c24b0e","datavalue":{"value":{"amount":"+0.7921187281608582","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":"Q5108501$C2079FF2-9C84-46D0-8C65-82070DBBCF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a5367b13413b6874ee6fc5da4cbcf0accb4dca","datavalue":{"value":{"entity-type":"item","numeric-id":5389083,"id":"Q5389083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52855364cd3fff3ac2b2e2a67b3680a4ad5e8e9","datavalue":{"value":{"amount":"+0.7914527058601379","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":"Q5108501$273C03CA-05F7-42F3-A8F9-2D636EA8EBC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5108501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5108501"}}}}}