{"entities":{"Q5055764":{"pageid":7085341,"ns":120,"title":"Item:Q5055764","lastrevid":91920002,"modified":"2026-06-05T00:24:36Z","type":"item","id":"Q5055764","labels":{"en":{"language":"en","value":"An efficient representation of arithmetic for term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631171"}},"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":"Q5055764$6AB1FD13-4D71-4A21-98C2-B9700E2264F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5d307676987e50e6ae68033189613b4b0e9159f","datavalue":{"value":{"text":"An efficient representation of arithmetic for term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055764$D7144DFE-DB86-4E51-99CB-9BFE0D9811E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5e2c72b3d91c6a94281b0dc0500e52d0e1db9b9","datavalue":{"value":"1503.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055764$29EDC6B9-1CD5-49B7-95F3-CC6587567163","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7dc88e05d20ef998b3426512dfa2fa0f5b87623","datavalue":{"value":"10.1007/3-540-53904-2_100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055764$4B43232A-112C-40ED-93AF-A5DF6823EFA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a1fa8c4dbeb70c321fa0942dbcc2e2b25aad035","datavalue":{"value":{"entity-type":"item","numeric-id":5055763,"id":"Q5055763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055764$BEAC4159-9924-4889-BE39-56656828FBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8060c937db3f0d27508bc22073371aa5d9825f20","datavalue":{"value":{"entity-type":"item","numeric-id":685378,"id":"Q685378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055764$F3A47EB9-72FA-4F89-B5D2-65CD7A54869D","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":"Q5055764$85202A85-09B9-4EEE-8E44-7F1DA463300F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055764$451AAEBC-2433-4CEE-A6BD-33BFF1F9D1D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055764$D0C41742-26FA-4664-A38D-0FC2D84251EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055764$C694ABE4-90F5-4D8F-B46D-C724B33AB6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055764$79F25152-0F0C-4E73-899C-FEE1BC223180","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d351c20be9323f4d96292769698f5f244870c2ba","datavalue":{"value":"7631171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055764$C591F9AF-2402-42CB-BD2C-D4C9FE2E0BAE","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":"Q5055764$348AFDD1-F86F-44BE-9BC1-CE738F8DE7A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82c4280eba90298c9465d67339b495aa763c4a54","datavalue":{"value":"https://doi.org/10.1007/3-540-53904-2_100","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055764$3E01E1F2-583B-4DFD-8813-D284AA1B4B39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f806a6e558eea1bd25a7f78074814c08a4f5b1cc","datavalue":{"value":"W1567354447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055764$DD21D9F3-1138-42B0-BED4-882C201C55B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055764$CE8ECCBC-58CE-40AF-AC79-44B87F07B4D0","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":"Q5055764$61975EE0-A494-411F-8E3E-DBAEE71CD5BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c1a7e90bd3e824b49c90051af9c5450d1cd4a6","datavalue":{"value":{"entity-type":"item","numeric-id":5055840,"id":"Q5055840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fbcdc317edca73b50d36cd90c689cf1f3c6c107","datavalue":{"value":{"amount":"+0.8930495977401733","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":"Q5055764$42A20C3E-57ED-4D2C-B753-2E9FBD8CE70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b010206c55a0635ac59c164b6bbf2e26ccb9cc","datavalue":{"value":{"entity-type":"item","numeric-id":4594221,"id":"Q4594221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3f2c9855f956b2642ec042f59eb01cd2ecaa72","datavalue":{"value":{"amount":"+0.7826590538024902","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":"Q5055764$7734F999-2D2B-4B97-ACE0-1FE81F84469D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef1c169f747b223fee7f66b2d56d4ee47544427d","datavalue":{"value":{"entity-type":"item","numeric-id":4037331,"id":"Q4037331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c73a9081b6801ba5d9ba868d9bb29cf6712dcfb","datavalue":{"value":{"amount":"+0.7274722456932068","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":"Q5055764$0DD76944-6F23-42C0-98CA-95310BCE5162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8099189422f7501d7080835105660316ebfae3","datavalue":{"value":{"entity-type":"item","numeric-id":5856421,"id":"Q5856421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb7401449631348d83254cfe417562250b98752","datavalue":{"value":{"amount":"+0.726544201374054","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":"Q5055764$D492FDB3-3FE5-40DD-8A7E-0C0A8258DB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4dd0b49792231dcb8a19a4278679e50840df58f","datavalue":{"value":{"entity-type":"item","numeric-id":4447218,"id":"Q4447218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db889af7e10afbdcf751eb2f921cedc594f26ef","datavalue":{"value":{"amount":"+0.72414231300354","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":"Q5055764$0FFE99C6-5FC6-4D27-BC64-5CBC7564AA13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient representation of arithmetic for term rewriting","badges":[]}}}}}