{"entities":{"Q6164539":{"pageid":13299420,"ns":120,"title":"Item:Q6164539","lastrevid":47881621,"modified":"2026-01-02T23:32:07Z","type":"item","id":"Q6164539","labels":{"en":{"language":"en","value":"Generalized rewrite theories and coherence completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719890"}},"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":"Q6164539$BF1CC06E-13D4-485E-A109-4DD650F8EE3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"703879be09e2ff542efc2e365444b76c49cb093e","datavalue":{"value":{"text":"Generalized rewrite theories and coherence completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164539$D6A4F4C3-A79F-4B57-987E-DE4CD6C0AC39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c064710a8f9ca886bc46f7a94bcac40ec07e8c52","datavalue":{"value":"1517.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164539$058AA434-D07F-438C-8C7A-7EB62BE77AAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"974e54383e1a5d541a0a1ba5fde176d6ed1874fb","datavalue":{"value":"10.1007/978-3-319-99840-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164539$D463E3B5-F9FC-4518-B3E9-B13BD5C6FEA7","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":"Q6164539$AD65E0CC-6137-41C7-8518-C234748D1C92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-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":"Q6164539$78A65A04-F735-42B8-B98B-5D99743E7762","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53121803866c6e16ba59c8df270d9a5a40aa5499","datavalue":{"value":"http://hdl.handle.net/2142/99546","type":"string"},"datatype":"url"},"type":"statement","id":"Q6164539$AA2F02EB-B92A-4946-B327-9FE9B200F916","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164539$DC719EED-45F1-4468-95FB-8B9AA5CEB9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164539$E3EC198D-50C0-45E7-A9CE-F98D4AFEA70B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4eb049187da3104a1b706b93403d960f303cec7c","datavalue":{"value":"7719890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164539$DB4F484F-D0B3-4341-8220-74D2AC978947","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164539$D4A58BD4-9CD1-4B4D-9E45-A88B70CA8C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164539$E2CFDC6F-F967-4EB9-8C87-017DB9BC0F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164539$8DD6AF3D-BFBD-4B0F-9A1C-4135D6BFB8F9","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":"Q6164539$318C759C-E608-4DEF-A8F3-474154840675","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d901f97e6e8fbe4acd3c17fccd20be732f974f0b","datavalue":{"value":"W2791762271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164539$B7C146D8-EB0F-41EE-864F-66086F731C00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7584b082b37b4d35c9ebaef5f02795ec22876e3f","datavalue":{"value":{"entity-type":"item","numeric-id":2291817,"id":"Q2291817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4420dcd4b33127fa0eac8960d2bee81ac9a0b975","datavalue":{"value":{"amount":"+0.9578883051872252","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":"Q6164539$BF70A41A-2BB8-457F-8610-72415A78D398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19118d14a947e6af33fd309a7fbe5f1fab42df4","datavalue":{"value":{"entity-type":"item","numeric-id":4449180,"id":"Q4449180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c1b22552fb06bc6bd85c89cad77f70f19f034d","datavalue":{"value":{"amount":"+0.7817967534065247","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":"Q6164539$6DFE860D-AED9-48E6-9DA3-8E73B92C866D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac60332a3bb8ecfc0bc4804ab58a9bd247ba526","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6adc6d5dbaca65f6ca1b6cabfb5d640518001d76","datavalue":{"value":{"amount":"+0.7582757472991943","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":"Q6164539$F74D6FE6-6C6C-441E-8A14-43146648BAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6570793b067c995215e8ef3e36ad7fa21a1f7cf","datavalue":{"value":{"entity-type":"item","numeric-id":4933280,"id":"Q4933280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565496beabe6e11d1945178f17d2e89205b90b03","datavalue":{"value":{"amount":"+0.7576324343681335","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":"Q6164539$E225FE85-D746-492B-94E9-7AA45FEE92E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d150078fa254a20d5b7abef84a8e28474e9671","datavalue":{"value":{"entity-type":"item","numeric-id":683741,"id":"Q683741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed973c82736686846e379ad323fc64133a5ff4f","datavalue":{"value":{"amount":"+0.7421730160713196","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":"Q6164539$EA869593-DFAD-4376-9A5F-BBA04DA4F973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6164539","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6164539"}}}}}