{"entities":{"Q1265643":{"pageid":1276393,"ns":120,"title":"Item:Q1265643","lastrevid":42990225,"modified":"2025-07-16T16:22:21Z","type":"item","id":"Q1265643","labels":{"en":{"language":"en","value":"Static analysis. 5th international symposium, SAS '98, Pisa, Italy, September 14--16, 1998. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1201067"}},"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":"Q1265643$1D58D993-6899-4212-8AED-C9210EA0908A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ceded2506da8107f9e572463c53dc3a99a4a75a","datavalue":{"value":{"text":"Static analysis. 5th international symposium, SAS '98, Pisa, Italy, September 14--16, 1998. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1265643$A6037AAA-609F-49A8-875B-468AF5705E7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c30fdab1f39d70c62007781c2abc469f92ba584b","datavalue":{"value":"0896.00033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265643$FC223ABE-84CE-454D-B075-95BDB9ACCC14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63db59d38e33a5e7d798ea142033c1370de6ec4a","datavalue":{"value":"10.1007/3-540-49727-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265643$4B906B96-08E5-494B-BA00-7FB58C8A4A40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1265643$2944EA2C-C997-4E96-AA8C-A3DD42A2A4C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"999f03c13835e1923a8e900c7129f49e6e75be1c","datavalue":{"value":{"time":"+1998-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1265643$0036618D-71B7-470E-8306-B2F355EEDD2B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a84b9dad34fc66d67f5d860c48734e21a84057c","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding symposium (3rd, 1996) has been announced (see Zbl 0855.68002).  Indexed articles:  \\textit{Levi, Francesca}, A symbolic semantics for abstract model checking, 134-151 [Zbl 0914.68131]  \\textit{Volpe, Paolo}, A first-order language for expressing aliasing and type properties of logic programs, 184-199 [Zbl 0912.03015]  \\textit{Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca}, Building complete abstract interpretations in a linear logic-based setting, 215-229 [Zbl 0912.03016]  \\textit{Albert, E.; Alpuente, M.; Falaschi, M.; Juli\u00e1n, P.; Vidal, G.}, Improving control in functional logic program specialization, 262-277 [Zbl 0911.68036]  \\textit{Charatonik, Witold; Podelski, Andreas}, Directional type inference for logic programs, 278-294 [Zbl 0917.68043]  \\textit{Tadjouddine, M.; Eyssette, F.; Faure, C.}, Sparse Jacobian computation in automatic differentiation by static program analysis, 311-326 [Zbl 0911.65014]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265643$95908B26-52C1-49B9-B669-C60184D47F09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265643$22479605-BF4D-4633-8320-27B61CBD882E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265643$A5775EEF-1853-44EF-84FE-AF289345C941","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37394475a28344baee415184fbf9229c46591d95","datavalue":{"value":"1201067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265643$BA8AB2A9-711D-46E0-AFD2-37447E9FC57A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6be671bcb22f52be134eebf591407b0daf9154a9","datavalue":{"value":"Pisa (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265643$25A0EF16-665D-4A2F-AC84-37BB1EEFE9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265643$5BD1E336-BF99-494E-817D-0130F962A1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265643$16BD8A3F-AEFC-42D5-B7E9-A4F4D9550250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74adc4db014a747a17519f45b67e81ce69bae91b","datavalue":{"value":"SAS '98","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265643$82EB9E04-E8B5-4271-8519-CAAC1152B167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eee5b531b827d340fd5e45b644a81c495eb959c","datavalue":{"value":"Static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265643$43489386-F853-4023-ABC9-2FBEDAA3A9F2","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":"Q1265643$A622DDBE-B786-4478-92FD-A587CEA32064","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d083caa2eab75f9a5887a1fc6051f567a102cc9f","datavalue":{"value":"https://doi.org/10.1007/3-540-49727-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1265643$8867197E-A233-41EC-91B3-7CD6C8621463","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70c77ff3558b823c1e23158e7edc396088f83a7c","datavalue":{"value":"W4249872120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265643$D7F321FB-0632-4F79-AA58-EE5499B9D7C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0768b5de60218b31c7b8932e958f53ec1da2ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1595246,"id":"Q1595246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610f438927f6c7a77e8c4e7497974913d5afc197","datavalue":{"value":{"amount":"+0.9651146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1265643$9D2634B1-DCC2-42F0-AAF7-1AB29C822B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b92e48bc5b45a5365ab939953c5ad99d7696eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1819256,"id":"Q1819256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15bdf24483638e8ded7499a2b59e918ac0dc32f1","datavalue":{"value":{"amount":"+0.94631946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1265643$8D8DEAC3-1D13-405B-AACC-1EA952843A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fceaaa64c1e41cea8a0ac264aaf43866a94ad460","datavalue":{"value":{"entity-type":"item","numeric-id":1899998,"id":"Q1899998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3a7fe19244e39f985c34199eb61c55878525cf","datavalue":{"value":{"amount":"+0.9376533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1265643$2F297139-CFD0-40AC-A664-3E0BFF77D98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"574e7a740bc288288dfdf41dd9a498107e5808de","datavalue":{"value":{"entity-type":"item","numeric-id":1763058,"id":"Q1763058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a606bfc311af52619c2aaf062e14913e5629a126","datavalue":{"value":{"amount":"+0.93618494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1265643$8B17C0EF-397E-4456-81FD-3C1E19EECBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b52c81b1f34741da97913535f61ec57a22b555f","datavalue":{"value":{"entity-type":"item","numeric-id":638905,"id":"Q638905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b150482f5bb0baa7ea7f2363d2c0285885dd7852","datavalue":{"value":{"amount":"+0.92676914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1265643$0C603F34-3CDB-4BDC-A659-A3436A4F234C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a411f02c10380f7ae23d69ef4096ac3ec58f9a0f","datavalue":{"value":{"entity-type":"item","numeric-id":2369292,"id":"Q2369292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c32c455b6f3cd522706734a5b81a6a4a0440761","datavalue":{"value":{"amount":"+0.9264045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1265643$33D1BA81-DE8E-49A0-9844-A0B6E4BA81A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887b1afb41a73b2775a9c5b1df760c93edd13061","datavalue":{"value":{"entity-type":"item","numeric-id":2565158,"id":"Q2565158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6179823ed2af3dd618001b58d55e58a70617848","datavalue":{"value":{"amount":"+0.922562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1265643$2EB2208E-BFEB-4C4B-A07A-BD762F207101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60244342181d5a097ec4589cec1708f8d550616c","datavalue":{"value":{"entity-type":"item","numeric-id":493846,"id":"Q493846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844a10f8c5c1e9bbcb9c1a82a09bd49f1dd7a64e","datavalue":{"value":{"amount":"+0.91930145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1265643$B3DFAA13-D0AF-41E8-8ACA-E172C236E995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975aeeb0676affaf5efc3ce6a1d7c368a1abd82c","datavalue":{"value":{"entity-type":"item","numeric-id":5943783,"id":"Q5943783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff7dce494237e702dd6b3250b5311f02a1c3733","datavalue":{"value":{"amount":"+0.9178574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1265643$5A2B6759-F74F-4DC1-9765-F7FAF3B28BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f04b57958dcc90f6b698573e3c02c0885f1211aa","datavalue":{"value":{"entity-type":"item","numeric-id":1850310,"id":"Q1850310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af69869deb50e5d5a8ef64b63cd2f0d42de77320","datavalue":{"value":{"amount":"+0.916831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1265643$65FC8CD6-9078-4C53-BC6B-B2F3A6C0D51E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1265643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1265643"}}}}}