{"entities":{"Q5035705":{"pageid":7065282,"ns":120,"title":"Item:Q5035705","lastrevid":54232109,"modified":"2026-01-26T12:36:08Z","type":"item","id":"Q5035705","labels":{"en":{"language":"en","value":"Automated safety analysis by minimal path set detection for multi-domain object-oriented models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7479208"}},"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":"Q5035705$2A06154D-9A11-4CA8-8CFD-9D50279FEE7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b39f166ccb7afa02f2e0af100b119e24b4a4e9a","datavalue":{"value":"1485.93419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5035705$9D870E54-F802-4516-9EA9-0416265CAB67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09642d8e9f3ff4874c78fcc73844384ec7297144","datavalue":{"value":"10.1080/13873954.2017.1298624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5035705$95C33D0E-F7C5-4E3F-9480-7E3BDE371CFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe94e91d8180f3dca4ae38c5f408a6345a1d411f","datavalue":{"value":{"entity-type":"item","numeric-id":5035704,"id":"Q5035704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5035705$2A8EEC61-DAC1-4481-A333-D032625F136D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47ee190546176fc30e7811c0669cd81940200191","datavalue":{"value":{"time":"+2022-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5035705$B079867E-DBD2-4A8A-BD9D-8BCB5135C26A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5035705$072BB5A2-9E04-4606-95FD-B9C28B38FCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dfe6507b35037bd248214e736cd1cc21eb57959f","datavalue":{"value":"93-10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5035705$23F2440F-9F95-4165-A44A-2259213D0497","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8e96c60bc12915f70ba93d7d1ef1c5685a634ed","datavalue":{"value":"7479208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5035705$02E594D9-0406-4739-9C7D-FB7FF4367E4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0de56769e006031b317717362a6cd5ba76e6acb","datavalue":{"value":"modelling and simulation of failures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5035705$DEB43DD3-B9A3-4D11-9368-583F2537477F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"590c50445c6e08432517ae4cfcfff8104466b25f","datavalue":{"value":"state space simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5035705$8C9B1892-B848-4330-836A-2845F1BD9A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3b495ba8c3c3bf5babb1d3213a6c0bf58078e5","datavalue":{"value":"graph algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5035705$AB70780E-888C-4334-9845-D815395C0B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52bf3b6e4060ec839802b2310b06ceea5baa3f65","datavalue":{"value":"minimal path set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5035705$473D0A8B-6BC7-4517-B8AC-F335E3748998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef5e33a51611d03213cab41499ce6accf0bc8886","datavalue":{"value":"safety analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5035705$A741D1FA-BA2D-42A9-9895-B3F190262A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"430a68d3df82e1d3df1da0c708141bfabce4641f","datavalue":{"value":"failure probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5035705$524E9FFB-0D4E-45F5-8246-8E86273C4241","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86eea4c0a78eb441960cb057a2e4067a44b483f1","datavalue":{"value":{"entity-type":"item","numeric-id":16531,"id":"Q16531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5035705$670D5876-6325-42A3-9E07-A639DA5DDFF2","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":"Q5035705$FB93F025-F40A-4423-B5B8-498689952168","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d62e967816953cecad41268e715794a55d56323d","datavalue":{"value":{"entity-type":"item","numeric-id":3577833,"id":"Q3577833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5035705$E7CB17F4-77A5-433A-BB52-5C3254797352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5035705$DCB34A68-B7A6-4386-89C1-CBC6867CACC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d74500881dc546f80fafbd8c68de3871f08829","datavalue":{"value":{"entity-type":"item","numeric-id":3540081,"id":"Q3540081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be968fea67f4f162d07e8f3f7fd0a761b27f6888","datavalue":{"value":{"amount":"+0.7102805972099304","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":"Q5035705$2F721630-0980-4838-97D3-CF1623B383AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee0b912d4c995bad8e04d53eb270777d9bb7fdd3","datavalue":{"value":{"entity-type":"item","numeric-id":5151038,"id":"Q5151038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425fa4c58b86a0498434250ddbcf0c9fbe2981fa","datavalue":{"value":{"amount":"+0.671635627746582","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":"Q5035705$BE7E21C2-9428-4B62-9B97-5854B45FF600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6efe0901b89baab0239dcd583be69e900114e5","datavalue":{"value":{"entity-type":"item","numeric-id":2026377,"id":"Q2026377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ef0030848f939fda3fdc033423a0e4761239ed","datavalue":{"value":{"amount":"+0.6715134382247925","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":"Q5035705$6825F7E1-B72B-4745-9839-5AFCCA5932AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786ef836313095dcac7d19104784f9dd224fc7c7","datavalue":{"value":{"entity-type":"item","numeric-id":3510794,"id":"Q3510794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc2f1816d725c044a475af2129f83816f13a5b80","datavalue":{"value":{"amount":"+0.6679447293281555","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":"Q5035705$02C8DF16-3CD9-4834-B4D0-BD91291179BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c409738a27f1fa2ac2578cf03d7de5d4761091","datavalue":{"value":{"entity-type":"item","numeric-id":4444707,"id":"Q4444707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f624cdfbc0a5baf3bd761275efe6147cc77d170","datavalue":{"value":{"amount":"+0.6641910076141357","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":"Q5035705$E4F5DA60-31C7-4490-9A2F-98CE4637326B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5035705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5035705"}}}}}