{"entities":{"Q3621267":{"pageid":5651173,"ns":120,"title":"Item:Q3621267","lastrevid":50633303,"modified":"2026-01-14T15:28:32Z","type":"item","id":"Q3621267","labels":{"en":{"language":"en","value":"A non-termination criterion for binary constraint logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5544023"}},"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":"Q3621267$EDDB6867-8DC0-489F-8FC2-695321B284CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c215e89e65958d6484538dc819041c6d3d27494","datavalue":{"value":{"text":"A non-termination criterion for binary constraint logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3621267$45DF3681-7E7A-4769-BE93-5E19AEE5749F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbd0873d44f9c170aedc6deee5b353d1fcb42f5d","datavalue":{"value":"1166.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3621267$346E4196-738A-4199-8AE2-8C3448E33B10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"924a4cd5dad8e530b03f57f4ef7a237946b252f6","datavalue":{"value":"10.1017/S1471068409003652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3621267$ADBB519B-FDF7-4817-9F33-E59E2B74F6C6","rank":"normal"}],"P16":[{"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":"Q3621267$5D54E249-C6FC-47B5-A059-EE5451BC6B5A","rank":"normal"},{"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":"Q3621267$DE7958E0-BC6E-4567-A7F9-079F9B4F6984","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":"Q3621267$1B758B03-B177-4AF0-A8C1-D2777F23A56D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"edb23d98635e96bf2b3264d02710dd1233a54bd5","datavalue":{"value":{"time":"+2009-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3621267$996D38E0-CF88-4B16-97E7-E60FEEA8FAF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3621267$E27F5923-FB01-4F67-BB25-3955CB64DDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3621267$255B9942-6126-48B4-A57B-F901D76687B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1495c38a01e0510f4ed7db854f26d7767f073551","datavalue":{"value":"5544023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3621267$EE20FDE5-5207-4642-9852-2D50F5662BA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3621267$F09EC500-EBFD-466C-8AFA-6380FE58F3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3621267$27272C3E-2F06-4766-961C-777BD09D6F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54efe8b49a37b1aa489fb0e653d938725cf2fcaa","datavalue":{"value":"non-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3621267$0002295B-6506-4283-9C86-BA6A63ED0FB1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3621267$9949D73F-EB2B-49DA-BCBF-72D74B652136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3621267$4CB0ACBB-B680-481C-A55A-C3A130770163","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":"Q3621267$7CDB18F9-0B98-4232-98EF-FA31FDDC6D2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e764d3c1503a4a7c75e16fa22f9fd0fd22535c","datavalue":{"value":{"entity-type":"item","numeric-id":5958765,"id":"Q5958765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3621267$CF169C16-6C56-44E5-86F0-8F7F18AE3D64","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":"Q3621267$9024B9B5-AC5C-411D-B562-462F0AAF813C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9005444265be022947046af02bafab842817cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3189834,"id":"Q3189834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3621267$92988248-FFC9-43F3-9729-03BB98A50706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98cb4459e9550e8e794652e6fd91a1b9970f2692","datavalue":{"value":{"entity-type":"item","numeric-id":944383,"id":"Q944383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3621267$CC41CD75-59A7-4B6A-BED5-39B0BC819474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d68f4107f17ae8f4119b86ca10ba466f13f6bae","datavalue":{"value":{"entity-type":"item","numeric-id":5267429,"id":"Q5267429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3621267$7F65C210-14A3-45C9-9600-43133C13E576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"324c0781474ef241425122c69442a05b4e8f028a","datavalue":{"value":{"entity-type":"item","numeric-id":582150,"id":"Q582150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3621267$E8405377-40B9-4C57-B059-42CF84E04D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8ce26f6a8ecad29886ac6bac936510fe602ac6","datavalue":{"value":{"entity-type":"item","numeric-id":4719375,"id":"Q4719375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3621267$7F6F48FE-E633-45C5-B450-ED9E8C6C517D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d418920177a910ec31640970cf78e21a929ec6","datavalue":{"value":{"entity-type":"item","numeric-id":1177923,"id":"Q1177923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3621267$F579D6F6-5BC2-4B85-A3F9-2222F65BFECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2a604ad8537237bf4f35e0d8826e78ef178beb","datavalue":{"value":{"entity-type":"item","numeric-id":850497,"id":"Q850497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3621267$1C2167B2-DFDA-4FD3-8E88-EC6F8D577EDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cce3c2ac089a518c48787d174ff9b02dd423ef2e","datavalue":{"value":"https://doi.org/10.1017/s1471068409003652","type":"string"},"datatype":"url"},"type":"statement","id":"Q3621267$0CEDFEBD-28C2-4A71-AADA-17E4B6269790","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33331db2cfc2d7b1155e3b5c254510fa5015276b","datavalue":{"value":"W2027825679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3621267$A2653367-634C-4259-8B21-DD5E4651D49B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4dcd30a32cb361babaf579c6e625f6cb34f1918","datavalue":{"value":{"entity-type":"item","numeric-id":5466573,"id":"Q5466573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b564a438baeadc72ed119759b0fa391d2666cb40","datavalue":{"value":{"amount":"+0.8488142490386963","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":"Q3621267$C3645A6F-D89D-4A63-A40A-A48E01A6AB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c658cf8c43026c035d383efeeecf87d13fd52fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3003491,"id":"Q3003491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f825684d3085665011759a0167efecca94089efd","datavalue":{"value":{"amount":"+0.8017054200172424","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":"Q3621267$A643FF1B-2485-45D7-8E2D-9DB1FF2E5412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33754bdf5767264205b654ee9b2bc0cb23873a86","datavalue":{"value":{"entity-type":"item","numeric-id":4719375,"id":"Q4719375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38e2b204f01ce85125451f2f98efd3b4bdd21ff0","datavalue":{"value":{"amount":"+0.798908531665802","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":"Q3621267$8749D2A8-7771-46AB-858A-0CB5A36778F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c132360210247e3c99e83d560cb2923fc4f1afa1","datavalue":{"value":{"entity-type":"item","numeric-id":4364368,"id":"Q4364368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8602d8af43942cd7e715fd5faaa5f56c0e3435a6","datavalue":{"value":{"amount":"+0.7951856255531311","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":"Q3621267$5BF5971E-0F62-4B10-B118-DEDA378BEAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ef01c391bffd62eb7d29ea1585e0e4596bba11","datavalue":{"value":{"entity-type":"item","numeric-id":3087440,"id":"Q3087440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebba13096dd345b1dda0d776dfbfb55ac2c92c5c","datavalue":{"value":{"amount":"+0.7846173644065857","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":"Q3621267$A99D96BC-7CEE-4EEA-945F-CDE0E0FBF555","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3621267","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3621267"}}}}}