{"entities":{"Q5137884":{"pageid":7167455,"ns":120,"title":"Item:Q5137884","lastrevid":53882039,"modified":"2026-01-25T21:14:10Z","type":"item","id":"Q5137884","labels":{"en":{"language":"en","value":"Proving refinement using transduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7281355"}},"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":"Q5137884$E2832BAE-9D41-44FB-B890-5F53A9053B18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c25264a588c8179797d11ce2a9f57028cbcfbbae","datavalue":{"value":"1448.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137884$220964DD-4500-44BA-BD1B-F701AC551714","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae43396faf496db6bcf95f2f10b318fc336d10e","datavalue":{"value":{"entity-type":"item","numeric-id":5137882,"id":"Q5137882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137884$719585C5-27B8-4DC8-BD1C-5A7BA90B4F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"680922cd683b45f493d22f130be281b2cddf2932","datavalue":{"value":{"entity-type":"item","numeric-id":5137883,"id":"Q5137883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137884$A2534734-3CC8-4C76-9323-5E80AC38310A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5137884$9B458D5A-395F-40C6-9074-29BD2FA614E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"264ccd2874de70b65c9e8226185d78b9e2bc5a3b","datavalue":{"value":{"time":"+2020-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5137884$13D8DB7D-4111-4623-8EB4-6AF9BC3EAFB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48f15271f7a23e29cb1c799f8156b5cded189db1","datavalue":{"value":"https://link.springer.com/article/10.1007/s004460050062","type":"string"},"datatype":"url"},"type":"statement","id":"Q5137884$C550DED3-4995-4314-A38D-D480348BCC3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137884$2BAC5290-B486-4519-A8DA-6690FD328D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137884$3CF975E2-EA23-4BFA-B88A-8AA5B85BAA27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"212e4b75b06646ba756c8631f5d9f121240a2b3e","datavalue":{"value":"7281355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5137884$4B0DA10F-392F-4410-8674-29A9BFF8AFA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137884$138B389A-B04F-4870-96A8-38EEA1DAD516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137884$C8DBAC9E-1F66-4854-B121-756887651E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137884$850A002A-9A52-42FE-887A-C546FB393FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137884$529754E4-D242-434F-81EA-B819845377B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de443937991f8ad8999ecb415da8449758f3e18e","datavalue":{"value":"transduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137884$FE17EBB5-BD5B-41D5-9E29-CC8E10526734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aec2b9c373c740f633d862b3648d58ec94fdd69b","datavalue":{"value":"delayed simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137884$26ED6A5C-2D78-416E-B082-863320661A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52a0d9da79f806624071a34ce7fe3bc7d1f60ac1","datavalue":{"value":"sequential consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5137884$6482445B-0F94-409A-9AA1-3C499AEBBD0C","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":"Q5137884$60493278-3FFC-4A34-BA82-FDA39F52468C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74762df50c30cf5e6f6a1b2fa1a25df43b1cfcc0","datavalue":{"value":{"entity-type":"item","numeric-id":4353628,"id":"Q4353628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4a05ddb1930b8f0cc823d73ea99e45c78d5211","datavalue":{"value":{"amount":"+0.7786876559257507","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":"Q5137884$DFE52FC3-69D1-4078-A043-8DDB4450FE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245728ea1091b8b8a2c7dfe7ed8eb6ec3d7996aa","datavalue":{"value":{"entity-type":"item","numeric-id":5403461,"id":"Q5403461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c2d80de34698b75a05f83944c210b27c11e1fa","datavalue":{"value":{"amount":"+0.7481580376625061","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":"Q5137884$DEE8C746-DA90-42BF-A350-E90FC29FA679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef41768a15e6d50a4a7499dde4d3b4a4dc7df8fd","datavalue":{"value":{"entity-type":"item","numeric-id":5392171,"id":"Q5392171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae58f700e657f4c83bc51879da300b0a5474451d","datavalue":{"value":{"amount":"+0.7444297075271606","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":"Q5137884$7F156484-0585-4876-A8F2-899B9FB10B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b2bc9a6cc39ebe7247facdaa741662c7cb1c75","datavalue":{"value":{"entity-type":"item","numeric-id":541209,"id":"Q541209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c05a47028e2c65e3a251669d294a37e25975bb","datavalue":{"value":{"amount":"+0.7388191819190979","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":"Q5137884$3AF6DA8B-5C59-4AB2-BB7A-7C524F21EAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493cad6f3de1d42c53b0c3cf7ee8b567ee64dde4","datavalue":{"value":{"entity-type":"item","numeric-id":706513,"id":"Q706513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d140c587b3598aa0a427c9b0eae806d5205d794","datavalue":{"value":{"amount":"+0.7376896739006042","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":"Q5137884$4F90E009-2869-4844-8F36-B8E90803D68A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5137884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5137884"}}}}}