{"entities":{"Q3522029":{"pageid":5551933,"ns":120,"title":"Item:Q3522029","lastrevid":90245921,"modified":"2026-06-04T19:40:12Z","type":"item","id":"Q3522029","labels":{"en":{"language":"en","value":"Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317342"}},"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":"Q3522029$EE0A3DD3-A4F6-4002-B00C-C7EC0969A7A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2d650b506ed41ab5f84a23f11da4f8f11bccc82","datavalue":{"value":{"text":"Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522029$FE11E395-3A4F-4E7E-9E6F-16FF5133BF2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d76c939d3a87e2e503ca1421649f45409c0643e","datavalue":{"value":"1145.68454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522029$ED3FE833-4ABD-42C1-BE7F-54182BE91D20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b5632b38f66ebad43909619bb2bb6c7c2726e3e","datavalue":{"value":"10.1007/978-3-540-70590-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522029$DEFB8558-3B10-43CB-BD2F-95A206549CD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"391f7c9359d3fa0424cd103cf1db41eeb4749b7c","datavalue":{"value":{"entity-type":"item","numeric-id":219448,"id":"Q219448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$65087B26-7BEA-46A4-90F4-24955B8E436C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$A6A84191-BAD0-408E-8ED4-B354EDAB5D77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522029$E102B901-E668-44F2-BBD4-1B6E44A972BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522029$C595668D-EFB3-4154-BB36-8420E1488CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522029$509E0231-1150-4C56-A44B-A55E87F81BF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54c2cfa860905e216a67caf4f42eac0473a431f4","datavalue":{"value":"5317342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522029$A24C7F54-9D3D-4E9A-9C07-105E74D375DB","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":"Q3522029$F8FC5207-AC2F-489A-A68E-11A8FC3A376A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f7abf828261c52476ec0be0c5485b9bacbe7912","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70590-1_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522029$7149786B-2447-4FBE-A08D-CD031376D328","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e74559079f185abdd67c75f85c450f8fa8150cea","datavalue":{"value":"W1480151951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522029$E7C497AD-6AE1-405B-B7E1-953A463B3F4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e127ccb7c16456a4a40a8f84d93c649218d4fa","datavalue":{"value":{"entity-type":"item","numeric-id":3527298,"id":"Q3527298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$823AD8FA-CA9D-4342-ACD7-518464472EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"798e10033e3dd1a139712364d2e339f513e371d6","datavalue":{"value":{"entity-type":"item","numeric-id":1404422,"id":"Q1404422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$18A3A828-1D2C-41ED-B3CA-BFC3D6F3CC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25667f2a6078416ec1d446a9aa809aa2c346bf3c","datavalue":{"value":{"entity-type":"item","numeric-id":4447243,"id":"Q4447243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$8415E085-4ACE-48A7-992A-CFAF22888F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38436ccc3eaf66833737c693efd9ee02093296ee","datavalue":{"value":{"entity-type":"item","numeric-id":1355757,"id":"Q1355757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$BCF16EED-A0AD-4EEC-80B3-C30DB6069408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032e011dae6771ddc94bd3b2d7b810721cac8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4849648,"id":"Q4849648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$19D51323-F686-460A-A5C8-08CCAB145DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7199b61e16a84b76da4670f962685e538ce1a13b","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$5595B0BF-D457-4C97-9893-411C14771ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635d658e492778c40a0dc6463613126938b64c17","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$106206E5-FF54-45B3-83C0-EE67B8739F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$5D5B3A68-C393-4018-914D-E348BF411BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$7E80A4CC-4322-408F-8802-53B035967277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$0918FD7F-E42A-4721-BA96-5284ABE91667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcde2500da8d963a50be7cdace3d5f52e7d06884","datavalue":{"value":{"entity-type":"item","numeric-id":1810852,"id":"Q1810852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$C946E3B2-C7A4-460E-8C1E-1C5EC8C59B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7800cb26ebd8bd73eb3371458d6f9dbbf37e26b7","datavalue":{"value":{"entity-type":"item","numeric-id":5950934,"id":"Q5950934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$E6A3D4FF-F00B-4A47-BCAA-AFE7600AB233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870cfff1f19b717b0ce488374896767e4f472022","datavalue":{"value":{"entity-type":"item","numeric-id":5479282,"id":"Q5479282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$3E0E7A93-6294-4B11-BEFB-AD4221CCA411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e4e2410286144971b97051d7d004c86e1a2c3d","datavalue":{"value":{"entity-type":"item","numeric-id":4809499,"id":"Q4809499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$9EE0322B-1E04-4ABD-B9D8-A25DC7B49158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4098701b77640969d6c5a6c2843a41c1bc5c5110","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522029$766B6D72-4410-4AFB-9ABC-5C6A07877C8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b858afe494c5631a2744b781455484b3ebf93a08","datavalue":{"value":{"entity-type":"item","numeric-id":3527298,"id":"Q3527298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4267cde7c1295ef5116320226b14eba2da0bd0b2","datavalue":{"value":{"amount":"+0.8570558428764343","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":"Q3522029$6608C4C8-192A-4A33-A92B-ADC94215922B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e833c8a27f9027a689f51b813a46229e5590e5d1","datavalue":{"value":{"entity-type":"item","numeric-id":6486039,"id":"Q6486039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495f06b8d6bf8c887e1dcae93041af7bac5c0653","datavalue":{"value":{"amount":"+0.7316655516624451","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":"Q3522029$E028C8FD-79AF-46F4-831E-50030E1A6020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecba8fd5eba8c85bbd4bcc43c5b043c49cb11fd","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc9a9df7ead78e32187fe6eb4ce250b4ddf1168","datavalue":{"value":{"amount":"+0.7263692617416382","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":"Q3522029$F59F1D47-D88E-4EC3-8B16-DC85F138E5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcd70799035cacaa4c97b9282ffc1d71e5edfbac","datavalue":{"value":{"entity-type":"item","numeric-id":1183582,"id":"Q1183582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268f0aaef90e0f2596c370fb2b5bcd1957293dc2","datavalue":{"value":{"amount":"+0.7168737649917603","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":"Q3522029$2028A2EE-5E35-4E52-AF4D-EA9990E3271F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27502a2dca64c269444c0f5b6832154fc3dbedb5","datavalue":{"value":{"entity-type":"item","numeric-id":507366,"id":"Q507366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822b558eb6bad30a29441e1c21cdc1e12d96c852","datavalue":{"value":{"amount":"+0.7167172431945801","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":"Q3522029$06DADCBD-C4A0-4B0D-A538-FD483BD6FE4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_Rewriting_with_Noetherian_Induction_to_Reason_on_Non-orientable_Equalities"}}}}}