{"entities":{"Q1060833":{"pageid":1071585,"ns":120,"title":"Item:Q1060833","lastrevid":69537615,"modified":"2026-04-13T07:40:51Z","type":"item","id":"Q1060833","labels":{"en":{"language":"en","value":"Automatic programming: A tutorial on formal methodologies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3909713"}},"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":"Q1060833$612C4C92-8872-448E-A3F1-E65B7A95773A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"601ade0de7672946ff5347501fc18877faea833f","datavalue":{"value":{"text":"Automatic programming: A tutorial on formal methodologies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1060833$9E5ACC92-BFBE-430A-AAB1-D50D779B754D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5df40dcbe5a385370203ec74ff7dbaeb102ad6eb","datavalue":{"value":"0569.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060833$C464EC6E-13A9-4788-A65B-C6174C2165EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb9febf8a8996185a4febee239e6f07cf3ce994a","datavalue":{"value":"10.1016/S0747-7171(85)80010-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060833$11182354-98BE-4820-8399-4AF78AE47638","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf6a7a1c9196a5f7809540273123101467b92071","datavalue":{"value":{"entity-type":"item","numeric-id":1060832,"id":"Q1060832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$9D3FC2E8-0546-428D-9F22-30166833D681","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$2A64FBF4-2476-467A-9674-B0C11955F07D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1060833$37D662B9-DC6D-4DE0-B894-C76289BD2464","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"531943a9ac08250c1272fe6fadb39944496ea474","datavalue":{"value":"Ten methodologies for automatic program construction are presented, discussed and compared. Some of the techniques generate code from formal input-output specifications while others work from examples of the target behaviour or from natural language input.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060833$83A80289-5786-44D8-BFB0-ADCE66F901DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060833$E98799E3-E29A-44CA-A1CB-1E10D58FCC2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"281b597102c05801c113b89eb85918305bc922b1","datavalue":{"value":"3909713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060833$6495F19E-2A58-43C4-9F34-9D4CD0150D1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d05e0305f895859d6416b07879811fe33c60931","datavalue":{"value":"methodologies for automatic program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060833$137AA728-E1AF-47A8-B7A9-CD869868AE62","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":"Q1060833$36430B3A-4F95-46BD-AC3D-5FEAD5E6AE3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae5bb9b3f8a6847a1d73fca9aa8e743a1fb3493","datavalue":{"value":{"entity-type":"item","numeric-id":4747543,"id":"Q4747543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$F25C1611-A2E4-4F74-8734-F0C8EDED4148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4ef9228dfad96ff5c3b4aaab8190efe08072ac","datavalue":{"value":{"entity-type":"item","numeric-id":3731007,"id":"Q3731007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$A85636D5-E16D-4978-A4EA-391062D4555A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7934a125b0b824190cb36ece5bfa367d9213a4a6","datavalue":{"value":{"entity-type":"item","numeric-id":2557559,"id":"Q2557559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$FB139491-24FB-4227-9E8F-BF3D7EF6604C","rank":"normal"},{"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":"Q1060833$4A70CD95-ACBA-4FFD-975E-BAF798EFBF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9048bfd11286db85b41a30efd099a886c5f4fb40","datavalue":{"value":{"entity-type":"item","numeric-id":4051571,"id":"Q4051571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$05B534C5-CF4E-4828-B3A1-44747F6FDD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c7c554d960ef3800c970fb8a2f23e4cfafb856","datavalue":{"value":{"entity-type":"item","numeric-id":4122774,"id":"Q4122774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$0DE57AF7-C9F8-413C-B63E-879F0AA1D45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d637d2f01e5ac41ff06e5ce264a3b4d28c3aa3e7","datavalue":{"value":{"entity-type":"item","numeric-id":4179806,"id":"Q4179806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$64A6A808-3406-414F-BE28-9CA75385BD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4e8d43d8b47eaecf7b3fb31815b4700b3bd8c","datavalue":{"value":{"entity-type":"item","numeric-id":3667932,"id":"Q3667932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$ECD6FA03-81EA-4167-B02D-BD41943C9F6B","rank":"normal"},{"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":"Q1060833$9396AE87-A65C-45E4-BACD-6A5ED09CFED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6b8722969e1efc6580b1a109ea0b984b78b88d","datavalue":{"value":{"entity-type":"item","numeric-id":4109274,"id":"Q4109274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$1F189B70-2165-4FDA-8DA7-ACA474F604A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b26b52e432dbd456c2997e91926441e72642f519","datavalue":{"value":{"entity-type":"item","numeric-id":3206282,"id":"Q3206282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$2AC8C414-DC7B-4F6B-BF3B-F78E18F7DD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$9B1139E9-1F9F-4F0B-B597-BA12B2B7F807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"546135570db4052c75d500a31eae94185555324a","datavalue":{"value":{"entity-type":"item","numeric-id":3926073,"id":"Q3926073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$8D4BEE43-97CA-42BF-A222-D680026CC351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90bedcead7e02f7f0b21f060bbc7f403b769d7ce","datavalue":{"value":{"entity-type":"item","numeric-id":3899508,"id":"Q3899508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$8D1E80FB-069E-4D95-8DC3-A022B7B2EE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926824938ac14585600323bdc816e7df4cbb9602","datavalue":{"value":{"entity-type":"item","numeric-id":1062770,"id":"Q1062770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060833$ED0059F4-1AEE-4E04-A974-11D5A74CCA85","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":"Q1060833$81646C6E-6D82-464D-BB03-A71AF225E2DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc8ac6a8c26ca6e8fa34adea54c1657cdc19332","datavalue":{"value":{"entity-type":"item","numeric-id":3687682,"id":"Q3687682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa7094fbcca69580878983e3252930a013c6808","datavalue":{"value":{"amount":"+0.8608387112617493","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":"Q1060833$89DA7E95-02D2-42B0-B133-02C824E0331A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc359892322b66d622b4eafc9c8d8866ad99d65","datavalue":{"value":{"entity-type":"item","numeric-id":3731007,"id":"Q3731007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0665665cb670ea1eea04100312316a1fade88a78","datavalue":{"value":{"amount":"+0.8272214531898499","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":"Q1060833$B3FA2668-838B-4927-AE99-84C7B4543180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bba2becd337c492aa834831f37f290a38abcd87","datavalue":{"value":{"entity-type":"item","numeric-id":2870332,"id":"Q2870332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725981b8f4d502c407c1eaad892cb3a026680b75","datavalue":{"value":{"amount":"+0.7460283637046814","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":"Q1060833$ADCD395F-9021-496E-8532-02552EAFB8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac06fe45b8ec07520b98c24c810736290228364f","datavalue":{"value":{"entity-type":"item","numeric-id":3043820,"id":"Q3043820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f74f8e0f46134c3b010ee421d29724a5b0be75c","datavalue":{"value":{"amount":"+0.7397429347038269","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":"Q1060833$E92A32F1-AF0D-4017-BA49-85923260874C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00a2418c01d7d4c5a06cc6efa211da7d51b094d","datavalue":{"value":{"entity-type":"item","numeric-id":3814781,"id":"Q3814781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0cb25be792b7548add8cb20e460358e3db086d0","datavalue":{"value":{"amount":"+0.7331032156944275","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":"Q1060833$AD2EBB20-1C84-4FA4-8DA4-DBCFEA1965DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic programming: A tutorial on formal methodologies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_programming:_A_tutorial_on_formal_methodologies"}}}}}