{"entities":{"Q1758669":{"pageid":1769411,"ns":120,"title":"Item:Q1758669","lastrevid":51598046,"modified":"2026-01-19T00:13:11Z","type":"item","id":"Q1758669","labels":{"en":{"language":"en","value":"Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6107866"}},"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":"Q1758669$D4020C82-0B56-40C9-B95B-588140F4B4C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"066ebd16933646b3bba5c382e6e0fd06f99143e8","datavalue":{"value":{"text":"Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758669$A53C5AB3-C656-469A-87A2-22E9ABC67EDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6f260bf4e9d6dee6c67cefbd89a0a319a3d6d00","datavalue":{"value":"1251.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758669$C62EC184-0DE9-4F82-932B-99225C2344FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"982e318168484c2d757102a5a7ee3ffcca1f3c82","datavalue":{"value":"10.1134/S0361768810030011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758669$CF4E89D7-BEE6-4FA5-AF08-EC10A465E8DB","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":"Q1758669$335BBEB5-A72E-43F3-B857-FFA80D390636","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":"Q1758669$740F76F4-F95F-4B02-8F18-77A63B129224","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d9ed1da0749c54273c05a4ba5499c71e474aeb","datavalue":{"value":{"time":"+2012-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1758669$8A05E4AA-D147-4653-9AA0-868473882138","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758669$DA8B66C3-DFB3-4A42-BC8C-500688154737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758669$ED984063-EB58-48CE-802E-0AAA6E8C337D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758669$2E8010B2-DFFC-4E6E-AB60-214FED83DA3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43f9fc54998fe84c92ac89d1ebacc55ab2bbe632","datavalue":{"value":"6107866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758669$AADBC925-9776-4ADD-8ABF-EBC01EE0CC7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14bf5e14844cd3a2d4f7f9fde6ce9a49b834edf0","datavalue":{"value":"algebraic program models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758669$B6E3FC91-47E5-4575-87CB-43F147697614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc32dd8e7f7ba2912991c45350a9908c61e68e64","datavalue":{"value":"semantic program properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758669$E99A4728-A07B-4568-8558-6408B57800E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ac4cd934611b89a921227736d078b9b990e95","datavalue":{"value":"functional equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758669$B4CB7F07-E565-4B7B-BFF4-AB79D966A2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758669$43C92158-4A42-466F-905F-F4009A91335A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"999fc190e19369ba87c26d8c7a6fcd828f8e7c7d","datavalue":{"value":"approximating model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758669$6CD34810-7003-4AF6-93D5-4DB3F10DD429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58af8ae95c696504db7edb64b52ea1c913de68ce","datavalue":{"value":"scheme equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758669$01D660CE-25D2-4C68-AAA1-AC6097999551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14dfe199bc5c247707ead0a2a1314c68e682ff51","datavalue":{"value":"equivalent transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758669$7AD32096-D9CC-4234-B1CC-AEFA6B1F2FDA","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":"Q1758669$F3DA4860-AF1F-455D-A4AB-79BF578CF8D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf617fa3642ba8d03a1b191a6bb829d3bd656ba9","datavalue":{"value":{"entity-type":"item","numeric-id":3256561,"id":"Q3256561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758669$6DB583CC-8D9B-4A42-BEDE-B6F284C67C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bc10474800e36417252246cfb992abcb0064b2","datavalue":{"value":{"entity-type":"item","numeric-id":1403233,"id":"Q1403233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758669$F0D498EA-52A0-4EC4-A758-BDD126BD9541","rank":"normal"}],"P1643":[{"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":"0d72fed31be018fd1ce2864dc521b05f7c8a5e4a","datavalue":{"value":{"amount":"+0.8247007131576538","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":"Q1758669$B5CF7E4C-5C05-4CFF-BB48-C5FC9BD4F739","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":"d5c73cb66a66df328554d64db8a58ac323b6ab77","datavalue":{"value":{"amount":"+0.7857751846313477","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":"Q1758669$BD325678-F168-4727-AE9C-C814D02D78B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618c0a1d783419d399d344fa96f12e35389ae38b","datavalue":{"value":{"entity-type":"item","numeric-id":844347,"id":"Q844347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fd36ceaaf3064c283a3be2db14ec17811433bf","datavalue":{"value":{"amount":"+0.761221706867218","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":"Q1758669$D6664A41-3263-4889-9C32-56CB0909BAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5adbd5ecc0eac3a1334d55121f7b6cf13b741b35","datavalue":{"value":{"entity-type":"item","numeric-id":4871475,"id":"Q4871475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684f2e5f9c3125c7de091b6844e4d2588bd6d6ab","datavalue":{"value":{"amount":"+0.7524519562721252","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":"Q1758669$C1BF99D2-B536-4242-A97A-BC851D489B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0646c901c8262fe1640c6b786b59bb89592781","datavalue":{"value":{"entity-type":"item","numeric-id":300376,"id":"Q300376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684f2e5f9c3125c7de091b6844e4d2588bd6d6ab","datavalue":{"value":{"amount":"+0.7524519562721252","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":"Q1758669$D64D53F9-CCB1-456D-8FB4-3FC87CF15B17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1758669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1758669"}}}}}