{"entities":{"Q4988929":{"pageid":7018506,"ns":120,"title":"Item:Q4988929","lastrevid":91820480,"modified":"2026-06-05T00:09:22Z","type":"item","id":"Q4988929","labels":{"en":{"language":"en","value":"Selective Unification in (Constraint) Logic Programming*"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350037"}},"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":"Q4988929$93690053-684E-4B64-94E9-86B19D2BAB32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"023e143045eff8fa42b1a7cb13ad88a318a5913a","datavalue":{"value":{"text":"Selective Unification in (Constraint) Logic Programming*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4988929$D3B58FF6-9761-401F-A08C-01A2BFA5AC3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"169b18d2938769b1f00fab561ee124a00d07c3be","datavalue":{"value":"1497.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988929$55452A24-BB07-41C5-ACDF-502D3A638EBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ff831254d35ee8e0d145045e82937e45ee44287","datavalue":{"value":"10.3233/FI-2020-1993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988929$342066FD-11E9-4A68-9511-DFA3D0241EFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"126ded051c21b6b4f0848c0dda5bb6794a750f2d","datavalue":{"value":{"entity-type":"item","numeric-id":714503,"id":"Q714503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988929$39FD1CD9-64BE-47C5-A4C5-D734EACD4B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dcdad15dffa4f4fe5f76bb1d2697810a5a7cec6","datavalue":{"value":{"entity-type":"item","numeric-id":293179,"id":"Q293179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988929$0AC1A4D8-4451-4887-BC70-44321E00F6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988929$D6F9BE71-5B2A-4425-8966-BC126EFA0976","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988929$2EECF589-5B6B-4B94-BFF1-3498450933C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"211031a52806337129a1eef00df007a6622a5387","datavalue":{"value":{"time":"+2021-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4988929$12E5B995-A7C7-495B-9141-119A640B5CAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988929$9F55A4EB-8A9E-4705-89A4-24E67A919EB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"463a78baea4bd2f93cb777d526bef19d2c919059","datavalue":{"value":"7350037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988929$F5EC5EB5-39F9-4B41-934A-A7AC30B9D21B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988929$B450F690-5BCD-411D-94AF-919C21ECB8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988929$A3ED9853-E848-4108-81ED-A723E8193100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c9df5c1fc45952020b1038af4c4e7f68323f5ee","datavalue":{"value":"concolic testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988929$108FE09A-066A-42FA-BE6F-4D2C7BE6D0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988929$8FD44BB1-C16E-4840-B4FE-98D17473AEF6","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":"Q4988929$105A348D-7CDF-4362-87EF-7B81D7C4CE9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6485f1617e056e38118c25200d4fb11e4052bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4593010,"id":"Q4593010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988929$9208C346-9EF5-4931-8064-9F1A51C593D0","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":"Q4988929$298F0E22-1622-43ED-BC3E-C5942B76BAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a247c2e21384c40a87e299da2af8bd19f535c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4254883,"id":"Q4254883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988929$E1052FBA-F557-4662-8BCF-C00DCDEFE7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2010a40453fa04571eca002fb1ef06131918d06","datavalue":{"value":{"entity-type":"item","numeric-id":4909327,"id":"Q4909327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988929$C2B3DF28-A5EB-41E7-8962-27B1A34B3F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4c5df0a142e825f10aaf217015567d11fd8a99","datavalue":{"value":{"entity-type":"item","numeric-id":4038706,"id":"Q4038706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988929$EB453ADB-21DE-4A33-91B9-8B83B9EDA234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fc38199358a660da493e6c245462b8398ee5af","datavalue":{"value":{"entity-type":"item","numeric-id":2409737,"id":"Q2409737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988929$C033BB5F-7D19-4161-B758-A0F3CB47D169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988929$FEB3C562-3AA6-45CD-8F94-5C56B9AC8E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf7913480d86f9fd8801a27bed001e38d91d767","datavalue":{"value":{"entity-type":"item","numeric-id":1891129,"id":"Q1891129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988929$AA7EF66A-7014-41E6-8080-1523B1906336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"587a3b16895251f7c4dae8e4d9240c7bd470d81e","datavalue":{"value":{"entity-type":"item","numeric-id":294756,"id":"Q294756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988929$9EEC6309-7F25-49F1-BC71-7E3532CF5831","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c736bb6faddee6025cf679a01f7c9e5cc7b4cf23","datavalue":{"value":"https://doi.org/10.3233/fi-2020-1993","type":"string"},"datatype":"url"},"type":"statement","id":"Q4988929$1840348C-B565-4409-BB80-B972C65F7AAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b150b94ac1c7c6827c95c664f708c86c4a9e3de","datavalue":{"value":"W3110946665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988929$AA4AC0DC-E303-4CEA-A6CB-02AF77696764","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc65be3beedfb53af76df6487d073ee78feac8b1","datavalue":{"value":{"entity-type":"item","numeric-id":4259971,"id":"Q4259971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55480db41aae606af016466932ee2f4c0389db82","datavalue":{"value":{"amount":"+0.9311548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4988929$D82941E5-BEA4-46B4-8DF5-07694CACA6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188523ab424567855a041230f5199e2deb8b8cfd","datavalue":{"value":{"entity-type":"item","numeric-id":5108501,"id":"Q5108501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de5105a8aec4a11b301b3acffc7e1b1db00f091","datavalue":{"value":{"amount":"+0.90953857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4988929$A87A0A23-97FD-496D-BEA1-9B2F21639D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb0af3f560220db2025a07873e9e1ac205017b7","datavalue":{"value":{"entity-type":"item","numeric-id":3782840,"id":"Q3782840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73681b2b61b824584ef95905ff917274a31c8e17","datavalue":{"value":{"amount":"+0.9040113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4988929$003F99D5-694A-4E82-8A43-59D64583EB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95a096e86bab48be35651d882f321139176cbc5","datavalue":{"value":{"entity-type":"item","numeric-id":912656,"id":"Q912656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec22eb9bb4971c6c8c1f4461f761bc399a16193","datavalue":{"value":{"amount":"+0.90316427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4988929$04A9125B-E25A-4A88-AF9E-3759BFDD8FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b7761e53489b7c8fd78b7eac0279009b6b2082","datavalue":{"value":{"entity-type":"item","numeric-id":3691055,"id":"Q3691055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e5f829c53a3936d98b71ba75142b04193d3f6d","datavalue":{"value":{"amount":"+0.8966253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4988929$B6672F33-FCAF-4E4B-BD21-D68C5AE96321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f22fb4ecf339c9c4f0744e7d490d28aa4208ce","datavalue":{"value":{"entity-type":"item","numeric-id":4218853,"id":"Q4218853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af486765bf23de859a8737076da9329836c66294","datavalue":{"value":{"amount":"+0.89643097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4988929$938C7F6D-855A-4187-A979-A564B96D1E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2ef3ad1d0535a3df8a266c09545f25732b9d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c38fc1d0f9eb118fa815fbefd7f4ce7d59f8b6e","datavalue":{"value":{"amount":"+0.89546275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4988929$BCF6A158-5078-47CE-AD27-D818CF497D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c925ffff2ea9c39d6d3d82b31b186a15102fdb94","datavalue":{"value":{"entity-type":"item","numeric-id":4288820,"id":"Q4288820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2376cc229d334fa1d2f17f2083c32637d6232e7","datavalue":{"value":{"amount":"+0.8841157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4988929$D2B922A3-7EC1-45F6-B0D0-633E83EAA327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35da7c6318d24be0fcf1578a2e0ef8d23223d1e9","datavalue":{"value":{"entity-type":"item","numeric-id":2409737,"id":"Q2409737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa84a370fd7e45ce8d4b79c65728245f0d62114b","datavalue":{"value":{"amount":"+0.883495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4988929$A4B5854B-550A-444E-AC25-8BB6CF785466","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Selective Unification in (Constraint) Logic Programming*","badges":[]}}}}}