{"entities":{"Q3675504":{"pageid":5705410,"ns":120,"title":"Item:Q3675504","lastrevid":50014342,"modified":"2026-01-12T15:55:11Z","type":"item","id":"Q3675504","labels":{"en":{"language":"en","value":"Detecting global variables in denotational specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3896275"}},"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":"Q3675504$E428271B-EA08-4BD1-9368-0B9FC868AD1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b796cbecded37d0daebe90da3b01038fa0dee7b0","datavalue":{"value":{"text":"Detecting global variables in denotational specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3675504$B1139D09-159F-449C-8E06-DAD02F3E8DD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc5c309ce8e0bc16bad3e1f554e5c80a67e3bcae","datavalue":{"value":"0562.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3675504$6D2D330B-CDF4-4335-B186-9DEDCE24E501","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"669645a8675b30b13d874f1dc5edde5b1a7e6220","datavalue":{"value":"10.1145/3318.3323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3675504$BE3AA4D8-57B7-435E-AE2A-58688EB260F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c762825db97423211c9dadedf4fa6a17941adb5a","datavalue":{"value":{"entity-type":"item","numeric-id":418810,"id":"Q418810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3675504$B0F1C15B-7347-4851-B907-52AC000DBF42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3675504$5608AFD7-1E16-4AB2-91C1-799E8A7F1B5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3675504$338A7B9D-172B-46ED-80A1-186AEA9F56C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11c9fd7026b46b5a07dd5cbbe0c7321a30b79459","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1985-7/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3675504$EE8101D8-BAD5-4D28-977E-4AAF9DD8188D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3675504$71074E94-DF98-40BC-8EDA-ECAEEA36BA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3675504$815DDD12-DC75-41F6-9463-B6A24ABF6513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3675504$63F2CAA1-7997-4963-B862-6BD32FD6DED3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9fd34dbe6f276e1a8721ddb1979b082a28599fa","datavalue":{"value":"3896275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3675504$05425E60-F95F-4647-AAA0-F053BEEE4664","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c2af97c86e6916fb3f70e2b75e3643c0f427b03","datavalue":{"value":"global variables in denotational specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3675504$A5605E90-1D3F-4E1F-BDBA-0EE2394AA09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aee419b13f29f23efa882f3ada4c59260850cf2","datavalue":{"value":"semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3675504$07A503AA-02B3-498C-AE25-6847AE54A27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3675504$763D2F8D-B45C-455E-89B6-ED8FE50590CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c69a55602574d89024663f616381adda06d3cbc","datavalue":{"value":"denotational definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3675504$E4BEC803-8510-4F8C-88E8-CA5F59AA6C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bacd34e911e115e3cfe335809779aa742a58e725","datavalue":{"value":"compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3675504$CC53C910-2F28-4D58-A587-1D09719DFCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a22c60ce21cd874341cbf4e628c32d83ead5d6e3","datavalue":{"value":"interpreters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3675504$0DC04AE6-0374-4633-8B92-C16206F6FC14","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":"Q3675504$9727F82C-7D60-4708-9ED7-8A9520F30266","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99257c3bf3a4028fc0934640f62fabb65d9ebd7d","datavalue":{"value":"W2082433897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3675504$96DAE0CC-A1B5-4E6C-B5B6-152DA4D39C4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37498e974844057d72dfddcb26344595f26bfb71","datavalue":{"value":{"entity-type":"item","numeric-id":1112581,"id":"Q1112581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8606b453f18cb3758b935e736a8ca94978e5f0d","datavalue":{"value":{"amount":"+0.7872257828712463","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":"Q3675504$22719C98-BB04-4994-827B-403E148C0638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8c20e931f6e8a86033d7f7ef6bb72037a53e02","datavalue":{"value":{"entity-type":"item","numeric-id":3730004,"id":"Q3730004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440b92f0ffeb00c63917a8e7e126d6b62781172e","datavalue":{"value":{"amount":"+0.717612624168396","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":"Q3675504$B7962644-032C-4019-BB17-0AC82A057171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d72f25d8e553386ddd610c17daccac41a1c4bad4","datavalue":{"value":{"entity-type":"item","numeric-id":3347263,"id":"Q3347263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23e31dd2409f33171571a21d61044a543e57677","datavalue":{"value":{"amount":"+0.6991828680038452","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":"Q3675504$D205233B-E193-4335-8CBF-4547A8AD8644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35acf558c9db1787d9a80860d71b274334bf00b","datavalue":{"value":{"entity-type":"item","numeric-id":3030232,"id":"Q3030232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909b949a5764e14966242a9b9c42b98395883f80","datavalue":{"value":{"amount":"+0.6937226057052612","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":"Q3675504$5EBA669C-D67D-4C2A-8A9E-49BFED17BBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7aa24fd28f3c1d1c0599b8d5759e7de0acc261d","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"981c300f28a04ac694ce98d6d5cbdb2854128e4b","datavalue":{"value":{"amount":"+0.688263475894928","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":"Q3675504$C199FB5B-6024-4C24-88FF-B97E79E0492A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3675504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3675504"}}}}}