{"entities":{"Q680540":{"pageid":682389,"ns":120,"title":"Item:Q680540","lastrevid":63671190,"modified":"2026-04-11T14:44:59Z","type":"item","id":"Q680540","labels":{"en":{"language":"en","value":"Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6828781"}},"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":"Q680540$B4EE5A84-81AE-47A9-BF44-DE654D2BDF54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6559f8893fe5fe0ae3da66e798126c22225815ac","datavalue":{"value":{"text":"Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q680540$50B5F74C-ACA6-4CD4-94FF-ADB11EFCCE07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f15228f91178e2da3b42c5fba4fab05279231197","datavalue":{"value":"1378.93021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q680540$4944E7C5-5D2B-4E2E-996F-C716CE28BED6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8b404b0ead394e5a1f6ae37e6864096f8c29f99","datavalue":{"value":{"entity-type":"item","numeric-id":680536,"id":"Q680536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$06114F8C-BD08-4F4F-AFF0-0923BB334644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"935a50598cba53d5d0d1568d36a5bcde2c05adf6","datavalue":{"value":{"entity-type":"item","numeric-id":680537,"id":"Q680537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$A973291E-8BB3-4A3D-9DAE-325984E89147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f100dccebdea55f222bbcbfdd9f5a97eaf70803","datavalue":{"value":{"entity-type":"item","numeric-id":680538,"id":"Q680538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$1F21573F-A52F-40AF-B9E6-1E24982B8391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc740a195117ac458645e1990babb8ab50209912","datavalue":{"value":{"entity-type":"item","numeric-id":259428,"id":"Q259428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$87D768BA-943E-4C40-9E1B-A2460F1A28BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"068c1cacd102cb21c594fa3ddc56df9e88fb0a9c","datavalue":{"value":{"entity-type":"item","numeric-id":680539,"id":"Q680539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$A55013D1-11B3-4E6E-9C66-3B5ED52C8D50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$98B67FF5-90EF-4E8F-80D6-026ABBF90A4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3658740f2785e2549aa58e655bafba00d2f1e37","datavalue":{"value":{"time":"+2018-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q680540$569407B9-E4D6-431D-AA5A-65E3FEECC6BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fff5cdc9a8b9585a93fbb32e67bc439ebdbef5a4","datavalue":{"value":"https://hdl.handle.net/10356/137871","type":"string"},"datatype":"url"},"type":"statement","id":"Q680540$C6529F89-3A38-4E88-9CED-EDA4FEE64A23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q680540$E52F35DB-FD3C-499C-952A-4364D80880B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q680540$0FD5A61C-6B1C-49C5-B708-385124F2D91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q680540$C6F5E3F2-6479-431B-BF17-EFA4A76ABE3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ee76624dbf615ddd09a5b6f00193b70f66b6217","datavalue":{"value":"6828781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q680540$14C9BC6D-E784-4AC0-B110-F10D745B88D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8149c2a596b04673390f46731099fee60d28e9","datavalue":{"value":"symbolic reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q680540$698FF43F-7849-4592-AB2B-9B62858BD816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e12dde1d417af74fd3a6522bfdb7c1d6e303d9f","datavalue":{"value":"parameterized discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q680540$A29086AA-C2BF-4820-A30F-25979A56E3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e312ad5a33c54d111262125f205fcd5f4dbf012a","datavalue":{"value":"supervisor synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q680540$2DA6199D-4640-4490-8FA8-1979C352277E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q680540$A492DE96-E6F3-4354-8002-5B5F4111B379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5ebc797a20b41b114bf017a4c468eb6accb676a","datavalue":{"value":"blocking","type":"string"},"datatype":"string"},"type":"statement","id":"Q680540$63AF1B64-7040-42D7-8B4E-B86E0C5333A8","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":"Q680540$EA952AC7-D0CD-4D8D-A014-14B3570BFA5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c76a22cee514b81f9abdb729137337d71a58db81","datavalue":{"value":"W2767526152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q680540$544A9FB2-8262-4E97-94D5-9C1DDC3A3390","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956690664b3e12f680b0245467bcc703a87c0ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$280A7DBB-30FD-4BE9-A750-242CEFBF591C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af8018e4b2238d1fb6a944b40d6c56807562f1c","datavalue":{"value":{"entity-type":"item","numeric-id":3190112,"id":"Q3190112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$85968204-E806-4083-A5AD-42AE1A23BFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad83e7e4ad67ba9e986298413ce53a7419226361","datavalue":{"value":{"entity-type":"item","numeric-id":839004,"id":"Q839004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$315C0F6B-0F4C-4600-99FD-0AB5E9887AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97c71a218bbd7486ac5ef037a57f93071d21a80","datavalue":{"value":{"entity-type":"item","numeric-id":5900680,"id":"Q5900680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$8F55AA5F-98E0-4D37-A1E5-F874B2369DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad980b0c427869fa135ec68b86e65c7071da1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$A2BDA2F1-43B7-43C0-8331-6521420C4B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$A0D25209-D93E-4A50-990F-C502C416EE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1aaaf33ee6d9e8666bb385e9469c582e059b0e1","datavalue":{"value":{"entity-type":"item","numeric-id":2851067,"id":"Q2851067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$C876FF13-3F84-48B1-83A6-B7ECFAC596BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1e9f406ce8aac5f3f053d9c470f08e640fe141","datavalue":{"value":{"entity-type":"item","numeric-id":4551159,"id":"Q4551159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$971D4419-BE00-4479-A909-0FF96AFC7205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92014d3795c28feb5e203f196cf367155589a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":845916,"id":"Q845916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$5543B44B-41C9-4851-86C5-EC5D3EDF017E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d99f6827cef19b3fe0f6c547f29f0cd3def9a2","datavalue":{"value":{"entity-type":"item","numeric-id":2965467,"id":"Q2965467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$A8DD1A82-679B-4DE8-BD9E-C85EE079D12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22addb5f3a51b2f17fcb41951064c05876e03255","datavalue":{"value":{"entity-type":"item","numeric-id":2851061,"id":"Q2851061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$EA11E7E4-8EFC-4051-ACE4-5239234634CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$884D6B30-87AB-43BD-811D-828741275885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$4BF1F0C7-E41D-419B-AC3C-5ADC95F0B53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c75468b64299a6c5da2128e0e91430f00371f3","datavalue":{"value":{"entity-type":"item","numeric-id":4518896,"id":"Q4518896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$D4E33A22-9C0C-4B31-8598-070A4DF16DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55eaafb175df6f659de6a280bf14e99ab00ef736","datavalue":{"value":{"entity-type":"item","numeric-id":5288513,"id":"Q5288513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$789F7CFA-5723-43B4-820A-C96638751379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24241c5cd8319359c076baa105175d2fc97d737a","datavalue":{"value":{"entity-type":"item","numeric-id":2980644,"id":"Q2980644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$B65D56E4-EA70-40E1-BFC0-525C44CDD4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5958707862f5d66dd817c5e097e39763d538f9","datavalue":{"value":{"entity-type":"item","numeric-id":5352815,"id":"Q5352815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$D5356094-5F3C-4B61-9576-0426ED873B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995208facfb54c505c1d38a5e256c3caf25bc346","datavalue":{"value":{"entity-type":"item","numeric-id":3427785,"id":"Q3427785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$513572D9-D48A-49F3-8658-7EC9F5D9A0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38aea52779d568eff70f5eaf6be7de16eb16180","datavalue":{"value":{"entity-type":"item","numeric-id":2350825,"id":"Q2350825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$8EA988D5-C869-43B8-B14D-0FE5E5306CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa39a662e48fbd9d5c2eef35e84e6739744cb2a","datavalue":{"value":{"entity-type":"item","numeric-id":4508635,"id":"Q4508635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$D199A3C5-F639-4602-BF2C-4A5BC1497E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1dc1c2dae98a465e7350a6b9e72254be8ec580","datavalue":{"value":{"entity-type":"item","numeric-id":4921501,"id":"Q4921501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$A23955BC-F832-4EE0-8CCC-B1D9B50BF19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a0019f7c2633a53f7f7de69404e1f9a2daeb38","datavalue":{"value":{"entity-type":"item","numeric-id":2983065,"id":"Q2983065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q680540$5E01807B-AD6F-4E78-91F0-B81EC77EF644","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45cfe4c1b452439ec9a904bf55d498d45b0ad211","datavalue":{"value":"10.1016/J.AUTOMATICA.2017.10.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q680540$B2CEF94F-1198-41FD-8E76-6584D858F6D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03056cd6fd8a0f8a8889d3e4530069103850bc5b","datavalue":{"value":{"entity-type":"item","numeric-id":4737126,"id":"Q4737126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753b941dc11891fd08446f306b941117d07444ce","datavalue":{"value":{"amount":"+0.7209267616271973","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":"Q680540$F1D15D86-2455-498D-B8FF-5E11A36B0995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b16465af8dd72c4d131d0440f7949c2904a6969","datavalue":{"value":{"entity-type":"item","numeric-id":2225108,"id":"Q2225108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d033f4dabe649b7da936dfe6f23bde43ac4582","datavalue":{"value":{"amount":"+0.7151071429252625","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":"Q680540$68F12888-F6A5-4626-B4A4-636030111552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37a362d214d39636c985928d616222826bb76f3","datavalue":{"value":{"entity-type":"item","numeric-id":2851071,"id":"Q2851071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524caafce372edb9457b25b42fefdad81980b588","datavalue":{"value":{"amount":"+0.7079612016677856","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":"Q680540$5A6C2BE3-CA13-4D57-9B4C-3810851F7329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db94289257b6c6449f35674ee6cf3b3e1d5c9196","datavalue":{"value":{"entity-type":"item","numeric-id":4817539,"id":"Q4817539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3c1ad3d8810ddb482183aa2ec0aa4547e0e725","datavalue":{"value":{"amount":"+0.7039422988891602","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":"Q680540$9A0DFCDC-CD07-4CE4-A9D8-6242E561856A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c593662561f1d9f007b40aa183893b0c369c0fba","datavalue":{"value":{"entity-type":"item","numeric-id":5902412,"id":"Q5902412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce801f920213d228540c791c15b33edccf32206f","datavalue":{"value":{"amount":"+0.6986681818962097","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":"Q680540$6C809307-890F-4B67-B39A-776C9771AF4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_reachability_analysis_and_maximally_permissive_entrance_control_for_globally_synchronized_templates"}}}}}