{"entities":{"Q6091203":{"pageid":13225510,"ns":120,"title":"Item:Q6091203","lastrevid":58672854,"modified":"2026-04-06T06:46:42Z","type":"item","id":"Q6091203","labels":{"en":{"language":"en","value":"Quantitative safety and liveness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770345"}},"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":"Q6091203$C07BC5FD-69CE-43A2-BBE9-0F0CC7FFDA52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e50bc852fed9fc6c4211ef668b3df27456ffb83f","datavalue":{"value":{"text":"Quantitative safety and liveness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091203$FB79A041-A241-4285-8674-8ED74F453B51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f70579ac97f42b081cc1fc893dd824786bbea7e3","datavalue":{"value":"10.1007/978-3-031-30829-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091203$4436E188-5BFC-4D5F-B4CF-E327DACC7992","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$28DF0824-BA33-4E02-BAF8-055E34786F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402c576d6928e11e18aec7313e2c3f75f248efe","datavalue":{"value":{"entity-type":"item","numeric-id":1622975,"id":"Q1622975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$04945024-A83F-4CC6-A04C-D0C8C163C7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd41981bb33d27f4b5f7dc62526f1d301c165c38","datavalue":{"value":{"entity-type":"item","numeric-id":5145313,"id":"Q5145313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$B6CB82C8-AD7B-4A01-B02C-60B38A06004E","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":"Q6091203$60904B9D-4860-4A0A-902D-EA77757E5338","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091203$E379107B-8FE2-4F7E-8828-49C4C6A708B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b934d38aef53b6f0e947c1d3bc2e8156ea56d1df","datavalue":{"value":"https://arxiv.org/abs/2301.11175","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091203$084E1B46-D9F7-4B62-9EE5-3399EE93F878","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091203$E8877A34-2EA2-4826-95D2-B7A96F601972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091203$7007D16E-AA95-4CA5-A4AD-E1350E5605EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"295fbf6a716cdb9b650f12250930d0279c336a09","datavalue":{"value":"7770345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091203$7EC66475-F32E-4B74-A750-1B133C2F2337","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":"Q6091203$1B7B8701-DD95-4C6B-92DF-2957A3C352D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b13a58813c0de94b33769112ddc206faeff818","datavalue":{"value":{"entity-type":"item","numeric-id":2575738,"id":"Q2575738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$CD25A971-557E-4AEB-8C0E-DB434A13F24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65450edf6b4d53f17dd2e02467fb7cf435e4edb","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$29603344-A2CA-4EE9-9CCE-AC3C7940E1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f175b088b93e1a6a950db7cb9ca00f422a67b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449238,"id":"Q4449238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$6CA99A6F-BFF5-4157-A0D5-E7D14964CD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$DDC73372-8AEA-4C52-804B-9546E2D96B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$800484DD-DF5C-44AB-A258-2EC03E5E194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe06eda54f4cd3e438d9084b4f31164efa247afb","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$054D2402-B6CA-4CA9-B66B-8D06B1FF59CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6b203ccee89cba0fc5313f7a0f776d40ce0008","datavalue":{"value":{"entity-type":"item","numeric-id":3636858,"id":"Q3636858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$28F827CF-BD86-4F21-B576-B082B76F2B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389f8bb6e034f5dba5389bf7419cef429b2c3164","datavalue":{"value":{"entity-type":"item","numeric-id":3176385,"id":"Q3176385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$9E28B03D-D157-4560-B21C-9A1DDD63B035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb69548772c3838bfb96f1fbc045e23fb4ea6f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2946736,"id":"Q2946736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$599B1124-132A-4B6F-B27D-C54DD6344778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0fdfab104458f4bcfa2d1ea308d347ddd936f7","datavalue":{"value":{"entity-type":"item","numeric-id":2957513,"id":"Q2957513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$3259A4FB-7C16-47FF-8A5A-1634143499F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35d09845461d95fc964547aa94b0e6fb4fe2708","datavalue":{"value":{"entity-type":"item","numeric-id":5404475,"id":"Q5404475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$58B899A7-3F7A-460F-8A67-55D2A5B7A4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826cefc4038f541c64344fa6291ac9c6b70161a0","datavalue":{"value":{"entity-type":"item","numeric-id":2413482,"id":"Q2413482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$D52DD472-17A3-43AD-AE41-C752F09842E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae16952a7c24ccc9fcb723a162581a6a06b64568","datavalue":{"value":{"entity-type":"item","numeric-id":764284,"id":"Q764284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$12E9F9B0-4DE7-4F62-A43A-4776A8EBF895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad04317a36278ae9148affce2927c4fb4a993e57","datavalue":{"value":{"entity-type":"item","numeric-id":2946611,"id":"Q2946611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$80CE89B4-1348-47E2-B804-2F64C051DD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7400e236b0c59b1eafb85bf5a21cf56a3592d6","datavalue":{"value":{"entity-type":"item","numeric-id":5111617,"id":"Q5111617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$CB5CF69E-E6E2-4163-B61D-5F9C8BA3204D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4840ec9bfcdbcf4ba548f300aa07cb13b368e81b","datavalue":{"value":{"entity-type":"item","numeric-id":2937791,"id":"Q2937791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$3D0FFFF9-CA2C-4662-8ED0-26161662CA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9625de7b884f4d59f435c8abb0140d4a07ae34f3","datavalue":{"value":{"entity-type":"item","numeric-id":2453109,"id":"Q2453109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$DBA1247B-111A-4D5B-A29D-5CFE27459A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d133166cdf3d9dddb405568f98f9772b2846bf","datavalue":{"value":{"entity-type":"item","numeric-id":1629750,"id":"Q1629750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$D25E5BAA-0B82-4BFE-B04F-21F43ED65BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7eb70501dcd44b855f9c774df66a0b42c18770d","datavalue":{"value":{"entity-type":"item","numeric-id":5874206,"id":"Q5874206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$ED2D367E-438F-41E1-950D-1B59783D07BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e03af085bd4a2d5f9c8fbabf297e8c59be9420","datavalue":{"value":{"entity-type":"item","numeric-id":5145314,"id":"Q5145314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$46388DB2-FC28-4BD5-B7AA-2505E23BE0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36919fe60b6cd72a4fffe4adeb8fc314f00cf8c","datavalue":{"value":{"entity-type":"item","numeric-id":4472252,"id":"Q4472252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$DF42C622-8C56-4C7B-85D5-66A52E32A92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650e349bc4be547383c5b3a42ea28fd29e3c0b8b","datavalue":{"value":{"entity-type":"item","numeric-id":2842114,"id":"Q2842114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$0A06B838-D91B-422D-9230-EA59C11B80DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c53f2e9418e1aedae9e593df96feacb8ecb647","datavalue":{"value":{"entity-type":"item","numeric-id":4635640,"id":"Q4635640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$064BE9E2-76AD-44F4-8CB8-29A90EE84C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$90DDC6C9-6DB2-4B5F-AFA1-7EFFD8D53EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$FB6C3D9B-5149-42E0-A287-E492DB48E295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f330d99f36f3980011c2b242bffc1ecc1eb86a","datavalue":{"value":{"entity-type":"item","numeric-id":4426372,"id":"Q4426372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$A23DC9BF-7DC7-4CCF-87E3-B723C7A83693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd798b17d7a903a61bae5d0b8f14c4d9cc00d32","datavalue":{"value":{"entity-type":"item","numeric-id":2282319,"id":"Q2282319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$0715042F-F80E-41CB-B08A-42075A00F716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a4c5050a494dd7e6d32ff104f203d913557bb7","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$DD69159A-F6B5-4C83-B2D4-D4E4AEBAF036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea31821e7bdf8d9aaf3aa770799c326c8866240f","datavalue":{"value":{"entity-type":"item","numeric-id":6165815,"id":"Q6165815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$CE41581B-EF80-4134-B78A-A9C5E1D812DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$4E26D1EE-333D-416D-B87B-036BA83A15CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39485e068db83ea87e9e8e4f1bcd905244f225d2","datavalue":{"value":{"entity-type":"item","numeric-id":710680,"id":"Q710680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$2B669BF4-ABE1-47EE-A3F4-B2E80EF8E993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0eacd49273d726cf42a00cc50f9a6274f108311","datavalue":{"value":{"entity-type":"item","numeric-id":5166685,"id":"Q5166685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$8792502E-EF75-4C74-9CA7-207E58EB9104","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091203$9CC1EFDD-9FC1-4C9D-8359-DCD46DEC7F4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6091203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6091203"}}}}}