{"entities":{"Q1179698":{"pageid":1190447,"ns":120,"title":"Item:Q1179698","lastrevid":69837057,"modified":"2026-04-13T10:40:50Z","type":"item","id":"Q1179698","labels":{"en":{"language":"en","value":"Static semantics, types, and binding time analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 25195"}},"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":"Q1179698$CA01F18F-BCE5-42FF-B2B1-A80C4D5ECCEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2858ee4e793df6f730af53a96aee010fbc248b5b","datavalue":{"value":{"text":"Static semantics, types, and binding time analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1179698$824A35E1-74F1-4BE5-AE0E-FCBA39F693F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0adcff192ca20026e8c18ccaaea988c668ee8b51","datavalue":{"value":"0796.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179698$E73EDE9D-829C-4197-B41A-FA5EBB7C78DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aac412191524002481ae026f07cb75bf444984ec","datavalue":{"value":"10.1016/0304-3975(91)90301-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179698$64202CEE-D98A-4D27-8A68-11C40BF12DDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0b9a436dbb5c7d47b2ec7c8cccc66a852f3c4a7","datavalue":{"value":{"entity-type":"item","numeric-id":1179697,"id":"Q1179697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$A9EA74CA-DE5C-43F0-A66A-030196978F06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$40ABAC77-4CB0-4D48-BE36-6A687BC9F24E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1179698$ACDDC661-FC93-4F61-85E9-BA8A579BCBF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179698$208252D9-9760-494C-BA4F-84D59FE53802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179698$CAD61886-7446-473D-A661-34957D54C63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179698$2D4D920A-336F-4A61-AE65-A3BA8A4A5951","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3630217de450257be4ee606178ea818c95b590d","datavalue":{"value":"25195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179698$9ABB2945-E42A-4B35-AB91-7318A8D5A9EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99474cc9c835ca8c13415a92f72c603023465744","datavalue":{"value":"compiler generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179698$8031CF31-2BDB-4665-BBE7-191EB4ECB207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f41c701f9ca5968efebecc97c6b35b988bbf5b11","datavalue":{"value":"mixed computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179698$E5EA6D47-1F9D-4078-A54D-189C687ABFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179698$BA54E799-7722-4567-ADF0-CCEB6A7570FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f45b20c83bfaa3c3db70f2c7d1549a37a040d6c","datavalue":{"value":"static semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179698$89CFA7F2-F4B5-4D82-8B60-C85B206E7C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec370a4399ac469c0dfdda15e15a820bcabf829b","datavalue":{"value":"binding time analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179698$22861177-8B45-4509-A5A9-11A051168075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179698$69F48912-5B17-46EF-9127-D56B0B8B0445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c41e0dc982d673770a568fd6d468deb1e59e355b","datavalue":{"value":"type checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179698$7256658F-82AC-4129-AB25-35D7BE81D6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad2f6bccdee3f12ee6654b3c00c162504b6bcd0","datavalue":{"value":"dynamic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179698$80436C57-36EB-4820-A9CC-98784B4A6857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4ece028675a51c037262bbd240bfb0936e2f309","datavalue":{"value":"interpreter program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179698$D2EFEA2A-19FD-459F-B99F-6276F99EB074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f41ee21a072b234fedc65f827a0a9e9ad0e9f048","datavalue":{"value":"type errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179698$CB8D6961-89D0-47A1-BECA-8FFD0AD5EC5F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$416C69CD-568D-4D7D-88C7-737187DAF158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a10fa0d0fc1b68b6a8c9081db3fab0d000f0c64","datavalue":{"value":{"entity-type":"item","numeric-id":39349,"id":"Q39349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$D380F38C-059E-4B5F-9021-8125D79996F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$88BEA81C-6C67-4CD0-B01C-C9768C1AAB0E","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":"Q1179698$F07C4787-3F7E-4234-A9D7-D757672A3659","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9096a0ca9f65e95a33efc00d5fbb13405c0a31e","datavalue":{"value":{"entity-type":"item","numeric-id":1054459,"id":"Q1054459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$DBA455AB-8BA4-4D9F-B117-A0FA3F6D6A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676b458c1dea153e4922c9d35eda49fa57a05b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3657413,"id":"Q3657413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$91ACAD82-A78F-46C4-94EA-BBA267336757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97a81fd7ad71815ea23de5bd9d2e05422152d02","datavalue":{"value":{"entity-type":"item","numeric-id":3673081,"id":"Q3673081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$546BB4D4-C478-4113-BB0F-125E268EA134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4c0af17dc85865b0c440b7eba58f1bf7cca886","datavalue":{"value":{"entity-type":"item","numeric-id":1169808,"id":"Q1169808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$FE9B0482-BFFC-4233-A08F-86A1A8547A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ad317ef3efab6c74b71a2a68aee1620e707cad","datavalue":{"value":{"entity-type":"item","numeric-id":1249938,"id":"Q1249938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$D408FF1C-C851-4F79-A1B8-4E47C3727211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071ec6e65d99594a421e393a445652be38040f45","datavalue":{"value":{"entity-type":"item","numeric-id":1146510,"id":"Q1146510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$FE4AF1F0-A6AF-4E4F-BBB4-ACE3979153F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca7e1d5a1693cfa35b0192335b0896dc22a5acf","datavalue":{"value":{"entity-type":"item","numeric-id":3787457,"id":"Q3787457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$403FB8CF-EB55-4B0D-9660-B0E84382683A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ccbc8a5de17ed4e6924728c6d1a2f620a7587fb","datavalue":{"value":{"entity-type":"item","numeric-id":3805933,"id":"Q3805933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$9ED9A266-5205-4D1D-A757-6F6EDCED2872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4fd1001f8f3efb16cb5718beff41343a27a9462","datavalue":{"value":{"entity-type":"item","numeric-id":790091,"id":"Q790091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$33C83A30-B298-4A8A-81C5-8F0965365EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72f4d15dc2df0fde6216cad6005896b603e4d1c","datavalue":{"value":{"entity-type":"item","numeric-id":5529040,"id":"Q5529040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$3A72C954-8A44-45AD-902E-86E4A3D2E67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$2433BC17-EF47-4489-B66A-D9B182BA7A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$E4E33494-4B04-4223-BCE9-9A376956F72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$313443FB-E326-4A3C-9D61-4677E9E1234C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b883aef2f89b9929efcf17e4c0c45eb5680b0008","datavalue":{"value":{"entity-type":"item","numeric-id":3922128,"id":"Q3922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$F986B67C-44FF-406E-9F28-2B2B0A0F7804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b92fd2e1ef6327ac929e8d74f7e6384b5f32cf","datavalue":{"value":{"entity-type":"item","numeric-id":1162139,"id":"Q1162139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$234E4C8A-BE3E-40A7-9157-EF0E6DF25E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$5AE1B100-7B69-4FFE-AFE4-51BD6C45F022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$DA6B7233-9CF4-4059-9DDA-1FB56116D3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a330baacf3f606d8027096641fc9bd5fb72d9e44","datavalue":{"value":{"entity-type":"item","numeric-id":3711735,"id":"Q3711735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$7BD32B1B-B7F5-40D4-90FF-C9DD549203B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e786ed2d54a288c125d6e303410f1007c73476d","datavalue":{"value":{"entity-type":"item","numeric-id":3666264,"id":"Q3666264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$9B2256BA-DF89-459C-9AF2-9FA87FFB1DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151e53b833b03fea2bc315d9321174f425e91bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3995133,"id":"Q3995133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$84034A3A-F0D5-487C-BAD7-46735224CE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8703228b70bd76dfe6540872520bac9ad5b1b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179698$45745F9D-E574-4FB2-B6AE-031B77C983F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99550d4cab28aaff18bcaf3a02524e13b8b1588","datavalue":{"value":{"entity-type":"item","numeric-id":5712548,"id":"Q5712548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d50c3da1e59ae4fad0f8068b506732ca1c94f64","datavalue":{"value":{"amount":"+0.7499722242355347","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":"Q1179698$6F674465-8B03-4591-947E-A4659A64C489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb0bad16b23d9a364557fe49fdd0f93d24755a41","datavalue":{"value":{"entity-type":"item","numeric-id":5957057,"id":"Q5957057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29beaa5d5c97ea3b37f3db663b8372eff9460770","datavalue":{"value":{"amount":"+0.7499117255210876","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":"Q1179698$D3F80347-2CC5-4475-9180-BD4B8399F08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb237b773a3b284869305eec2870fc2bbb23944","datavalue":{"value":{"entity-type":"item","numeric-id":4023587,"id":"Q4023587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d9450e2064edd41bbc66a9501d4e2eaa40fd6b","datavalue":{"value":{"amount":"+0.740260660648346","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":"Q1179698$6F48C40A-0429-4D38-B95F-C755ED96B3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce3a08a6d629c133ffc12dc11354926d33a92305","datavalue":{"value":{"entity-type":"item","numeric-id":1322480,"id":"Q1322480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e941214fd9c4a8e6f44fbdfa168b71f2f50196c0","datavalue":{"value":{"amount":"+0.7331138253211975","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":"Q1179698$595F52EB-1A02-4756-916F-1D478958EDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ada50f79cea0bd2b6d66539895a5dd90ab71f6","datavalue":{"value":{"entity-type":"item","numeric-id":2061291,"id":"Q2061291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca078f67b2a5b61bc9198ea5c5bfd35520034f8","datavalue":{"value":{"amount":"+0.7316991686820984","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":"Q1179698$ED8290A0-A837-4930-943C-83F1DEB96724","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static semantics, types, and binding time analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_semantics,_types,_and_binding_time_analysis"}}}}}