{"entities":{"Q1802072":{"pageid":1812814,"ns":120,"title":"Item:Q1802072","lastrevid":68992014,"modified":"2026-04-13T03:35:21Z","type":"item","id":"Q1802072","labels":{"en":{"language":"en","value":"Analogical program derivation based on type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 218930"}},"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":"Q1802072$65939A78-FCC1-4324-AF0D-19D3D798F995","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f50b7ace74049ef18070d793bc82758c82df8ba","datavalue":{"value":{"text":"Analogical program derivation based on type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1802072$92EFD50A-7D4D-42C6-AE0F-99CFD2AA9B33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8d2dc022b8bb7aa173b9ab3ea0a559fa30f88f8","datavalue":{"value":"0770.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802072$8E5B6DE7-B36C-4847-96FB-718399DFF4E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0c97b3cc23caa1f002711b00d66a2204f2c2df1","datavalue":{"value":"10.1016/0304-3975(93)90004-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802072$7F1AC4BE-4C59-429B-901C-5DB926B89A0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9842146dd9bd7a6582e66b99a3acea525bce204b","datavalue":{"value":{"entity-type":"item","numeric-id":1601843,"id":"Q1601843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802072$6A6FAE68-39E0-4601-ADD4-C9FD90DBB87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d35e4bae741c383a302a9edc43f0130247fe4ca6","datavalue":{"value":{"entity-type":"item","numeric-id":940502,"id":"Q940502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802072$217F1E17-B81E-4F7F-A6CC-17AC11BF0D1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802072$124968EC-BC22-487C-A5BB-A45A24FCB697","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d96929956b805cdf4936660724f2351f24e776e9","datavalue":{"value":{"time":"+1993-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1802072$2C7D275C-D226-489C-ABCF-A20D1BCFD926","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802072$F1E0F0F7-97E5-4DFC-9575-5570532ED48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802072$5675FEA2-EB5E-4BC0-A0E1-AE2D9898DA67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e76db7689dcdea35f08dd361048e3b2b80621a9","datavalue":{"value":"218930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802072$25AB8920-C5B9-44F4-9458-975CE5B37B02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802072$C98CA1E0-6694-4DC5-BCEC-58C919EA54AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802072$9E356FF1-290E-4B10-9EB2-6F75B1D1A939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09f782aa0e7fdc716dddbbb03ab6431fdf140a4","datavalue":{"value":"software automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802072$90843FCA-0936-4487-A0C3-CC492AEFCDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447c9d58ad57ecec30d3f8f3e48ad375469d10ac","datavalue":{"value":"analogical programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802072$3A1A44AC-B60B-40C3-8825-F41C8965FE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d458ee5dd9661d5da98db4979e5dc4b4a6a6796d","datavalue":{"value":"analogical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802072$7DF87AEA-CD26-4064-A562-0349B82E0930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"290382eadfbd7abba1a1920bc7f9991660cbcfe2","datavalue":{"value":"analogical correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802072$EEB4705C-B5BB-4FA5-A452-B8E11AAFB1C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802072$0D0A4A04-890F-4CE9-8852-79EE6FDA4F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802072$55750AE5-16B2-49CE-8894-E9DA4DC55182","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":"Q1802072$3BE9D733-B94E-4029-89AB-D0FEE5BBCF9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802072$64F13C3F-90C6-41B1-A725-859BB8F02FBE","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":"Q1802072$9AD275BB-A075-4A94-BA2B-47D23FD476F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2586c9eeb67854aa5fe657c0177106708b3e670","datavalue":{"value":{"entity-type":"item","numeric-id":3490961,"id":"Q3490961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802072$83245990-0932-4687-A656-EACED002E51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a36780cb372ebe85c36f61a428142fe662be788","datavalue":{"value":{"entity-type":"item","numeric-id":3833654,"id":"Q3833654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802072$D4EF8078-0717-474C-9641-10C9B0DB48BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802072$27F54D8D-3D83-4CFE-B538-1B1AEC5C7615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd16d6aa13a5af0f2ed20cff75e9df8d13bf4212","datavalue":{"value":{"entity-type":"item","numeric-id":3880323,"id":"Q3880323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802072$15B349B3-11BD-43F5-B09B-772327C2FAA6","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":"Q1802072$70EA92D3-7B1D-453C-9717-01071FC38554","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":"Q1802072$A51AFE4B-3F03-4836-8A15-DEE941B238E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f53cc189007c0fa787897e1f9f382e634f81e2f","datavalue":{"value":{"entity-type":"item","numeric-id":3773318,"id":"Q3773318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802072$338E0F06-8F53-496B-938C-EEFA626A1880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea0e204827cd4762f9eaf8f4b236aa9b46aa024","datavalue":{"value":{"entity-type":"item","numeric-id":1802070,"id":"Q1802070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802072$68465DFD-C2D9-4956-B6D0-03093DC31B76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ef16f541bddebde6471b6d7aa7590b733495bc","datavalue":{"value":{"entity-type":"item","numeric-id":3490961,"id":"Q3490961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7227e9e5a0027fb4ca757fc91c5ba90e742a46","datavalue":{"value":{"amount":"+0.8640718460083008","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":"Q1802072$DDF82F69-7B2A-4C99-91FE-E733D771FDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba57366cc4ad6562d3ced1b40b1130c39fa831d6","datavalue":{"value":{"entity-type":"item","numeric-id":3681903,"id":"Q3681903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec17eb7d9a48469011ac1113ab773b74ec9e3b8","datavalue":{"value":{"amount":"+0.7641210556030273","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":"Q1802072$F50387DC-8E52-4B57-AB22-A9063502AFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf7e0dcec1b23bbcc2536b4cfe5f84df62a3012","datavalue":{"value":{"entity-type":"item","numeric-id":3804243,"id":"Q3804243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad00e755bbc10f087263afa121fbd92e8e3cedb","datavalue":{"value":{"amount":"+0.7578904628753662","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":"Q1802072$C49BB34A-8C70-48E2-B3E9-E28A2AF38A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e7df1b0c78b6165a85ac2ed3fa576a581f45e5","datavalue":{"value":{"entity-type":"item","numeric-id":4247305,"id":"Q4247305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90014f6b33745d57a09bc78a66cc85c8ca5e8f81","datavalue":{"value":{"amount":"+0.7316428422927856","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":"Q1802072$8A754AD6-148F-4268-97A6-F4523BEA5BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14bb1ae2b555adace9e9ba84fcaab2f93c28b67c","datavalue":{"value":{"entity-type":"item","numeric-id":1583853,"id":"Q1583853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90014f6b33745d57a09bc78a66cc85c8ca5e8f81","datavalue":{"value":{"amount":"+0.7316428422927856","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":"Q1802072$018D791F-5329-49AF-869D-B18FD5544A2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analogical program derivation based on type theory","badges":[]}}}}}