{"entities":{"Q1758688":{"pageid":1769430,"ns":120,"title":"Item:Q1758688","lastrevid":51598073,"modified":"2026-01-19T00:13:12Z","type":"item","id":"Q1758688","labels":{"en":{"language":"en","value":"On an equivalence checking technique for algebraic models of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6107891"}},"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":"Q1758688$62C03120-7FBB-406A-A8BF-2312EA378C5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"388857a8f9575dbb7d840e8d851acde6a4b2cf03","datavalue":{"value":{"text":"On an equivalence checking technique for algebraic models of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758688$96217886-AC1F-459C-8A1C-F13FBFC4700B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61538e6f7f47ce2fbba3b03ed068e253a1116bc7","datavalue":{"value":"1251.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758688$782EC4A9-2326-43D2-96B3-AE16A4B4AB37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45cffa5e5bbfeac9723b339a48400f244c4d8239","datavalue":{"value":"10.1134/S0361768811060065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758688$7871DCCF-4FAF-4AF2-B939-089B1F961E1E","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":"Q1758688$796ADD46-730F-4AC7-9409-54138A6EEC6B","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":"Q1758688$48FBB678-D1F9-48DE-B47A-83873BB29313","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":"Q1758688$114A116F-F940-4C97-A476-23D7D97DB1C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758688$7281E666-AE29-40D5-B6D5-F1E709EE9858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758688$311A2E44-2986-4949-8538-182F759D0058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758688$C221822A-9C9D-4BEA-80D2-FC048C0FEA26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afa199baf2d7fdbba2c4a31adc0a8f23e14d8b44","datavalue":{"value":"6107891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758688$9B7B79EB-2400-477A-B42B-B4F6C610393D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df4ea416980d4a02a4421f47b4f7a91e71a48435","datavalue":{"value":"program schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758688$308F9E31-CC47-49F8-9B3C-25FA679945E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758688$C3690280-E22E-40E4-A995-7A5C2B01291C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3018f13ec4565557bf025633f394ef25a05fe3b","datavalue":{"value":"decision algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758688$C8297C10-E72B-4C0A-A8E3-165767ADDB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267b394071cf1b5b643cd515aabcdbcae8c08f98","datavalue":{"value":"polynomial complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758688$8DC13035-7B6E-4AD9-8801-96A26FE7A412","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":"Q1758688$768F8988-A811-4CC8-851F-B42375080F34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef989eb94cf258b86297019f01997f67129a14d3","datavalue":{"value":{"entity-type":"item","numeric-id":1594177,"id":"Q1594177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758688$04F8C577-07E2-4807-918D-F02EDD39F59D","rank":"normal"}],"P1643":[{"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":"1e9709a325893f5ec99af06bdf7036bc95aa100b","datavalue":{"value":{"amount":"+0.8511809706687927","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":"Q1758688$E6B964F0-F81B-4378-B1EC-1CA5DBCD8368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513d59affd5689d0d0046517eaa5cddc8d83547a","datavalue":{"value":{"entity-type":"item","numeric-id":1758669,"id":"Q1758669"},"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":"Q1758688$08E752BE-E179-4A51-A3B9-741904F8A6D0","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":"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":"Q1758688$B75CAFF3-98CB-4929-8609-6DA795D910BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b8cf63221bde1ed75af1c50425439388370185","datavalue":{"value":{"entity-type":"item","numeric-id":2191014,"id":"Q2191014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e38eb000b3f346d7740d1661157798172187d79","datavalue":{"value":{"amount":"+0.801173210144043","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":"Q1758688$20B76B01-B180-499A-AC9A-40585FCC19B3","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":"03e95e211c798cb34e7944453da4f7d351aa94bb","datavalue":{"value":{"amount":"+0.7952105402946472","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":"Q1758688$EA782D43-4489-48DF-A412-26494348C20D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1758688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1758688"}}}}}