{"entities":{"Q477588":{"pageid":479355,"ns":120,"title":"Item:Q477588","lastrevid":77854091,"modified":"2026-05-06T10:12:18Z","type":"item","id":"Q477588","labels":{"en":{"language":"en","value":"Completeness of context-sensitive rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6378632"}},"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":"Q477588$5CD882CD-2160-4F60-95AF-8332D7EA1199","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c290f596967da357c04303dd05b6736cdbf2e1f6","datavalue":{"value":{"text":"Completeness of context-sensitive rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q477588$B121EC8C-4378-49FD-8656-1B7BA8ADB219","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0aaa16fd4b7a77a984b3bcfc0ddd9c6732db0e46","datavalue":{"value":"1302.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477588$64F3EE24-F332-4FE2-AA45-09212164E0C5","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":"Q477588$29BB5CA0-932F-431C-993B-E95E5A72A897","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477588$71D49532-4C9B-41E6-A059-FC7BC5F20781","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"647b7a1b0f81a95dd0d55b044a22a9b52645ffc6","datavalue":{"value":{"time":"+2014-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":"Q477588$4E68B916-CD41-4933-B954-2EE26AC62AA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e90a64172553c9b82699cf8abf4df10ca6d45432","datavalue":{"value":"http://hdl.handle.net/10251/64906","type":"string"},"datatype":"url"},"type":"statement","id":"Q477588$1E8DD4A9-2764-48CC-B393-FD2AD1E0A59B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477588$E043B339-22EC-4ACA-9E7C-A1DD8EF54367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477588$C3459219-28DF-41C7-8FEB-DA39C22AB7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477588$34281734-0CCB-4464-A6EF-643CD8C6C426","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05405963ce31a38f54048e930b3b9674ee47dbe3","datavalue":{"value":"6378632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477588$77FDFA97-9AEF-4A20-A7FF-4CB80215140A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q477588$29130B4E-6C05-46B3-9198-D9028ABCA441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"346bf30033591ce68c51066075c051a4267177d7","datavalue":{"value":"context-sensitive rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q477588$42754827-DE24-41C4-BDA1-8AD2816331C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb111f358878095d3946009d8137cbd7bc3b8f1c","datavalue":{"value":"formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q477588$ED3EAFA8-D262-4C2D-8A93-FE9620F2049F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q477588$2C3010B0-EA7F-4A3B-8427-6A23431621F4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477588$8F218A41-C806-4865-995F-A954FD2F24ED","rank":"normal"},{"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":"Q477588$1D4C99E2-ED75-4B3A-A653-5C273F05A41A","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":"Q477588$7EDADF66-F487-4B50-8565-B013D05A9329","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d21879969025238bf7a7c9e533ec8e7d20c39a8","datavalue":{"value":"W2059589881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477588$BDA080AC-6658-4277-89C2-A560DDE1F3F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477588$2E076174-95D5-4E8E-A422-CB351FCBB034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28ff8a4a0483a6768a1905df4bd074926e8216d","datavalue":{"value":{"entity-type":"item","numeric-id":5432344,"id":"Q5432344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477588$A8A46D98-BFE1-43CB-9ED5-188EF2AD92AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477588$6A02B6D9-FCBD-4442-9E82-0323254D4ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a48e8830951e39fb0f54422f9a7174d85b6eee","datavalue":{"value":{"entity-type":"item","numeric-id":1854569,"id":"Q1854569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477588$D6DAE3A6-3A0A-4395-BE7F-001E628AFC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31297c8d5e4698c24303d4d0ce8ef9cae512bdf7","datavalue":{"value":{"entity-type":"item","numeric-id":968529,"id":"Q968529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477588$E70C59E1-2922-4295-9B03-A1C9641165DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f255183036ffc603f4fc22478c6226e0cd26dbe6","datavalue":{"value":"10.1016/J.IPL.2014.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477588$1D276C6C-34F7-4155-9D1C-19363FCB9FB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d45195da3612f70e54ae2b0f66105c6ad766b0","datavalue":{"value":{"entity-type":"item","numeric-id":4808754,"id":"Q4808754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7aecf107ef77e6874f3a29508b076e469f7f61","datavalue":{"value":{"amount":"+0.865588903427124","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":"Q477588$B5618E22-777D-4F1C-ADE1-9B370462A327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"782b4492517d372ecd3558457dd5bd829a4a79f6","datavalue":{"value":{"entity-type":"item","numeric-id":2043816,"id":"Q2043816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d556d65c5ef9b227c07c5503c881666786e3de","datavalue":{"value":{"amount":"+0.8285035490989685","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":"Q477588$A8F124E4-EC51-4FB8-B111-A4B8F4ECF58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07300db988253649b5a7c81c1f2240e57835040f","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7289913dd966063993b3105aa5faaa7dab6e3d01","datavalue":{"value":{"amount":"+0.814333975315094","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":"Q477588$2CFC944F-A848-431D-8944-F7529F1D93F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c429d2d65f23fcd3bf94e5f016eb4ea4580e44f","datavalue":{"value":{"entity-type":"item","numeric-id":859833,"id":"Q859833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38d9e864462eef8db83b54ddf9a8fe2609d88f9","datavalue":{"value":{"amount":"+0.809544563293457","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":"Q477588$C3D982BF-2F25-4598-8170-FFB184BA9DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb3e937f0fda67d36e33432a9312d5d9faf90e2","datavalue":{"value":{"entity-type":"item","numeric-id":1854569,"id":"Q1854569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f97355edbc467676e4b6c940561b17367ab2b8d","datavalue":{"value":{"amount":"+0.8081322908401489","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":"Q477588$D0FE5A0C-A0E5-4EC9-B0AD-0AA1505245B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of context-sensitive rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_context-sensitive_rewriting"}}}}}