{"entities":{"Q1111006":{"pageid":1121755,"ns":120,"title":"Item:Q1111006","lastrevid":42883073,"modified":"2025-07-15T16:57:42Z","type":"item","id":"Q1111006","labels":{"en":{"language":"en","value":"The problem of equivalence in commutative s-models for programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4074452"}},"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":"Q1111006$9196A041-6B4C-4E5B-A7BF-00C1F4316D5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c515d8f86bc3587873842375f10f2fe902e558c","datavalue":{"value":{"text":"The problem of equivalence in commutative s-models for programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111006$98F172A0-2E49-46A0-8FAF-AA9547092E56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2c027f06ae2ee6df2fa6717852362a21b818a29","datavalue":{"value":"0657.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111006$29FC678C-D50A-43CC-946A-7D5C8BDEBF07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95ee446f93eda65728c764c965cda6a22d6dc080","datavalue":{"value":{"entity-type":"item","numeric-id":174222,"id":"Q174222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111006$9382B673-B5B2-4CAD-AA74-CA7D61E32D5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111006$490E9835-62A9-4911-9016-90C1BCF59460","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1111006$1CBFA86D-FD29-439B-B09B-95CB7E962FB3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9d08dddb29255764e72a9e7b6cbcccaf3b35c4d","datavalue":{"value":"A special type of program model, s-models, is examined. Sufficient criteria that the equivalence of the program schemes can be established are found for these models. That equivalence which can be established is proved for two new situations through the use of these criteria. Each of these situations is covered by a broad class of models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111006$72139E93-8926-4BAB-A5AC-B4AFB69B1F46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111006$DF40A063-8330-4540-A10E-E63ED75888C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111006$6C93B496-3FE3-415D-B775-1509C4DCBB7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1162d406402c0a15401e02c9b86d2f3fc35fe40d","datavalue":{"value":"4074452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111006$AA589CD6-136C-4327-83D9-9A2148654EED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc3fe252509258c727cb1314731a5cb0415f0e1","datavalue":{"value":"program model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111006$CC06B0E5-59F7-4BDC-9DFD-C4B6176442D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5cb5b54a3a08e256bbb0215c92de493a4b5803e","datavalue":{"value":"program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111006$C1EFC260-3017-4C7F-B209-864940F4AFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111006$C4A61167-6A14-4CDD-AC31-E1B9897A4A5B","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":"Q1111006$4DE5C0F0-B88F-45CD-81DA-8CD7D5F0CAC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f9b3072d763c893116a4e94fe60f6fb9dd6b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4589207,"id":"Q4589207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df95cf064229bc4f2674de4151b2a35c747ed057","datavalue":{"value":{"amount":"+0.8909745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111006$B14A0D58-12E2-4F85-B277-2298B7FE266B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a315a7a1d636d01cfb11c2ae0b8d4ef634e0c41d","datavalue":{"value":{"entity-type":"item","numeric-id":1758688,"id":"Q1758688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe24d5329ebb7545b99a292e55d4f28cdaeacce","datavalue":{"value":{"amount":"+0.8795681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111006$FB4325D2-487B-4306-977E-2418928C464E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a3b90626cd9f864c262c45698573772dcf659a","datavalue":{"value":{"entity-type":"item","numeric-id":3694664,"id":"Q3694664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf4499874d294b60104df599e9aa676b91140a0","datavalue":{"value":{"amount":"+0.8788842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111006$BBBBD834-717A-4976-94F1-3F0D120075D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12e2d07fed965fe7dda8bd47e4112d7a8e643eb","datavalue":{"value":{"entity-type":"item","numeric-id":3217582,"id":"Q3217582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf4499874d294b60104df599e9aa676b91140a0","datavalue":{"value":{"amount":"+0.8788842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111006$5589079D-2D31-4D68-BEF7-DD24C45C21A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69aacd8b9f483da8a82e641435dc3d97d1879979","datavalue":{"value":{"entity-type":"item","numeric-id":3586015,"id":"Q3586015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae6ade5baa374ba08363f6110ef5229c048fc9a","datavalue":{"value":{"amount":"+0.87657523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111006$65794162-AF8A-4751-A39C-CFE6DA4B72FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641a798635b3ef511df325f1a279cb02318df3bb","datavalue":{"value":{"entity-type":"item","numeric-id":3316584,"id":"Q3316584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a21dda71193e40d2a724ee52a8ad4e78943b66ac","datavalue":{"value":{"amount":"+0.8762989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111006$1AC0ECD5-7FDD-4256-BD13-34C07A1E7D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53750e778f847713f90c4de725d66f46175e2206","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32966f760b07168c7fcfec4cf6dad8a3a600d908","datavalue":{"value":{"amount":"+0.8754993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111006$E50BE158-20FF-4F1C-A322-DF4356B17C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b037a8e846897c37840f1174a681870f1bcad4e8","datavalue":{"value":{"entity-type":"item","numeric-id":1403259,"id":"Q1403259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be9b398d0a217dbbfcaba708f875c4a77634c8be","datavalue":{"value":{"amount":"+0.8741338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111006$48CB8208-5F03-4B55-8DE4-00BD33593974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966edc3a7b01b3c72c14a4e552b889cec92a10cb","datavalue":{"value":{"entity-type":"item","numeric-id":3736890,"id":"Q3736890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c33ffce9791b22108a2570176e15b3f717c5eea","datavalue":{"value":{"amount":"+0.87297505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111006$904F1D33-D8A6-4749-8338-CDC020E67602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5657386bbd9603b9fe83e53f8b37e30d8a3b7cc","datavalue":{"value":{"entity-type":"item","numeric-id":1822233,"id":"Q1822233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77bd075dec81accd6fc8f81e66cc4958be253d1","datavalue":{"value":{"amount":"+0.8710155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111006$01DA4AAA-FC43-4C22-A939-78206D604BC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1111006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1111006"}}}}}