{"entities":{"Q5941103":{"pageid":8117905,"ns":120,"title":"Item:Q5941103","lastrevid":47657866,"modified":"2026-01-02T08:49:28Z","type":"item","id":"Q5941103","labels":{"en":{"language":"en","value":"Automatic verification of parameterized networks of processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635268"}},"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":"Q5941103$DBE89B98-C966-4C05-A246-F51A7E4DB309","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"848f1933cfbc9964a35b857adfedbba7597e8d45","datavalue":{"value":{"text":"Automatic verification of parameterized networks of processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941103$EBAD00B1-7955-4677-8231-BA61309CD0C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fe600e507e1cc1bf996d4becd0c508fff3d35ec","datavalue":{"value":"0973.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941103$5EF286A0-DE2A-4F9E-9079-26885FFA8D79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0bbbb9b98b1f605695f575cba997c39525d5623","datavalue":{"value":"10.1016/S0304-3975(00)00104-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941103$853F4BFE-BA5B-483A-98C0-B9B0C518A931","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":"Q5941103$8E1BE21A-EF17-4CC2-BB1C-9916071631B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941103$324973F6-94CB-4B4B-9977-91257A7F90AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941103$932B2370-45DE-47F4-9C9A-E886972EB1A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1699948340a1ad70f775ea4f95fa77fd3fd98917","datavalue":{"value":"1635268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941103$2C89F62D-172A-458D-8B76-046D410A2E5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941103$620C3A4C-9CC5-4C7D-ABE7-CDD84F95DA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee62ae6992d8d76f05a5f3aa6637a6cca07b46e6","datavalue":{"value":"parameterized networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941103$AD6D8292-6A1A-40E3-83B8-4C6848C81E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5074bc714318c5a74a2a6a4489147da7a94b738","datavalue":{"value":"synchronous observers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941103$50010378-B05E-4A83-94F8-0BAE8AF66F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0338e16b2692ae366e8fa638206d6c15427db1b9","datavalue":{"value":"widening","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941103$04237AA5-C552-45AC-923C-1CB6DCE75C75","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":"Q5941103$D7E2AEEC-E7CE-43E2-8DC1-495EB7CF3DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$D028DF2E-D71C-4131-89BB-8F216D73293D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$9E320475-4A4F-4F1A-93A2-A88110E707A7","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":"Q5941103$0107662B-A20F-4CE6-8619-F74BFD87F523","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$C6A339B4-A581-44AD-95FD-C6B10F091D1B","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":"Q5941103$1FC6EDFE-328D-45C2-8D4F-36F5BF38A86A","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":"Q5941103$A16CBBDA-F3D7-431A-AB07-96386A163C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$D9A99BC0-4609-4CEA-B650-8E94B217EE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$C09E52F4-A3E3-47E0-863C-4324CC4B2B3D","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":"Q5941103$00B1EBC5-E8BE-4C97-AB6E-F1199B052ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f5bfa59c371845c9fd3bd4800fc9edda9dca81","datavalue":{"value":{"entity-type":"item","numeric-id":4223068,"id":"Q4223068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$961C9256-D635-4436-BB2D-313136796E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7daeb403dc6eb02b2b3d98538b63790ac31827c","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$6A501FBC-28BF-40D4-AEC3-DC10AB87DF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89c5b7f7b9f4e7f578a71e447ad9a1de98caa69","datavalue":{"value":{"entity-type":"item","numeric-id":1323369,"id":"Q1323369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$CAD554CB-041A-420E-8B18-550DF86AC3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$04A916A6-5964-45ED-B5C3-7D723C5CBB32","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":"Q5941103$635B8189-6E0B-433D-A3D1-68A7143758E0","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":"Q5941103$CA6A627E-C05A-4E6B-A480-4254888215CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a838e87ade6ed586161e868680007e5c2d9ce95","datavalue":{"value":{"entity-type":"item","numeric-id":1060005,"id":"Q1060005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$B6039C97-0E41-4A8C-A434-69270D61F60A","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":"Q5941103$90566C1B-2D40-4FA0-9821-FB3DF10AA4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d1d1cb66d27d2e53aba37392ad47b61e11f859","datavalue":{"value":{"entity-type":"item","numeric-id":3326832,"id":"Q3326832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$7AC7AF55-386B-457E-A932-09F4E8D6C0DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78213b2c1e8011637aa7d130505620d288c6c47a","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00104-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941103$D070C173-1324-40C0-A48A-C988BD0061E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"247e09af3e20687e47e430b74594bf4feebdc5ac","datavalue":{"value":"W2023327000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941103$1867BB39-0C99-458F-B44F-DEF9CA0AAC60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55bf94483cf5543f366b9e4ff4170659d2eea32f","datavalue":{"value":{"entity-type":"item","numeric-id":645054,"id":"Q645054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$9BB33A89-3C51-4B38-AC50-2F5D54EAE665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"539273933714da8cccbd30c5d33862cc85176620","datavalue":{"value":{"entity-type":"item","numeric-id":1323366,"id":"Q1323366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$4E381C69-8D0B-4C3B-B1A2-E101523ABC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e98c52a24b4e1db402def699ca3cc68315820440","datavalue":{"value":{"entity-type":"item","numeric-id":3050372,"id":"Q3050372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941103$5CBAB064-15AC-40DC-BC5A-CD9FA63B6637","rank":"normal"}],"P1643":[{"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":"46b54a4e6442a7ad4d822ecdbf05fc0caa3d7806","datavalue":{"value":{"amount":"+0.8627254366874695","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":"Q5941103$1E7A6A70-BF5F-4ECC-9E58-61F549769557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39f424b9cb8935242b3862f9317370fe143046de","datavalue":{"value":{"entity-type":"item","numeric-id":1974479,"id":"Q1974479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02cdb19e093cab9652591502e66ac3ef3e68d5fe","datavalue":{"value":{"amount":"+0.855562150478363","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":"Q5941103$7F40043B-FCDD-4C03-B62D-73537DDA3E09","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":"c425c7cb3f8fbb89e0d46158fedc2c1df936b382","datavalue":{"value":{"amount":"+0.8373194932937622","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":"Q5941103$C1C6A92A-C993-4403-9790-44B7B6CF7BD6","rank":"normal"},{"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":"ec73e4ed1ba2d0350edd0141246bf5b3ec4259ba","datavalue":{"value":{"amount":"+0.831559956073761","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":"Q5941103$CC71D987-E15B-46CE-907B-CCE09B028808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb966305748ee6c04761860cec6aa177d6f8f5b6","datavalue":{"value":{"entity-type":"item","numeric-id":2766662,"id":"Q2766662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3a7e77277c6bb7932d2175b1ca469292e027ce","datavalue":{"value":{"amount":"+0.8004271388053894","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":"Q5941103$7DEC554D-CE93-4E56-8612-B9BED3558025","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941103","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941103"}}}}}