{"entities":{"Q685101":{"pageid":686950,"ns":120,"title":"Item:Q685101","lastrevid":47188312,"modified":"2025-12-31T23:06:08Z","type":"item","id":"Q685101","labels":{"en":{"language":"en","value":"Using fixed-point semantics to prove retiming lemmas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417063"}},"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":"Q685101$7E0D09A7-D9BD-486E-84E6-140B3059EDE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67b969b135219a32a1ce922d9571e717c0e0bedc","datavalue":{"value":{"text":"Using fixed-point semantics to prove retiming lemmas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685101$2DCA13C8-F8F6-4BF5-97EF-BB1C0648E412","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c277c234d24febcd3aaf087d1195c223fef4a6e7","datavalue":{"value":"0774.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685101$CD553DA2-888B-449F-90F8-B84CACEB57CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7ccd26495c4684a3090d682a45d25b0ea6bb6be","datavalue":{"value":"10.1007/BF01383944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685101$41D76C59-3AD9-4C9F-AB74-608C2B7EBD01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685101$D86207E6-B79C-4FA7-A39D-D8F0F31FC93C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685101$876BEC54-B2F0-4FD9-BD8D-B828159AE62F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45eae072dc2fde41ae8741e47d8a8d06eb2b2f63","datavalue":{"value":{"time":"+1993-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685101$7FE54819-36AE-4FB5-B24F-A2594C03F2D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685101$AF8DCBCF-AF65-4FBD-9752-838007C647AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3cb322112ae56aec500b334b7351f32fb107365","datavalue":{"value":"68W35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685101$69A6E554-0C87-40A3-BBDC-A66356DD5247","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a1dd58c784a31999d03c7b9aff2ef3da847aaea","datavalue":{"value":"417063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685101$E31663B8-73C7-440C-9F90-A630CD68D2BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c21fbd53dc0ee1d92ca6a89534d3aeed129269e6","datavalue":{"value":"systematic arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q685101$0B6B6219-B59F-45DC-8813-0A61B04A3787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01daaa3c5b2f6a051571489015e19539c43ca80","datavalue":{"value":"retiming","type":"string"},"datatype":"string"},"type":"statement","id":"Q685101$A2289096-52C8-4D8B-9B40-65612A9EC03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e399d677aa013c5bcad0e7b334f6f942ffbfd7c8","datavalue":{"value":"fixed-point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q685101$9B214921-9F32-46E3-81A8-47A8285E14E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"612e8e9794104f416f1680c58a051761b7cdc76a","datavalue":{"value":"pipelining","type":"string"},"datatype":"string"},"type":"statement","id":"Q685101$61D91693-B7CA-47ED-B290-C61BBE6C6A56","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":"Q685101$668E8D0F-390B-4A7E-9067-4FF2C5CA4564","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a56aa4260737ce61c98232565dad36999db06663","datavalue":{"value":"Q124815458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685101$44079678-9FF9-4E9B-B656-64F9DA3A95FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a28d8ee89fd4956c81244c69e23a0769b3dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":3315439,"id":"Q3315439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685101$835398E8-47BC-4720-A271-6852F0C6ACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685101$702903B9-5F79-4477-A867-2584901DEF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f7e92412f6b79d84af77b11b1aebb79e0508b8","datavalue":{"value":{"entity-type":"item","numeric-id":4138147,"id":"Q4138147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685101$BF3CBB80-9591-4548-96D7-144655112510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77be87ab66e2f8859d820e3540a34826228080da","datavalue":{"value":{"entity-type":"item","numeric-id":5560021,"id":"Q5560021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685101$89D896F4-C251-4339-8D4A-E700A729A492","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f8c4d03fdc808bd007262d2c94a5f907e0bed8","datavalue":{"value":{"entity-type":"item","numeric-id":4365822,"id":"Q4365822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c1ac45b99aab2e5628c3492298fba0ca110ffe","datavalue":{"value":{"amount":"+0.7958945035934448","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":"Q685101$B7BDD4FE-7D5D-4507-BFF7-F94554EFEA72","rank":"normal"},{"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":"aaeaf2c1e9efc80c6455698b093d54df858a34d0","datavalue":{"value":{"amount":"+0.7827489972114563","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":"Q685101$A35A2C4C-338D-45FF-911F-3D50B79475CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe51197c878cda1bfb01348fc0b638f8c297ba11","datavalue":{"value":{"entity-type":"item","numeric-id":3122481,"id":"Q3122481"},"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":"Q685101$F9C43ECA-D498-4EFF-A5E3-20164ED8B344","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":"3cfd5e174c54a41ffd5a37ae9d6983ea328de20b","datavalue":{"value":{"amount":"+0.7677953243255615","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":"Q685101$3D1CEEB5-FE1E-49CD-950A-F2E10E5BE0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c1400e23df1374b0c7f8304989db41a2caca3c","datavalue":{"value":{"entity-type":"item","numeric-id":2751882,"id":"Q2751882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc079e11d26d69515b0ff8505435f0caa8c99b6","datavalue":{"value":{"amount":"+0.7614110708236694","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":"Q685101$65F6EC5A-AB74-4836-AF7A-20EC8017B50F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685101"}}}}}