{"entities":{"Q3498479":{"pageid":5528382,"ns":120,"title":"Item:Q3498479","lastrevid":50357936,"modified":"2026-01-13T21:32:45Z","type":"item","id":"Q3498479","labels":{"en":{"language":"en","value":"An Extension of the Knuth-Bendix Ordering with LPO-Like Properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275854"}},"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":"Q3498479$CBF15D6E-6776-4D0E-8878-EE1E77788E42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30f5c8844207f4a6bc538059b16be2568941262f","datavalue":{"value":{"text":"An Extension of the Knuth-Bendix Ordering with LPO-Like Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498479$3F55E5B6-389B-4D87-8798-035E2EA8486E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e618f985c11a398391b52bfa3a8f6f1a09483b6e","datavalue":{"value":"1137.03306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498479$00DAE393-0C0A-4723-9C2A-405BC4689CB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"715bdbefb4a73d08082f3136ba01cc15c09db52d","datavalue":{"value":"10.1007/978-3-540-75560-9_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498479$6F68F932-508F-4500-A6A5-E0CD431C954D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b3b7f1bb16189df0204250dcb849744d55f24dc","datavalue":{"value":{"entity-type":"item","numeric-id":2296719,"id":"Q2296719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$C96619D0-075E-4EFC-9BEE-F645583555AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$9BB93AFC-5C7B-4913-B046-5B11A304B4FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$92A23AAA-C624-4404-8A91-1D8CA638EA89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498479$64EF6E9A-2A89-4D0E-875D-3EFB33A41DF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498479$4B04B696-272C-4B78-9909-56D9056CC9EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1afab228e6acd2c148ace12f1daabb45c25b5ee3","datavalue":{"value":"5275854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498479$5405618B-AF30-4EB5-8E61-4ADE6EDFF9AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2e4454b50103c6e6499c664726a4f18fc7c5af5","datavalue":{"value":{"entity-type":"item","numeric-id":16784,"id":"Q16784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$3497BECB-A461-4451-91C4-F71F596D1542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$CA20F953-22DD-45CF-B233-75F046EDD5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$E4A767CD-2402-4684-A29C-0F3F6C069598","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":"Q3498479$73074BA2-6B23-404F-BCEF-010FF35FF884","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24e13692d1b4169baf77e95284e1a23bb3f02ddc","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498479$91532916-3921-41A6-AC27-86E73F9EF6C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"232a81c7329b071c805efae55be11e358f139206","datavalue":{"value":"W1584399668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498479$6EC64550-3D40-4833-8820-794ED85E05D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$349E2AAD-F707-49FD-A6DA-1788068333F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$D94254C4-52D4-42B8-BDB3-D5BF06653BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87d791b3bef9ce142540481bca9b113bf919089","datavalue":{"value":{"entity-type":"item","numeric-id":751830,"id":"Q751830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$2BCCE364-2344-4E61-9CD8-DDBB1173F059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cecab68a652e762c47a3eaa50b257a36b2f60108","datavalue":{"value":{"entity-type":"item","numeric-id":5387842,"id":"Q5387842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$4BD3BB2C-30C8-4A8B-8598-957B8CA8E116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7474c1769098271dfa8760cf06b0b45182f69ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2432764,"id":"Q2432764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$CF261C9C-9FCF-4B4F-8A2F-CD5A98611651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd13832e4858f20ceea370b9af3d4412d8bd11c","datavalue":{"value":{"entity-type":"item","numeric-id":4913861,"id":"Q4913861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$652B9616-94E3-4DC6-8130-A7A66E522E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8520468368f643afacd59846425a2cf896008c34","datavalue":{"value":{"entity-type":"item","numeric-id":4864753,"id":"Q4864753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$740E9CD8-1311-4610-A21A-FD4B249B693A","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":"Q3498479$51239902-756D-423D-91BA-73721A426BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005a359e0c4194dc29e9a7f915c69fa31db62513","datavalue":{"value":{"entity-type":"item","numeric-id":861708,"id":"Q861708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$B1D236F0-43FC-4606-9D4C-69424A6312C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$41BDC07C-A23A-413B-9111-434A0A910BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49bddd3d8758939d2c56cea336fa15d4d01af13","datavalue":{"value":{"entity-type":"item","numeric-id":4809064,"id":"Q4809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498479$BA0B19E4-9B38-40E7-8119-7DC27EB12DE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57fad6717c07f3dfa0f3bb365481ca6d3c2669c4","datavalue":{"value":{"entity-type":"item","numeric-id":2405268,"id":"Q2405268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b96153b8818b9e7020ec289705fe403a8ad4b0","datavalue":{"value":{"amount":"+0.813563883304596","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":"Q3498479$84E19567-7EEC-4E09-9A68-9394A566CF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d28257d4fb53b2ac2831d960801f3d2169bd439","datavalue":{"value":{"entity-type":"item","numeric-id":751830,"id":"Q751830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6152e51fdff8712e365a5724fbfb913231302b2","datavalue":{"value":{"amount":"+0.797033429145813","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":"Q3498479$73D451F3-C458-4041-A6FF-E9F6236ED69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f7652357e77a1571122db1de57d47e89f772e8","datavalue":{"value":{"entity-type":"item","numeric-id":2891472,"id":"Q2891472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39569b11f63c03e95f5cb3ade817d848f9fbfa2d","datavalue":{"value":{"amount":"+0.7962084412574768","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":"Q3498479$40C635D8-0F63-404C-9B62-0FE219672E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba147e76ff3927582ec527b4eedc98fcd679507","datavalue":{"value":{"entity-type":"item","numeric-id":861708,"id":"Q861708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b6f841305cfeed2d4a41d1abe448d0c9509f1c","datavalue":{"value":{"amount":"+0.7958661913871765","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":"Q3498479$7B675B5F-50CE-44AB-AA51-47E238E8E240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ff98fe2202c0f3c7a64559429574a20f104e21","datavalue":{"value":{"entity-type":"item","numeric-id":5394610,"id":"Q5394610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47cc3fc87d360dcbf245a0be371e42de601f9b15","datavalue":{"value":{"amount":"+0.7890065312385559","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":"Q3498479$3E654891-88E1-4C53-AE0B-8C85BEE2882E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498479"}}}}}