{"entities":{"Q4452636":{"pageid":6482235,"ns":120,"title":"Item:Q4452636","lastrevid":48244804,"modified":"2026-01-04T02:31:29Z","type":"item","id":"Q4452636","labels":{"en":{"language":"en","value":"Constraint Logic Programming with Hereditary Harrop formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048613"}},"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":"Q4452636$8EDDE394-6EA6-4EB4-AE66-E4307F84D00D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c24ff7f204b608cf93f26f860110f78d95ed0390","datavalue":{"value":{"text":"Constraint Logic Programming with Hereditary Harrop formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4452636$4409F108-691C-460F-8636-0F31F211E40F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38bc24f65c3e61bc4610793225fe0eee91994b96","datavalue":{"value":"1091.68522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452636$30553B68-B477-4589-B6C8-738C7F10CA2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf0e9b5b2693e5babb468381f25d6a0dacb47c51","datavalue":{"value":"10.1017/S1471068401001041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452636$362C3B2E-F0DC-4BD0-A5F4-5853D97A8228","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebb9b943adf27870148110095415d75e7f6daa8a","datavalue":{"value":{"entity-type":"item","numeric-id":167075,"id":"Q167075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452636$14ADDB17-D548-48F0-A01E-B5261303E96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1e0deb06a9287a1e74623f4839b0b1e5b1d5c18","datavalue":{"value":{"entity-type":"item","numeric-id":683711,"id":"Q683711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452636$D03E2E6F-CD0E-4801-8D79-B8A7AC28ED45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5029835993a287b73cbda73f8b85671562e336","datavalue":{"value":{"entity-type":"item","numeric-id":236466,"id":"Q236466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452636$4C6406C3-D5E7-4E8E-B20F-B2A2FC0A6420","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":"Q4452636$E92DA22D-B1EF-4212-99FC-D8607D64DAA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4452636$CA11DFBD-9C9D-4D1E-9D86-15ECB36D5137","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452636$F34B1C04-45E1-48A9-A59B-310BCB2FC259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452636$FB0EFA98-664C-4E58-8C45-137C957843BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f4ab72039347ed0d6839b1c7fc38609baaf22a8","datavalue":{"value":"2048613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452636$40C4C34A-5A12-49C6-AA2E-739EE686EB9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec05f82bc196ef9a82c1b3d81599110a79af121","datavalue":{"value":"uniform proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452636$F85B0136-36B0-4E97-B6DA-FF9D1DEF1F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a8cc147acb105dae07a2ae0669783e7bbf7fdde","datavalue":{"value":"goal solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452636$76F5D59E-C53A-4150-98CD-4C35ED8F4F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"273c1202c9fd5922fc2b82e146efb51fc9a50b10","datavalue":{"value":"constraint system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452636$2A1D861C-01FF-408A-94C4-195CBA98DA74","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f2dc3e6a9ef99a8c343f93179bbba0ec2e81559c","datavalue":{"value":"Q62048189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452636$DA940FC2-6D88-4A75-B933-E5EF0767998B","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":"Q4452636$046A0F92-EAE4-46F1-A8E0-0285CBDD5839","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fa63e02c6f605b219e15c339cd387035e0a4459f","datavalue":{"value":"journals/tplp/LeachNR01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452636$881E4877-E0F5-433E-9584-9083DF964D16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89061b07a1b51c6ad89faf251c49e8724c1d8cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4940936,"id":"Q4940936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6455b95f4d4f62d56b611304628e77b9049e4901","datavalue":{"value":{"amount":"+0.9872641563415528","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":"Q4452636$D64E52EA-3D7B-4D08-82F0-EFBCBEEA7CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f34d0d178cdedb1f7a86dadfc07c0e705df4fc","datavalue":{"value":{"entity-type":"item","numeric-id":2763634,"id":"Q2763634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6daaefd82810078f109b4b5d67b648e7e2226e","datavalue":{"value":{"amount":"+0.8593450784683228","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":"Q4452636$F7A35C2F-FF23-4BCD-A773-D150952118F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2cf38afce0735c00befb4dff53c39e111244570","datavalue":{"value":{"entity-type":"item","numeric-id":1311397,"id":"Q1311397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5becb2c6272eb1712fbb21c33d0a3dbc887910","datavalue":{"value":{"amount":"+0.8277628421783447","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":"Q4452636$5D75B5F8-74F4-490B-A7ED-6FFBCDA13FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fb052b74a5e537a7695e04e6200ec00c8de16e","datavalue":{"value":{"entity-type":"item","numeric-id":4858579,"id":"Q4858579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5becb2c6272eb1712fbb21c33d0a3dbc887910","datavalue":{"value":{"amount":"+0.8277628421783447","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":"Q4452636$3DD18DEB-D99C-4424-BEC2-9F2E4652BC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc29ec4c1dbf50136b571eb5992af28ff004b18","datavalue":{"value":{"entity-type":"item","numeric-id":4452127,"id":"Q4452127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0412d2b8dd0b5940c80e14afd1796a1d76df8431","datavalue":{"value":{"amount":"+0.8055478930473328","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":"Q4452636$B731D01F-AEDC-4319-93C6-E1FF6A56F44F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4452636","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4452636"}}}}}