{"entities":{"Q1329743":{"pageid":1340493,"ns":120,"title":"Item:Q1329743","lastrevid":68842782,"modified":"2026-04-13T02:26:07Z","type":"item","id":"Q1329743","labels":{"en":{"language":"en","value":"Correctness of fixpoint transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 612373"}},"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":"Q1329743$C60EA112-DE72-452B-8B85-81BA7C1F7BFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c7302aaf88625cb7e7a8dd0f858a375688c4a44","datavalue":{"value":{"text":"Correctness of fixpoint transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1329743$E5F744E9-E3C9-4CA6-B6DA-F7C066B6D4A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6a55bb89c24556a3e6a10073d30f26395b5ca26","datavalue":{"value":"0809.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329743$200B1E84-D545-4DED-888C-5101229E75D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a0e1c603efda4b803575b5f7cc57cd50cb433fa","datavalue":{"value":"10.1016/0304-3975(94)90083-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329743$9121908B-18CD-4505-9D25-183A2AD68D2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fd9e522563789c90687f9b576ea54d72c81d431","datavalue":{"value":{"entity-type":"item","numeric-id":688196,"id":"Q688196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$69F89DB3-666F-43F5-91B5-94AFD96BE18F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$8968B93E-6E79-4069-93C4-BCB1EE4CA3E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c8c62e703dff8cd60c2f18eadaeec6e5a925cdb","datavalue":{"value":{"time":"+1995-04-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":"Q1329743$32671E03-65DC-47F0-99DB-969D5CF7A7C1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8294cff00c4685e1fe6335e6ef3dc71860f0400","datavalue":{"value":"The paper deals with ``general transformations of equations'', being not concerned with particular utilization of ``many-sorted equational logics'' in theoretical computer science: ``Transformations on a system of equations may change the solution set; those that preserve the desired solutions are called correct transformations. The objective of this paper is to study the correctness of fixed-point transformations in a general setting''. The framework of complete partially ordered sets underlines the presentation. Even if this presentation is very general and appealing (including the use of ordinals and the beauty of the examples), we think that its (declared) main goal (``the results of this paper can be applied to various problems''?!) was not satisfactorily pointed out.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329743$E6D8CBEA-A3C4-451B-8618-BDCE82C890A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329743$808AC343-3964-45B0-A460-841B0A06CE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329743$9E2BD889-1B15-435B-A1AE-D4D6A1CDF944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329743$6968802C-3744-4CA0-82CE-46E42DE0E553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329743$38FFDB8B-0468-4040-9FD9-9FD0485F78CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b74324fbcc22571216fb3d51f4eac72b9aa683fa","datavalue":{"value":"612373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329743$588F2CDF-12D9-4D2B-8422-F1D433CEFDA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa59f8b77030835bb6d67c6792d4b52fcc68ac82","datavalue":{"value":"general transformations of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329743$CDFCC46A-C418-4A03-BCD1-75AFF8B70B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccc384571e91f0a73a282f7a067fc1c2820996d8","datavalue":{"value":"correctness of fixed-point transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329743$EA158233-33FB-4C0A-8294-3D63A84D61DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb7dce414f874a0004a7d90adefac4e4d9ebe3c","datavalue":{"value":"complete partial ordered","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329743$DDB6E3CF-5B7C-437D-B6EA-6BF452A1A3DD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6536f759dee9ce142c834adc5cc137400d919eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$9E221888-C75F-4485-A54B-0FF1443B6994","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$947FCE7E-59BE-4D21-B8B7-DCB9536A73E0","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":"Q1329743$40306CA7-46F1-4568-926E-91DE70BDA681","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2045e4b3b811d7803e18f2c81798e30333226669","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90083-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1329743$F83E1B9E-F961-409A-BC58-ABCB32DC1EB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77819852fb53a759e07ef8a1e214ed1db3359ef4","datavalue":{"value":"W2061262975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329743$6C916BD1-27CF-4807-91AC-F3C7155110E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"425bd62e7e7f9b3b9282a87781e25be7f68ae71c","datavalue":{"value":{"entity-type":"item","numeric-id":5660508,"id":"Q5660508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$8835B3E2-36CB-448B-8F99-CDBE15D2462E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ac9eac2a61578c2e8597ae0765497583cb7b85","datavalue":{"value":{"entity-type":"item","numeric-id":1823657,"id":"Q1823657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$EBCAD4B2-56D3-44BF-98C4-87AB944FA5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de0c47aac54d255781a3e64af689d25e678b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1098322,"id":"Q1098322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$7704362F-7B6A-44E1-9414-EA96288D44A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e557736ac81b6270b5f3aecadea4aabcc659d8e6","datavalue":{"value":{"entity-type":"item","numeric-id":3785987,"id":"Q3785987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$C8947F5F-29E4-47FD-9019-4FBCECFA6FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394b8c226c40fd2922be160802e4522fb7abf6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4385535,"id":"Q4385535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$6C31645A-A2D5-4A13-8D30-3D2B10669F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$54947310-AB96-4B13-8354-13CD9D043DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$0DACFFB9-446A-4AE9-A5F9-95D937A69FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b260ff9fc7ac156d820cb6ba506cf9a9b5ec3849","datavalue":{"value":{"entity-type":"item","numeric-id":1193743,"id":"Q1193743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$0D077A64-F831-4A35-8148-3A6E9B19CC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533cf21d0d3d2036e61422b7433f170a18751bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5592251,"id":"Q5592251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$B1539B93-8D57-4864-A964-D5E993335117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bf8ce9aac73bf50a8b75ec97283321f86bf552","datavalue":{"value":{"entity-type":"item","numeric-id":4168046,"id":"Q4168046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$294C6E28-36DF-41A2-A126-9061BA59323D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24eb300841d0e0b571606f3eb7a1f32b7e99531b","datavalue":{"value":{"entity-type":"item","numeric-id":4076758,"id":"Q4076758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$4E59D6A6-DA50-4E43-9658-9FCA76D26A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97aae996047866e201e0764a961d1290615bba0","datavalue":{"value":{"entity-type":"item","numeric-id":4385543,"id":"Q4385543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$8684E7EC-09E6-4793-A1EE-59C7FC525D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$8EBECB86-F9F5-4D2F-BB27-2872C7509FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e60483379fdc6088de6eca62e53ae2c89f1567b","datavalue":{"value":{"entity-type":"item","numeric-id":1254993,"id":"Q1254993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$926A6AE1-05A3-492C-8C73-AEE8C526FCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1db7dcd2da9fc394dcd951ad62461c4f9bd451","datavalue":{"value":{"entity-type":"item","numeric-id":1227632,"id":"Q1227632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$E286E6AA-F08D-4534-AFA9-8059007C892A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$207C4C71-3114-49B4-A24A-36433CB4AB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4548e4b6af88b0dca1bf965ecf68b7b79c9df2","datavalue":{"value":{"entity-type":"item","numeric-id":4193455,"id":"Q4193455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$BAD9B65B-EFE9-4D42-BA98-810FFC47251E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682980723d77d82c94ce10a9b2c63b616bd6184f","datavalue":{"value":{"entity-type":"item","numeric-id":3991126,"id":"Q3991126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329743$5F6D13CA-533C-44E2-9B25-2543B7C9DFDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d45c8242e321d4f6eb0b1f5b3105e920fb9c6a","datavalue":{"value":{"entity-type":"item","numeric-id":4321937,"id":"Q4321937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"846d4491f6608514a0d6b04961765132d207f49a","datavalue":{"value":{"amount":"+0.7643898725509644","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":"Q1329743$58701D22-51CB-465A-A455-D681B3434F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f8c4d03fdc808bd007262d2c94a5f907e0bed8","datavalue":{"value":{"entity-type":"item","numeric-id":4365822,"id":"Q4365822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"846d4491f6608514a0d6b04961765132d207f49a","datavalue":{"value":{"amount":"+0.7643898725509644","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":"Q1329743$300AE579-C3FE-4603-9DE7-A6B05E543534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df9f546ddd3478164abcea9460d207453132be0f","datavalue":{"value":{"entity-type":"item","numeric-id":1420256,"id":"Q1420256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03f791fb811a55bcedac67b42f032d06b00384c","datavalue":{"value":{"amount":"+0.732168972492218","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":"Q1329743$08143DB6-E048-472F-AF97-C65E073D45FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47668e36d63c7cf6e39deba496fb556724f33504","datavalue":{"value":{"entity-type":"item","numeric-id":4517379,"id":"Q4517379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6091ed70a3d598d4b4a6789618b1e2a10751f5e0","datavalue":{"value":{"amount":"+0.7249479293823242","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":"Q1329743$ED42A553-A6B9-4D22-9968-FB85028E1AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bfb329c9da094d33335b71c94ab4533f7e87b78","datavalue":{"value":{"entity-type":"item","numeric-id":1391734,"id":"Q1391734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1721ce3db349ef37cad76a0647aa14282c6187","datavalue":{"value":{"amount":"+0.7220858335494995","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":"Q1329743$D95A8B32-E200-454E-9D07-33853184EDA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correctness of fixpoint transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correctness_of_fixpoint_transformations"}}}}}