{"entities":{"Q1323355":{"pageid":1334105,"ns":120,"title":"Item:Q1323355","lastrevid":68462016,"modified":"2026-04-12T23:52:16Z","type":"item","id":"Q1323355","labels":{"en":{"language":"en","value":"Infinitary parallelism without unbounded nondeterminism in CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567316"}},"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":"Q1323355$3BC1B08B-EC9D-454F-B6C5-AB7EB10C915C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e9932aaa21562451704cea9a2be2a742bf41a40","datavalue":{"value":{"text":"Infinitary parallelism without unbounded nondeterminism in CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1323355$B93BB2BB-473A-4F46-A471-ED72ADE303C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c3e6bc928c19cc700d91a747bcba68b20b8b8b0","datavalue":{"value":"0790.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323355$B7F0E80D-D68E-4896-89E7-5C8748279FC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11e08bcd324dbf97b099770be2396cd72626f7b5","datavalue":{"value":"10.1007/BF01210597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323355$024BB68F-6151-4595-BF1C-75158E0BB2BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3796e2b09efc9ac94e6c12485881d0be27760550","datavalue":{"value":{"entity-type":"item","numeric-id":1323354,"id":"Q1323354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323355$DBCF760C-D390-4B9E-8927-F6E0AFBFFD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323355$C325F3B3-41EC-4059-8578-37D825A21204","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323355$392BDD29-2C48-4B67-A7D6-19CFD916D6BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61a335d09cf4057e5c760f9e6e170367a29098e7","datavalue":{"value":{"time":"+1994-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1323355$AD2F4FB6-BD10-4D68-95DA-D1231F5D916D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323355$566DCD2A-E6E0-4BE8-BABE-9A1E3B5F9E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323355$F192AFA4-2481-4E93-805F-A59D2DCF9EB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8793bfcebc51c2b6f1e71b13c76f468f862ae650","datavalue":{"value":"567316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323355$DA214A0D-FC96-4E52-8A29-DD87802B315C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323355$896F88C6-BD2A-4894-A13D-348A02152F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323355$ED920E13-C210-4AFD-8E67-F799FFB9251A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323355$F80157F3-E705-4299-8251-1CB0F99D36E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6cdae83171bdc8f5456508a425a26188d28c7e9","datavalue":{"value":"infinitary parallel composition operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323355$F7EF4EA3-F7E5-4388-BAA0-5DAA46436834","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":"Q1323355$316ECA8C-BDBE-4EB1-A6B0-9BABAADAD837","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e1251d9543db4c7b0418fa8b729f9c35fb031ba","datavalue":{"value":{"entity-type":"item","numeric-id":751807,"id":"Q751807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323355$C1DCC4B7-DE6D-48CB-ABFB-4A19BD48DB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323355$52542BCF-B10C-47D0-8D70-CC1583792779","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":"Q1323355$514DBB81-4A32-44E7-9FA5-1159BF8B534A","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":"Q1323355$3E5F9760-6822-4BA7-973D-C91E0862C517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c7441614e52411309e7bba93912630e1db563f","datavalue":{"value":{"entity-type":"item","numeric-id":1323355,"id":"Q1323355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323355$84100EBA-9EB6-43F7-8C2B-4C2DE5C6B930","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":"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":"Q1323355$4DD056E5-C82B-4564-B1A4-91D48A42DB14","rank":"normal"},{"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":"39ef7ac76ebbef45bbb7a73d88c4c0f336969c67","datavalue":{"value":{"amount":"+0.8094061017036438","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":"Q1323355$E0D1B3E8-901D-4149-9F7C-B2334086279E","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":"4a11b3aaa016bb696a283a5564e39c7f89bedab6","datavalue":{"value":{"amount":"+0.7666860818862915","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":"Q1323355$9FE1133F-FE52-401C-AEAF-DA4AC5A854BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f997fb9e5450644ac78c81cb940703dd82ee9afb","datavalue":{"value":{"entity-type":"item","numeric-id":407510,"id":"Q407510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ca5e28a583c30fcae32b62b481799f684cc1bd","datavalue":{"value":{"amount":"+0.7573707699775696","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":"Q1323355$12DEEBB1-901D-4BC7-A6E0-085067BD6907","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary parallelism without unbounded nondeterminism in CSP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinitary_parallelism_without_unbounded_nondeterminism_in_CSP"}}}}}