{"entities":{"Q916772":{"pageid":918620,"ns":120,"title":"Item:Q916772","lastrevid":49395622,"modified":"2026-01-07T02:19:20Z","type":"item","id":"Q916772","labels":{"en":{"language":"en","value":"A generalization of the concept of sketch"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4154690"}},"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":"Q916772$7CA58B0E-8441-4088-B8F0-88DFCD728B75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1df443c646148a0be3a28527a30c09ac5e1d0c1e","datavalue":{"value":{"text":"A generalization of the concept of sketch","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q916772$29DF7BFF-5691-4287-9DB0-F5F4EB611628","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cc6ef0aafd295970c7bff3721d5cd8faf65cb8e","datavalue":{"value":"0704.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916772$AE5CB574-DF7C-4C71-869B-211A40B62C30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"099660277873ab0848d6db597570516a37bcd7da","datavalue":{"value":"10.1016/0304-3975(90)90158-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916772$93820D18-3645-4093-80AB-C2B13BE9885B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d56612cb84f7069100c4cabafc4cc7f11973342","datavalue":{"value":{"entity-type":"item","numeric-id":914554,"id":"Q914554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$AC8606AF-DB3C-4AAF-AF2A-3EE1A3633CD5","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":"Q916772$C0CCA876-F598-4C8F-80CF-5534FC3033F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q916772$18D886F1-B765-4A4E-AFB9-8E86277DF1B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"66ba37e278190b9f71efc3329bcc01ee51b66468","datavalue":{"value":"The fruitful notion of sketch (of a mathematical structure) is generalized as a tool of functional programming languages and possibly for other branches of theoretical computer science. Specifying the notion of sketch, constructor spaces are defined and some of the properties of the class of constructor spaces are studied, especially oriented to the problems of certain classes of programming languages. The main new notion is those of form of a given type. The model of a form is defined and some elementary examples of forms are pointed out. It is not easy to see the possibility of direct or indirect applications of constructor spaces and forms in computer science and especially in programming languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q916772$1D0A3071-27FD-4587-B08B-55603568F0FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916772$E2C9F04E-9F2B-49B3-9714-D82B85F75A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bed973268be96744b8db60caa0543ff50965a902","datavalue":{"value":"18A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916772$059F4FBF-73C6-4870-9E4F-E894C213FB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916772$5D4D8332-0D85-4232-A697-EF63B966E678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916772$69344BBD-4BBA-4886-A09E-27143DF14B0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2159ef6466c8055545028239e4c2914593470ad6","datavalue":{"value":"4154690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916772$5E5A4868-92F9-4D65-9645-DBEA0BDDF77C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7126303c11b25981b8481e8acbfe7a872c20e1ab","datavalue":{"value":"form of a type","type":"string"},"datatype":"string"},"type":"statement","id":"Q916772$54480BF5-0256-470E-B5C3-6204BEA48ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e6331dfbf4973a8f4b1848bbf5e00e2308f757d","datavalue":{"value":"sketch","type":"string"},"datatype":"string"},"type":"statement","id":"Q916772$F6FA718E-D112-4370-8A99-2895DF7D7423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q916772$A8ACB2C8-F27E-4828-BE97-C66952353080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f5fe1c5723dc38fd8acd6a403ccb17ba7601040","datavalue":{"value":"constructor spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q916772$388CF375-5006-4627-AD96-5C61221F957C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q916772$F5BE2DE5-28A2-4695-B442-7B44BC354E98","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1795f17e176530c860dd1c3b2e74fc46bd03cd61","datavalue":{"value":{"entity-type":"item","numeric-id":1241796,"id":"Q1241796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$3A1F2ECB-BA85-4A36-9582-80829E2D384B","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":"Q916772$0E478127-60AA-4C91-975A-D667DE821138","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"676423907243c701fde88c902e96ea3355d62edd","datavalue":{"value":{"entity-type":"item","numeric-id":3929003,"id":"Q3929003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$EEDBBBC2-A3FB-42C7-A214-4AEF6537069C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b790d20ee507c9be09a638cf50654a4c0f894a","datavalue":{"value":{"entity-type":"item","numeric-id":3724516,"id":"Q3724516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$4E74C141-8769-405D-87B5-D34BA1F2805A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$2F2F7E7A-68A6-48EA-ADC9-D0060268EDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d96d47e70546f90af4113e353ec8a83137be18","datavalue":{"value":{"entity-type":"item","numeric-id":4282805,"id":"Q4282805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$A1A3580F-DBF8-4656-B95D-868C36E90423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2c580da0b3e548a6f38da3975fe6a4386cf24e","datavalue":{"value":{"entity-type":"item","numeric-id":3831000,"id":"Q3831000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$29E21315-9560-4106-A0C9-8C2B29AC0C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b6463d0c910dd3eeb8f9948a7850fd456ccbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":3679367,"id":"Q3679367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$ED5700DA-A503-498A-B826-17DD79B15D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5685d3056b9f78d5ca046822ac726bf7d8447419","datavalue":{"value":{"entity-type":"item","numeric-id":3724520,"id":"Q3724520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$D5F228A7-5F9C-4331-89CA-6EF2F8C89386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$C91293EB-984F-473B-AA0E-4F7763383692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d7c84840f75825a3c59086213f86d8026ff272","datavalue":{"value":{"entity-type":"item","numeric-id":3794370,"id":"Q3794370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$14A40284-5922-427A-A96E-8A863B434196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566e7dc460605752474b1b7a51835bed9b3b460a","datavalue":{"value":{"entity-type":"item","numeric-id":1094129,"id":"Q1094129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$566E0DBA-9BBA-4100-B9B0-D78A4C607910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6516c85139ccdaac6fb0bb5ce22246a5d8e543d5","datavalue":{"value":{"entity-type":"item","numeric-id":4207604,"id":"Q4207604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$A0290346-1EAB-4B80-BEFE-9C5CEA4F5CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48efdbb02055acb5a621b4eca5d15ec252d74bac","datavalue":{"value":{"entity-type":"item","numeric-id":4723927,"id":"Q4723927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$6E4B9E66-8EE9-4D02-AAEE-B8FB0D58DBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd8a970e538a6f7bd2ec8dae6039e5fecef2894","datavalue":{"value":{"entity-type":"item","numeric-id":3318755,"id":"Q3318755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$894CFDFB-6065-423D-B575-69BBC2B05991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$C7DAD962-DB66-45BB-A236-6C7465386FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be251e03b9ffcd53e821e1dc8bd7ecd31594579e","datavalue":{"value":{"entity-type":"item","numeric-id":1140707,"id":"Q1140707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$8515FB20-70A3-4C41-AEBA-5614C59B8295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8e5bd1bc0b487b25aa97a443b59a0bb4ab1901","datavalue":{"value":{"entity-type":"item","numeric-id":3949181,"id":"Q3949181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$1501E011-6628-4685-8453-A7DAA2CBCDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d543f8cb04ce5ffd561b3b9740c977799d0dec11","datavalue":{"value":{"entity-type":"item","numeric-id":5632749,"id":"Q5632749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$F0AA9967-72B7-4B9B-AD61-FFE94540725B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d455b704f795edf6bffb946b7dfaae261ef2990d","datavalue":{"value":{"entity-type":"item","numeric-id":4749996,"id":"Q4749996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$87002957-1E03-4476-86DA-27E6EE936B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8816396a007110e498b1745ea81e271f0f70b38e","datavalue":{"value":{"entity-type":"item","numeric-id":3825226,"id":"Q3825226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$7A4BE1E4-AA13-42CA-8941-CC9BCF0E0051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$118C6B1A-6B6E-4C4D-A0A2-F66919DA0B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b7b60b818278b9bdc041b720c0c044a44e08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3783509,"id":"Q3783509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$CDA7B804-A9C0-4917-91F6-3A354C01CC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba41f8ecd77f0632e922eba4a8dc824d5b88c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3773301,"id":"Q3773301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$EC29E3A6-F81E-4C1E-A475-F9CAEB0AEAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3254b0377cac26a0119336aaacb1f5cd62bcfc","datavalue":{"value":{"entity-type":"item","numeric-id":4725715,"id":"Q4725715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$DFE2763B-A0D9-4B93-A9EE-E554E08CC258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09c90b69cb5309297056df244661dc6e27fc9a7","datavalue":{"value":{"entity-type":"item","numeric-id":4727407,"id":"Q4727407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$A8DC3B1E-43C0-46D2-93C6-0885814398F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8194de883cefd00d6c83fb0dd30c9040d715837e","datavalue":{"value":{"entity-type":"item","numeric-id":3787451,"id":"Q3787451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916772$252197D3-C149-4055-8F1D-A6F064752008","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f62a44a4f9a73732dd1f98481e44eab5548e77","datavalue":{"value":{"entity-type":"item","numeric-id":4006237,"id":"Q4006237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a2a90c3f1e7a99f10c594d0de101cdde243a5c","datavalue":{"value":{"amount":"+0.7710574269294739","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":"Q916772$F4086D2C-B9F8-47A8-A216-ABA93CC0C213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4844946c5e20909f379a9d0a15ce9973129a3280","datavalue":{"value":{"entity-type":"item","numeric-id":3986951,"id":"Q3986951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f92597c85be18fe95180987ec1f63aee514c472","datavalue":{"value":{"amount":"+0.7670852541923523","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":"Q916772$00955671-F6C2-452A-B23E-77CCA71C94CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b5049b5ff520e0e70ce934509e948b2c2fe46f6","datavalue":{"value":{"entity-type":"item","numeric-id":1094129,"id":"Q1094129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61711647d68f0a78f5764eb7b8b042d3776a3b5","datavalue":{"value":{"amount":"+0.7641122937202454","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":"Q916772$708D10D7-14C7-465B-AB9D-F678454B21B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6062f7ab416a51211a9bdda6a5812b17d09fdc25","datavalue":{"value":{"entity-type":"item","numeric-id":4222895,"id":"Q4222895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e490807eca92b6af2f2f1e14464e6ecb771b34","datavalue":{"value":{"amount":"+0.7401155233383179","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":"Q916772$84D86F37-4707-48EF-A616-12E20BA75F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ae63e6621d231a6ceb1d73fef3d22446d27591","datavalue":{"value":{"entity-type":"item","numeric-id":3787451,"id":"Q3787451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d019fed1dd53430ec41438bf478387eb13417b","datavalue":{"value":{"amount":"+0.7390246987342834","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":"Q916772$130D697E-E08C-42D7-8203-36DED0017AB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:916772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:916772"}}}}}