{"entities":{"Q749216":{"pageid":751065,"ns":120,"title":"Item:Q749216","lastrevid":64046307,"modified":"2026-04-11T17:17:01Z","type":"item","id":"Q749216","labels":{"en":{"language":"en","value":"Synthesis of rewrite programs by higher-order and semantic unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4172397"}},"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":"Q749216$DA93981F-D285-4AF0-ADF3-2DACD03340DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"419858063fd87f451ecda409c2d682027cae07a7","datavalue":{"value":{"text":"Synthesis of rewrite programs by higher-order and semantic unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q749216$6F93F49C-2D49-455D-B6C9-0DBBD6FC1932","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b6cc7557310a9915cdf910be8b1990a02f0750b","datavalue":{"value":"0712.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749216$2BA0141B-8732-488B-97FA-2444F8807E5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58b1ba2a6dbfd677f95555c5221af77c6e398d66","datavalue":{"value":"10.1007/BF03037096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749216$60573B30-C36D-4E28-9E40-DB45375673EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfa0ec8338f039e787f9ac71fa1d8f9e5f336cc8","datavalue":{"value":{"entity-type":"item","numeric-id":288805,"id":"Q288805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$61A959B1-D3C7-4792-BAE0-5CB65A04692E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$1357498C-7B6F-41EA-B8DF-641305D9640B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q749216$853DDF79-C1BC-473B-82FB-69A75AE87056","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749216$CF4B8657-F527-41B3-A8D3-62CF5AB0AC51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0f23fa8151f6d5b4944a073045d6f69fd541f40","datavalue":{"value":"4172397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749216$7063E5F5-BEF2-4660-824A-2ED73057D9C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q749216$AD8A8746-86EA-41C3-85BD-A9FB7E7D6378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dd648697374963137d43382091b5e7c8e0e53","datavalue":{"value":"programming by example","type":"string"},"datatype":"string"},"type":"statement","id":"Q749216$E618ED45-EF06-4456-9BE6-F4B5AF23D65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q749216$77C81681-1B69-46A4-A66D-D05D794BCDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q749216$8E39DFAC-268A-409E-A94A-E92454C2090B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q749216$47AE09F2-EA9F-4E5C-9724-B49F04926737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e62fce73127c9913d3ba781a5ce29e9991edf64","datavalue":{"value":"semantic unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q749216$C81ADEAD-6ECE-4A96-9FDC-086DD1155BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q749216$31A40E4A-E35E-4CE7-BDD1-E980F697F82F","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":"Q749216$5BA5178A-3419-4B68-BC5E-6E400ED49571","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fca34043a30ee00dbdee4541153c8d8c6f9798","datavalue":{"value":{"entity-type":"item","numeric-id":4162631,"id":"Q4162631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$83AED02C-4438-4CE1-9720-336BA53979C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32e072b62ae8a8febbed4970d6ec11bdb2a4f40","datavalue":{"value":{"entity-type":"item","numeric-id":4205074,"id":"Q4205074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$E10E236A-4902-467C-BA66-F257B3F6DCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa80180d2b637ed45ce99d0a3160b0b2727285e","datavalue":{"value":{"entity-type":"item","numeric-id":3782762,"id":"Q3782762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$59695D30-1979-4097-8CD2-97665F91516B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5976983fdec1ad91e3daedf6dd821f567172d3c3","datavalue":{"value":{"entity-type":"item","numeric-id":674399,"id":"Q674399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$2DC6F690-12E7-4D17-8101-19C19A0487FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$44786655-8A76-4A74-B80C-518F2DED5D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$AA4EF23B-29A3-41E3-A130-24F11B9CDD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$A4856A30-0B76-4A28-A860-E95D8A6F27E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d814af6b8ca9afec2e34bb4042531dab614818","datavalue":{"value":{"entity-type":"item","numeric-id":3863043,"id":"Q3863043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$3BC9F06D-6643-44A4-8C9D-D910DEF52A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$C13514E5-AAC8-44B0-B883-265D42227669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$CF9FCC66-49EF-4026-BC03-5A4DB412EC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$4A973C98-F0AF-4823-B9C2-08B02AEA72C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$7CAFAC07-76B0-4F45-8721-BE3440AC434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4b0e749695597a922fa42d8c428aa436a92994","datavalue":{"value":{"entity-type":"item","numeric-id":4111079,"id":"Q4111079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749216$63BEB479-8A67-4C48-A0EF-C065689028DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdc4a4ecffea0cc6af87ce373d72553dd604aa3e","datavalue":{"value":"https://doi.org/10.1007/bf03037096","type":"string"},"datatype":"url"},"type":"statement","id":"Q749216$9AE60D6D-2547-406A-B00A-9D405946FF22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"006d8569b80ac072a94848173c319b2d0b21113b","datavalue":{"value":"W1983718842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749216$9912936C-00F5-4FC5-8DD8-2D5E859633DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55811afa0a472bc8d33eb54267edaf9db4e852f7","datavalue":{"value":{"entity-type":"item","numeric-id":6488562,"id":"Q6488562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd681e073a0f55e43cbf00e216e7349585de76d3","datavalue":{"value":{"amount":"+0.7857486605644226","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":"Q749216$720DDA8F-E7AB-492F-950D-B9F0082434BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b829ecb070ee4cf99f8703eb4a50a7c1cd07547","datavalue":{"value":{"entity-type":"item","numeric-id":5055734,"id":"Q5055734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e5e3ddf74b5ac673c79ff9b90e35acd64ff250","datavalue":{"value":{"amount":"+0.7514032125473022","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":"Q749216$497FB5F6-1177-4747-B611-119B1904B5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779aa4f2e95d3d3e046cbe92464281ba0bd157d8","datavalue":{"value":{"entity-type":"item","numeric-id":2767046,"id":"Q2767046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6dcf45e2c8ea38719b10f8530d82baca7da9bf3","datavalue":{"value":{"amount":"+0.7426629066467285","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":"Q749216$95460D38-D6B1-4F6C-9698-A238D7536F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360dbedb9dd24a67268fcb921e9f350f4d5d54a2","datavalue":{"value":{"entity-type":"item","numeric-id":5055746,"id":"Q5055746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b409493c4879f02523cf25c481982f4044fcc6a5","datavalue":{"value":{"amount":"+0.7410823106765747","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":"Q749216$57D14ED0-F83B-4110-82BB-9CF10F17CF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c45de6e4813ca46fbf4f4b0beb2db1778b1145","datavalue":{"value":{"amount":"+0.7374880909919739","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":"Q749216$DA578155-182B-4378-9BB4-9EB8D1D7538E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of rewrite programs by higher-order and semantic unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_rewrite_programs_by_higher-order_and_semantic_unification"}}}}}