{"entities":{"Q671989":{"pageid":673838,"ns":120,"title":"Item:Q671989","lastrevid":63451953,"modified":"2026-04-11T13:15:41Z","type":"item","id":"Q671989","labels":{"en":{"language":"en","value":"Nondeterminism and infinite computations in constraint programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984712"}},"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":"Q671989$421B5237-85A9-4D6B-897B-4F501F344716","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ea83a588f09d5532f3d211ecb8111475e69052b","datavalue":{"value":{"text":"Nondeterminism and infinite computations in constraint programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671989$115A4DA5-9FE9-4EFE-95EF-BAC5C55DD95E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"103cb9082a40efcabc0bea41188fa74040e4a7a4","datavalue":{"value":"0872.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671989$15EB7D41-2E1E-482B-A35D-BD8A3799B022","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed60ebc5282fe24b0eb68a6edb2b8e02b2f782fc","datavalue":{"value":"10.1016/0304-3975(95)00047-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671989$2D0BA9B6-1BD4-482C-BDD3-49F8273D03C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$0DF64725-C520-44FD-9491-D0FA77CAA510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d12ed68b215b89bb1e6155c11dc2566959288f9","datavalue":{"value":{"entity-type":"item","numeric-id":557885,"id":"Q557885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$9BC3115F-57F1-485C-B487-BEB4DD3ECDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee728bcf2a6a691d2b429de3becc3dfd0edf5e0","datavalue":{"value":{"entity-type":"item","numeric-id":507370,"id":"Q507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$62873D0B-4C01-47E3-BD07-5D36A5AF5C5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$B6E19A3B-2388-45E9-B9CD-41B3F1F2DF23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671989$0861A69D-79BF-45FC-9665-087299040CF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671989$FBFDF1A7-8686-4580-AEC2-BD58DA61CA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671989$109EC7A1-1DA3-4D25-BBD0-DFAAFB5FDF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671989$0F3B0A86-B00B-4377-B27D-CC69F197B30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671989$1613FEE3-6EB6-4769-97EC-910636D86703","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e46a5783e44fb0035840b01310a8d2acdf5d125","datavalue":{"value":"984712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671989$8A739A44-3FCE-465B-8877-073B8B6F6CA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a00ef70dcd722b8729595c110a4791eca210bc35","datavalue":{"value":"semantics of concurrent constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q671989$3574FDB0-7658-4F1B-9A26-39B3E5D9A6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3ab8275d7d8fd2ee190c1ec386620f7289ff28","datavalue":{"value":"nondeterminism and infinite behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q671989$83CC64CC-C31E-4763-A850-0F561655D131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q671989$9685404B-DDD4-4AE5-AC3C-57B8D6CE775E","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":"Q671989$7E1369E3-B9EE-4EC2-8E14-0024DC483993","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$1521AEBD-FDF9-4F38-9DA8-EDC637F996FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"712533e6b73ae1d27b1a20e39c8933da5ab0ede1","datavalue":{"value":{"entity-type":"item","numeric-id":1177921,"id":"Q1177921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$7204E50B-911B-45DD-B5E8-D29C134DFC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b751bd8722eeacfc2ae10d19829311c062be9bad","datavalue":{"value":{"entity-type":"item","numeric-id":4858578,"id":"Q4858578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$0E1D91BF-A6BA-42D7-949D-33E134027BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78bd4d37c74978248dc9e96b49498af42c4bab8b","datavalue":{"value":{"entity-type":"item","numeric-id":2736349,"id":"Q2736349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$8ECF8AF4-8C0F-4A6A-A6F3-FF329EDD3F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$35F2E641-2AFD-4520-B270-2D0DA9E84A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d589b1dde682294e94cfef04828cf053fe194622","datavalue":{"value":{"entity-type":"item","numeric-id":1391102,"id":"Q1391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$C74DEF1F-A926-45D5-903F-F82C119BDE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$658E8C0B-F6AD-4D20-8220-6EADA87F28E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"710c59527605a5875e95cc85f1f622fdcd4b9107","datavalue":{"value":{"entity-type":"item","numeric-id":3787447,"id":"Q3787447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$4BCDF32B-87AD-4629-9581-DE383A0EF610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$5B01EA44-9204-4B57-9F6A-7ED8D5891DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c184a968cc4e5306fda681741508fd66f4b9c69","datavalue":{"value":{"entity-type":"item","numeric-id":4391452,"id":"Q4391452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$B6C03580-5B92-424C-B67D-197617D57D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877683da350cd8ba60924b2c2ca33171842d1e88","datavalue":{"value":{"entity-type":"item","numeric-id":1113661,"id":"Q1113661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$C47132C0-7F76-4872-9ECE-05DEB0B3787E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$C9433D39-5F82-4206-A1A2-70533BEF36EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a5e366f943787fe2241be272db04756d3aac57","datavalue":{"value":{"entity-type":"item","numeric-id":3221399,"id":"Q3221399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$3AD41A4C-69FD-41B5-98D0-5C38A11A3CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6611ed6de8858c0611fd34fe4122695cc82d9e5b","datavalue":{"value":{"entity-type":"item","numeric-id":4023244,"id":"Q4023244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$9D5DEEAC-67BD-4E9F-A00B-F1F7C63521F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b283ddca817927e02b9c9acad35602739386b05","datavalue":{"value":{"entity-type":"item","numeric-id":1314355,"id":"Q1314355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$8C0D5651-D7D7-4E2A-99F5-AFA4240E6587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb4f47a7131723dd2e4a4daa9f6dc9e584962f3","datavalue":{"value":{"entity-type":"item","numeric-id":1605181,"id":"Q1605181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$6048394A-39F2-41DD-A403-5B9E210A1B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$8E0C16BD-BDF6-4A85-8AB2-0BF9E4160834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de48729812ad7056d8d65b30969b3bb5e5118882","datavalue":{"value":{"entity-type":"item","numeric-id":4195918,"id":"Q4195918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671989$F55ACD6E-EACA-42DA-8A29-FE67DFA21098","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5804141248016079a206a293e49f6425eeb7bbce","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00047-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q671989$60274AE5-3C88-48A5-B099-3DB404D78312","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23315d6ec5ad163bbfc75521a8af2ea2be1db62a","datavalue":{"value":"W2033431741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671989$C17D941C-7F8F-4993-A3BD-232DB427010C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30df88b697138c25fdba62ac82539b838831aaa","datavalue":{"value":{"entity-type":"item","numeric-id":4222884,"id":"Q4222884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7ff15a92948bd07c83a88430d55497a8cbefe0","datavalue":{"value":{"amount":"+0.8302494287490845","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":"Q671989$49D7AFEF-41FB-4A3B-B874-0355B758E4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82813f9fe72e5561bdf5c46a4dba7b6480dc633d","datavalue":{"value":{"entity-type":"item","numeric-id":4312460,"id":"Q4312460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999e9d8e86cc3d8e966b89eafc4a9aa93611e137","datavalue":{"value":{"amount":"+0.7839406132698059","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":"Q671989$AE23C24F-EEF8-410F-B1A1-19B150374929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217c8d0759349dc5fe73bda5d32a6ab70478b1f3","datavalue":{"value":{"entity-type":"item","numeric-id":6104382,"id":"Q6104382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed36e87af8a73c8b00c1d4ac830338299ac8d2d","datavalue":{"value":{"amount":"+0.7789324522018433","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":"Q671989$36046961-FB32-48D1-94CB-D8C0E2119BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c9a1bea6e1fb0c3661fdbdc63647620fab261f","datavalue":{"value":{"entity-type":"item","numeric-id":2736349,"id":"Q2736349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9976fde7300c89cf87b39884ad2f303c58a3052a","datavalue":{"value":{"amount":"+0.7758218050003052","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":"Q671989$334371D1-2AD9-4BE3-8A04-E7C85133EB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcf36a4e64cb418cf86010ad63159a0d4366903","datavalue":{"value":{"entity-type":"item","numeric-id":1605181,"id":"Q1605181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9626ccf2c2141370ee1fd7da5a5f994755f831","datavalue":{"value":{"amount":"+0.7694903612136841","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":"Q671989$70815338-111D-498E-AFE5-25457ACAE37E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nondeterminism and infinite computations in constraint programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nondeterminism_and_infinite_computations_in_constraint_programming"}}}}}