{"entities":{"Q2117173":{"pageid":2127916,"ns":120,"title":"Item:Q2117173","lastrevid":54254612,"modified":"2026-01-26T13:34:40Z","type":"item","id":"Q2117173","labels":{"en":{"language":"en","value":"Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7493579"}},"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":"Q2117173$D04476A7-4BF2-4E7E-8416-023BFAFC22EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c084665acc6ca47ceac71f92727b0ba4bfe65d22","datavalue":{"value":{"text":"Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117173$103E4BB9-5EC0-48F6-9948-61C492B7154C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0ba2e13702acb711ad59bf6676b317863f9d50a","datavalue":{"value":"1489.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117173$F8707E2F-7868-4EE5-929E-9C6F1121FEB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7151d56143a9b5735938be0adb928abfb6185456","datavalue":{"value":"10.1007/978-3-030-76983-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117173$245CA937-4CB3-4972-846C-FD27AEA25311","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"213559564bddb4c271e5bd99c2175e18278e6981","datavalue":{"value":{"entity-type":"item","numeric-id":2117170,"id":"Q2117170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117173$0AE78DB4-D8EE-4D2C-9CBA-6BC31D923B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"617da14c1bf5d5495dad5e11e4e8def26dd78d28","datavalue":{"value":{"entity-type":"item","numeric-id":2117171,"id":"Q2117171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117173$F88BC574-9FF0-46A5-B013-9A6DBB1F0C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9680ed0690c23980aa67f95203c911246d9e0f00","datavalue":{"value":{"entity-type":"item","numeric-id":2117172,"id":"Q2117172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117173$ED017907-EC0B-4729-AAFB-C9E5915C5164","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d3dbf12e1376632bae2e48d8bc3683002116149","datavalue":{"value":{"time":"+2022-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117173$A7D2359E-1E6E-4D5A-9246-9320186C4E7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117173$510D58DA-8D5D-4D2D-9085-0A29FE74D7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117173$C3F6591B-BE63-4ED8-835C-B78A4EC5B575","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"020ff3bcc90ad42219006cdb7cfa55da537eb999","datavalue":{"value":"7493579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117173$6A0ABC9C-82BF-41BF-83BD-042B464462E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a12364b7c8e2af7499354c0a04eca09c851bdf52","datavalue":{"value":"meta-modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117173$DDF427D6-1163-469F-B098-575BF6F94CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117173$486D2AEE-9CEC-4E57-A1E4-D2827599071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117173$E87DF173-F071-4D27-9421-A5FC5B64EFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117173$05F2E580-00E0-4C09-A891-E5F7BE81BBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1828290e2f63bc4ab32e5abd351b89516775701c","datavalue":{"value":"multi-formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117173$5BBDE046-80F4-4229-A35B-649156DD20C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf54988043a255686c2b3d95b2d3f0a24ce64c49","datavalue":{"value":"graphical feedback","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117173$9AEE6FFD-6EA6-4B85-BD3C-968A4A341C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"804c10e57eefd42950057b854c599945ce930339","datavalue":{"value":"reference nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117173$567C91F6-FCD6-4852-8452-E7F524A40354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117173$D1907A80-0A6E-4588-8B65-4B5DA4B95FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44c049a57f9dfe12569892efc6ba3298d4b96748","datavalue":{"value":"model synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117173$3E5D8311-DF65-4CDF-951E-A4BFF9FE8F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aaadd024ae942f431878858cfca3cc9d462a48d","datavalue":{"value":"DSML","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117173$6BF51D32-8F70-4E6F-A58F-91F0F6B2F98B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71d769a2ae3c08bf8a12a85f1a0da82efb040041","datavalue":{"value":{"entity-type":"item","numeric-id":21460,"id":"Q21460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117173$A864DF41-CCFD-435E-8427-E2D5CB20556B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7e8c0ef4b2b655550f401b23c169644988922e0","datavalue":{"value":{"entity-type":"item","numeric-id":21725,"id":"Q21725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117173$D680C159-B5EC-45BE-ABD0-C24A7ADAEC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117173$6AAA97B6-DEEE-4465-B4D7-D5112F6F2D15","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":"Q2117173$42C1D89C-2F83-4E1A-B457-67D24674FD74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"439d83ea3990a077eafabe6e34603e5d8ed34d95","datavalue":{"value":"https://doi.org/10.1007/978-3-030-76983-3_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117173$483BA16E-A709-4157-9AA8-07C63E298FFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5ae066a7a5fd836fbbc5997138708609633bcc9","datavalue":{"value":"W3172676330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117173$E8BE243B-B9AF-4475-AC7A-1BB42C96CF4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b23ffef2e0ea3a2260d2f1f86482afe5a44a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5428906,"id":"Q5428906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117173$E42F8A6C-1735-4B79-92D0-9C8A7BB66F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117173$0B24089B-EC23-4123-82BA-3814DA44BAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced99b794cd9aaff55225dff3508ba9f79132ab8","datavalue":{"value":{"entity-type":"item","numeric-id":5055702,"id":"Q5055702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117173$8F821DEA-2613-433E-B112-8A6AAF97C909","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a377e9f628f6d7260bf7f4bc9f0127b7c568e46","datavalue":{"value":{"entity-type":"item","numeric-id":2279737,"id":"Q2279737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417c39b883189b7a6bb9f83b94e698074ff1dd55","datavalue":{"value":{"amount":"+0.7106834650039673","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":"Q2117173$71E57A6E-8EF0-49B9-B454-6FC9EBD18252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b3a0b21b2030d1061358c2cd262fca5f8ef0fc","datavalue":{"value":{"entity-type":"item","numeric-id":3225718,"id":"Q3225718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a31704d4c65cc7fd127baf989140a12cf7d1b8e1","datavalue":{"value":{"amount":"+0.7078630924224854","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":"Q2117173$06530303-E706-4D80-858B-E53E7A213B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc83848c0d486b71ce3a78b9ca6522a9739baf3","datavalue":{"value":{"entity-type":"item","numeric-id":2842854,"id":"Q2842854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd5a7b13dcdc87d1681265cee9f884deaf49fb0","datavalue":{"value":{"amount":"+0.6974694132804871","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":"Q2117173$D288B350-7BC9-44E0-A623-E8D239E93550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af9c1c4b690d1a0f1ecca6dff6e2970a9c21c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5203704,"id":"Q5203704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f95a2bb9148bb6a549a5fd0ae9b72c481079311","datavalue":{"value":{"amount":"+0.6964588761329651","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":"Q2117173$E1409CD9-C88A-495A-AB9A-3DED86D709EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90086a4ecc0ee0c45722b37a0726f63fe403d3d7","datavalue":{"value":{"entity-type":"item","numeric-id":4825884,"id":"Q4825884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095c7d079b9b2449cbe340ac2b35c6e8a4abc3e6","datavalue":{"value":{"amount":"+0.684528648853302","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":"Q2117173$A4D526CB-B4DA-45D3-9326-E9344E10F60F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117173"}}}}}