{"entities":{"Q4902319":{"pageid":6931898,"ns":120,"title":"Item:Q4902319","lastrevid":91912118,"modified":"2026-06-05T00:23:21Z","type":"item","id":"Q4902319","labels":{"en":{"language":"en","value":"On conditions for modular verification in systems of synchronising components"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6125410"}},"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":"Q4902319$FDA30018-3483-4E15-AA37-7598C93F74EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d83974cf0a8320bd4a593f2dcc3252d6c56ee831","datavalue":{"value":{"text":"On Conditions for Modular Verification in Systems of Synchronising Components","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4902319$BEB21A7F-E3D3-43CB-A6EA-A2A11335380D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e9ff9c88062e582df0604a82459c7ccb1c90da4","datavalue":{"value":"1279.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902319$E58BFCC7-638E-4AD5-8871-A0D7DA17B444","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b52f5e2aed5d3b28856950dafd7ba41aa29b0f55","datavalue":{"value":"10.3233/FI-2012-761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902319$6BF6691B-4252-4A64-BC6A-06C566C14106","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"553154e9b0d82eb905b234ed1c938eab4d734a33","datavalue":{"value":{"entity-type":"item","numeric-id":4621145,"id":"Q4621145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902319$A4DB45AF-821C-4209-B3DE-4CCCA5963D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"986210a7788bf135576802eb9fb5ade52a93410d","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902319$4218C040-6A6B-46A2-9F3B-04D128682C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479d1038b6b48ff3b38084f7171d92adb9c96ad","datavalue":{"value":{"entity-type":"item","numeric-id":256971,"id":"Q256971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902319$0AC558F0-0A50-4F6F-A50D-82E6137BDF87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902319$09418B4E-49DF-403F-AD67-D8C7D84BBF91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7cc0eaf9bc686bec2cdab83ca170990c285c570","datavalue":{"value":{"time":"+2013-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4902319$B8BC0F02-1A76-4331-8C42-671A53657A8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902319$B4DD7362-1B6F-41D7-A147-A2D93D3EA238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902319$8C679D7A-A605-4829-ACCF-68913442E7A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edafeba9468be6b73617bdeceb33592d2da0c43e","datavalue":{"value":"6125410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902319$E4F1220A-9C6A-488F-84B4-D18FED914A76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642fb89fab960669bf77c30a5366e85b7fb02243","datavalue":{"value":"modular verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902319$10BB906F-834D-43DD-A2F3-4279B4F79CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda071691da20b97b2d41968cfdda63371c5bc39","datavalue":{"value":"synchronisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902319$8A0DD28B-E635-493C-A44B-1446F98C53E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902319$ED3633B3-3C40-4B18-8143-4451A87A031F","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":"Q4902319$46521767-8DFB-462D-ADA0-E5AB0BB74C64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de71b8a87d2582cf7c01210699eb1bb2b29c7b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5479156,"id":"Q5479156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46de1feea6a06121c6dc73bfb0a747d1c393d0a7","datavalue":{"value":{"amount":"+0.7557172179222107","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":"Q4902319$598D4CC6-4D97-43DE-94CE-C30B6CA3050B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db497fae044582ff5561bf1404b03abd1fdc619b","datavalue":{"value":{"entity-type":"item","numeric-id":4621146,"id":"Q4621146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78cd1b14549b9b599b9c8a130cbbe7f2ecadeb84","datavalue":{"value":{"amount":"+0.7410597205162048","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":"Q4902319$43AE2273-8435-4F94-95AC-8B5943254E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"633220de4379e7b12f508dcb947e407b689996cc","datavalue":{"value":{"entity-type":"item","numeric-id":4471931,"id":"Q4471931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3729aedcea1d1431c9b2c4412cbeba1f5d5b34a","datavalue":{"value":{"amount":"+0.7353526949882507","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":"Q4902319$F472AB67-06F4-46C7-AE0A-0B279352A074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20532c49d9d4d3ae8f294148a0e0a60cc9c87685","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0f2fb083849d1263516ecbc9833fce99b5877fb","datavalue":{"value":{"amount":"+0.7346477508544922","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":"Q4902319$2E61D0EF-3B9A-4F28-9A1F-45BF77302208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6882b79013d56774d5b62d9efa037be9974b73d","datavalue":{"value":{"entity-type":"item","numeric-id":5754519,"id":"Q5754519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e388a687c7280726d45b6b5abaf1d0605e71ace1","datavalue":{"value":{"amount":"+0.7222231030464172","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":"Q4902319$F7AB9EC9-2682-4C60-8FD4-868FA14F686E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On conditions for modular verification in systems of synchronising components","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_conditions_for_modular_verification_in_systems_of_synchronising_components"}}}}}