{"entities":{"Q1380423":{"pageid":1391163,"ns":120,"title":"Item:Q1380423","lastrevid":43074519,"modified":"2025-07-17T11:40:55Z","type":"item","id":"Q1380423","labels":{"en":{"language":"en","value":"Intelligent backtracking in \\(\\text{CLP}(\\Re)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1123694"}},"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":"Q1380423$C8CBE9AF-3FF7-49E0-9132-FE606973567C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fc6c1894010eae18476139aea4e13a19efad6b7","datavalue":{"value":{"text":"Intelligent backtracking in \\(\\text{CLP}(\\Re)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380423$350E585E-D736-4F5A-8421-038D5B33CFA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b147c64ac8dabb833f670721a8675796f6d74f4d","datavalue":{"value":"0891.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380423$1AAF0A5F-AD2F-45D4-92A6-71398D967518","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df746f07a6593088e7d1e8cc5e597780ea8ab579","datavalue":{"value":"10.1007/BF02127968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380423$C1FEA0B1-F04A-42A7-93BB-A4EB6FEF85A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94c66c996d5013046ea82e23328ddac153ca98df","datavalue":{"value":{"entity-type":"item","numeric-id":1380422,"id":"Q1380422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380423$65897FF3-8BAE-4AF9-A300-E31F70071B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32b5a35542753eee73c3fc3175dcac3b98df9805","datavalue":{"value":{"entity-type":"item","numeric-id":583890,"id":"Q583890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380423$54E0D864-BA58-4349-9D39-B3DF19E53E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e72c99401345596e94e53d5105f9c9d2b2eb0e2c","datavalue":{"value":{"entity-type":"item","numeric-id":754188,"id":"Q754188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380423$2FFF0316-CA86-4DC2-AA92-6BD4713B5C2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380423$92AFBF88-3AC7-46B4-8F98-0A8ADECCD1A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2c9ed8805e87613d39976a3d7f078fb3b47b839","datavalue":{"value":{"time":"+1998-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1380423$CEC3E34F-7AB7-4520-B5C0-F4EB7E86C61A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380423$5D72A9BC-F699-4273-80B5-AF31080DE150","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"941a614815a42a85fbe155944b876b6a22ff0203","datavalue":{"value":"1123694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380423$24752323-6AF9-4BA7-A99A-A19399CB0133","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ff849c8990cd177dc1250b97bb3ee1d0a80510","datavalue":{"value":"constraint logic programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380423$E829DE37-8F65-4210-89B7-3FE1A5B9AF4E","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":"Q1380423$CDB0C28E-E1CD-434F-9C44-94316B41848E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f94411b104ee2c6b064b9e97af1713486141ca2","datavalue":{"value":{"entity-type":"item","numeric-id":3789106,"id":"Q3789106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380423$DE78B9D7-7836-4F00-99B7-4F33A40BC8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be15762c4142150b15350618b943cbcd01c88823","datavalue":{"value":{"entity-type":"item","numeric-id":3735066,"id":"Q3735066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380423$319F1968-66B7-4BB6-8322-5ADA2C2F55DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380423$9CFCF2CB-B87F-4F77-BEF3-4EC7BB8D11E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e771a2a22a6ff6f34da0aa40695132ac8b73926f","datavalue":{"value":{"entity-type":"item","numeric-id":4435806,"id":"Q4435806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380423$4D4A63E1-F3E5-46A9-875C-8DBA3626E5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5139a73b059d980183dc85a88c959a88131c2b45","datavalue":{"value":{"entity-type":"item","numeric-id":5966588,"id":"Q5966588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380423$1EED718F-5746-491B-8129-0C858A7BDA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befe54573f9a42fbfad219c131fe2a663ad71170","datavalue":{"value":{"entity-type":"item","numeric-id":3740274,"id":"Q3740274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380423$7690641A-DA98-4954-889F-1C95D7082ECD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a91bbac764d0c09bf1fc7041d51de31c2a3ba33","datavalue":{"value":"https://doi.org/10.1007/bf02127968","type":"string"},"datatype":"url"},"type":"statement","id":"Q1380423$EF2C4DC0-15DF-4352-BE13-2A027B874C0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4be96b929ce16adaaf0b6a87df0c75e0359b9e8","datavalue":{"value":"W2035552875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380423$4F89F527-F102-43EA-A32E-88E3DC926F92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aeea36811b64b25259de312a90f635e2ce0bdeb","datavalue":{"value":{"entity-type":"item","numeric-id":3741017,"id":"Q3741017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a256837247d1e12dbf5da397d0b953da6bf865e3","datavalue":{"value":{"amount":"+0.89976144","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":"Q1380423$71970AFB-ABAB-4E53-B50D-5DB5E2B07F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dffaa2063008aeefde8cf145836fec595c10151","datavalue":{"value":{"entity-type":"item","numeric-id":3759966,"id":"Q3759966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2b1b103323f348cc6107b52bb6981596bce92e","datavalue":{"value":{"amount":"+0.8853727","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":"Q1380423$CDAAE0D6-2871-4FCA-ADC1-618923B3D23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73971625ff54680a9e6f848a46dec049f3c2a4f","datavalue":{"value":{"entity-type":"item","numeric-id":1101246,"id":"Q1101246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028025d2bde528d56df3bd6a431a07606990a2a0","datavalue":{"value":{"amount":"+0.86691636","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":"Q1380423$F2B73B3F-090E-41D2-83B0-7A0890A1D965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1b66e07d88a34e8b0a5348efd4dca7095b1eb1","datavalue":{"value":{"entity-type":"item","numeric-id":3735066,"id":"Q3735066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8e1426eb97b4f805ce6b7d08a5aacfa0c28386","datavalue":{"value":{"amount":"+0.8656554","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":"Q1380423$A3B1131B-AECE-4BB8-894F-ABCB433BDE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086d14b0f72359fcfd1b85e1426d005463edad00","datavalue":{"value":{"entity-type":"item","numeric-id":3727417,"id":"Q3727417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5afef604d8286388990082bc049919ab299e41","datavalue":{"value":{"amount":"+0.86190355","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":"Q1380423$6C97B9F0-93E4-4677-A9EA-284E342EB135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45004830ca2ee24bc4ecdf6ea496b3520dd48c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4452607,"id":"Q4452607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e4bc827117f5e8a6aa1a178b2992960140f5748","datavalue":{"value":{"amount":"+0.85312676","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":"Q1380423$E429C3F6-DF57-49EC-B81A-7200403D4F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920b1d435b3be41aaf6e0cae67d5fb95181a823b","datavalue":{"value":{"entity-type":"item","numeric-id":3789106,"id":"Q3789106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e78c2593c3ef76644b1fccbdf02f2f24c63de5c","datavalue":{"value":{"amount":"+0.84564567","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":"Q1380423$10A6D01C-29F5-4B66-8FBD-9688995E49AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646ac12cb418769177bd4e0c353925a615ce0dcc","datavalue":{"value":{"entity-type":"item","numeric-id":5096771,"id":"Q5096771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce923d0e8e110737324227358f764edeb17c5ce","datavalue":{"value":{"amount":"+0.8421687","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":"Q1380423$C829AA97-5499-4B1D-910C-B247C51BE7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452b9e6766afc8e5e5519fd4eb1f3cc653d02f56","datavalue":{"value":{"entity-type":"item","numeric-id":1118390,"id":"Q1118390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516f8b213b27337024e72e3fc8dd17ae8bd1ea33","datavalue":{"value":{"amount":"+0.8398317","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":"Q1380423$B69B4128-F8D0-4711-BAEB-5176EB279885","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1380423","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1380423"}}}}}