{"entities":{"Q4002107":{"pageid":6031932,"ns":120,"title":"Item:Q4002107","lastrevid":55152769,"modified":"2026-02-04T04:39:44Z","type":"item","id":"Q4002107","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 51717"}},"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":"Q4002107$D130B6F6-867F-443D-A3ED-761826F09849","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5509c8b4fd162692de637b6f4ff6a3cba0728e04","datavalue":{"value":"0744.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002107$F1E902F4-8919-46CB-BFC4-DA2F014321ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a36a1bb338826b5fff6c870b4eb6d68a03b885b9","datavalue":{"value":{"time":"+1992-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4002107$CA8ADFBA-F898-4E8A-8C01-EEE7F53DFE64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002107$3A893D59-E15C-4C1A-868A-029775C08288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002107$021FB442-6E11-4360-A644-6446C5F92403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002107$CFA966B4-6134-434D-9496-B042B80BFF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002107$45B879FC-ED97-4730-9347-F9448116F952","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a750060266c964909edf1d39a11a2bcd966bace","datavalue":{"value":"51717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002107$3C63D5F0-04AC-4B40-9674-D600B1BEE3D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8e8b865a43ac9d08ebd6283f37dfb5a446300b3","datavalue":{"value":"Pacific Grove, CA (USA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002107$9255E2CA-5FF7-4CF3-84DF-691A236E6427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7011af3aef106443c958a280ea2430658aa4673e","datavalue":{"value":"Specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002107$46AFA0CC-4B64-4C29-A0C7-A8C58BF5C246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002107$34FA51AC-00A7-4DA9-B37F-A8E7BB5802CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002107$FFF983D5-52A7-44E9-BFBD-5CBF43E62F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0f9f20e9b32346eea56cdcfbc12455a0fa196e","datavalue":{"value":"specification technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002107$F56F93BE-9BCA-4FB7-AB2B-BE25DEC97E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2092f88bc851fbb37bc644a333ce6d18299b2299","datavalue":{"value":"automating standard derivation tasks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002107$09FC058C-A6E6-4499-B9D3-B764875CE308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11c2f5e30c48eb26344449519ef5b5431d9b732e","datavalue":{"value":"automatic program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002107$C0637288-492D-4741-A01F-B2FC9586F54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbb39f32f9e7a44d4cccd5aacf5073138d5f3659","datavalue":{"value":"rapid prototyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002107$0D7827DC-797B-4CF2-898E-89FD79F096D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34375f666ab2a8424a19336110874bcc3602b0b7","datavalue":{"value":"theory of recursive data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002107$3850AE35-1AC2-4F77-AE99-0C0E204A5B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002107$22D098F9-A24F-4B69-A651-0A05F5AF49F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002107$A4D8A7CD-B678-4AD1-A235-B1C9C5228A62","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":"Q4002107$F3B8F439-EAF4-4535-8DED-B87B03D76C26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf46f319d63f9e0789f735f4c58c45d4094b2ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3780492,"id":"Q3780492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65143eb9c17b4d772ec8797243e095f1d9cc5682","datavalue":{"value":{"amount":"+0.7988722920417786","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":"Q4002107$21E7D6B4-D650-4531-A22A-76B312317584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c261c0db136bfaff62b392600614107efd72181","datavalue":{"value":{"entity-type":"item","numeric-id":4692467,"id":"Q4692467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4468e1ab93539586ba0faf455154b5a99eb30c5","datavalue":{"value":{"amount":"+0.7884416580200195","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":"Q4002107$FBE2AE1A-97CA-483E-8F41-7A3A88D60419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750cc1a42ad0287899f8ac4b7dc422627623575e","datavalue":{"value":{"entity-type":"item","numeric-id":1899896,"id":"Q1899896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69486f74ec6a46c234fa40d6e95bd059ed85745e","datavalue":{"value":{"amount":"+0.7875531315803528","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":"Q4002107$E1EB24B4-0CF4-4686-886F-6CEAA30D9E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956b523f826344bb735d11fee3be20151ffebf1d","datavalue":{"value":{"entity-type":"item","numeric-id":1187672,"id":"Q1187672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49454cba807d6c0e4511c7e41e8ecc72ae7abcc","datavalue":{"value":{"amount":"+0.7863829135894775","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":"Q4002107$03F6C38A-3754-47C8-8AB9-34B6D824DE61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4002107","badges":[]}}}}}