{"entities":{"Q5887514":{"pageid":7917064,"ns":120,"title":"Item:Q5887514","lastrevid":97490459,"modified":"2026-06-05T14:53:21Z","type":"item","id":"Q5887514","labels":{"en":{"language":"en","value":"Unbounded nondeterminism in CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7673900"}},"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":"Q5887514$1178F615-1A1C-42C0-9C99-54AC04B043A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f72bba3c2c1d9fbe34edd5677b7bbf72db9fd84","datavalue":{"value":{"text":"Unbounded nondeterminism in CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5887514$19CEAF22-C1A4-4217-B10F-A5DACE29E4A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887514$5378976C-1F96-47FB-9A5D-F0B0AF54E66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df2e43389d2fb59a43a9d74dac4b18596fd277a4","datavalue":{"value":{"entity-type":"item","numeric-id":751806,"id":"Q751806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887514$371AFA2C-FE4A-4541-BAB6-7F47D93696B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887514$D090044E-B53B-4249-AE82-388339CC8BE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b4034943b182da069de8768d6fd2310f3e13487","datavalue":{"value":{"time":"+2023-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5887514$BF903CD2-2D3B-4060-BA38-82403348405F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887514$FD4BAC37-E5F3-42B5-BB0A-C0B744716FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887514$21135CB3-2089-4997-8783-50F49641F3E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75bf762b45fc53294b383675c21917673fe073b5","datavalue":{"value":"7673900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887514$005F8F36-62C8-4461-9E76-78CBB09AA6C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887514$3599C3A1-AAC0-45E2-BD3E-D6EC4D83D875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2a7b76c2574f870d7298d139e3e0fd6b9a2ce5f","datavalue":{"value":"operational semantic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887514$A08C92E2-76C9-449F-86D9-9CFC88D9ACE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e980b879515b4a62762dc4272099e67ff6c5e75","datavalue":{"value":"fixed point theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887514$FA03C048-5CCA-4BAE-A346-C38B8AB767BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353778e5c72069169f8ad192fa6b71ea4a6f756d","datavalue":{"value":"deterministic process","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887514$8A1DA1BC-7F62-44D1-89AB-24300852624A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca54c55a2a19910b1ee13be43cef1b36753653a","datavalue":{"value":"regular cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5887514$3C5B0BD3-BFAF-4BCA-95F3-A954D7D21F73","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":"Q5887514$0FA1420D-A5D7-4569-BB1A-E71F20D25880","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5101f92e43781dcce195b968ebf01b8c9ecf83","datavalue":{"value":{"entity-type":"item","numeric-id":3975027,"id":"Q3975027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887514$1CC2D049-24E3-4B42-83A1-9412A036E796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887514$147AF058-12F1-47E6-9716-F6A79C806164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887514$7F047CE3-0021-4332-9A85-AD489C87DC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dbb8895c77359a9a1c6dc087b7323ca4c58cfee","datavalue":{"value":{"entity-type":"item","numeric-id":3725534,"id":"Q3725534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887514$EC50F517-8B34-415F-9B6B-BC946CD62911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14fe8e2f70e07c1d1a7aeb24168f8422746458f","datavalue":{"value":{"entity-type":"item","numeric-id":3787461,"id":"Q3787461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5887514$D1AFADCB-DD87-4216-B0C4-583484C77834","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12e2e6eb0d67c0d14aac30a3236aa7a2f5aca3d4","datavalue":{"value":"10.1007/BFB0040257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5887514$0F707B30-B1BB-4792-BE2C-C145963975DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04587d82c000fa63c50297a5de10f0425c81e5df","datavalue":{"value":{"entity-type":"item","numeric-id":4276178,"id":"Q4276178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0463ce997d09ada3e0f1e2dd07238d11ba5dcc1e","datavalue":{"value":{"amount":"+0.917765200138092","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":"Q5887514$8ED0A709-D284-45A0-9D56-4B064041F172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b7e9d73589e096bfb655dd6dae887b5bd025ec","datavalue":{"value":{"entity-type":"item","numeric-id":3975027,"id":"Q3975027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8419feda8d31a4e91cb2217884c15a4c72ad6e","datavalue":{"value":{"amount":"+0.9177521467208862","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":"Q5887514$17E11712-AA60-4114-BE16-4B17F1C94EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a11fa6949f1ba430eadd52b7feda90ad672193","datavalue":{"value":{"entity-type":"item","numeric-id":751807,"id":"Q751807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca94cabf169721e41d25626dd983cc95b6f30187","datavalue":{"value":{"amount":"+0.8508130311965942","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":"Q5887514$3E2D8779-9B89-449C-A872-873F182E8E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9078659b1261049148dd8532443418426237ce20","datavalue":{"value":{"entity-type":"item","numeric-id":1323355,"id":"Q1323355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1868a37e98e3914efe5e11f41ee55691f9ab77d","datavalue":{"value":{"amount":"+0.8184628486633301","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":"Q5887514$3FF15465-E0E3-4943-B82C-98EB6D1B0071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c231b01f3f164c21722242f591234738b670c69c","datavalue":{"value":{"entity-type":"item","numeric-id":5285988,"id":"Q5285988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1868a37e98e3914efe5e11f41ee55691f9ab77d","datavalue":{"value":{"amount":"+0.8184628486633301","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":"Q5887514$23AEC4F9-89EC-4F47-B323-6E03C8FE24F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unbounded nondeterminism in CSP","badges":[]}}}}}