{"entities":{"Q5045457":{"pageid":7075034,"ns":120,"title":"Item:Q5045457","lastrevid":40892050,"modified":"2025-04-13T20:24:28Z","type":"item","id":"Q5045457","labels":{"en":{"language":"en","value":"Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612649"}},"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":"Q5045457$37A64F6D-DD5E-4C9A-BD63-5743EF23CA73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7fc78549057f4235f935b4cfb17c5e6ce50ec96","datavalue":{"value":{"text":"Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5045457$0E6BF958-0ACD-4414-8CA0-E2F5BB710894","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b5ff10ea287ccc41d2e6b43e97f278fa786e586","datavalue":{"value":"1498.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045457$20502853-83C7-4EC0-B055-DFE59D03ED8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cb7fda032b89f301e6988acd186573911ede964","datavalue":{"value":"10.1007/978-3-319-70848-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045457$566DF80D-BFCE-4835-B524-0E6FA8F6BD7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa92b1690c09f5610954667c6a8f6226425fbef2","datavalue":{"value":{"entity-type":"item","numeric-id":5045456,"id":"Q5045456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045457$CAB5B20F-509D-4BCE-AA6F-E60F52EE9DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c764ac21e0f0934969acd440140a93a6d4c985","datavalue":{"value":{"entity-type":"item","numeric-id":1383356,"id":"Q1383356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045457$04C81E81-187B-4C84-887C-D7CA1DDC3E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95e9100254d03da2193ebcb0473e06193cec5626","datavalue":{"value":{"entity-type":"item","numeric-id":1662268,"id":"Q1662268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045457$FA303CD1-B03F-4ACE-A612-36959E71CE1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045457$C2CF471A-1FAF-42C7-92DB-A97A6D530A62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5045457$258BB71C-3212-47F2-A20C-21DD62A40570","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045457$EF217497-3444-44C8-A417-46D26ABC3048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045457$333893AC-4BB3-4A76-A721-3C4CB1253DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045457$6274F3BB-6669-4E6A-BFBF-25BA8D5F03EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf6b3ef4c76ccae00382ea3bae5b2b00adff042a","datavalue":{"value":"7612649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045457$4577C2EA-A7B1-4316-A737-2B79609EE86F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836c1cdbc0b9ddc8b99c5d1f428d818e5063db30","datavalue":{"value":"abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045457$A6E9609F-FA28-438A-9520-BE8F1AA169D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f14133dd4ea158dcc6ab2b1767caf1e666f48846","datavalue":{"value":"system-theoretic process analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045457$8879F3FC-44AC-4626-8B2D-244A28C7DBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045457$3CB9EFF1-149A-4C47-BBEE-B3D4032CC20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f5cd91049aafbb7429741190c883a73bd6e5dee","datavalue":{"value":"validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045457$AD69AC2C-510C-4E3F-B691-BB4160013799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5045457$2659FEBE-D3A6-4944-9DF5-55972874AB4B","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":"Q5045457$F0EC1E02-4194-4C8B-91ED-F974F7BDB04F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a143fde3cf0c19055f24b7f8059c69e4bf1e0ddd","datavalue":{"value":"https://doi.org/10.1007/978-3-319-70848-5_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5045457$33997625-81EF-4DF8-B624-33AA74961274","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c8ffeaf52dc5ef7fa072cca1dcb03e636559cb0","datavalue":{"value":"W2768006048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045457$37E27710-FEDB-4D28-8AB7-3D15111D4B44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eea83c1865d421d14ff05a902d6c5804528fbe8","datavalue":{"value":{"entity-type":"item","numeric-id":3557669,"id":"Q3557669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e993130bd0c949004dc67a3e25728880f57df7","datavalue":{"value":{"amount":"+0.8950756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045457$F83757A0-E369-4110-8B92-87236EE6AD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c0f7b41c6a7b65d091de193f68d16b18d4c2c5","datavalue":{"value":{"entity-type":"item","numeric-id":1772776,"id":"Q1772776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f48cb89e6a7532f127bbb529394181e5d46038","datavalue":{"value":{"amount":"+0.8729339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045457$74A3495F-1891-4EC7-B688-3411B81FEBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"575c7998c4834ccdee3a00302c420da471696eea","datavalue":{"value":{"entity-type":"item","numeric-id":2753698,"id":"Q2753698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3341220fc13ac30d62e95019a6414fbbc7ea7183","datavalue":{"value":{"amount":"+0.8565448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045457$FF83958A-AC6F-4070-B772-A2CE155149D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747262510cb6b2d1e886a4e3f4a91d7ce069382a","datavalue":{"value":{"entity-type":"item","numeric-id":4818811,"id":"Q4818811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8fb3fac046abc6c391885aaeac41ee2e8fe1a0","datavalue":{"value":{"amount":"+0.8557272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045457$99E42E53-ECF1-49D6-978F-1D60B90AEE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14027c8da4021e8f1223e4509afd0d3c9a6cbf04","datavalue":{"value":{"entity-type":"item","numeric-id":5881450,"id":"Q5881450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abf584c06f9e7bc30708c66fede9119d154c73e","datavalue":{"value":{"amount":"+0.8550557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045457$2C0AFBB2-F5D6-4577-80F3-9C0B586BF056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8aaf6cd40d4afaabbe1e4ec2041e6cbaf13e4bd","datavalue":{"value":{"entity-type":"item","numeric-id":4564162,"id":"Q4564162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8377bf4fed48e3efbb135604c8fcff4552411dd","datavalue":{"value":{"amount":"+0.8528464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045457$F571342F-A382-4542-A76B-04F597D71A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1195558c560301d44336ee3c7e698d5b21c56cf","datavalue":{"value":{"entity-type":"item","numeric-id":2753716,"id":"Q2753716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21900118a25a878f475925497d71b9b1a74ef37e","datavalue":{"value":{"amount":"+0.8525636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5045457$931D0891-7D1C-4F42-B7C3-3F3D129F6929","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5045457","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5045457"}}}}}