{"entities":{"Q4276178":{"pageid":6305779,"ns":120,"title":"Item:Q4276178","lastrevid":41784962,"modified":"2025-05-08T07:35:37Z","type":"item","id":"Q4276178","labels":{"en":{"language":"en","value":"Unbounded Non-determinism in CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 488298"}},"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":"Q4276178$1AF3AAE5-FD9D-42D6-927B-7C90FC2D8547","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53e9f96c24dcc00041bea8b87f1030f2de19e245","datavalue":{"value":{"text":"Unbounded Non-determinism in CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4276178$7870479D-C71D-430C-AF51-18E764035285","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18bc4f8ba7382f15f9144e8fc0c8e1f9c3c7195a","datavalue":{"value":"0801.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276178$5505E36C-5703-466E-8050-2C586ACA9437","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":"Q4276178$4329E11A-3CD3-423A-88CE-36F68B5D07D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35f07f26077989a46e074a3e6621ef2f811b12d9","datavalue":{"value":{"time":"+1994-11-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":"Q4276178$CAE0B146-F7CC-4A4C-929D-102F067ADF34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276178$50533DB8-C7BD-4F8F-9F75-1F4BACCD51DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb6e5b3046af1af39046b82a140644db13c0a17d","datavalue":{"value":"488298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276178$089CF5E9-8F42-42B6-B871-B5D78FB45C78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276178$B33B900E-72C0-47F8-8F34-8AC310938242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e54f0fcca86d22578fde7c7afa55151c5a5352","datavalue":{"value":"infinite traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276178$8DCCBA83-630F-47D9-9054-AC43F1AFC17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38037b4668ad18667f871073d0676ccb14a9857e","datavalue":{"value":"unbounded non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276178$8E775966-B595-4804-B45B-2468B6CED18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276178$26E0FCF1-8861-45D5-8CCB-4A0C87E1B04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276178$3ABB10EF-3C42-4917-81BC-2E17D7EECE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276178$8F90ADDC-C7D0-4A7B-BC69-61B91ED0602D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4276178$D61B1F08-9964-4942-92FB-0EBE7AB696EA","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":"Q4276178$B2DE1CC5-6AB6-4A83-83DA-A1E11AD0EF34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04041ed6c20332d8b0960952275736b8b82f9386","datavalue":{"value":"https://doi.org/10.1093/logcom/3.2.131","type":"string"},"datatype":"url"},"type":"statement","id":"Q4276178$3A754C6A-E449-42CE-A0A3-CDD8EB891187","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2889f422c2400b6e64d27d38c147ab77c2bfcf29","datavalue":{"value":"W2156547868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276178$9075FD25-47FA-493B-BD28-709488D1FC28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5932492879162d610d4ef19423e4290d96ff09e6","datavalue":{"value":"10.1093/LOGCOM/3.2.131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4276178$F39FFFF2-085B-4D2F-8853-F474B0054708","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4276178$9B4166B3-A043-4168-927A-1027B0869476","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112b277a7725be0d9d7f768a039dc932ec525b62","datavalue":{"value":{"entity-type":"item","numeric-id":5887514,"id":"Q5887514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4981c6eed43d4ecd69a975e8ce1964e330b6721b","datavalue":{"value":{"amount":"+0.99331445","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":"Q4276178$91891736-9245-45B0-8902-7BBCB3DFAE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"853e1f3b77f1df1115607763c83e0c68a8e26153","datavalue":{"value":{"entity-type":"item","numeric-id":3975028,"id":"Q3975028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15dcf82f0139d878bc6613c71ca113121956c2c8","datavalue":{"value":{"amount":"+0.9573491","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":"Q4276178$082A3A2A-9785-46E3-87A4-BD26798D8DB0","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":"56e74fe852efe18e82b297e56091c0fc2f9e6e50","datavalue":{"value":{"amount":"+0.9042717","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":"Q4276178$53AAA605-31E5-47A5-95FA-1B60B4A28424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89e59e204f60ae870dcf4f1bfd876c07bb7de5d8","datavalue":{"value":{"entity-type":"item","numeric-id":671989,"id":"Q671989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5115b97dfab794dda242fe6a0965b5699dd8d83","datavalue":{"value":{"amount":"+0.8960904","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":"Q4276178$A0E8806A-06A4-4F07-9263-3A0226FFA145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44084c8d4dcc70d5af88014c2c28bd30faf78ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4204136,"id":"Q4204136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03c0373933a4e29f0e704d9abe835b20344f566","datavalue":{"value":{"amount":"+0.88122636","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":"Q4276178$1BA044B3-1881-4B17-A6DA-26CC12CFEC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829c0409e1ec4bc9bc7f39f348cb4ab9399c3c0b","datavalue":{"value":{"entity-type":"item","numeric-id":5971404,"id":"Q5971404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1716cceec0f4c1feabee33de8a6a48e3b345fb36","datavalue":{"value":{"amount":"+0.8685744","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":"Q4276178$2C1F795F-EBD6-4642-AEE1-A8AA4D7E155E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40985376da7b1e94294f68498d0761890141b60b","datavalue":{"value":{"entity-type":"item","numeric-id":702093,"id":"Q702093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf15f5d94fec65c087540d8425948fddc629eb6","datavalue":{"value":{"amount":"+0.868042","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":"Q4276178$3E523E6D-B9A9-4D86-8A1A-76915F1AD59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414ef1025e822cb1dc3041a175219a3f3a9cb4b6","datavalue":{"value":{"entity-type":"item","numeric-id":3034815,"id":"Q3034815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6924963ac5a4a601129919110e92c423da72b7","datavalue":{"value":{"amount":"+0.86741877","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":"Q4276178$A2C4A5FD-2AD8-4B7A-B9E1-2240F06EFBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3974290fb3d3bbaefc513725b73130a2fb849819","datavalue":{"value":{"entity-type":"item","numeric-id":4222772,"id":"Q4222772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95943c5bcf232e6e9527e3287f642ddd89eaffed","datavalue":{"value":{"amount":"+0.8615924","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":"Q4276178$707867F1-90FD-43EF-AFE7-089B59ACC667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25233e7eb47f7098522faf6316788821040861b","datavalue":{"value":{"entity-type":"item","numeric-id":5009450,"id":"Q5009450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a795d3c781d1ebbdc2fdcd5b797647e4a56444","datavalue":{"value":{"amount":"+0.8596737","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":"Q4276178$A010DD5D-E165-4764-B178-F5535A736167","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4276178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4276178"}}}}}