{"entities":{"Q4644578":{"pageid":6674159,"ns":120,"title":"Item:Q4644578","lastrevid":41631883,"modified":"2025-05-06T14:40:36Z","type":"item","id":"Q4644578","labels":{"en":{"language":"en","value":"Static analysis: a brief survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997986"}},"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":"Q4644578$C79CAE7D-3D01-42CA-8EA0-C16C25389065","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"802f0dd527562d1b3543c5029b34021c07845e2a","datavalue":{"value":{"text":"Static analysis: a brief survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644578$58B90AE0-5240-4A1B-992D-C17FA879CF06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05467ae8e00d9cb7f47012d4c8d63384e7e5040e","datavalue":{"value":"1407.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644578$539A489A-E383-4E79-B1AF-92288007740D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"caa94ff262ecb4de40e105a4d95057ef4dd8dde4","datavalue":{"value":{"entity-type":"item","numeric-id":4644575,"id":"Q4644575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644578$5EF94E38-9655-4D96-A127-AD4EB3843E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28a617630ee406aff5987a13496a4f59257db4c9","datavalue":{"value":{"entity-type":"item","numeric-id":4644576,"id":"Q4644576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644578$9887F801-E5DD-4858-96B5-9E00AA7D8768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3df77458d1116dfa17f51db759879c7ae2eeb3a6","datavalue":{"value":{"entity-type":"item","numeric-id":2985461,"id":"Q2985461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644578$465089E0-80B1-4940-B3CA-40D369AF6CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2f6dfddb79904f889f02a95ffd60999612d7671","datavalue":{"value":{"entity-type":"item","numeric-id":4644577,"id":"Q4644577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644578$57F2FA68-E8AF-4D94-8A25-C805BAD45A18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644578$B333A6DD-3815-4D16-A93E-E9B7851F35F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644578$17C3F74E-AC34-4730-8FDD-B8C282BD2FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644578$3B1858FB-2DE8-4FA3-8C14-F2D0423C1869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644578$095C9871-A47E-46F5-832B-E9BA66E80A24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba26b32b4bb96ee9486185383fae687c0bc5e246","datavalue":{"value":"6997986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644578$63285109-8C7E-4BD2-807F-0501E3DA17F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ca31d6f872fad6256805252b19b51ea1bf5eb59","datavalue":{"value":"static binary code analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644578$ED28A4CF-3596-4412-BD3E-11F48C12296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644578$2CDAD81B-6146-4B73-BAAA-A9A58549BF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644578$B3CAF69E-0631-4786-B458-8F6203290325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d12af63942858b8a70d1663480b723a9521e39b","datavalue":{"value":"bugs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644578$6CBABEE3-AA06-4D76-9A81-0D91387F9B17","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":"Q4644578$939A0374-A0AE-48AB-AECA-B4BAAC48134D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e388d94f07beab25bc8c48fef7d855b65d74b1c7","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzw042","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644578$18294C81-0D23-49C7-A8F0-5D4841D04F4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"febac15225150aa12eaac141f4cecd99eda6ac4f","datavalue":{"value":"W2520713552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644578$F87B6BB0-F818-44E7-A6F2-7A083E73E1D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad231d9a1f998684203427250cacdcf9ecca003c","datavalue":{"value":"10.1093/JIGPAL/JZW042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644578$125A0D7F-CCEC-422F-9E8F-B646E3966F41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644578$50940225-70EB-4B13-9E45-3E403A21A092","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87ec311a15d8827e2fadb0daf39bcac965bfa22","datavalue":{"value":{"entity-type":"item","numeric-id":3455540,"id":"Q3455540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f20d09e8358de16b2cbd7002c0525665915bea","datavalue":{"value":{"amount":"+0.8903638","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":"Q4644578$0425B69D-46FF-40ED-8566-4857496D555C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5267c6adcf54f14f1cc0a728425d3ba3b6a0b25e","datavalue":{"value":{"entity-type":"item","numeric-id":2814107,"id":"Q2814107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad4719430408293f218cd7ae971c5b826e379cd","datavalue":{"value":{"amount":"+0.8883539","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":"Q4644578$9FAE2274-3537-421E-B63D-CF676F13849F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb38524103c51f2d87f5457c4fc5ea764a5cea5","datavalue":{"value":{"entity-type":"item","numeric-id":5715840,"id":"Q5715840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9179faa0ba665968e7193c3446298f671e216995","datavalue":{"value":{"amount":"+0.87626016","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":"Q4644578$A9F41069-1A40-4FFC-9495-EFCFAB09712C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f49f78ce79e3f09e8799733e1027e4aab21dc99","datavalue":{"value":{"entity-type":"item","numeric-id":3184788,"id":"Q3184788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f4785dd7ab3084c6279ba3ba4977b8a4d70026","datavalue":{"value":{"amount":"+0.870244","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":"Q4644578$19148CA8-0DEC-4CED-9668-4223BA6FFE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8efc8c7430246b76b9c5d04dac1dde5a944c611","datavalue":{"value":{"entity-type":"item","numeric-id":3347264,"id":"Q3347264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213df9d39f8e39d4a0f0b43094ef73f6fe4c6717","datavalue":{"value":{"amount":"+0.8619444","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":"Q4644578$846EE2F8-F7AC-4D6B-ADAE-FD8CCA3808C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644578"}}}}}