{"entities":{"Q2368952":{"pageid":2379695,"ns":120,"title":"Item:Q2368952","lastrevid":49821562,"modified":"2026-01-11T01:41:53Z","type":"item","id":"Q2368952","labels":{"en":{"language":"en","value":"Compositional analysis for verification of parameterized systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020363"}},"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":"Q2368952$B685B0FD-F4A5-4DAB-AA8C-1E4F34374783","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a333c543558ad3fa53ff07a60b1aa245700525f5","datavalue":{"value":{"text":"Compositional analysis for verification of parameterized systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2368952$8DEE457F-9260-47BF-94BA-9A06E5A9009E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da48b7e2a408c882db0e2e43857364a16df4c8b3","datavalue":{"value":"1088.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368952$097080EA-4448-4767-9BB2-0815ABB91056","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8865af5840312ac206515e5079126e325569bdf","datavalue":{"value":{"entity-type":"item","numeric-id":344797,"id":"Q344797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$3B094C7C-8114-40D0-9490-CC7BED5BBE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"146e445b9711515e2eed962a2cd51e384ac471c2","datavalue":{"value":{"entity-type":"item","numeric-id":655413,"id":"Q655413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$50A0CCE6-CC00-4947-8430-80AEA7D9361F","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":"Q2368952$DDBEFA0F-E4BE-4AC7-BDB8-20D0586522CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2368952$7DC881A0-D87C-44E5-88DD-AF16829C83A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368952$A282C5E5-16BE-4FDB-BACD-42C80382436D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368952$45FB02A2-3BDC-4390-A97B-AD10C1BD4456","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d851064524dbb827c29bd676122b08c322976018","datavalue":{"value":"5020363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368952$F65485F3-532A-449D-97A5-D495214C6A10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc43e70c80bc1ea1844f5d097e313b46c99a549","datavalue":{"value":"Parameterized systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368952$F9ED8600-9B85-44D2-AF75-6419F193A422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ac8f2163df1e4b3d5b693eb6b14290cd6763ef3","datavalue":{"value":"Compositional model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368952$7CD72736-E520-4C37-879C-3123C0202AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5245177d1c1613520c0043189d7ca4f33a0728","datavalue":{"value":"Formula equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368952$8FBEEDDE-DA55-46AF-8C92-2CA4194583F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68f76a070260c64e314f860f5883c4f8a84ab3c5","datavalue":{"value":"Acceleration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368952$3782C0BF-0F5D-4789-836F-0356B5739868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cb450c2c9391438595cede7b5898fb1a37d452","datavalue":{"value":"Widening","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368952$EDEAE5C0-374B-4C4A-9A85-86EAB9780422","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$F12825A7-F596-4746-B3F2-4560AB491CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$2916EA2F-5723-4818-AB66-026E13AEA6EA","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":"Q2368952$B031A59B-BD89-446F-99A4-D9543F61B7FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"473c25a54caef7854b2a8f9fe2242a2b249bb47e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.11.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2368952$AD6318D8-9940-422C-935F-E3A0B81B73DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee660ad14b402a5320bd19f13b743a1003841148","datavalue":{"value":"W1973289396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368952$77898F0B-A955-489F-AEB0-AE417324A108","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69e66169d13b5dd46ddd7a696b7a8a0e7742685","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$CB04C826-3389-41F4-A62E-84F90C7086AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e389246466590cf41e2d703b33455400e7c54c4","datavalue":{"value":{"entity-type":"item","numeric-id":2769585,"id":"Q2769585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$93B7D918-ECB5-40F5-96FB-51BDDCEDF897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$632E62D2-1940-444B-9B47-2CB57E6B4FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$F577D3A8-3BED-4165-BD9E-F7BF64679F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$F06CA844-178A-4D3B-B8B5-0E71782F71E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$31D4525A-D0A0-4F44-8027-7CE6CF43BAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$1E575596-00D7-49FD-8D6D-769AB7C04396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82889a8aaead4f7b83d3113f27cd04ae3da7df58","datavalue":{"value":{"entity-type":"item","numeric-id":2754073,"id":"Q2754073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$FDC8C3B6-A25F-44B9-9A75-0B6F9F2283A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18e6fef404ee2aeb12ed5f5ba6c950f99a0c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":4939270,"id":"Q4939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$1501A14B-A795-438B-B775-C840976C79FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$0C612E8A-3BBD-40AA-B359-1340045135A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$76F9B275-E76E-43B3-8015-FD65166FE9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e28476bfef33ad1b2b85b86e71d14c7098ed3c","datavalue":{"value":{"entity-type":"item","numeric-id":4936148,"id":"Q4936148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$22B94F1A-2289-4B12-8BB5-9D1B41CA1CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d6648d4f28199265be3ea8533a8f67f88e77f7","datavalue":{"value":{"entity-type":"item","numeric-id":4327427,"id":"Q4327427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$9908C20E-1311-4812-92FA-29154211496F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd78d251166de965701d0b707e5b374a2655b2d0","datavalue":{"value":{"entity-type":"item","numeric-id":5900683,"id":"Q5900683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$670740FC-4C40-4EFE-8365-53156D3B0D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf0e7549abbeaeb4c770d7e9f8179e576dc25d3","datavalue":{"value":{"entity-type":"item","numeric-id":1856157,"id":"Q1856157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$E0C888DC-EB28-4273-BFC3-F47ECD0136E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$CA1F3E22-70C1-4AEC-9576-D4968C3ADC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8de3639b16c92e9ce55a3dba9a1550e636a752","datavalue":{"value":{"entity-type":"item","numeric-id":5941103,"id":"Q5941103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$72E986B4-6008-47B6-9531-31184168275F","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":"Q2368952$26FEE0D7-AFC5-48B0-823F-4CBBBCB84B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$BD7BB891-DBC3-4221-BCC5-C369ADD4E121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b2a2787ed47a4d5e91d9ce327d2742e1960b77","datavalue":{"value":{"entity-type":"item","numeric-id":2754094,"id":"Q2754094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$F576146F-206C-46E6-903A-7EA510FD359B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$8F859528-A236-4217-B46D-BACEF35A89DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28466c4a3ee6ce0042114f971ef065f380db27e6","datavalue":{"value":{"entity-type":"item","numeric-id":1974479,"id":"Q1974479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368952$47B3FC28-DC52-4898-8AFC-604B9CDE1D0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65b9c1b586d6789f8ce61d21c61cd842a578e9c2","datavalue":{"value":"10.1016/J.TCS.2005.11.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368952$CE36B10D-8460-4F8C-BADD-BCE7D1686236","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf050f6dc020970dc21f6588e2df8bc4f5c5159","datavalue":{"value":{"entity-type":"item","numeric-id":4417935,"id":"Q4417935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5736aa036e066ccd551ea37bb0226fc207f94793","datavalue":{"value":{"amount":"+0.9970986843109132","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":"Q2368952$C3D80C02-940E-4FE7-A481-E2B809AD5182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a396fab565fe4b0923a54ad4a727c34d3ae2032","datavalue":{"value":{"entity-type":"item","numeric-id":498394,"id":"Q498394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827b11f76a699066026611857177a3945147e18b","datavalue":{"value":{"amount":"+0.8283171057701111","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":"Q2368952$CE3937EE-3DE2-448D-88C6-22466920A3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4334adc3bdc9cba5c11300bca11ac7499fb609e","datavalue":{"value":{"entity-type":"item","numeric-id":5899051,"id":"Q5899051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453316618827b97f4897df680c56cf48cd3ffef9","datavalue":{"value":{"amount":"+0.821220338344574","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":"Q2368952$DCCB218B-C12D-4F53-85E1-E0456E8965ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea01d914082b4e177b7a684824a21dab7e5087bd","datavalue":{"value":{"entity-type":"item","numeric-id":2272926,"id":"Q2272926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383b6233a097bec6019c885c637af5689d59ad18","datavalue":{"value":{"amount":"+0.8078701496124268","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":"Q2368952$A0E050EC-1CE9-431A-882F-ED4A9CC86C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cbaf1e979b491d7a6e5f7ade5d53365f7dd855","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9d1b5c78243eb49d9e39284105a6d8c6efc5de","datavalue":{"value":{"amount":"+0.8067203164100647","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":"Q2368952$0278BD6F-5304-4556-846A-F431770F4CAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2368952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2368952"}}}}}