{"entities":{"Q3511450":{"pageid":5541354,"ns":120,"title":"Item:Q3511450","lastrevid":50402783,"modified":"2026-01-13T23:43:50Z","type":"item","id":"Q3511450","labels":{"en":{"language":"en","value":"A Propositional Dynamic Logic for CCS Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299542"}},"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":"Q3511450$DD5CC1E8-6E7C-4671-912F-E4DDBAB0FE7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c88c9054a5d24035dad4af7c4e7863a8bfdff2a5","datavalue":{"value":{"text":"A Propositional Dynamic Logic for CCS Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3511450$373E1F54-3A35-4F74-8824-CC541878D57B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"675f6f95f4dcb95287a1c2ce6c1edaace8b7764d","datavalue":{"value":"1156.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511450$9E51118F-C07F-4666-916C-3FE4349342C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"858acc32dc49c0e714fcae1fd0b7f89364de4009","datavalue":{"value":"10.1007/978-3-540-69937-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511450$8C1B407E-F075-4CF6-84D7-5AB2D6151F24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511450$4BC7212A-8DA5-4830-9F32-9099B81F0930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86c6621f9800d0ce6a33557f07d836f6bd1de6c3","datavalue":{"value":{"entity-type":"item","numeric-id":654914,"id":"Q654914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511450$20298CDF-187C-4DEE-B3CD-9AE1DB13E126","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511450$3C3AA043-C79F-482F-BB85-1F4AF4663FE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b588045ffddb7ab41c71713eb6e9655fe759644","datavalue":{"value":{"time":"+2008-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3511450$F78A956A-6884-4327-B56A-867E74C87EE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511450$2609A168-DBDC-4847-88DC-C5F47045483C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511450$39B103A1-C53C-4261-A14F-1AC9F5B796C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511450$B4F56006-7CD6-422A-A02F-16352E1E545A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30ccd91da50fe7558726c0af2039d5d5e7019310","datavalue":{"value":"5299542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511450$7393EA89-D46F-40BF-821F-1234FF0832AA","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":"Q3511450$F3CF2953-AD27-48CA-9F7C-9B39918E764C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05d1caa8adf34a82bdb76b30d35c0694b782a75a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69937-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3511450$1CFF85D8-193C-46A5-8F4B-5ED901BEB43D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec7a468a29eed850a048eee06f77f6603a308a38","datavalue":{"value":"W1524056723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511450$489F308E-C867-4A94-94C9-A0756558755C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b8dc51fead714b2181fe77a23d97d81b23def7","datavalue":{"value":{"entity-type":"item","numeric-id":1095653,"id":"Q1095653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511450$18DE3D5E-CB42-42A7-896C-1EDF04913D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511450$BD4D963E-578C-490C-A84B-92445E007982","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":"Q3511450$6F47C2C2-F340-442C-8ED4-538D8A5A1595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511450$C23BCF3D-0734-455E-9198-6346AD8339BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511450$D7FAA5BB-E4D3-4074-A5AC-08203D5F9966","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b49f78900645a2e856486c28fe7af785604b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2937698,"id":"Q2937698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6227abb06edf31741dd1f39b3df6487a4c41c0af","datavalue":{"value":{"amount":"+0.9086247086524964","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":"Q3511450$F54AB779-7E35-499C-9CB9-058371D524E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1696c4ca228238e4beb09001c17ecb040f1e3e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3185762,"id":"Q3185762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf0002c169fb3ea46b482723750542b80e243eb","datavalue":{"value":{"amount":"+0.8626509308815002","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":"Q3511450$48B82E44-7297-4787-A6B7-E8AC7AF6ACF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9196921b2f767400fd8e135a2d1aa1284207a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4644609,"id":"Q4644609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80725b8434faad08685dcf9f3e90e991aab965cf","datavalue":{"value":{"amount":"+0.81064373254776","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":"Q3511450$37E1DD08-FACB-46DC-9580-091B7D5777CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94965db9bd31d44f4c8a8afe44f39b708aeb966","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a230b0f17e5f4ae247d931384db7db6082fee5ab","datavalue":{"value":{"amount":"+0.7971663475036621","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":"Q3511450$C327E2B7-D6DE-4F49-AA54-670F4BC18CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b134d27fd72e065143eb488cce051ee8a0991fa1","datavalue":{"value":{"entity-type":"item","numeric-id":2358700,"id":"Q2358700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474958693324a0a17cc37f7f8e1fabfb650276c7","datavalue":{"value":{"amount":"+0.7860856652259827","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":"Q3511450$208E8CF2-2F51-46D0-B78F-B54D251BAE38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3511450","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3511450"}}}}}