{"entities":{"Q3502663":{"pageid":5532566,"ns":120,"title":"Item:Q3502663","lastrevid":50365427,"modified":"2026-01-13T21:54:43Z","type":"item","id":"Q3502663","labels":{"en":{"language":"en","value":"A Denotational Semantics for Total Correctness of Sequential Exact Real Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279210"}},"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":"Q3502663$3F5923E8-575C-4BB6-978A-00500C5820FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32154c1cf3c0b3c83c0808723cdc72098d75947a","datavalue":{"value":{"text":"A Denotational Semantics for Total Correctness of Sequential Exact Real Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502663$772CAA3C-EDF6-4BE3-8D83-6D727FB10909","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afab718d0a6b9c7b0791a5bc4799384aca41abce","datavalue":{"value":"1139.68379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502663$3A807AD4-E211-4CD6-9D50-2AA8E53F87ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a7966ce84c64d07ace1a7d2ffb128880a329e4b","datavalue":{"value":"10.1007/978-3-540-79228-4_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502663$5C382458-0C24-4C4F-9143-B0F99855508F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fe8f94e40fba74177f365163ad5d9d7d10ebc22","datavalue":{"value":{"entity-type":"item","numeric-id":2843993,"id":"Q2843993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502663$4E43A1A6-BF49-443B-9811-06509674D6ED","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":"Q3502663$67F9983D-9064-4BCE-9AC2-5C1F66E2D92A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-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":"Q3502663$2944925D-3802-4A5E-9FEF-156B4DAB952A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502663$BB6EE6C6-4755-4C6F-A9BA-F2C4052E4632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502663$D6378A56-ABE9-4154-9194-489224779F02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77ccca2594e859092bc35d9250ab314295cefe49","datavalue":{"value":"5279210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502663$519547A1-6371-4A35-9278-E4CA446BAB91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acdbb4b8c5aeb2829cf743b6d2a8d49add3de33c","datavalue":{"value":{"entity-type":"item","numeric-id":15202,"id":"Q15202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502663$7C01A2B5-BAB1-4F72-82B3-9421DAA05F42","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":"Q3502663$9F200E31-6ECC-43C5-86EB-892B3CCDCDA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aff5e46078c65d93126f4f82bc32d9b6ba7a17f2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79228-4_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502663$ACB07D82-ADFE-4E48-B5FA-B1002A3F0F0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dd54ffad5045175f57ea4197221d7ed5426c280","datavalue":{"value":"W1551218897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502663$B529E6DD-9A9A-4E3E-AC74-595215482EF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a95b9f44f5b48609b2a2bc1ebabead0ac475347","datavalue":{"value":{"entity-type":"item","numeric-id":2851538,"id":"Q2851538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502663$54FA745E-9956-4A8A-9D4D-F14C7BD25A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0955832cabd807291db057ce5b71aa0de35c2a19","datavalue":{"value":{"entity-type":"item","numeric-id":4260387,"id":"Q4260387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502663$0A2D0E45-B445-4E1B-B410-E5EE9BA6B3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502663$6834947A-AC7E-4D7C-82DE-E10317BAD428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312dcbdb4361e8755d36bb4d2280c7a2a7cea28b","datavalue":{"value":{"entity-type":"item","numeric-id":2373708,"id":"Q2373708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502663$13128DBF-BC8A-47B2-A13F-427F56EF9237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502663$C835011E-C907-47F4-91AC-57A898D07C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2144fe5495fdeccad8e3a872dd20d5cc6bcce44f","datavalue":{"value":{"entity-type":"item","numeric-id":3415205,"id":"Q3415205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502663$BD27F243-2D67-4088-82A7-D4DBD2324C7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2118f00560f38fdab08610037d1d41ae01cc3d6f","datavalue":{"value":{"entity-type":"item","numeric-id":2373708,"id":"Q2373708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"badd14d5473678b002d082603baddad540875a14","datavalue":{"value":{"amount":"+0.8779046535491943","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":"Q3502663$373C9AAD-E220-4E76-AF04-0E332236CCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ea76f5e8cf9fa10012e2aae88fd39b4aec6c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3060187,"id":"Q3060187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b3b25a9fb8006c76d2bc3a109a283aa9461125e","datavalue":{"value":{"amount":"+0.8488700985908508","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":"Q3502663$C7FD6D79-C106-4BB6-8924-34EA423DAD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b843f809b80ad4124f0c7642acb829357780d0","datavalue":{"value":{"entity-type":"item","numeric-id":5348895,"id":"Q5348895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f9f13c96074fab7aa652a8f2cdb908bbd178ec","datavalue":{"value":{"amount":"+0.7673308253288269","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":"Q3502663$0347FB27-2AFA-4373-B4B8-C20CC31EAD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dbe2e141e1329c47a271409fe7b19ed5d049eda","datavalue":{"value":{"entity-type":"item","numeric-id":4218119,"id":"Q4218119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfe50ad3a010dc39ebbb32ec8f6d95ebd73d842","datavalue":{"value":{"amount":"+0.7637866735458374","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":"Q3502663$162DAFED-B7DA-4376-ACC8-50E6E66B190E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4afec4ab8afd8d8d5bef1f4a7cdff52a9c5d472a","datavalue":{"value":{"entity-type":"item","numeric-id":2843994,"id":"Q2843994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfe50ad3a010dc39ebbb32ec8f6d95ebd73d842","datavalue":{"value":{"amount":"+0.7637866735458374","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":"Q3502663$D961CBEA-BA77-46A3-986D-540F9A04F884","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502663","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3502663"}}}}}