{"entities":{"Q1823713":{"pageid":1834455,"ns":120,"title":"Item:Q1823713","lastrevid":72726081,"modified":"2026-04-14T07:05:07Z","type":"item","id":"Q1823713","labels":{"en":{"language":"en","value":"Describing semantic domains with sprouts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116005"}},"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":"Q1823713$D9822753-B3A1-42D6-83E2-188CA7D78DCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"197026965388979185af5826342e1bb57da14308","datavalue":{"value":{"text":"Describing semantic domains with sprouts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823713$891C9077-982D-475D-AFEC-C05060CCAFB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6245e93cf4b518831aa5870bc701e66bed5e53d","datavalue":{"value":"0681.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823713$ACC07531-F28F-4729-86D9-A99AFFC18D51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f6e5389bae2cec1fab2254acae45e9a5291ec94","datavalue":{"value":"10.1007/BF00572989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823713$03A5879A-4971-4F5C-B648-A15FAFA55010","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f1f956a7591bc4e9e816c85c12c82c3cea62066","datavalue":{"value":{"entity-type":"item","numeric-id":238922,"id":"Q238922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823713$FA27BA44-932A-49B1-8BB0-E1A067B98507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"299080fcb4d10db6bc9f243afdb0b2f6a4f09785","datavalue":{"value":{"entity-type":"item","numeric-id":246438,"id":"Q246438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823713$09FC80B8-0464-48F4-9EA9-84A2BD100E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3ffa4994338efd06013be21830dd4928bee170b","datavalue":{"value":{"entity-type":"item","numeric-id":582126,"id":"Q582126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823713$EC2DB501-1BB5-4105-AC4C-D43413004385","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823713$35454A0D-B87B-4DBD-9C3E-D50B0838286B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1823713$4D13663A-A997-4128-B574-6281ACB4EF2D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2053b0a1c1a15fbf0811ae3ec8a6353ac11b9e2f","datavalue":{"value":"In denotational semantics, the meaning of a construct of a programming language is modelled by an element of a (semantic) domain. Domains are essentially ordered sets, in which every element may be approximated by a directed set of compact elements. A new approach to domain construction is proposed using directed systems of certain finite subsets of a domain, called sprouts. Every element of the domain can be uniquely approximated by an element of any given sprout. Sprouts consist only of compact elements and every compact element is contained in some of the sprouts. The directed system of sprouts fits neatly to the usual domain constructions, so it is possible to describe the approximations of an element of a composed domain by the corresponding approximations in the component domains. A constructive and less abstract description of profinite domains given by C. Gunter may be obtained with one interesting added feature.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823713$C57F66C3-8499-4B37-A7EE-A51D63DBD908","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823713$182C5BAC-DCE3-4B74-BC79-634A86AEC5C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69c60ad33dfd59bc7b9543733895e2dad9a19006","datavalue":{"value":"4116005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823713$37CFCECE-DD16-4735-8A39-B9E6E8539907","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823713$B7655EDB-6E1A-49FB-A90E-5AC575D61032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca277992f91db5dc674d0eaca198f17556de59e4","datavalue":{"value":"ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823713$FA9B1FFB-A989-449B-B265-109039A3479E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d0aaec29008d253d34564c560a96fa56ffbf4f5","datavalue":{"value":"sprouts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823713$8B420A9F-AFF9-45F7-91D5-5BE4B6B7891E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960668da9fbbffaddfe28739096726784b4ed416","datavalue":{"value":"compact elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823713$5E167C76-910C-4083-8FE9-BDB0F6798558","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":"Q1823713$713598F6-1532-4B33-AF0B-4DB6C90B665A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd77c1416f46db1e477c06eb4d0c6518ccbfab0","datavalue":{"value":{"entity-type":"item","numeric-id":3326830,"id":"Q3326830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823713$31B6D9B0-2430-4D32-B6D5-A697EDFA0136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823713$1196A858-6251-4E51-9514-CAA420EC4972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b40800e270edd24b0681c46b79278696d38d318","datavalue":{"value":{"entity-type":"item","numeric-id":3753467,"id":"Q3753467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823713$9690693D-CB31-4DD3-BA4A-728DA9EAC749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823713$2A163F63-0482-465A-9676-DCDA01BAC23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823713$5D7934D7-57E0-4CA1-A3BD-F3AA35CE6917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c35efdedf31f460ef4d0153d0733fb5fa9f7c5","datavalue":{"value":{"entity-type":"item","numeric-id":761042,"id":"Q761042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823713$58A51ABA-EA9E-4DF1-AD0B-75E2C1E7B6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823713$A2E73A49-5A36-4B44-8CB6-3A61A741E1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823713$61D03497-E501-4C21-BA1C-8F5F91633BBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5780673565e6d492c55d99dd3a7c983a5be047b","datavalue":{"value":"https://doi.org/10.1007/bf00572989","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823713$C7763729-D0DA-4FC1-BD82-DC84383D51C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14b98ff438599ebd2ef2a35d130d30971d4677d3","datavalue":{"value":"W1970039233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823713$00DF3511-D99D-474F-A49B-6852C7069C3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738442d131b6c740b1c16b2a79685a500d4848b2","datavalue":{"value":{"entity-type":"item","numeric-id":3753467,"id":"Q3753467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ec5308d7c837393a5604a64d6374f1328aedcb","datavalue":{"value":{"amount":"+0.9808247685432434","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":"Q1823713$AB46026A-E973-431E-82ED-2020AC231986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08738c0dfd18c69a1c483efc4ebb0f31e3d44dd2","datavalue":{"value":{"entity-type":"item","numeric-id":4325268,"id":"Q4325268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d260008ea1f9d9ff3afa4c011a70b184fda5d37","datavalue":{"value":{"amount":"+0.7417105436325073","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":"Q1823713$EF5ED569-FB90-469D-BCC8-A13D1CE5BFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e493f6ec6840f6f48fbb50d8b26b511ab22b77e1","datavalue":{"value":{"entity-type":"item","numeric-id":1093371,"id":"Q1093371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e4c9e08c8a9589a0c172c0a14228d365727da2","datavalue":{"value":{"amount":"+0.7383561730384827","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":"Q1823713$3899923E-2277-40C2-97E3-8F8DA17D92D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b973c5630a7c3cb51834c9c7190512141ae4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1314355,"id":"Q1314355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eec03917b563ad81824c8422e972e5a2902dd30","datavalue":{"value":{"amount":"+0.7132846117019653","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":"Q1823713$DA90BE5E-81BB-4778-A355-53AAF5E3C32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1aceb1f803ddba26cee448b3052608216f89a1","datavalue":{"value":{"entity-type":"item","numeric-id":4038660,"id":"Q4038660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11c3d52c3caf5f660c48e92c85b9fc5a5f969e6","datavalue":{"value":{"amount":"+0.7124803066253662","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":"Q1823713$39CEF367-17AE-490F-A581-0AB4D7643FAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Describing semantic domains with sprouts","badges":[]}}}}}