{"entities":{"Q2456557":{"pageid":2467300,"ns":120,"title":"Item:Q2456557","lastrevid":50187743,"modified":"2026-01-13T11:06:10Z","type":"item","id":"Q2456557","labels":{"en":{"language":"en","value":"A reconstruction and extension of Maple's assume facility via constraint contextual rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5202028"}},"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":"Q2456557$1791EC87-0AAC-4634-9317-BC55FFA580BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6303172c7f9a2a7fce3dd4c01ab4a245705178d0","datavalue":{"value":{"text":"A reconstruction and extension of Maple's assume facility via constraint contextual rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2456557$AF1FF17B-5BAB-43CF-BCF6-849630AFA767","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e95baafdc7a92f98e63573707625c49e10d981f5","datavalue":{"value":"1126.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456557$F21FED00-8B76-4DBF-BF3E-1096717FB2B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$5314495D-E30C-4037-8F07-16C249613E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f597a37daf8add8e5ca5ed6483cea4cb6a2d651","datavalue":{"value":{"entity-type":"item","numeric-id":928665,"id":"Q928665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$CF45BD7A-573F-4A47-B88D-B472E9AFF013","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$2795C9B0-6808-4CA0-B028-CBCCB75D9006","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5dd9e0f7e970fb181073844a7c8c2ebc2be921","datavalue":{"value":{"time":"+2007-10-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":"Q2456557$1C1D2D91-4960-4787-AD05-3580E96E24D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456557$6D3283D6-C874-4C12-9C26-989F79199939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456557$AD6DABDF-4D01-4C11-9D30-C76616EFEFDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a65c0704e831aa6089aca25777d1a287af3a8ac5","datavalue":{"value":"5202028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456557$FA455F27-752E-42AB-9080-252EB3C6541B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456557$7BFE8B4D-935A-4C98-A0D6-2ED3D4924EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde94ab0ead7c7158cc624a23e8bc3a792dd5926","datavalue":{"value":"simplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456557$143B8C16-6142-4BCD-A097-C06C7937CEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58df8e17e624d62223ea24283e256d59839b4053","datavalue":{"value":"contextual rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456557$7C2C668C-69D0-4D67-818E-7DD757CB4A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456557$105C784E-42A4-4D35-AD11-F32899FF2181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76871ed3863510e24a26fa18e5b12109d703c16a","datavalue":{"value":"combination of reasoning specialists","type":"string"},"datatype":"string"},"type":"statement","id":"Q2456557$35B2A3CA-8F91-4019-B674-5FE1EFD8743E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$95FCFC24-3374-41BB-A61A-A7DBA55032C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bab752e9cf98240487eb3aae10666dc541b36d41","datavalue":{"value":{"entity-type":"item","numeric-id":43692,"id":"Q43692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$C20D58A8-F512-4497-A874-6F3F9329B0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$46297E11-9BD2-4393-AD3E-373469FCD081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"954fee4687a8e78ed6c048a8ec08f19b068d4a8d","datavalue":{"value":{"entity-type":"item","numeric-id":22349,"id":"Q22349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$F1078BCE-3006-4A82-BA09-86D26F5B3762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe01836af9276b5e43b5f9e39903d91786157e73","datavalue":{"value":{"entity-type":"item","numeric-id":38406,"id":"Q38406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$3D68D5E3-D1CE-4317-83CC-7C22405B5B17","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":"Q2456557$881F8B5A-B637-4A36-85C6-EECEAC5C73D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71759d540b2933c98156c420606ca307932b0033","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2004.12.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2456557$BF0532EA-E383-42B1-9580-B68F6CC3F335","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be9c25fe53383783da86813b607810b139ee2e5a","datavalue":{"value":"W2034551708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456557$01593F83-E448-4646-AF01-84EA4B8B6195","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7cd3fe600153565eb178ba1a713761038ba62d","datavalue":{"value":{"entity-type":"item","numeric-id":2958911,"id":"Q2958911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$333D1B74-AF45-4D7B-BD4F-1A412572BE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c46c229e90f26c1f2404e20b1ec7eaefedc85","datavalue":{"value":{"entity-type":"item","numeric-id":4539649,"id":"Q4539649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$ADCF8B14-51BA-4C15-982D-353B7B0B6EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df70bab827625536ffad6073f32e0fcca7c6d097","datavalue":{"value":{"entity-type":"item","numeric-id":1404984,"id":"Q1404984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$61DC5140-BFCD-4050-9E56-DC23341D5C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff09bbb9898a9971cb4551afcad28242ce947868","datavalue":{"value":{"entity-type":"item","numeric-id":2751537,"id":"Q2751537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$9BC8DD8C-0E18-457F-947F-86A7D76B6DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcefa04102d3bbf48f0b6b000cb1091353621c42","datavalue":{"value":{"entity-type":"item","numeric-id":4934138,"id":"Q4934138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$8FA22566-A275-4E08-979A-D0D5964E02F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3e97929024d2ee37616602a13d3244533bbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$8B9B571A-E46A-4C21-9382-991DF7440FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2119df3b46305c6e17903e99e4eb367a30917bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4227277,"id":"Q4227277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$6804A3AF-5D8A-419D-86BE-827E4AA40968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$C54CC59B-B872-499C-8892-EB204BABB957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9160b1471b4e9b35a27ed585f69f4e782109c232","datavalue":{"value":{"entity-type":"item","numeric-id":4226991,"id":"Q4226991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$0E0366E7-EFF3-4A68-B831-38FF511B7041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3551b02d9f9c0403eea8e23054100305fa575daf","datavalue":{"value":{"entity-type":"item","numeric-id":1892121,"id":"Q1892121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$525AD59F-028F-4203-8568-8424C0FF2F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5d997d3c3c1c4cbe0d251137694980cd98cf08","datavalue":{"value":{"entity-type":"item","numeric-id":1272607,"id":"Q1272607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$9FABEB70-B701-41DC-8A8A-3F2DB34AF872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2456557$636A95DA-AB3A-4EDE-B065-32B85C12FEFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"072b012cbfef0be4a7d12dd379eddbf55d41ed5b","datavalue":{"value":"10.1016/J.JSC.2004.12.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2456557$B5806788-1211-496D-B20C-5212DDE6ACF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921e0e5496eadca8a02e778539b5eb4fcc2b8181","datavalue":{"value":{"entity-type":"item","numeric-id":2958911,"id":"Q2958911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4a7bf2e2d44b29b6da1d21bb4e435141edfb99","datavalue":{"value":{"amount":"+0.8901678919792175","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":"Q2456557$4A0D5D04-7C6E-44C5-9236-E3C4CFE9F09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ee5d386210c6d810a66965a014784acd19b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1404984,"id":"Q1404984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dda60e766a90893eb5ff7973bd49c41c1b40cb4","datavalue":{"value":{"amount":"+0.6986832618713379","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":"Q2456557$D474ED21-AE6F-43AE-9B33-B71E1EAA02D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c5584ec459969e411bcdb838f96e19a88d3542","datavalue":{"value":{"entity-type":"item","numeric-id":4518863,"id":"Q4518863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0605a3743e461e572b96dbfb6ddc49502ef0984","datavalue":{"value":{"amount":"+0.6902623772621155","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":"Q2456557$845CD325-E7F1-4085-878B-882041E02FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d46b76892f94afd9cde934c0502f52ca35f522","datavalue":{"value":{"entity-type":"item","numeric-id":532411,"id":"Q532411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0605a3743e461e572b96dbfb6ddc49502ef0984","datavalue":{"value":{"amount":"+0.6902623772621155","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":"Q2456557$F226C471-7045-43C2-ABA8-690EEFEE3F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b1fb034004c5b9c8e32454e92fc1ed7fc81657","datavalue":{"value":{"entity-type":"item","numeric-id":4227328,"id":"Q4227328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ecc4aa9c1343e3ea4f41e3d655d987ae04a112f","datavalue":{"value":{"amount":"+0.6794915795326233","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":"Q2456557$5A14BE41-E9FD-4945-90DD-63DA9A769EFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2456557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2456557"}}}}}