{"entities":{"Q5464765":{"pageid":7494324,"ns":120,"title":"Item:Q5464765","lastrevid":101022536,"modified":"2026-06-05T23:42:47Z","type":"item","id":"Q5464765","labels":{"en":{"language":"en","value":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195844"}},"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":"Q5464765$67D466DE-F155-49A9-A970-E0099F7D19FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"518a33111399269d84e36164dc496ae759dd9698","datavalue":{"value":{"text":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5464765$8A879C01-3834-4E4B-8064-44A6C15D82A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7de26d1c6e936593671ac95e3fa9933a7f93375a","datavalue":{"value":"1109.68514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464765$EC28F2AD-8AA4-4895-8C7B-1B1292B73C90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc56a665888edbdb25e0136023562aa55ec10a87","datavalue":{"value":{"entity-type":"item","numeric-id":636274,"id":"Q636274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464765$588472AC-84B4-4FA9-8BBE-3CC23EB1D3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"392ba870ee93db656604b2e42f487a3ed023c17c","datavalue":{"value":{"entity-type":"item","numeric-id":239120,"id":"Q239120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464765$8E39CE5D-C8C5-404F-A643-840B99D28701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464765$1B07FEF2-0A20-4975-8705-DF399CEC015E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c2bcfadfbd06ddb2a1f6b5803407638bbf00c31","datavalue":{"value":{"entity-type":"item","numeric-id":5464764,"id":"Q5464764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464765$09AC623C-6493-4083-8245-E464EF9F60D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5532f214cf43c102bd3290b91ab7949d2fec0","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464765$A74B0760-4D8E-4AE1-882C-679344A10627","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":"Q5464765$2F07773E-9CFF-4017-A397-716EBA310996","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60b2eb62fdf7b3b7b2bc9b0ca91bf4f9c9d26f4c","datavalue":{"value":{"time":"+2005-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5464765$1B2BFC88-A193-4196-9EBA-D2796FE2AE80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464765$A10B69F7-C1EC-46F0-AF02-D2A3C4BC5F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464765$1A32331F-B794-4DA8-ACA5-0CA811B271AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464765$736EF17D-44FC-49DF-8D86-D462C2955A2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df65f6c2e3bdef1ee22985e2269a3bb3eae331b1","datavalue":{"value":"2195844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464765$81BEAB2A-0805-49BE-85DC-28E30AA0F945","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":"Q5464765$4427D90A-FBB4-4016-B0D4-46ED305F0AFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9f6d3663d9350ce452c6a345cbed2b29f1e09bb","datavalue":{"value":"https://doi.org/10.1007/b100824","type":"string"},"datatype":"url"},"type":"statement","id":"Q5464765$2C1BED58-ECED-43D9-B75B-FB84B5196442","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb6b2f175e4f1bfd7bf63051cf02da2366c84597","datavalue":{"value":"W4206454994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464765$4DCB238B-EE25-4F4A-AB5A-3063DF79BD51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79a0fc4c3ed2c954679fe1139e81aad775732fc1","datavalue":{"value":"10.1007/B100824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464765$5D51E679-9378-4167-8B46-2ABB298E7E6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eac66686a22bc15a9b946fd50d5e28bf5620d365","datavalue":{"value":{"entity-type":"item","numeric-id":4536726,"id":"Q4536726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5198580bdf491c090384116855118092c0044ce9","datavalue":{"value":{"amount":"+0.87616146","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":"Q5464765$DAF9FBA1-3B55-4F51-9C6B-03D72514735E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2555092385310186321ae552b6ea9bd22a3360","datavalue":{"value":{"entity-type":"item","numeric-id":2747754,"id":"Q2747754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771d8a9d28179e94d80a126907ca047fcde02a6b","datavalue":{"value":{"amount":"+0.8687043","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":"Q5464765$400045D2-AD62-4421-A7AB-4A61E7B430D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab7f8552e21f052ff6f192f2dac9acfc95b1f03","datavalue":{"value":{"entity-type":"item","numeric-id":1205713,"id":"Q1205713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9ed3e4297351d01a6452f754d8a9124f622d2c","datavalue":{"value":{"amount":"+0.8620101","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":"Q5464765$D572B84A-D3D1-46D1-AB22-F9132FF4DF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a04b50cd4f97c7dbf3a7beb36f4302c86f22a98","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7dadf4e54c3a3b42e0965b64b90509ef769c87","datavalue":{"value":{"amount":"+0.8602077","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":"Q5464765$050398E8-58FB-4997-A18A-F606C754E5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a5096ac076cc3618a967193266d9e9a45c01fc","datavalue":{"value":{"entity-type":"item","numeric-id":3176188,"id":"Q3176188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab5ce5ba6b04cc9fbf37426b4941e0b5d1ec503","datavalue":{"value":{"amount":"+0.8589038","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":"Q5464765$E89EC41B-4E79-4E14-8E34-198911CBD8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a28b6b7c085de1268c54fb3fbb63b7e91fdd6faa","datavalue":{"value":{"entity-type":"item","numeric-id":3510843,"id":"Q3510843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff987187b2f1a6127a1d511a732ca2b18d38d9d6","datavalue":{"value":{"amount":"+0.8582939","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":"Q5464765$7837EA88-0254-4F26-A049-ABCCE9C51E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819b4c0407a803de87539aaaa3e2e2a19274b81c","datavalue":{"value":{"entity-type":"item","numeric-id":5060078,"id":"Q5060078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee7c8066719f18690ea32cbf0be5ab45d64d7bb","datavalue":{"value":{"amount":"+0.8578778","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":"Q5464765$63E18B2B-23AA-47C1-835C-A91D767909DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590f5a96738642a2cbf02c014772f15f04cb28b1","datavalue":{"value":{"entity-type":"item","numeric-id":3508540,"id":"Q3508540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afec1b54dc5ef60b729dc8df9af6499158da9327","datavalue":{"value":{"amount":"+0.85725284","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":"Q5464765$BAE8A99D-E75C-434D-A030-CCE50EEAF0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca5a4f18a59d4d4d18cfff9e925df9ca360218e","datavalue":{"value":{"entity-type":"item","numeric-id":4799291,"id":"Q4799291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827d9b106ca97f10354eeff3b721febf83fdbc3c","datavalue":{"value":{"amount":"+0.85645205","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":"Q5464765$8FE1EF1F-F579-40DA-8EBB-5E4A1BAEA6C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (scientific article; zbMATH DE number 2195844)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Techniques,_Modelling_and_Analysis_of_Timed_and_Fault-Tolerant_Systems_(scientific_article;_zbMATH_DE_number_2195844)"}}}}}