{"entities":{"Q3550617":{"pageid":5580521,"ns":120,"title":"Item:Q3550617","lastrevid":90280274,"modified":"2026-06-04T19:45:45Z","type":"item","id":"Q3550617","labels":{"en":{"language":"en","value":"Model checking safety properties in modular high-level nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688992"}},"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":"Q3550617$936092F1-382F-48F3-B9F1-75528239AC11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"816bef6bbbfea2e7855ceb74bbc9d3fdad6466c9","datavalue":{"value":{"text":"Model Checking Safety Properties in Modular High-Level Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3550617$89D85389-785D-4E37-B72D-76288823BB27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"670c921efb8ac5a7c605b3baf0ce9c69f82ee51f","datavalue":{"value":"1274.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550617$969EB668-35F6-427C-80D1-67711DC30D34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03d43984b07a9159b9d60dba0887dfe5c7acc4b8","datavalue":{"value":"10.1007/3-540-44919-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550617$34EA00DF-6B38-4B34-87BC-6163001B664E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f238077ea76460173f095c76201d570310bfeb19","datavalue":{"value":{"entity-type":"item","numeric-id":421084,"id":"Q421084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550617$FFA32682-AB59-4C9E-B654-5AE1955913A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"60f03c60d0859643f7aa44399eb3fa3f866135dc","datavalue":{"value":{"entity-type":"item","numeric-id":3550609,"id":"Q3550609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550617$81C4854E-C52A-4123-8BFE-EB49A0C93710","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"994f357a1419be047d68415ba0ebb81a34390d78","datavalue":{"value":{"time":"+2010-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3550617$6D0009F7-8AB8-4648-9D59-96C20F6100F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550617$BB37C30E-99EB-41EC-8A8B-6D40C655F4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550617$F7524B2D-0F27-4A52-807C-1DB0F93C8973","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da965c83b73fc7430fb81929ca4971df29902d27","datavalue":{"value":"5688992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550617$EAD441B3-3EE6-4754-8A69-9CE147B18BE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75232cb76939534549d3e824c3d528a23d1c99dd","datavalue":{"value":"modular systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550617$FDC736D9-E8F3-4C62-B8E1-B804E30E7ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ede6b4368055657ce6f0d10fef5d7bd1c3a9a6c3","datavalue":{"value":"state space enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550617$F83DD9BF-A000-4E4D-B414-1E08CB9384B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550617$01B8021D-0C50-4805-8109-76E16A7EAEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf269f23c75b99d300386bba4c2b0378120b19f3","datavalue":{"value":"high-level nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550617$10BBDB71-06FB-4B41-924B-8276333707B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edcace3dc89b22d58a69f050505a82c29f25cdcf","datavalue":{"value":{"entity-type":"item","numeric-id":16312,"id":"Q16312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550617$0F779156-4A10-4237-B8E5-F596D28EB2FB","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":"Q3550617$AB4F1F6D-4930-48B8-A5BD-49B42E6F5CB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"721a8f9eea6808f13e0eaa4c3af7f1c58f040f29","datavalue":{"value":"https://doi.org/10.1007/3-540-44919-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3550617$7B09F8A2-C16F-4031-ACBA-F411EFC97C60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e35b2d22142efebc3b5128dd766b96e857e3252","datavalue":{"value":"W1822289477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550617$4CE442EC-18A6-4592-ABB0-D38659F82A99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cd3aadded333d5a5bca8ef4953b78867a4995d","datavalue":{"value":{"entity-type":"item","numeric-id":5096364,"id":"Q5096364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703fc6562447102b83e1ae7e209630723509f875","datavalue":{"value":{"amount":"+0.7924998998641968","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":"Q3550617$8DF03389-FFD4-4316-88F7-E788B9D80FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f17ff95adbdd09b5e80470c6a785bc7f4f88c5","datavalue":{"value":{"entity-type":"item","numeric-id":2843812,"id":"Q2843812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98607c53ccfd3f8e003087c9636cd8d17f5a7edd","datavalue":{"value":{"amount":"+0.7915393114089966","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":"Q3550617$640EA67C-B539-4B04-BE11-23ED4C431603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c046a6d4f27c665983efafbdc1666188d1fd21d3","datavalue":{"value":{"entity-type":"item","numeric-id":4509344,"id":"Q4509344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19011d4d01b7c4208ef17106122b0c67c858ec21","datavalue":{"value":{"amount":"+0.7805420160293579","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":"Q3550617$0DED95B2-1D0A-40F4-91D8-94BCBBFB01DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be34933e8b48a6f1a54a948475912580735f7cbb","datavalue":{"value":{"entity-type":"item","numeric-id":3612361,"id":"Q3612361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4644a69faf2f39c0cb79ff112421f09b56d71f","datavalue":{"value":{"amount":"+0.7753907442092896","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":"Q3550617$C5CCD229-56B1-4FB6-99C7-A537512DDEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f0bf57245873ed04e7ca17af47b5f23528a8b3","datavalue":{"value":{"entity-type":"item","numeric-id":5712335,"id":"Q5712335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492d7c02df3e21bad5171ac4e79fbb6ec6da5e85","datavalue":{"value":{"amount":"+0.7734732031822205","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":"Q3550617$66B6C880-A9B4-4942-B1C9-7290C881D2E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking safety properties in modular high-level nets","badges":[]}}}}}