{"entities":{"Q407510":{"pageid":409277,"ns":120,"title":"Item:Q407510","lastrevid":42431686,"modified":"2025-06-27T13:58:26Z","type":"item","id":"Q407510","labels":{"en":{"language":"en","value":"Specifying termination in CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6338729"}},"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":"Q407510$159F2D8D-E9F0-4174-9C34-03BFEF619F77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d8055a7eb2613afaeaf5a28ffa4abdc6adb966c","datavalue":{"value":{"text":"Specifying termination in CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q407510$51E7BB52-81A8-4F09-8FDC-5F4E5CCED345","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daa19a179ddefda3b2ecd012d0819a5ca2893b50","datavalue":{"value":"1360.68632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407510$37B003F6-E6D0-4B3B-B4DF-20B7E6248C76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59b1577a5a149552f3a648b5f990865de37b006b","datavalue":{"value":{"entity-type":"item","numeric-id":407508,"id":"Q407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$39FF1CD2-AFAD-49DA-AB57-FA1D84E70A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d4aabf47e97a5b2434eed4574ce69aa951e5092","datavalue":{"value":{"entity-type":"item","numeric-id":407509,"id":"Q407509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$4E5DCA29-D197-4537-86A9-46C00D0FF174","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":"Q407510$E2922D77-F004-49D8-849A-2232F94EB3CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d0d0cba453ee9297884d6a65b53ea15efc84e68","datavalue":{"value":{"time":"+2014-09-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":"Q407510$7AEAF16F-AA8E-49D6-94ED-D7D59F25FE28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407510$B81DD90B-61D2-4046-9BE4-E1FA0D635F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407510$66B93A37-D526-496C-A14B-FA04D702285D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"871a807c65c1aaa6481ff53b660834f214e2a953","datavalue":{"value":"6338729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407510$EDA974D9-748F-46B2-9461-DAD785388D03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q407510$672FE7DC-F74A-4339-9064-035F8A451E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q407510$D7AF66AF-42CD-479B-962B-2437B041EF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q407510$D6022666-B05B-4BD9-B756-517F9F63F8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e0564e2f0228862f073a1f3e78fbb0f5d2af31","datavalue":{"value":"parallel operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q407510$C71B6F7D-7D75-4D14-91DB-191E1D9D06FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9466f0b26c1dc8acd437f28f29f075bef564116e","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$414AB797-0406-4669-AA2C-D35D8E1A8F54","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":"Q407510$3EA32B77-4520-4519-A768-89FC2BF1A48C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5a8edad900df2930cdd10c0908c0ce2727e5775","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.05.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q407510$667A776B-A959-4938-AB47-D7E6E32EC024","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2410a1d2c96622cef8bd1219296fb87f6345170c","datavalue":{"value":"W1991632479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407510$2216D2DF-A9C2-4CB2-9F27-F2A93ECFA13B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$C2F13D8C-61A3-4BBF-9205-F3A26B5A0DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$9BEF8FC3-4D23-4FDD-B2CA-97C58BBB69E3","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":"Q407510$7C586D7C-8A98-496F-B6ED-F6C4317EF7C0","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":"Q407510$511ED621-010C-4C98-97CE-46E5986AD503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19dbefc607e7f8b74597b63c6cdee5537d9bdc81","datavalue":{"value":{"entity-type":"item","numeric-id":4282003,"id":"Q4282003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$E36DCB26-A07E-49FD-B26E-D6A8AA8D6DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c1ee4edd7511750bce8287bc936441214772ede","datavalue":{"value":{"entity-type":"item","numeric-id":674191,"id":"Q674191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$7409F815-4148-42B3-B8A3-13D4130F8A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$5F230AF4-0DD9-4285-86BF-25EC5DD757A8","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":"Q407510$B2174EF5-94CC-4D82-B45C-292221F93A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e451b0339876f0a92875e49346cdc0622e878095","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$275A9E38-582B-4D33-B57C-D0221815D13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5ca4d7cab4d14505c8e4cf8ff2009bb8758467","datavalue":{"value":{"entity-type":"item","numeric-id":1037248,"id":"Q1037248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$C33D6BC7-23A6-48AC-9E14-7B16DA5AE533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$3329508A-B325-48C4-998C-F31878B65E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$67BF2197-5831-4244-8773-9C8D478F0715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4301d50504125869b7b36ae7487bac0559bd1710","datavalue":{"value":{"entity-type":"item","numeric-id":1274446,"id":"Q1274446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$C19C68D4-DE28-4EAE-B91B-F6A2CA77A1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$A11696B9-94D1-4B1F-8CE4-2CB0F52227F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407510$098F2EAF-8B2B-439F-AE83-51865CA8C52A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b07956128a320146107c285370c9f033e0ced088","datavalue":{"value":"10.1016/J.TCS.2013.05.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407510$5C1D1797-72B8-4D7E-B5EC-35803BEBCAD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7806b3038978c28f09435c50dc4fb8a0a3eeac7","datavalue":{"value":{"entity-type":"item","numeric-id":3321434,"id":"Q3321434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155243442947f9fea779bf7e3e3df08a0fdb7545","datavalue":{"value":{"amount":"+0.8565249","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":"Q407510$98E56582-2E1D-43A0-815B-1B580B9E6F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a174a7df7b2eff1ee782ed6b9a467a8441110ab","datavalue":{"value":{"entity-type":"item","numeric-id":1037248,"id":"Q1037248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7126b72bcacd89ef0ffc46e9414990191f0b78c9","datavalue":{"value":{"amount":"+0.8379815","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":"Q407510$2F6A0BB5-1AFB-481A-8F62-9FD801C51AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79692890c8cf4e9bc54f5d24e029d6dca351b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4572011,"id":"Q4572011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8dbf5a2de2c35e502932fee302aa58d5131262","datavalue":{"value":{"amount":"+0.8182266","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":"Q407510$71E2D270-47D5-4C01-8087-FB5B64D60CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c5584ec459969e411bcdb838f96e19a88d3542","datavalue":{"value":{"entity-type":"item","numeric-id":4518863,"id":"Q4518863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771aa1ff07403f0361f9e67e80e4a0afeb4bf58f","datavalue":{"value":{"amount":"+0.8107439","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":"Q407510$E51B0189-72FA-483D-898A-261E790AE43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b049fb018ef319099e90e1d308a5e97b221d9078","datavalue":{"value":{"entity-type":"item","numeric-id":4594226,"id":"Q4594226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29600a1ad54d4b0054f832424134122275391d2a","datavalue":{"value":{"amount":"+0.8052126","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":"Q407510$40236B68-BAD2-45A1-8E0D-ED3C2ED70EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"239146d1eca4d6cafaca2fa3d09277ce8f9e6e90","datavalue":{"value":{"entity-type":"item","numeric-id":4472539,"id":"Q4472539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33de5095251d098f017af2888a62e9d05e16731","datavalue":{"value":{"amount":"+0.80299455","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":"Q407510$65CC0873-E034-4DBE-9427-F90FAB57368D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57349622a6ff30c62c26a387e36d5fd204e2e66b","datavalue":{"value":{"entity-type":"item","numeric-id":4818829,"id":"Q4818829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1a4b73142e9deedad97c079aba1c34a8a1ac20","datavalue":{"value":{"amount":"+0.8003304","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":"Q407510$23FA80D3-D99F-4B9E-9CC4-17D22742C7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8037a02265f815a2545026a43d678033c4f9a89a","datavalue":{"value":{"entity-type":"item","numeric-id":1702895,"id":"Q1702895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4120b4109a932fe70d0be83532425680428eb78c","datavalue":{"value":{"amount":"+0.7964209","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":"Q407510$562567BC-E0A7-45B8-9B27-C63005D79445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794aae2a5bd1196967b8c02dc37e4ae518ab2cf0","datavalue":{"value":{"entity-type":"item","numeric-id":4364530,"id":"Q4364530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff45d277843f8d6cd791e180f0098158f4a65b8","datavalue":{"value":{"amount":"+0.7936301","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":"Q407510$D82F7D01-62F6-4703-B36E-E93BA5C8B792","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:407510","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:407510"}}}}}