{"entities":{"Q3708006":{"pageid":5737912,"ns":120,"title":"Item:Q3708006","lastrevid":50538380,"modified":"2026-01-14T08:14:44Z","type":"item","id":"Q3708006","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3933052"}},"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":"Q3708006$0778F6C0-F76E-4134-9649-610BAFDF1261","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2d630d3f9af978560086050d49daf07697c4a76","datavalue":{"value":"0583.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708006$17B505D5-5DC9-4D2C-89F9-A25F98C901BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3708006$DA07B03D-210B-41C3-BA55-8CAFBCC5CF7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708006$6803C56F-0D9E-49EE-BD14-18B6942CF737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708006$E707B539-E43B-4BB5-9019-9C2DE726A870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708006$C3B908C5-45E0-4128-84AD-F11B3B65A990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708006$E56D3182-2BFC-408C-A385-155366F9736A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708006$139B4DA7-9E11-40E9-8862-FED7283B0B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c4ad1785471f430c5505937f552960d16df2055","datavalue":{"value":"06F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708006$0C83CA3D-4269-48B8-B94A-C75421D141C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a45932313549fa29f722272ad8497adb457c154d","datavalue":{"value":"3933052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3708006$AEF07D6F-30D3-4FE3-A954-AFDCB61F25DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7620d2552caf817c7c00ba231cd6a19ca82dc7b8","datavalue":{"value":"continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708006$984AA677-AE3B-4F62-971B-AB00FC12A634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9586b6891334e9c89628ab4a4b797ca0c5e8ec8e","datavalue":{"value":"separable spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708006$956B29E4-E819-484D-8D34-D7D35FE26072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708006$E5FD503D-6362-4172-A54B-D9690F17F523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708006$8CA2706E-4ECB-4A84-8551-F06F85546023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708006$4DC4A902-0F52-4E46-A0E8-62CA8A01D286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee85ef68a8f6c254cedcb4be71f63e93d1f63ac7","datavalue":{"value":"type structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708006$DD36AECD-54F9-40DB-8819-CCBF71673941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea5da97140544ccc99cedf533d9d3d2555c94cb5","datavalue":{"value":"limit structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708006$131BD41A-1C62-4ED0-8C3F-00E9B6200102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d1b7a2c28e77906da4104fb636290a5dcfcc3d","datavalue":{"value":"recursive functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708006$9B169C46-7839-41A3-B275-BF6C35637FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46fe81e4c24f40e2106e7b765acdd588902266bd","datavalue":{"value":"computable functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708006$77B92771-B278-47AD-9151-ED0806491F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708006$03DB2104-BB75-479C-B3EE-74866ECC3F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb3cf4dad9ee1d765390e16b9eb491f58a7f302","datavalue":{"value":"typed languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708006$7B96A989-0173-42E7-9DDD-BBBF7B7B3004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fe08f9eecdcf45452334f89fb7f83460ee2c3d","datavalue":{"value":"type-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3708006$82498C8C-A0B6-495D-B443-A43B1906EFEF","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":"Q3708006$E0E6A5B0-D55B-4A89-85CC-3FECAD88CB6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03c3b74ff26c086a7988af4846b84322637129ef","datavalue":{"value":{"entity-type":"item","numeric-id":1868461,"id":"Q1868461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3708006$7350B328-406A-43EA-8C20-0FE5BDAEB9B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fbde3ac068c2183ac42db8d3e451424532f5a11","datavalue":{"value":{"entity-type":"item","numeric-id":1120558,"id":"Q1120558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c492c0540af815c6f6d26f29ba45f80718f269ba","datavalue":{"value":{"amount":"+0.7968403697013855","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":"Q3708006$550F2757-28BD-45B5-A904-24ABD683B5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29229175b4d31fbfbd954bef8b545414c34d653","datavalue":{"value":{"entity-type":"item","numeric-id":3708005,"id":"Q3708005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b7910566792a0fbff35d899176997d89c625ed","datavalue":{"value":{"amount":"+0.7592983841896057","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":"Q3708006$02C9CD0F-7F79-476C-B140-0146F1B8D90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0e70da0f5ed9c6be978d87cd2ec659c9dd56db5","datavalue":{"value":{"entity-type":"item","numeric-id":5479568,"id":"Q5479568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0563ae80a57fdcc5d954913f3a7448c5a3437dcf","datavalue":{"value":{"amount":"+0.752166748046875","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":"Q3708006$1A003613-5FC2-4D70-A4D9-C01AABA0E508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d3ea04270af80c4ed8ba3e3732a4614fb8729d","datavalue":{"value":{"entity-type":"item","numeric-id":5316371,"id":"Q5316371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c9bfbce899de934c3421ec2764eb99eb54ad04","datavalue":{"value":{"amount":"+0.7489301562309265","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":"Q3708006$927B53AD-BCCE-4A03-A895-947385FBBE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa4dc74efe93f28dc22aed44a5fbf1c71f42bdd","datavalue":{"value":{"entity-type":"item","numeric-id":3343428,"id":"Q3343428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181d24b3ed86a9fe7b692e4b9864a7e8f81fd776","datavalue":{"value":{"amount":"+0.7429261207580566","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":"Q3708006$DFCA6A14-233B-4736-914F-4305DCC63AC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3708006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3708006"}}}}}