{"entities":{"Q3204053":{"pageid":3214761,"ns":120,"title":"Item:Q3204053","lastrevid":49448992,"modified":"2026-01-07T04:28:27Z","type":"item","id":"Q3204053","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4180815"}},"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":"Q3204053$1C3B4ED5-9E6C-4FA8-B6A1-29AD4B28126A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6a7928fe71b9ff1b009e70af16d918541da2f8b","datavalue":{"value":"0716.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204053$3A9C44F8-E3D6-46C3-85A4-5B19E859C113","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f673efe434f3abaa101c00ec8aac6d9847719","datavalue":{"value":{"entity-type":"item","numeric-id":596028,"id":"Q596028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204053$52752447-EB44-4A8B-93ED-9AF100E071E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55516c9acfe06eeff291481b7f91efa8e1b2799","datavalue":{"value":{"entity-type":"item","numeric-id":283764,"id":"Q283764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204053$E316AE13-799E-42D8-92AE-5692DC3ADA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb972c2a3351d970cc33996b2c72ac015cc6e98","datavalue":{"value":{"entity-type":"item","numeric-id":199295,"id":"Q199295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204053$3B1A7262-5B98-4D12-821B-BBBB2E0DDA63","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":"Q3204053$8935FFA6-A18E-4BA2-B42F-10EB40C5BE7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204053$73017E35-7937-4CB0-B478-818A82F47288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204053$BAA4BB44-4D1F-4A33-A1F4-AF86573B061D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e43f03a5115c311a12a2756c493575f454d55223","datavalue":{"value":"4180815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204053$BDF0B25D-BEDC-4E2B-901A-16230F332141","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204053$AE4679D6-6DEC-440D-BA0C-1A68E8DA9262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9785b32fe15596e19249daa1d1fe1182a68a0b2b","datavalue":{"value":"logic variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204053$35C37074-0257-420A-B9DC-E52C304FC26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11c54e37afac7019b8ae6547286fc51136ad4e9a","datavalue":{"value":"Plotkin-style operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204053$4B02C698-0094-4648-915C-FBE7DCF6379F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5ef96e16ad04069a357ef6a98a2823c300d1c3","datavalue":{"value":"abstract semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204053$1EE49EEC-9703-4338-ADBF-C38F0DB1B98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bff1a6a101ed9457c5675a03afa059c71740e9","datavalue":{"value":"Scott domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204053$13135776-0128-4B85-BFC4-F55909646900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204053$E032D409-BDB7-41BC-AA75-5944BF8D0FE0","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":"Q3204053$157595C4-77FD-47AF-AE1D-712C55E345EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12632cfab228270d97fb94fd5e39565560f67e60","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74559dd1fe0a2261a73497a14e773c13dcf5218","datavalue":{"value":{"amount":"+0.7724341154098511","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":"Q3204053$7447843F-FFC1-44FB-9DED-380452827DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e492713ccac78c3a7cfcfb8ef918144aaa1fb3","datavalue":{"value":{"entity-type":"item","numeric-id":4281599,"id":"Q4281599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afb9193a16492154641e3b054da5cd429ceb2619","datavalue":{"value":{"amount":"+0.7656529545783997","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":"Q3204053$A8042BBA-DFAA-422A-B2ED-B60D4AD78019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee682fade91aa8c4661f25c38eb106e5dabd","datavalue":{"value":{"entity-type":"item","numeric-id":4764614,"id":"Q4764614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4148e91be12796ff1a8394375ad9cbb6403e88","datavalue":{"value":{"amount":"+0.7632167339324951","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":"Q3204053$3844904C-6DC8-46FA-844B-2F6647598DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb6ed782f7c47b249de2e2feb533be490db470ce","datavalue":{"value":{"entity-type":"item","numeric-id":4202938,"id":"Q4202938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088dfe08a8d3a65b915a9215e6842db8b606fee5","datavalue":{"value":{"amount":"+0.7628510594367981","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":"Q3204053$F3A19EFD-B21F-4BA1-9D97-7ACF4261687F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fdc5a4ead111fc8400a4ad8a50ce8c80569a154","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f2b3790ae16dce0d75a4e233d99df005b1bd4d","datavalue":{"value":{"amount":"+0.759345293045044","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":"Q3204053$B1495AED-1054-4395-A5A8-FD915C9DD206","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3204053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3204053"}}}}}