{"entities":{"Q3782747":{"pageid":5812653,"ns":120,"title":"Item:Q3782747","lastrevid":52346726,"modified":"2026-01-22T10:08:49Z","type":"item","id":"Q3782747","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045109"}},"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":"Q3782747$292D3E7E-9B9C-447D-8C29-299282A66315","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b7a97d24ea4b7daea4e54aa2800cf7ce0277f3d","datavalue":{"value":"0641.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782747$3F492052-F470-4DAB-A398-0D02A6C6C2CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e5afc85545e99d122f94223f695bdc5c3348c43","datavalue":{"value":{"entity-type":"item","numeric-id":280199,"id":"Q280199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782747$C05C0DA3-9F71-49FF-AF9F-5AE45860344F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3782747$EE7FF979-E47B-43CF-A61C-7B44EB1227F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782747$7A99B449-9E2A-4459-97CC-74BF59083CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782747$36342EDD-D4FF-4910-A96F-61D536022279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782747$65EB9E84-9EEE-4913-B6CB-FB6DF11F1DDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55a9bb59dd1c571e1e0100271993dd125a98bc50","datavalue":{"value":"4045109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782747$D607A904-55E2-42D8-8716-FF327F98AD3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782747$D0685842-2656-4BFE-8A26-3AE8768D8BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782747$B255E9AB-27CB-4FFA-91E8-6EF499302DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea5637c0809f4bbeea66bd3fe34058bbb3109b2","datavalue":{"value":"Stone duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782747$7F2201C1-1AFA-427A-AD51-2C967AFA800E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24871a0a049eb3a189069ae4279dfdf4731a30af","datavalue":{"value":"structural semantics for programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782747$B014895A-4432-46BD-A3FF-28D5CDFDF390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782747$70F2BFE8-505B-4384-B753-20363AF70E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cc23a7742c319e6d8a8a424aee3a21b8e7d29a6","datavalue":{"value":"SFP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782747$F4F5F67C-691C-4E98-885A-A6B0F0BDB52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5ab363ea98b421eac425bc5603b5cf2e1293c7e","datavalue":{"value":"power-domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782747$58F164B1-526C-42B2-81E4-C42356FC2872","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":"Q3782747$504D5F72-0E5F-40D7-B269-D050486AA76D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a21b840a73bb231150e0a01a52a49c804793701","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0608f6c40272625d2545f65e0672fce4cf70774a","datavalue":{"value":{"amount":"+0.7868311405181885","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":"Q3782747$9FF37F2C-4497-49CC-82A5-D9D5729951C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9910f779e110a2cc3715c129b01a2ff86df4d43b","datavalue":{"value":{"entity-type":"item","numeric-id":1271111,"id":"Q1271111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23443527f59fda45b352cd4c74686ae998462758","datavalue":{"value":{"amount":"+0.7739156484603882","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":"Q3782747$BBCF8E3C-032B-4348-925C-87C265BE10EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998ce59b2e2182e9a17f7061382d98f6f3ee00a7","datavalue":{"value":{"entity-type":"item","numeric-id":4028343,"id":"Q4028343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9303b156ee8ea4b9661af0da85079dc9b653144","datavalue":{"value":{"amount":"+0.7731525301933289","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":"Q3782747$F34086B6-E142-42D2-A63D-2D31E9A6C468","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":"5a99cb26284b76a544da2f4be2272265a00e6f08","datavalue":{"value":{"amount":"+0.77180415391922","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":"Q3782747$0DA0F9D3-EF07-4962-91E3-E880E850FEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8efdf3a21ea57529d4367f0e65385bc92e048c24","datavalue":{"value":{"entity-type":"item","numeric-id":2707309,"id":"Q2707309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d74d211e39435e1d7014e8e855b77609b2a9e9","datavalue":{"value":{"amount":"+0.7692150473594666","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":"Q3782747$EDB18BB8-E062-48CB-8DC4-DD1662CDCB05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3782747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3782747"}}}}}