{"entities":{"Q3005130":{"pageid":3015854,"ns":120,"title":"Item:Q3005130","lastrevid":51262667,"modified":"2026-01-17T12:26:16Z","type":"item","id":"Q3005130","labels":{"en":{"language":"en","value":"Expressiveness of verifiable hierarchical clock systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5904596"}},"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":"Q3005130$CD466F65-54C5-45A0-98C9-AF16408776DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb7f9b0db46f8291e23867442e8b2327dc03a4db","datavalue":{"value":{"text":"Expressiveness of verifiable hierarchical clock systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3005130$424FF2D8-5732-477F-BAA1-0AEDEB0ED9D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37728908cae699e0037671bc92b256a5d6ad65e6","datavalue":{"value":"1222.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005130$49944599-992B-4B89-B8B7-9F3B2E2EA92C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8372b3b23e4e8b39563775c6acdfff241276f2be","datavalue":{"value":"10.1080/03081070701794876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005130$764BFBAF-C11E-4508-AA83-EB2A9915D811","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4093d7fd3e429248b369d2e11818279e99665895","datavalue":{"value":{"entity-type":"item","numeric-id":3005129,"id":"Q3005129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$F020BAE0-634E-4F3C-B94B-062594700055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67c8be8c00557a07f3c890749d8f01be2e70e2fa","datavalue":{"value":{"entity-type":"item","numeric-id":686331,"id":"Q686331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$FA87CA54-7D0E-48AE-B607-94D6DF1CD1E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c9a1df81e788c24e735b818d872bb7126f8abd9","datavalue":{"value":{"entity-type":"item","numeric-id":2711637,"id":"Q2711637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$6DBC455A-DC32-4B25-B398-3831684067FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c59c7414a462dce542bc3468dbc06343ce0474cb","datavalue":{"value":{"time":"+2011-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3005130$2DFB5990-D4AE-41EB-B040-ED52380E945B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005130$4EB15DA5-0F7B-4052-AF1B-A2EEC544A0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005130$FC33008C-95D3-4A35-B76C-AC9AFD8F9FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005130$CE97D796-C763-4D7B-81E9-BB43CFDEB497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005130$1AFB7C9F-A2CE-452C-A564-AC8DA3887940","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe8a537ba4df1ae1628d7e24142df87b170d363c","datavalue":{"value":"5904596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005130$04B46A7B-1D6E-40BC-AE0A-062C9E263175","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4a43732782df6000b81101a98850a5b28f263d","datavalue":{"value":"general dynamical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005130$3C423CDD-AE0B-4E6D-946F-BE8B781F00EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c9b3193827b2586ac63a9e6fdae2d834a7b932","datavalue":{"value":"hierarchical I/O clock system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005130$A3D82DB4-1620-497F-A99C-8262C833466B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29848e0ee6bc83a69684eb918b5f048a075d83d7","datavalue":{"value":"DEVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005130$C0575200-BDD0-414B-8B91-7F68A8B411B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005130$388BE7FA-B4E3-4316-A6DC-8CF317CAC46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3005130$42DFE7AC-98BE-4281-AA68-83329155B135","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7065da34582d9f92b7f86f4002a6629cdf0b0436","datavalue":{"value":{"entity-type":"item","numeric-id":15866,"id":"Q15866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$1EE073F4-AC27-4474-8A1A-EAABA65A614E","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":"Q3005130$DD8E438E-761C-4F40-B4D1-4A8899DC76E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5f96346c635212013514ee420f953535e351463","datavalue":{"value":"https://doi.org/10.1080/03081070701794876","type":"string"},"datatype":"url"},"type":"statement","id":"Q3005130$FC0C67D7-5E8F-4EC1-A176-101109957CE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a2bf98f00a4e82fb22837a34e4c267c26af8aa0","datavalue":{"value":"W2103499994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3005130$EDFC2FBD-4066-45C4-B22E-E65D88DEC7B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$3F007CDF-D4CC-4B08-AB88-7E5DE5B673FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$52C3DEB6-417F-46E7-92DE-DC548692FA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0164a80bb999b4a9904d879cbef8fbd41ab6e3","datavalue":{"value":{"entity-type":"item","numeric-id":4652292,"id":"Q4652292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$7F191A9F-E0CF-4C90-A663-C6967D7A82C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60489effc14b6abcf6fab6fb1342fb8d3685ab95","datavalue":{"value":{"entity-type":"item","numeric-id":3986740,"id":"Q3986740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$8F435A63-4BB5-4E90-B8AB-66BFD2D8FE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f607a194b538da404bbed534bcafe45e0168634","datavalue":{"value":{"entity-type":"item","numeric-id":686327,"id":"Q686327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$84D187AE-5050-4436-AFBF-E0C7AFE00BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$99450173-60B8-400C-8216-2D8144383E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6dd4d882f76bc73bbdc3fd690128cb347d45b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4220896,"id":"Q4220896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$718C567A-8260-4862-AA50-612E536688F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6385178b6b76aa86498a0911997c874551247bf","datavalue":{"value":{"entity-type":"item","numeric-id":4122858,"id":"Q4122858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$EDDA0292-9726-4883-A360-BBAE074F0E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa01750ddc8778b7449075b61c7a86fef9167941","datavalue":{"value":{"entity-type":"item","numeric-id":3681970,"id":"Q3681970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$7B0330B5-B26D-4464-BA1F-9A5B227CA4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db91cdc14c019a730315c39ee815a310db728b79","datavalue":{"value":{"entity-type":"item","numeric-id":3996495,"id":"Q3996495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3005130$24F43CBE-47F5-4838-8EC3-062D3C43F181","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7d8a33f394e86773f3891a98f7a9eec9fae4ce","datavalue":{"value":{"entity-type":"item","numeric-id":3006716,"id":"Q3006716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1d401fd953ec6ec80eb4fed1f9e746b4f3e5ed","datavalue":{"value":{"amount":"+0.7366155982017517","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":"Q3005130$22ECC0B7-610D-4F5E-9616-EF00EB3992AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a83ff6430af7c63d53022e1ea6c3e0c576b7977d","datavalue":{"value":{"entity-type":"item","numeric-id":4645197,"id":"Q4645197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0344162590fd1b3fd6ed01cce3ef7255949cd3c8","datavalue":{"value":{"amount":"+0.7349374890327454","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":"Q3005130$946C6338-ACD1-41A5-9ACC-E5258571558E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e1b12bd3f32325d164950b039743f76cb13716","datavalue":{"value":{"entity-type":"item","numeric-id":4939602,"id":"Q4939602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33bcee2f36cc13e35534241046a4d2ddf2f28f4","datavalue":{"value":{"amount":"+0.7348769307136536","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":"Q3005130$4BBFA411-4BAB-429B-B3C1-E01C7CD06F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01a7320bc48debbc1344674610c00a2e134434e9","datavalue":{"value":{"entity-type":"item","numeric-id":4020636,"id":"Q4020636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"984ab27de33f760ed0da4eb4af675435a5c88584","datavalue":{"value":{"amount":"+0.7330815196037292","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":"Q3005130$299743B0-32B0-4944-83F8-791AE78C4EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe065525bfc4ee2a2c7ff8a421b0b9909ebe1823","datavalue":{"value":{"entity-type":"item","numeric-id":3002201,"id":"Q3002201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e5ee76524649b819804fdf82cd458cee153dce","datavalue":{"value":{"amount":"+0.7311732769012451","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":"Q3005130$4A6909B4-3416-497A-B43D-EB91882380DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3005130","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3005130"}}}}}