{"entities":{"Q4930731":{"pageid":6960313,"ns":120,"title":"Item:Q4930731","lastrevid":40953234,"modified":"2025-04-15T02:26:39Z","type":"item","id":"Q4930731","labels":{"en":{"language":"en","value":"Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794761"}},"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":"Q4930731$220C37AB-6CBF-4B4E-A635-CB48D0673415","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"672eebc6eed9c995205ffcef6809941e627f364e","datavalue":{"value":{"text":"Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930731$889F3BDB-DA6F-4153-8C07-3143646EF148","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f241d7b0878bc22499c2836b5f9c48857a5f9e69","datavalue":{"value":"1306.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930731$D31E0450-403E-4F55-A7F9-AED9E20CBCF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2f346879891790dd75a5e1c7745f74a34b32e7e","datavalue":{"value":"10.1007/978-3-642-15769-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930731$2889B889-C963-4042-8F9D-C071B51AECE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cca20e34a5ab58eea56fd5acd872992151f6d7a4","datavalue":{"value":{"entity-type":"item","numeric-id":453502,"id":"Q453502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930731$3F7EF16F-22A9-45D1-813F-40F5AE21F577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a3b3006fba52cd27cb32ea799071b012133083","datavalue":{"value":{"entity-type":"item","numeric-id":453503,"id":"Q453503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930731$E76059CA-3673-45FC-BB7E-3CE9A8E13105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e198c2c9d8df28574fdbaf2e4371463c98e7a775","datavalue":{"value":{"entity-type":"item","numeric-id":453504,"id":"Q453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930731$7F266F3F-61B1-4023-BA20-C1BD274619C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930731$517C29CB-9721-4BC1-B4A7-C343F809823D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930731$1E5FCBF4-BA33-456C-A068-CA631119D173","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930731$FCCA3533-7C74-41FB-8BBF-CF66DC0685D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930731$75E2C917-E836-4081-B3F2-9F76B57F6AF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11b4f4798e498f635052e8fde99b06b43b940203","datavalue":{"value":"5794761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930731$1F5FA992-3485-478E-8D2F-FC90A275ABEB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930731$A7F175FD-1D20-4113-9578-7867A2DC77F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ffb7d804988b3c86a5855f78d1e0f2e36c4cad8","datavalue":{"value":{"entity-type":"item","numeric-id":12843,"id":"Q12843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930731$0E058BAD-7E7E-469F-8305-FF52B9455980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930731$31E1A88E-6B00-49AD-A93E-75401E3B0B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b09fc0116146547cb2243374566ca9143b099b8","datavalue":{"value":{"entity-type":"item","numeric-id":25619,"id":"Q25619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930731$63C8CB7A-537B-471E-B8F6-4DA86D2F01DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930731$10D59B90-113A-4963-8D37-7A0366608E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930731$7E84353B-50A6-4F9D-B4BD-2E75BA202F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930731$16AD6E75-A5F7-4D06-8C50-675D4A23730D","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":"Q4930731$E3C25C2B-7A92-4112-BA01-9A22834BF17A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50055ba30405d920ea450817db1ed0c6a2613383","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15769-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930731$899EF9A3-0D36-4886-A29E-615DA19F2BB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b18b8f7e0602e86324b7d4df67cefd30b0342c0","datavalue":{"value":"W1813351732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930731$C498166B-00A6-48B8-A21A-8DF628C7192C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5e2743a928601be2cfa4f3f7c5a795ed778375","datavalue":{"value":{"entity-type":"item","numeric-id":5432332,"id":"Q5432332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2bfe575482ed82fe9b171acbdb50af77655d2a4","datavalue":{"value":{"amount":"+0.8459351","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":"Q4930731$BD5AF2FF-FAF4-4680-BD44-1DF9AE2545FC","rank":"normal"},{"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":"b5f4a512c300f28701a792bb91125a279656f3cd","datavalue":{"value":{"amount":"+0.8454746","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":"Q4930731$3551D4F1-F47A-4D8F-A6C3-4912C4CAE742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619e19f95af3f72bfdf92c3d77619fef49706233","datavalue":{"value":{"entity-type":"item","numeric-id":4954456,"id":"Q4954456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49af58db67a869279e2de5769a4047218d881157","datavalue":{"value":{"amount":"+0.8367029","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":"Q4930731$AD914E60-5D36-474B-8B13-9A594788ADAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbf63f5e24195c6fcb5de82ccf7ff1d40857049c","datavalue":{"value":{"entity-type":"item","numeric-id":3605733,"id":"Q3605733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884280d7cd00816625bbea0e03c71aeb5db65642","datavalue":{"value":{"amount":"+0.83615947","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":"Q4930731$6864DEF9-B1F8-47A2-A7C0-5F9BBCA4F5A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930731","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930731"}}}}}