{"entities":{"Q5098734":{"pageid":7128310,"ns":120,"title":"Item:Q5098734","lastrevid":54391928,"modified":"2026-01-26T18:12:59Z","type":"item","id":"Q5098734","labels":{"en":{"language":"en","value":"Verifying selective CPS transformation for shift and reset"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7578353"}},"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":"Q5098734$CA25BBD2-01D4-4032-B257-D8A8E15F36A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70132a709766ee26a8d06c88ddae4b4583fde452","datavalue":{"value":{"text":"Verifying Selective CPS Transformation for Shift and Reset","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5098734$524211DD-2A64-4F30-BB9D-1A614815BE4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86cd00f98b7b1920d8388616154cb30c5004f70e","datavalue":{"value":"1503.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5098734$4E7E1DB5-32A1-464F-B191-828D25BD006C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8de3d9314ca197898fb8b0487abf862334428284","datavalue":{"value":"10.1007/978-3-030-47147-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5098734$1BA67A5A-A0F0-40BD-A990-06CA6C7E9423","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7313f22ceda7e2db3f02cc64c42e4f284264edda","datavalue":{"value":{"entity-type":"item","numeric-id":5043594,"id":"Q5043594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098734$BBF77C01-5FA2-4F7A-8715-616330132A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75eb10ae3ca1beb289ebaab6e435217e65111606","datavalue":{"value":{"entity-type":"item","numeric-id":232931,"id":"Q232931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098734$7AF729E8-3F72-4239-8B6B-4A4A8CCACFBB","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":"Q5098734$93112BA0-BEB2-4C41-AAA7-4385A418F43D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c2eb8fa17c20bdfa5b9ef95dab30ffa7f0677b","datavalue":{"value":{"time":"+2022-08-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":"Q5098734$E5BD0610-7DA5-41E9-AB6F-CB4C5BA6ED79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5098734$5508455F-2F40-4157-90AE-7EE0B8EEFCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5098734$3CE31312-2E19-45E0-8EDE-818FBFB7DBD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4c4295875ae936430cbb2770e9d4342b49bd431","datavalue":{"value":"7578353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5098734$8661EFA9-BDFD-4426-9119-C70F889A85A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db3aaef22e4899c72275f1cf93d964e7ddc15a94","datavalue":{"value":"selective CPS transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5098734$AA23EE97-E5A3-4A80-88CF-E987A8A0ACE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2280ad2ba5c81ca6da2687c3b1d731871529591","datavalue":{"value":"shift","type":"string"},"datatype":"string"},"type":"statement","id":"Q5098734$00966BE5-8AC4-49CB-92B3-86715441DBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a4c0b995eef7d1ec64bd1ff7fb3cee9f2b107b7","datavalue":{"value":"reset","type":"string"},"datatype":"string"},"type":"statement","id":"Q5098734$49E3510B-3717-4777-BA1A-34374B904D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q5098734$3A05147A-733F-4B68-A4B6-CD6AB82C077D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8353f2fb8e86c8d0067d1f2e5c647e3d3d58b208","datavalue":{"value":"PHOAS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5098734$0CC8769D-DA2F-49D7-9A58-AC65C60E9B8B","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":"Q5098734$C37463D7-7DC6-4AE7-A0E9-1DD565B4EFF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90252c70a41c67a31fa72963c9932a3e7db60296","datavalue":{"value":"https://doi.org/10.1007/978-3-030-47147-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5098734$0810C7A4-9080-4761-A6ED-3EBF0E1428DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12ca449e3e11f49f067f8eb1790ef87269565c97","datavalue":{"value":"W3022311398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5098734$10FEB0FF-2AC4-4DCD-ADBC-D6A0D066DD26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c541a0e0fccb98a32f18a8695d9eabb1926b39f3","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098734$8028B40B-E27F-447D-8A60-391F64BE7287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c97872aca34e48e9c48059bd85986bf49b26540","datavalue":{"value":{"entity-type":"item","numeric-id":4603450,"id":"Q4603450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098734$57F28314-BF10-4E91-836B-30ED4ACAF0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367ef177c9ab91da57ee385240218ffe15eeadc2","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098734$6D5DC484-6F39-4659-90B0-7D82E014392B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02cebc44c2831878b18e904086383fc947d3037","datavalue":{"value":{"entity-type":"item","numeric-id":5417200,"id":"Q5417200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098734$896097EC-C2A3-49BE-B7C6-7200AE8B66DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098734$CCB3D052-4F63-4136-94CF-DC9468E63E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dafbb0b1d0eb9ff2e853063bc9b7d2f442280119","datavalue":{"value":{"entity-type":"item","numeric-id":3498467,"id":"Q3498467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098734$0E1053F5-465B-4AC3-B0E3-B4DB03AA2398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61faceffb3f750bffd90088b2ab74cece1f02958","datavalue":{"value":{"entity-type":"item","numeric-id":5261274,"id":"Q5261274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098734$CEB04FBE-5310-49BB-B230-C05C13D8CAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e2c8a9108b4d0eb2c42169a5db48e9f4898b3b","datavalue":{"value":{"entity-type":"item","numeric-id":5176965,"id":"Q5176965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098734$C8544BE6-C9C4-4FC2-90F6-917F864A9653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1cdc289382df1918e1c24bc48551a339b33b359","datavalue":{"value":{"entity-type":"item","numeric-id":2936829,"id":"Q2936829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098734$96F5D571-FB58-45ED-8FB5-3F0341BC476E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b2fa54691b840030894b12dd4c1936febd8267","datavalue":{"value":{"entity-type":"item","numeric-id":6166157,"id":"Q6166157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098734$316F53FA-4F51-483F-B396-9985C5433642","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191b7e5ddd8d02f415bcf37cc2555fdea176e4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4917063,"id":"Q4917063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f371ffddb3c4cb89cbb690b8517424c0f017d600","datavalue":{"value":{"amount":"+0.8224210739135742","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":"Q5098734$D0EAE91B-5432-424F-B5DF-15E97CD4C1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a52d05f6f5385f588cdabc59ab69b7b3a34c21","datavalue":{"value":{"entity-type":"item","numeric-id":3498467,"id":"Q3498467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38942e1b862eebfe532f4a37ba287be6d31a675d","datavalue":{"value":{"amount":"+0.7732205390930176","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":"Q5098734$F5508014-CDF2-4728-976A-3B507AAE085F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb08a563139f8e5c18212c5a2fed8956602b918","datavalue":{"value":{"entity-type":"item","numeric-id":6166157,"id":"Q6166157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f7366970d1801cc597727b911b21d4cccd60ff","datavalue":{"value":{"amount":"+0.7544450163841248","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":"Q5098734$A97EF6A5-A942-4946-B58C-356C60AA47DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2735074b91387ca30f333be233ee395223c7a8fd","datavalue":{"value":{"entity-type":"item","numeric-id":2464731,"id":"Q2464731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04409d369a7ab134fbae2e4127d83e7faf840f7","datavalue":{"value":{"amount":"+0.7376902103424072","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":"Q5098734$90B5822E-6A05-4954-8A4E-DC68BF6B778C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7920e007c1c0dce93cacc25b43ae82bd41f339ea","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703665f396a684234e54d9447c21635d5396cdf8","datavalue":{"value":{"amount":"+0.7361273765563965","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":"Q5098734$482AF04A-0B1D-4068-B744-CE6CD6E64533","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5098734","badges":[]}}}}}