{"entities":{"Q2945137":{"pageid":2955857,"ns":120,"title":"Item:Q2945137","lastrevid":52341875,"modified":"2026-01-22T09:15:49Z","type":"item","id":"Q2945137","labels":{"en":{"language":"en","value":"Strong and weak operational termination of order-sorted rewrite theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6479868"}},"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":"Q2945137$0C6DCF2F-4D8A-4D4D-AD1A-083BA04CF14C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b86c6c2f8613a2ed3da7e1dc1101f03a90776d5","datavalue":{"value":{"text":"Strong and Weak Operational Termination of Order-Sorted Rewrite Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945137$C694DD86-26B8-4BF9-BAE2-B26E41F3C612","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"186e4c5b4c83d408d85d111339b29a2e918c3add","datavalue":{"value":"1367.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945137$736D5E1D-6D10-4564-BF99-9F56F9D088C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0be0a68bba4c16aa61f2a796d8b7c0e498cfce0","datavalue":{"value":"10.1007/978-3-319-12904-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945137$024F8C15-3D8A-4917-A092-B426F96082C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945137$23B581FB-3476-423D-BE13-317489B5ECB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945137$27730B77-48E4-414D-8585-ADC1591C44A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945137$A14775B5-7FBC-4083-B2AC-7E6B85B992DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39fdba1a180432aa0076bd7853aefca9f33efc7b","datavalue":{"value":{"time":"+2015-09-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":"Q2945137$5183F77B-B11F-4CE4-8BAC-B7AE2E1929B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945137$F055FD5D-C5DF-4DF2-8F43-833FD384C8E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81569e5f55ba7508676b22d201e0b8e59675294c","datavalue":{"value":"6479868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945137$521D5056-7A93-4AC4-90CF-1FB012327991","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e0c5435c12ae5fac0ad2379b3f0e231cf6ffcf","datavalue":{"value":"conditional term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945137$32CE3960-C8D3-47DC-AE89-07B4E6A07602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b16dadcd3386c3bef719f46671549c4e9ff17bb1","datavalue":{"value":"strong and weak operational termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945137$17953A63-830E-42F4-AC9C-D6326C161129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"172e49e2e87c20663baddc816c238ef88a879556","datavalue":{"value":"irreducible terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945137$CEFC61F7-6877-4137-9793-EB3EF84D918B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f4f84829e3c4a20847dce3d84f546d7d4fcfd6","datavalue":{"value":"normalized terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945137$75D47260-27B4-4F3A-9A6F-023EB66B4BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945137$7C07333B-ED18-4D67-95A4-F68C5AEAE705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945137$38BAC062-551E-423B-BBDC-6155E8E18BD1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945137$98290CB0-CDB8-440F-91A7-2318654BC283","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":"Q2945137$1B8AE3BE-2BCC-4E28-9AB4-BC2664D3FBE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"166fca51ca5088b44b351242db216fe3dc2d268e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-12904-4_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945137$2715C79B-B549-4075-9DDD-BA5F8A278F1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ec35c132e43c21cd443a69abae0453a7f055ed5","datavalue":{"value":"W31417447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945137$4AB5624D-E6AA-4FDF-A861-620A7276B74C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fae6bdd07da4f9c5e2adcb968836e7a933be185","datavalue":{"value":{"entity-type":"item","numeric-id":730473,"id":"Q730473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0151a722facde9980662e6788005c4b372024cb","datavalue":{"value":{"amount":"+0.9208033084869384","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":"Q2945137$AEEE9489-C590-4D48-9C06-A7FE8C10BA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4730717ff3ff20e26d4ff0917d36421422c17d","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166a869219e283f599aa37bc21d9b9bfaff2cd46","datavalue":{"value":{"amount":"+0.839870810508728","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":"Q2945137$0A9F052B-B552-4B4A-93F1-1BF97655BCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65761ead613c321c651745728be516e7a9e5ad77","datavalue":{"value":{"entity-type":"item","numeric-id":2956715,"id":"Q2956715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f66b3b51130d6ca728624d1cf6db9f0079cf44","datavalue":{"value":{"amount":"+0.7969201803207397","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":"Q2945137$332DE92D-883C-482C-9E4A-AD91A7664A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5d626f383fca04f3ffaf8b1cca4a6c37a0867d","datavalue":{"value":{"entity-type":"item","numeric-id":710679,"id":"Q710679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a58c1b11480ff000492063c1313ea210bdb76e","datavalue":{"value":{"amount":"+0.7874833941459656","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":"Q2945137$2E586BC6-021B-43D7-9A91-ADE54355EF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cca0a2987b129fa09e63ef02cc9b4e4510c9db","datavalue":{"value":{"entity-type":"item","numeric-id":5881203,"id":"Q5881203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b47190c5ae4e41f6bb09fa8783d6c57bd3f8fa","datavalue":{"value":{"amount":"+0.7873899936676025","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":"Q2945137$1C4525F9-6EA7-4395-B44D-CD9AF0B335AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945137"}}}}}