{"entities":{"Q2452734":{"pageid":2463477,"ns":120,"title":"Item:Q2452734","lastrevid":52009727,"modified":"2026-01-20T18:09:46Z","type":"item","id":"Q2452734","labels":{"en":{"language":"en","value":"On the polynomial complexity of the equivalence checking problem in algebraic models of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6300968"}},"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":"Q2452734$13D3737B-C831-4F1C-AF19-02F6D98101C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06d2a49cff07d2d22b6e7bcde998e96cb5a0d3fb","datavalue":{"value":{"text":"On the polynomial complexity of the equivalence checking problem in algebraic models of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2452734$945305CA-9B32-43B1-97EA-B8E6D00C96E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fbce23cdab458bf23d733d1edc48bf52267cc98","datavalue":{"value":"1290.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452734$4258E841-107E-4874-99AB-63DFFE455FC7","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":"Q2452734$C98A8696-2135-4649-9E65-24C2DFA69D5A","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":"Q2452734$78005662-CCD2-44B3-9D02-A53B9D86DB35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"002822b1d48c58c3e40495095bf7295d32512317","datavalue":{"value":{"time":"+2014-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2452734$64183CC2-66A5-4486-8086-CF8B1785BB50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452734$23A3FA80-FFE3-4910-88EF-90ECD310503E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452734$079EA39F-2DFC-48DC-B480-6EAC3FF034B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5e2237cba1cbe701d0dc7462050a938050c923b","datavalue":{"value":"6300968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452734$805F9542-9A79-4A10-A9F0-FB9690FC4DB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"037dab880805d132e403388854bb857feeee8644","datavalue":{"value":"algebraic model of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452734$AC3D6314-56C4-4250-85AF-1AEE273DA1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b51f5daad972e3ae93b964cdcf23fb05d9be8605","datavalue":{"value":"program scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452734$746DDE59-B220-4A83-8B09-BCE7CD7B4ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452734$D02DA00A-6266-40B9-9C54-7CAD033BDDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2157b73def31f37a018efe23ba33e9eaf88ddaca","datavalue":{"value":"algorithmic decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452734$E7CB0BC1-F865-4F59-993E-68E724C1A89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452734$47F58886-E6BC-4A5B-9A88-CB21995BBA52","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":"Q2452734$4339C78F-C37D-437B-AB25-8E742AE1F2E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c8431dab461535c5db20ce913b225b07bb74d51","datavalue":{"value":"https://doi.org/10.1007/s10559-012-9446-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2452734$45D67868-3EAD-4D46-AFBE-BCF9AF162E74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"068dea699f30a7f2e41ee1bcd8ef924a59b640b5","datavalue":{"value":"W2033209737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452734$3ED8D81D-C585-4B60-9496-3720950663A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89c7f830df69556c8078d364cdc6a9cb33c772f","datavalue":{"value":{"entity-type":"item","numeric-id":844347,"id":"Q844347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452734$4FB91BCB-3CB6-4CC9-9421-7952EDAD1C0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b60d64d83982c1cea0a92b1a4ecd6b2a010b6746","datavalue":{"value":"10.1007/S10559-012-9446-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452734$51C395F4-4872-4352-86DD-056E29DB7D34","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":"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":"Q2452734$12E599CE-CDE7-4848-909E-2B2B42E9EDC4","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":"fe5587e65273056e6bd5949990e2a99d89d631fd","datavalue":{"value":{"amount":"+0.8173576593399048","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":"Q2452734$2C7268D4-F4BB-4F97-990A-14C2CF21DF49","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":"1adde9386ba583a32a7557dfab56f409722bdb45","datavalue":{"value":{"amount":"+0.8135166764259338","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":"Q2452734$F4DFD276-FC25-4415-AAFE-29B0BABD7E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f27e6feb3a92810536d2ddef6a8c3d8d44b8be2","datavalue":{"value":{"entity-type":"item","numeric-id":5463990,"id":"Q5463990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d215b6712d0124773e836b21fce4b0702b605608","datavalue":{"value":{"amount":"+0.8022173047065735","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":"Q2452734$C6E41AE9-8692-48E5-A168-0F74E901C4BF","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":"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":"Q2452734$01888705-8476-44B4-8B60-98FFAC300FE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2452734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2452734"}}}}}