{"entities":{"Q2563402":{"pageid":2574145,"ns":120,"title":"Item:Q2563402","lastrevid":46815501,"modified":"2025-12-25T15:52:57Z","type":"item","id":"Q2563402","labels":{"en":{"language":"en","value":"On the approximability relation for semantics of sequential programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 957060"}},"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":"Q2563402$40F29F86-55A5-4992-8D13-04C2E7449735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f3500863abb03a40c9babfe8ffb2d6a308afd1c","datavalue":{"value":{"text":"On the approximability relation for semantics of sequential programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563402$8DBB78F2-1E26-4229-8DE7-BC79A41F5912","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38f54afa1b47075b756f601a2676f19d7fc66a2a","datavalue":{"value":"0856.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563402$6ABCB2A0-26C7-4B9A-A013-30C5D4A6BB1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aa4e0e353121dae82cdaefca14a62dc9d4bb34af","datavalue":{"value":{"entity-type":"item","numeric-id":163582,"id":"Q163582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563402$0228A9DA-C8E6-4893-86B5-C67B568ADEF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18da71c747bfee20659f449ac103b23b2a4d036e","datavalue":{"value":{"time":"+1996-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563402$2B87B304-10F2-408A-9F12-941694BFFFFD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d71172de1c031045fcd0ca0505d3ecdb325d9dc4","datavalue":{"value":"Denote by \\(R= \\{ < \\sigma, \\pi_{1}, \\pi_{2} >: \\Phi_{\\pi_{1}, \\sigma} = \\Phi_{\\pi_{2}, \\sigma} \\}\\) the functional equivalence program relation, where \\(\\sigma\\) is the semantics, \\(\\pi_{1}, \\pi_{2}\\) are the program schemes, and \\(\\Phi_{\\pi,\\sigma}\\) is a function which is computable by the program \\(\\pi\\) in semantics \\(\\sigma\\). Then for the semantics family of sequential programs \\(\\Omega\\) and \\(R\\) some necessary and sufficient conditions for the \\(R\\)-approximability of the semantics are proved, and it is shown that the factor set \\(\\Omega / \\approx_{R}\\) is a complete lattice, where \\(\\approx_{R}\\) is the equivalence relation of the semantics generated by the quasi-order \\(\\leq_{R}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563402$0CECE49B-AD05-4ECD-A348-C650F8CD3556","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563402$E5E9F2AD-F145-46AB-A0DF-ACA7812D82FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33acbaa7d9eff759925c52e65f7e1e23af6c7052","datavalue":{"value":"957060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563402$BD69E02E-FFCF-43FC-8071-6CFECD1CD228","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563402$98BD99E7-B648-4394-BD1F-8FCD97F9437E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d2e598b601e971c0022dc6489a284ed99b29f29","datavalue":{"value":"sequential program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563402$D3E2060B-1247-40D8-A557-8CE3147F7FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7884f20c8f87422bbc52076fab6a08675c0a24","datavalue":{"value":"equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563402$EE467638-97DA-4AE0-B9D7-7E993A95BA6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7153bb19785740785cd6347b4d653dc5d37c5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1592931,"id":"Q1592931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563402$535ED210-7CB0-4CB5-B6F7-A894842FBB71","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4089088320486088c63c9a7f923250aaea51d7f2","datavalue":{"value":{"entity-type":"item","numeric-id":586759,"id":"Q586759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563402$37E8AE8E-048B-4533-BB7F-4CDAE4D75F5E","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":"Q2563402$4DA129AA-7753-4546-B9A2-3E890C1B3315","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d941a9ad893651050a6a9eee0d15e0c81385c2","datavalue":{"value":{"entity-type":"item","numeric-id":4522757,"id":"Q4522757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08556fea7b59b8b02ce314468fea6863ba60eee2","datavalue":{"value":{"amount":"+0.8240584135055542","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":"Q2563402$8E07BEBD-901A-4A1F-8A63-3E9ED87A62DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2a4c52765bb6999e56637d794df99707564a4f","datavalue":{"value":{"entity-type":"item","numeric-id":1858999,"id":"Q1858999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25904c2deda4241c3d57eca9f47173bcc0157a1","datavalue":{"value":{"amount":"+0.7824922800064087","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":"Q2563402$39B68E7B-EA72-48C8-9A7D-0B4766BB8E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea437dcb9a0bbffa963d854ded927b85fa208272","datavalue":{"value":{"entity-type":"item","numeric-id":4840946,"id":"Q4840946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c96a1c3b5825379d984b8243e8982e7544f7abf","datavalue":{"value":{"amount":"+0.7416005730628967","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":"Q2563402$79669667-4C36-4475-84A4-8CC500F6AEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9c5e69d703007b3cbf501ee3f528c126a08e68","datavalue":{"value":{"entity-type":"item","numeric-id":6116563,"id":"Q6116563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358319c8f428116bea5c836f3510e02dbb6557b0","datavalue":{"value":{"amount":"+0.7286188006401062","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":"Q2563402$2ABD5BAA-66DB-4C2C-8BF1-05C41F3C8DF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2563402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2563402"}}}}}