{"entities":{"Q604385":{"pageid":606161,"ns":120,"title":"Item:Q604385","lastrevid":51128231,"modified":"2026-01-16T20:06:02Z","type":"item","id":"Q604385","labels":{"en":{"language":"en","value":"An invariant-based approach to the verification of asynchronous parameterized networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5814769"}},"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":"Q604385$9C807CAA-FA31-4765-9A09-2B3EEF9F1667","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"243818c842d29ccbc51c828d6b9ada91bfb01f31","datavalue":{"value":{"text":"An invariant-based approach to the verification of asynchronous parameterized networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q604385$2283493C-AF88-4EA9-A3ED-B85D2A0883E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c02836e497e6b2ca171c3b55e8d5cfb6f73e2a8","datavalue":{"value":"1208.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604385$0DEDB3D5-A645-4487-9418-0F2642A06B2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$FD41CBE7-DBCA-4E5D-B252-D886ABD5CD4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$0488897E-4509-4329-87D6-1ACACDFB5ACF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9ea9622d88fa8ef1a3077c0b305abfad406e986","datavalue":{"value":{"time":"+2010-11-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":"Q604385$A6E5D921-3B36-4DBA-AC07-2C91A3E35278","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604385$2CAD6F6D-215E-4968-A408-BE9F62B15345","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e8504c99bce7a866447f260d3413eab7ae9aa41","datavalue":{"value":"5814769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604385$FFAF2DCC-7804-4994-BA56-EA47BBDD8236","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q604385$93675D78-2DCC-46AA-8A32-8A1D425DABD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"914044ce1cd7af08c6330b42185aa4baf1eb8bd9","datavalue":{"value":"asynchronous networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q604385$6349B99F-3F0E-4AE7-A000-E03C9710AABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4824208d7bba949dd72987d32ffb13493eeb0e","datavalue":{"value":"invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q604385$3034BA6C-3143-4247-83A9-AE818D75177F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q604385$51FC008D-4C4A-4E7A-BA1B-BCAFDC8DB5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q604385$8CC4F34A-2A3A-43FA-BBBD-DEA48F3AF5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q604385$97BAC8DD-9D9A-4BE3-A05C-039ADFF97E61","rank":"normal"}],"P1463":[{"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":"Q604385$83AA62CE-8319-43B4-A77F-A7B187FED709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$B84C42AB-4E84-4968-8F03-BF96D22D9CE4","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":"Q604385$76A5D4F0-D775-447C-89CA-F46A560B511D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf8740558f06f4eed3aea148bd1c332847868612","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2008.11.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q604385$2B1B931A-78E2-4439-9F42-DE1B77D77EBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c63f23e32e8c9fc958c6977ea5b6b5852b1b524b","datavalue":{"value":"W2143812611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604385$C94FACAB-96E0-4A41-AE28-2EA62142B181","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33a97eaed430490b1baf5412c0903d90b4fa4ea","datavalue":{"value":{"entity-type":"item","numeric-id":4344071,"id":"Q4344071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$A32F4FC6-0A24-4700-84BF-E91E6C3DBC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b33441b71fe64164e13727a039af8e7b9f49a09","datavalue":{"value":{"entity-type":"item","numeric-id":2764000,"id":"Q2764000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$36DA3A5B-9FF0-4C91-A795-DE730C4D80CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$4BF929E9-52A8-4A9E-8B92-766ECB7B8E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2192b014e5b86896a1edd5438adccc8a06ba3605","datavalue":{"value":{"entity-type":"item","numeric-id":4532080,"id":"Q4532080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$0206453C-7CCE-449F-B779-99EE981FD20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$0483B94B-51EA-4251-A5B2-DBAB82DB6F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629f0d98aaa935fc69136e7996206257ff744c71","datavalue":{"value":{"entity-type":"item","numeric-id":5311479,"id":"Q5311479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$FD0C04D3-6835-4002-A6FA-0DEA509E039A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a005a09619e3a95c7a8fb372b338dab77bde28","datavalue":{"value":{"entity-type":"item","numeric-id":2760243,"id":"Q2760243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$D4C95CA1-6242-4CE4-9E7C-749D9E9506B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9decb00e1bc83b447621b1b3ecd5efaf057f70","datavalue":{"value":{"entity-type":"item","numeric-id":5716898,"id":"Q5716898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$9FC1D35F-6BDF-42B1-8B96-DEB7296920E6","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":"Q604385$3EBA24E6-C499-41C2-B6F5-60B6712CC5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ffb34a749312d4fd0afec92cccf7c98cc6cdc03","datavalue":{"value":{"entity-type":"item","numeric-id":5897071,"id":"Q5897071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$9033EEAC-0011-49E6-9827-1E6503DAFFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681769f62f1bdff8943148c499843c2eab2b1896","datavalue":{"value":{"entity-type":"item","numeric-id":5311266,"id":"Q5311266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$C32506B3-42E3-48C1-A503-A75D5CB4AC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17edde322a1e872b1d9c534aed707fc3c7e946d8","datavalue":{"value":{"entity-type":"item","numeric-id":4535058,"id":"Q4535058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$F09DC4F3-729C-4D10-A390-97C0A8CEDF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$ECF7814C-FB08-437B-9CC3-DF4EB81F1B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69189b9ee1b2a20bb21990a8dbcff02d49d239ed","datavalue":{"value":{"entity-type":"item","numeric-id":4426387,"id":"Q4426387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$C64EA4C4-9399-4D0C-BBD1-C72446276669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e04cf66f1b8c3bd1f3bbed16cc3b96dabda0b39","datavalue":{"value":{"entity-type":"item","numeric-id":1854391,"id":"Q1854391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$927B6797-97D0-4A2E-86D8-3BEF86DA6DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebf871c8c15b57ce12f2c4e37f35348404dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":2498278,"id":"Q2498278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$21C70578-FEF5-4810-8A38-013D04CA9935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4c31746727041f1ff1157480ae7fc11bf88dce","datavalue":{"value":{"entity-type":"item","numeric-id":1891157,"id":"Q1891157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$D21402BA-F9F9-4E66-BACA-957D28FA50F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9914a81061db7e275279b67023334e6d42b84e","datavalue":{"value":{"entity-type":"item","numeric-id":4223070,"id":"Q4223070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$C1E6C829-6CA2-42AF-8396-4481A8FC0BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fbca74a7f343f56effd39e49e9c455d07fe124b","datavalue":{"value":{"entity-type":"item","numeric-id":4507826,"id":"Q4507826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$57299A3F-C4BA-4D55-B71B-62698D17D201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e6911d9bd315e5fec4aa635ac4ea55f8575292","datavalue":{"value":{"entity-type":"item","numeric-id":1856175,"id":"Q1856175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604385$43059225-0636-4FD7-874D-62EE3ED7C36A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1eea06b5156c9efcf31c3e4d31aad9a1af3331f","datavalue":{"value":"10.1016/J.JSC.2008.11.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604385$0A72F786-1186-4529-9C68-CEE12262D93C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7d0b42894fe54330b5ef168d2df979a0e92fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2709807,"id":"Q2709807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807c06bb163731518efe1bf7d3c213a164e8e7df","datavalue":{"value":{"amount":"+0.7730053067207336","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":"Q604385$26398004-3F96-4787-B46F-8CED1F6F9044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe60cf7e45b810b5db81f1664008c85ec11838ac","datavalue":{"value":{"entity-type":"item","numeric-id":5941103,"id":"Q5941103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79e99ab047e4e62096bbfbce09c52392e5f276c","datavalue":{"value":{"amount":"+0.7692546248435974","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":"Q604385$9D96A883-453F-4CB6-9C50-03A24E5A2A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb05a308d940d8e31233094376df54376462e944","datavalue":{"value":{"entity-type":"item","numeric-id":4223070,"id":"Q4223070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605985125863a444823275b02ace53e2eeba8457","datavalue":{"value":{"amount":"+0.763802170753479","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":"Q604385$C9C2A5B9-FB82-48EF-BC94-74F1D47C09C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2a25ad931c2b998c036eeb5545334ae103eecb2","datavalue":{"value":{"entity-type":"item","numeric-id":3613429,"id":"Q3613429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b415cfa95ee1ffd8e5902f1e078c2422a879ec4a","datavalue":{"value":{"amount":"+0.7632734179496765","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":"Q604385$9C185F94-0FB0-4A2B-A59A-2474CE112E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af53033f2ed04a6f7f1b9d859620013b091db29","datavalue":{"value":{"entity-type":"item","numeric-id":2754094,"id":"Q2754094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa885ab9740b9063f89d7c418aaf8973ccff9b42","datavalue":{"value":{"amount":"+0.7471092939376831","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":"Q604385$019DB524-8B2A-4E06-85CB-38F02DA39577","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:604385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:604385"}}}}}