{"entities":{"Q6561342":{"pageid":14172497,"ns":120,"title":"Item:Q6561342","lastrevid":42349273,"modified":"2025-06-12T08:37:49Z","type":"item","id":"Q6561342","labels":{"en":{"language":"en","value":"An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7870773"}},"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":"Q6561342$950EB0FF-AE3F-4781-852D-19096C08B589","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"421e5ddf7676db3868bf40eb8b93fec7f3bdb1ca","datavalue":{"value":{"text":"An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6561342$8BF2827E-DBC7-4587-B179-9CADC95B6296","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f5a4849b6d2992bce056aee0e6b302a0ae665dc","datavalue":{"value":{"entity-type":"item","numeric-id":312651,"id":"Q312651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$F95091F3-1959-4C2C-A8FF-41F91A2A4A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d80cc90e4177e64d10862621f6d70af7c5a84a1","datavalue":{"value":{"entity-type":"item","numeric-id":299201,"id":"Q299201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$35EF8390-C539-4FB6-9B5A-471AA6DD92E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"647a97c372a5d4c8dcce8ebf8c15a7dcfc380752","datavalue":{"value":{"entity-type":"item","numeric-id":470017,"id":"Q470017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$F9F7B0E3-9F2F-4877-939E-0E246DDA4D22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$B37B2FF1-5FC7-4929-8637-83BD9B56839A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"810cbb80b3532059cbf7c621b480d82d1f9f012b","datavalue":{"value":{"time":"+2024-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6561342$22CCBB01-4177-4FF3-9577-7C7C6B3D14E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561342$6FEA873E-48C2-4E9C-8A84-24E29191F2AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b128252da6f4148e3cd780a96acc8d3b996bf1b","datavalue":{"value":"7870773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561342$AB65B157-8621-4F3C-955A-589A268E6FF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2824ee46ef8de49d894522b80ca1ae46ca60ef83","datavalue":{"value":"cyber-physical systems (CPS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561342$D658CEA2-BE75-433E-95CF-09DE57B9D0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86807b9fd79145a6e27db0f6f1532fba342ba890","datavalue":{"value":"shared variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561342$D542CE36-304B-4ED1-90E5-AE683584042A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561342$2E76D4F9-957C-467E-9D7A-6C0A46EE87C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561342$57D2903D-2A34-45ED-A155-168D48A1075B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561342$CF6514FB-DD15-4B72-AFE9-3D7F1F050DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c28b8ea3a29a459e44f40d76e6774707e8937474","datavalue":{"value":"real-time maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561342$7CF51E81-1616-4A0A-BD07-766E5C19A14E","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":"Q6561342$3BAD537F-5447-4FD6-B23C-7111E3B31F91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87999e3551780bee961deb52c7cba971813b9259","datavalue":{"value":{"entity-type":"item","numeric-id":1708714,"id":"Q1708714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$D848370D-6D80-4E18-8CE3-2AB05C0033C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f17343293c82352a41b45771a8f5da36d8ea202","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$1D1C1119-EE25-4C03-AAD9-FD79F5DE40CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e451b0339876f0a92875e49346cdc0622e878095","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$48A3B4DA-E6A4-44D0-9C35-876514CD219E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$EF422972-E525-4CBE-A298-89357D3801D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720f52ab783e3305f6a4289711e5737a68051525","datavalue":{"value":{"entity-type":"item","numeric-id":1615001,"id":"Q1615001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$07C20126-2418-4D7F-AA56-09A99AC249C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$BCA954C5-092E-450E-A146-15AEC1E79CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"453daacb777f232e97fa5ed35987fc03ad4920c8","datavalue":{"value":{"entity-type":"item","numeric-id":5045379,"id":"Q5045379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$9BA589F5-3F56-4C94-881F-35C957393D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$1F7452C9-04E9-41FB-A9AF-18087B2EFB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c621d197fc0bb91486b06a843570b23ebff94e","datavalue":{"value":{"entity-type":"item","numeric-id":903516,"id":"Q903516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$1D9BD06E-5F48-42E8-BB63-72DAD74F5FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948883497a568c9a6d165b4cad78823507f2746d","datavalue":{"value":{"entity-type":"item","numeric-id":1941888,"id":"Q1941888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$66328B01-3DBE-461D-9492-D474B9B3B00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70cac0e778201280fbfe95c4bd2ac325b900d3","datavalue":{"value":{"entity-type":"item","numeric-id":1798665,"id":"Q1798665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$1B7262B1-4B53-494C-8A78-B74C70476BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f21ed24ea2d883ca70cb5f570bbcde52b53f24","datavalue":{"value":{"entity-type":"item","numeric-id":2198135,"id":"Q2198135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$1A5CC7B5-4EE9-4E3B-AE53-D450C6C0D1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$DF90D96E-C61D-408B-B49D-5648A9EF012E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$E1659208-79A3-4D0E-B0E2-E741EA82BA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$90CB87C0-C8E1-41E8-B8C1-B7A9BB1F6126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$C721A895-A31E-470D-9F9E-85AAE3C15783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3fbc226d62731020dc0ca64fe7600f26430f11","datavalue":{"value":{"entity-type":"item","numeric-id":3541700,"id":"Q3541700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$A743643D-890E-4967-A61F-0020D1A3B567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561342$F36155AD-6DD9-405F-92FB-894946FABD17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34b005a6ca9a09167dd05117bdd1e294fca65bf9","datavalue":{"value":"10.1016/J.JLAMP.2024.100973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561342$D46AA09A-E9A6-41F8-BD96-FF2773C09D92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6561342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6561342"}}}}}