{"entities":{"Q844347":{"pageid":846195,"ns":120,"title":"Item:Q844347","lastrevid":50880314,"modified":"2026-01-15T13:44:51Z","type":"item","id":"Q844347","labels":{"en":{"language":"en","value":"Technique of traces in solving the equivalence problem in algebraic program models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5660042"}},"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":"Q844347$C6D55D75-6D0B-4327-8953-A6620D1AF2C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b91073d4853f9336e3bdd130a16992fe1c024d01","datavalue":{"value":{"text":"Technique of traces in solving the equivalence problem in algebraic program models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q844347$5C3A73D5-E848-4249-A66F-9BDC9609D1D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d97811aaf0197e608a474e57f9b000df68519263","datavalue":{"value":"1185.68420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844347$725CFEBB-A4C7-4EB6-B536-D6537DF2E169","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":"Q844347$C04C5F71-91F6-4DA5-839A-8BB89F1E6FF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844347$7DD68C2C-67B4-4669-9380-81234CD61145","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be635091689a991256f3b26dc127b364600011f9","datavalue":{"value":{"time":"+2010-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q844347$A1CB74D7-1037-45DC-ADF0-3DF300B10F0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844347$88AF92DF-D894-44C0-950F-4C68E59140E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844347$9C837009-693C-4CBB-9B52-160154EE7057","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32815508230afe822c8c1166b0c09d61aa446792","datavalue":{"value":"5660042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844347$D096EB3F-857A-42A2-B4DA-B35C3F4F4CBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cb59fdc0f6817bfa835b3f5e6a4038a9b840c58","datavalue":{"value":"algebraic model of a program","type":"string"},"datatype":"string"},"type":"statement","id":"Q844347$8ACF7299-8AAF-48F3-BE8F-3386F93A976E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q844347$94151E37-5ED6-43AC-A05B-CC53E758445E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d5e263b78f854bf8c363d5b771fb03c59ab986f","datavalue":{"value":"technique of traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q844347$9F61AD66-1A90-4A07-8450-C641F4E4A92A","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":"Q844347$D157A6B8-9B29-468B-8243-7B21824EB55A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d44be874bc76d4a009e0a478683d93dd9d249388","datavalue":{"value":"https://doi.org/10.1007/s10559-009-9139-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q844347$2B227474-8821-46BA-AD09-4BD2DD53DEBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c37eb69f7cf41b9b32a79e41d8dd404566718424","datavalue":{"value":"W2078464192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844347$AA224216-C8ED-4E91-9DE7-D50ECEE556D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78097efb535638725ac11118a601f24108d05496","datavalue":{"value":{"entity-type":"item","numeric-id":1157146,"id":"Q1157146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844347$455085B9-FFE3-49C7-BDD5-E03EB3B4B0F1","rank":"normal"},{"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":"Q844347$B247AF69-0963-4A56-B588-97DA797D3CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0a861b04997baf0aa0dd8acb6dabed07a7afc0","datavalue":{"value":{"entity-type":"item","numeric-id":1162805,"id":"Q1162805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844347$A134509A-0097-4488-A6E7-74BB70D33F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a974478e6a52c115a33bb62382e2548b386242c2","datavalue":{"value":{"entity-type":"item","numeric-id":3063993,"id":"Q3063993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844347$39E6D8DD-4D51-4ECE-9AAF-CEA377EB40A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a7956f7a507c42ead4fd537ee4be8d86bfc4e7","datavalue":{"value":{"entity-type":"item","numeric-id":5930884,"id":"Q5930884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844347$0A83B866-4B69-4206-989F-ACCC7B1BFDB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79127a698498f1e226874d66ab313e6d5d1efb69","datavalue":{"value":"10.1007/S10559-009-9139-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844347$CEB9ADDF-F078-4F60-A57B-5D8C4C829FAA","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":"883f6b8732fc64dd968ce162cc85fac58972a8b2","datavalue":{"value":{"amount":"+0.8227540254592896","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":"Q844347$1E0AAB95-EE62-4004-90F7-A9A55DF59D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dcc6d39eb0e26b9dff6489eb2d5d9d9acb1f482","datavalue":{"value":{"entity-type":"item","numeric-id":395268,"id":"Q395268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c88c7e6bc285bef97edb1320e2b5295056c0036","datavalue":{"value":{"amount":"+0.7929167151451111","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":"Q844347$700A98F9-2CCD-4545-A813-4CF4D3D3B2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e6e0792e368a5d09e553b21da7848e8a49482e","datavalue":{"value":{"entity-type":"item","numeric-id":2452734,"id":"Q2452734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad23e94fb4bd7977ceef84fe7763e8c67cb0b3e","datavalue":{"value":{"amount":"+0.787669837474823","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":"Q844347$62DDF562-FE11-4420-A788-A92C09BB36AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69672852dffe3fbed03000ec926072f150b57951","datavalue":{"value":{"entity-type":"item","numeric-id":3008829,"id":"Q3008829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20dbe3a025d79b8c58b845f9c00b829becd974a0","datavalue":{"value":{"amount":"+0.7797378301620483","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":"Q844347$87A2959B-C1D8-48A1-9816-8A202DA68FCB","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":"976c3391b3a27315ee7691b5d3e3f07be6b71a80","datavalue":{"value":{"amount":"+0.7748571634292603","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":"Q844347$13118AA6-F86A-4294-8B9B-19F1AA47F534","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:844347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:844347"}}}}}