{"entities":{"Q1705697":{"pageid":1716438,"ns":120,"title":"Item:Q1705697","lastrevid":71199738,"modified":"2026-04-13T20:20:56Z","type":"item","id":"Q1705697","labels":{"en":{"language":"en","value":"Compositional and local livelock analysis for CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851034"}},"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":"Q1705697$3366A048-A424-4C98-A344-3A5B2016BC12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d82c2d19dcb3a1323a785eab4d08e855d369756","datavalue":{"value":{"text":"Compositional and local livelock analysis for CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1705697$5E52C81B-8F9E-42DD-B9E5-1C6864FCEF05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d75466135bfbedb3e4c177a0f6c7e8dbaa6f3bae","datavalue":{"value":"1426.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1705697$91D63C89-9D8D-4F12-816D-957A0162F3A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77182a5b5792d6d3590d477af0fa8fcf3f2ab014","datavalue":{"value":{"entity-type":"item","numeric-id":1705695,"id":"Q1705695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1705697$ED38CD71-4B6C-4EF0-A1B1-03F8E4139949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1705697$9D8139AD-A6B6-42AF-A974-87423E0054BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"189ef02bdf1a02bbfe00844a63434a369a39330e","datavalue":{"value":{"entity-type":"item","numeric-id":333317,"id":"Q333317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1705697$953CECAA-8B45-4B8C-B4FE-F61D072DF780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98a6fdc4ebcefbbd3979701deb01ce817be9a62","datavalue":{"value":{"entity-type":"item","numeric-id":175412,"id":"Q175412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1705697$97EC9184-3FAA-45C1-897F-2AC2D1FD9E66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1705697$FBB4BE60-ABE6-43A3-AF8E-EC321D7A2E67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38a58aab6944d60b1cdbb1cc7c2901bec8dd645d","datavalue":{"value":{"time":"+2018-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1705697$8DE78338-2463-4A77-B435-72828EA30E98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b70d6f1b4ed15adad20b35ea94e6e1164b514d2","datavalue":{"value":"https://eprints.whiterose.ac.uk/126283/1/1_s2.0_S0020019018300036_main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1705697$51EF2E5F-1F4A-4AC6-82D3-E77F91BE9DAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1705697$516AA337-A7B5-4312-A9CC-B6192DEEAEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1705697$E02FDE2A-836C-4C22-9DC6-05D8E3327D8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"138198f045c5b7655c4af57871573bf5eaa3b223","datavalue":{"value":"6851034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1705697$69CD4C67-3793-4034-8706-EF578D78F5F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1705697$F26CCB49-19FC-46A6-B006-7A972C05B843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1705697$33D3D0FE-001F-46E4-9D08-F996D6F3623C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1705697$8B6F5BB5-B246-45FC-8DCA-A465F14230A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89637058ec4fb31a987fb3056088b8f52b77eaf9","datavalue":{"value":"components","type":"string"},"datatype":"string"},"type":"statement","id":"Q1705697$0946ECBA-728E-448F-9181-969F922C0FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ecd2d3ae1d3dfca86ff8d6ec61198bf541cfd6","datavalue":{"value":"performance evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1705697$19A2E28E-9C91-4588-A105-A8C85C2E7B84","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97873e1476593719fe9ae012a9df7469c6caafee","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1705697$EFB5A288-C0A5-4614-A1E5-99C2B597574F","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":"Q1705697$72391BFF-5B08-4438-A54F-DA12AF335BA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96bc241b1dcecadb795d16d800afb8eca2a76e73","datavalue":{"value":"W2783395867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1705697$6739F71A-8E3B-4643-BECF-2C8B93020E02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e298680afdaacacf4ed4fb1f75238da3c3fa9e3a","datavalue":{"value":{"entity-type":"item","numeric-id":1705697,"id":"Q1705697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1705697$F5CA27B7-06E5-4F45-9C9D-95B22EABE5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1705697$CA3AC8E4-DABB-4231-AAE5-E49FB651AFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1705697$FAD14D00-5625-46B8-8295-3713181DB6E0","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":"Q1705697$3B25E975-CE84-4B68-AA8F-92D808F80560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde8fd4c260ebd9c4c907462ba73d0705c217dca","datavalue":{"value":{"entity-type":"item","numeric-id":333322,"id":"Q333322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1705697$33798386-7E09-48A5-9CBD-1D09E7A9B249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e61357611ed7d42984bce0bf3732427738b707","datavalue":{"value":{"entity-type":"item","numeric-id":2848369,"id":"Q2848369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1705697$B5C801B4-75AB-4741-B6EB-8FEF403A63DF","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":"Q1705697$84E13D4C-3228-4C64-B81E-3BE26197A19D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bf3bd30d44b285cee99d786705e7e4a09ad5b68","datavalue":{"value":"10.1016/J.IPL.2017.12.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1705697$8D77B2FD-D5AF-498B-8590-A7734280A714","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1238890e41ca03689facaca3d149d83b98d41c10","datavalue":{"value":{"entity-type":"item","numeric-id":3090843,"id":"Q3090843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d3f8c66d531bf027d9c259314a9e8ee17c99c8a","datavalue":{"value":{"amount":"+0.830784797668457","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":"Q1705697$D5F202B4-1E91-4814-A6BD-3C8AC2C5ED7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100348ad4d2ff692d530df03719eb819285cf90c","datavalue":{"value":{"entity-type":"item","numeric-id":2848369,"id":"Q2848369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0b7f2538e3063d6fd881a73f46470b94e42a05","datavalue":{"value":{"amount":"+0.8098161816596985","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":"Q1705697$3A4A2B4B-A148-45C3-9D8C-910B00F340B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0fa8c9fd16de0e8071a69d07a8db0c446ed742","datavalue":{"value":{"entity-type":"item","numeric-id":5756591,"id":"Q5756591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc06047d1770ede5a6e382784078c24d7eac39c","datavalue":{"value":{"amount":"+0.7292657494544983","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":"Q1705697$369BC0DE-FE3E-4D83-A1F4-DA3D0BE11C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b38509283653d8e94735d07512eb90465b5c7c7","datavalue":{"value":{"entity-type":"item","numeric-id":3725528,"id":"Q3725528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c742fc3bb1df0cc5ec699b6b0fb6b3a147f87f3","datavalue":{"value":{"amount":"+0.7291222810745239","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":"Q1705697$C6E343FA-8F4A-49A4-BD83-F05185066B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0bd5c4d55e1bef0623f528ccc48785143e87002","datavalue":{"value":{"entity-type":"item","numeric-id":1708716,"id":"Q1708716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab2f47949099e56fb6f2195937e85455d17cff3","datavalue":{"value":{"amount":"+0.7289202213287354","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":"Q1705697$C52949B9-01C3-4476-A0F3-C0F94855A07C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional and local livelock analysis for CSP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_and_local_livelock_analysis_for_CSP"}}}}}