{"entities":{"Q6488562":{"pageid":14067331,"ns":120,"title":"Item:Q6488562","lastrevid":47845702,"modified":"2026-01-02T20:57:17Z","type":"item","id":"Q6488562","labels":{"en":{"language":"en","value":"Programming by example and proving by example using higher-order unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680835"}},"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":"Q6488562$E92F25B9-0C22-4190-87A0-EA69C1352C6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d61d3af3bfad1ed823520d266e92e6bcf6e618a","datavalue":{"value":{"text":"Programming by example and proving by example using higher-order unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488562$CD2B7ED3-4649-4B5A-95B6-4FC8CAA46672","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f42996892de4253d8bc7ae875565c742ee9bf31","datavalue":{"value":"1509.68307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488562$C32FB5EE-C6C2-41E5-9305-6975E664D54A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e9ad68c24540079de971c871725b922c421b96d","datavalue":{"value":"10.1007/3-540-52885-7_116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488562$7A5F153D-978D-4E80-969B-66191B67965A","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":"Q6488562$D06AE8A8-09D3-4A38-99BD-E81BF48FC651","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-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":"Q6488562$B09CB3B9-07E8-4066-8249-EB34E48120B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488562$B36429E6-612B-416A-BB9C-C38736C91213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488562$0604F324-A7FD-4639-B3F4-69A8C796331E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"714a2378bcf919fa593e6d7583bd8d0f23befb4a","datavalue":{"value":"7680835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488562$A351AFB2-FC81-48B2-98C3-E6C8CB63BC05","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":"Q6488562$2F19A9B1-E48D-4E3F-9464-922842301805","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":"Q6488562$AED105D4-DF88-47F1-85E3-1085F4B92570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488562$A91D32A5-3D50-47AD-9C77-3F73809D3AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcbdd8934fccc9b26d783e1275ef19fe3d406e3","datavalue":{"value":{"entity-type":"item","numeric-id":3787520,"id":"Q3787520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488562$EA6BFA6C-1AA1-494E-AC0F-49F1F05CBD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9c25358477122b4737549d52e354b2ddfa62bb","datavalue":{"value":{"entity-type":"item","numeric-id":5055716,"id":"Q5055716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488562$A3D8B7DD-2A4A-4ACB-A53A-5A9C399EED2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488562$E54E3742-99F6-4FC9-BA9C-7CE201FC3458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3795440bdf7f29ca7f0f82e78ef4f6af440fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1122980,"id":"Q1122980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488562$02939C84-974B-4EDF-ADA9-E1A1B7228377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488562$3E2C256C-D6C9-4380-B66E-BDC98A748434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488562$2DE807B2-01BC-4385-B022-6F6EDC4F2692","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":"Q6488562$2E74F4D8-D111-474D-B8ED-B2E2F135ED28","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":"Q6488562$9A1BA897-8AF5-4EF6-AEAF-400EF416097C","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":"Q6488562$EB8C161E-21D1-4FC2-9DF6-FC8DC69EA026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488562$7C093021-1CE3-4995-ABE0-5E13A6167AA3","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":"Q6488562$D1C2F6C5-1716-43B1-8482-375A3B41AB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffb78e1862447c8ce655b5a67759e1a1fa39b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3204068,"id":"Q3204068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488562$FAA06C18-D364-4CC9-ACBE-6CDF7C01AE5F","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":"Q6488562$38D0B638-7305-49A0-BFF4-F1D4AA9F4A48","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":"Q6488562$E8D31F07-8AFD-43E8-83AA-ACA9159795FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87cd2ca41c5c795e3c94a7fdfca798b8699f6521","datavalue":{"value":{"entity-type":"item","numeric-id":5096230,"id":"Q5096230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb384bfe15a49499b224c1b2f0bf534a4ecd6a14","datavalue":{"value":{"amount":"+0.8161246180534363","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":"Q6488562$033B108C-DA16-4533-9217-26C9925A3472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07e2d5df3d9e9d71ec1b64a77a78bb0a27ac5d57","datavalue":{"value":{"entity-type":"item","numeric-id":749216,"id":"Q749216"},"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":"Q6488562$5C3A2073-0446-4841-B3E7-2C625100744E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8f1ce0294ff41611c74f736f8e6948fa1c0e58","datavalue":{"value":{"entity-type":"item","numeric-id":2828323,"id":"Q2828323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616a42ad87f5d61d8d319da9bf8e8560ac13310e","datavalue":{"value":{"amount":"+0.7603201270103455","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":"Q6488562$145B6B71-FA24-4944-95C2-24A4F86788E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322b27a20091d26cfc6e88b88456330829109892","datavalue":{"value":{"entity-type":"item","numeric-id":2277829,"id":"Q2277829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15766384f9969f8fd95fd9d7f9b2c82cc4af1c6e","datavalue":{"value":{"amount":"+0.7593908309936523","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":"Q6488562$2EBA9086-58CF-4FDC-B7D4-8AAB3317ECC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9ad9b761e90089702a113a38f2a9717e02490b2","datavalue":{"value":{"entity-type":"item","numeric-id":674399,"id":"Q674399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea7b0bca6c5e0f6195b80a77b4aa157508209123","datavalue":{"value":{"amount":"+0.7426571846008301","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":"Q6488562$010A6809-F6EE-488D-AB11-E285DCAAEC64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488562"}}}}}