{"entities":{"Q3122481":{"pageid":3133197,"ns":120,"title":"Item:Q3122481","lastrevid":47423986,"modified":"2026-01-01T17:15:31Z","type":"item","id":"Q3122481","labels":{"en":{"language":"en","value":"The Retiming Lemma: A simple proof and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984788"}},"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":"Q3122481$4C43698C-040E-42D4-B7EB-A03E018DE44C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e8d31b4df937acdc69e5256074bd09a5d2d107e","datavalue":{"value":{"text":"The Retiming Lemma: A simple proof and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3122481$71B1F2D5-E69A-4D17-B9A8-A9E52E1858EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ca081e635f462870eef0d095dabe04b13f3bc9c","datavalue":{"value":"0875.94142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3122481$66E75FCC-5EA1-402A-8921-BD3C4565B83F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3278d397e334d5cf2393d033228b97bfd4709b56","datavalue":{"value":"10.1016/0167-9260(95)00021-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3122481$7F6FEBB5-6992-484D-9332-1982C730F2E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d078e4269e455abce8030266fa648393eb4d0ca","datavalue":{"value":{"entity-type":"item","numeric-id":391266,"id":"Q391266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3122481$B50A9313-28FA-48BD-8BD3-EBF01BB5F203","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"addc2942fedafeb72529951bfc3e796c4ffe6a9a","datavalue":{"value":{"entity-type":"item","numeric-id":2734603,"id":"Q2734603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3122481$5B435965-3DE5-4DAD-A7AB-E6BE6185630D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3122481$345F8201-8906-4AFC-9143-4CF86F77C91A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3122481$1A431304-70C2-4704-966A-3149D1DFE2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3122481$04FCEBD0-1229-43C3-9B49-CA90170B60B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b4cd0dd25537da4873412f2dcb893ad6fd6460f","datavalue":{"value":"984788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3122481$C4CFC8D0-4C1F-49D9-8F7A-07B1F2F3E899","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4eaf11efe2ad0080d8b53106450707899ff892b","datavalue":{"value":"Retiming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3122481$896129B2-CAF4-4749-80A0-84937DFF06BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"178a6cabd37c133561c053951c2836f72010fd78","datavalue":{"value":"Synchronous circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3122481$05E58104-66A0-426E-A2A1-9B8D0E1AEAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca61ba5c4fb60d58c41f00c12a54462c53ade83b","datavalue":{"value":"Space-time transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3122481$C7BE0E4A-6E4C-4178-975F-CD1BF8B5D965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88880d32fad4b2c5716d58122571096d147ba561","datavalue":{"value":"Circuit initialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3122481$56F5C133-899A-4E1D-A361-8A117906243C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"209d204ceb50bafa981f523743bb5db7ea4cb244","datavalue":{"value":"Circuit testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3122481$5C737AAB-D60D-40BD-8ABC-370F77D9F68D","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":"Q3122481$B14FCE9F-062F-4BF1-AA3B-B694488391D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21892994c8ea2b12b6509392ed1e51b1cbd7a692","datavalue":{"value":"https://doi.org/10.1016/0167-9260(95)00021-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3122481$68CE57E6-56BC-4D1A-8D9C-69EA66FFE775","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af7f510cb7bebb376b7e16545fb66002e80047d5","datavalue":{"value":"W2055133810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3122481$F4C3ED2F-E856-44D0-94A1-120AEDE31930","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2c8902706382fc0f97e6e817c25e13c7c17713a8","datavalue":{"value":"Q124827862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3122481$A28F9A54-395A-443C-8B0E-A8D83009C826","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f599a6350fb74f17319c2ef94cce2c9e5c9fec20","datavalue":{"value":{"entity-type":"item","numeric-id":920937,"id":"Q920937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c65f7ebc690f678e5733811932818734453f694","datavalue":{"value":{"amount":"+0.7839891910552979","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":"Q3122481$492587B8-D0EA-402E-8209-304CD7D52A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bec0afb1216dd25235cae28b4e461c65f1b6e2","datavalue":{"value":{"entity-type":"item","numeric-id":4397085,"id":"Q4397085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a79403fc8792d2368b37673506303062be04c1","datavalue":{"value":{"amount":"+0.776447057723999","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":"Q3122481$905CA559-E41F-46D1-88FD-3AE2AB610924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bfa4797fa82be11d2b2d8471041c6ba32632021","datavalue":{"value":{"entity-type":"item","numeric-id":685101,"id":"Q685101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187f1b5836c7186c327382188d5d9b415a0dc7be","datavalue":{"value":{"amount":"+0.7688016295433044","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":"Q3122481$469D244F-661F-4FEC-B062-94ADD34A70C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dce8f0861753e9dc687f4eb0cd44c56e06038f1","datavalue":{"value":{"entity-type":"item","numeric-id":4277377,"id":"Q4277377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa0997884135fca993308c65dd356a37225d6fe","datavalue":{"value":{"amount":"+0.7602728605270386","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":"Q3122481$7EAF4E1A-1795-44F5-9E5A-D96C676C0077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b809332f01b8682cd011effea24b72ac6fc77a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5897666,"id":"Q5897666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99698d9170e2c1a43bd3cdebe46b22bdb91068b0","datavalue":{"value":{"amount":"+0.7570766806602478","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":"Q3122481$8C46AB00-A76F-402A-AA9F-EDD69ADFA1A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3122481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3122481"}}}}}