{"entities":{"Q1818307":{"pageid":1829049,"ns":120,"title":"Item:Q1818307","lastrevid":43344603,"modified":"2025-07-24T23:05:05Z","type":"item","id":"Q1818307","labels":{"en":{"language":"en","value":"Special issue on SAS '94. Selected papers on the 1st international static analysis symposium (SAS '94), Namur, Belgium, September 28--30, 1994"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383798"}},"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":"Q1818307$D0081E37-3E8F-4792-BA0A-6CC00A4FC1DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2e320f2d4617d4ea19ba0cb9cf8b0241aba2940","datavalue":{"value":{"text":"Special issue on SAS '94. Selected papers on the 1st international static analysis symposium (SAS '94), Namur, Belgium, September 28--30, 1994","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818307$967E05F4-4F5D-47C8-9F25-B5F92B74AF92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cde0a62cc5db58e134b519a6778f9645a3bfdf4","datavalue":{"value":"0939.00041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818307$F99B94F3-D148-4EE4-B54A-51BE1A0E2734","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"204561dda66d0c22fae3378cd0cbcae9840309ab","datavalue":{"value":"10.1016/S0167-6423(96)00038-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818307$74DF1386-425A-44D7-843D-5BEA6EA15AA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818307$C551EC86-4917-45E6-9EAC-DCAC963C6457","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"411fd739284cff7a394f6a4a446a60451e919fec","datavalue":{"value":{"time":"+2000-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818307$FE34E073-D13D-4F2B-BC39-4E36EBBC46A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c79fb13a6069c6c65853fd79bacf0008d1581111","datavalue":{"value":"The articles of this volume will be reviewed individually. The 6th symposium 1999 has been indicated (see Zbl 0929.00064).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818307$019B80DD-A482-4131-8F03-7360E40DFFD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818307$9CB96462-0A70-4DB8-9D29-D64CC94E58AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818307$C8B1E6A9-FDD3-49C8-8B4D-9D77149D5BFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"772a1049ae0494a93b38327e9bc5dab731f02a81","datavalue":{"value":"1383798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818307$425F28A0-E817-42EC-9597-FA79DA73E7D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"525dbf29da9fc50d25071db254f6cf88296801ff","datavalue":{"value":"Namur (Belgium)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818307$ADB673B3-3151-4894-B12E-E05D3826A470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818307$A1BCA646-24F7-4284-B5AB-A3298D49FAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1cfe28c346d814735dd52972c178c02b57d315","datavalue":{"value":"Papers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818307$E583EB5B-B9DA-409D-A7BF-BD357C805396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66944699287dca6796d3a40b159f2395a83ad24c","datavalue":{"value":"SAS '94","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818307$F20D3CD4-F613-4DA2-91CD-0B72153FD2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30079201549958701bc79bc36ae8a8054f2abdac","datavalue":{"value":"Special issue","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818307$8FD4B64C-4FE7-48E1-9549-E721EE6543F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eee5b531b827d340fd5e45b644a81c495eb959c","datavalue":{"value":"Static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818307$72A6AC48-2CDD-4576-B560-0D1F8CDC8972","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":"Q1818307$162E9B34-6D26-4335-ACD7-9EE3A09E1B41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b65e4849c16d92a76ae4c3910690eea67482d1","datavalue":{"value":{"entity-type":"item","numeric-id":1339985,"id":"Q1339985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8076774cdb385ce95348294536a5766158487afd","datavalue":{"value":{"amount":"+0.95172834","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":"Q1818307$572A34CF-EBBA-4559-9B12-B0B7693536D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf81cdd92730e2b771288ff6e40935caf4e9b389","datavalue":{"value":{"entity-type":"item","numeric-id":1818079,"id":"Q1818079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3754d6fd9669da9c62add7afcce41dfc2c5520","datavalue":{"value":{"amount":"+0.921634","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":"Q1818307$6750688D-B0A1-46CB-B79E-1036EC20FD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5630d1d71da260b01598f08ec32ff09d30ae714e","datavalue":{"value":{"entity-type":"item","numeric-id":1608330,"id":"Q1608330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca33e55407d384306fe41840ab3be94766929c05","datavalue":{"value":{"amount":"+0.9175781","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":"Q1818307$12537B69-8F88-4B3A-AB79-E53AA71ADA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494ad90a1950a85c84c24afb8241e2eb567d41d0","datavalue":{"value":{"entity-type":"item","numeric-id":1400862,"id":"Q1400862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd31a6603be2def55a5f6de62939d9b523258190","datavalue":{"value":{"amount":"+0.908975","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":"Q1818307$7519203E-B341-4F43-B98D-B5AC1114EDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594b012046d1f13c5762923c44209f94fbc17f9c","datavalue":{"value":{"entity-type":"item","numeric-id":857544,"id":"Q857544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6b65eb124f9ec42b8ce685894fdb22f60493af","datavalue":{"value":{"amount":"+0.8992486","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":"Q1818307$ED8D628D-C109-403E-971F-E96AF5E347AC","rank":"normal"},{"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":"bddaa15f972f84e72e21f6bff14573f6039bd94f","datavalue":{"value":{"amount":"+0.8975832","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":"Q1818307$3DE389A9-BEE8-4F8C-AA0D-8F4D8A1F4965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea4494603eb84a67b70af85977fc56c0881359b","datavalue":{"value":{"entity-type":"item","numeric-id":2577411,"id":"Q2577411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab37ec8d11328002bc1e7d62bec1c691ed70248","datavalue":{"value":{"amount":"+0.87701505","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":"Q1818307$91AE8870-32E1-4246-BC8A-25D02B67A6EB","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":"9d9c69926cc58d88dd8fcc72c9e313ba7713b6df","datavalue":{"value":{"amount":"+0.8757312","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":"Q1818307$1AA03673-1B89-4156-9D67-A3BC286C1262","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":"7b514fdab0ac1c10f4f3a4409c5a3eff2e1ae26d","datavalue":{"value":{"amount":"+0.86934614","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":"Q1818307$77DCD189-890E-4E8D-9DBA-E3265CB9DAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b61201949564067b752e197dcd441d1f60861efd","datavalue":{"value":{"entity-type":"item","numeric-id":1265643,"id":"Q1265643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2483c81cbfcae398484067f0cf7a6131b0d9653c","datavalue":{"value":{"amount":"+0.8690653","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":"Q1818307$DBEF8195-68FC-4270-9A38-1A1DABFB4D84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1818307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1818307"}}}}}