{"entities":{"Q2233534":{"pageid":2244277,"ns":120,"title":"Item:Q2233534","lastrevid":73842672,"modified":"2026-04-14T17:27:36Z","type":"item","id":"Q2233534","labels":{"en":{"language":"en","value":"Formal framework for reasoning about the precision of dynamic analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410590"}},"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":"Q2233534$B418EDEF-33FE-4BE6-81ED-805AB1610A5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bf461f86773ba328b5d4ffd333d6ace1247ad37","datavalue":{"value":{"text":"Formal framework for reasoning about the precision of dynamic analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233534$62869588-F104-4240-ABB0-2BB66615DBEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7df7280d55437d408e5523fc9ad4f936b704c6e","datavalue":{"value":"1474.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233534$74FCF717-81D9-4E4C-ABAF-67AC5AAF8E80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45a368f4602a3b66f022fba123ad261dfccb814f","datavalue":{"value":"10.1007/978-3-030-65474-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233534$356A5046-7286-4F4C-8BC0-135020325F6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e76c641e2f7ec275b3b7b0b7efa47b9a5a9b8e4","datavalue":{"value":{"entity-type":"item","numeric-id":511012,"id":"Q511012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233534$0B2A0ED5-D439-435E-8DA3-29150F2C649C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233534$D1DB3C55-9346-48F4-8375-02D2EB9E926F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd9509cb6fa4531d6b80a2326cde30c82970f532","datavalue":{"value":{"entity-type":"item","numeric-id":2233533,"id":"Q2233533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233534$73C6CA0F-2734-40CD-955E-B0F2967B8A05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233534$A3CA0B7D-525E-411C-B58F-A9A9786CEA68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233534$5C6232F9-531B-4BAF-BE44-FD121F8328CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5a017e79b5a3a6bb70c8bc130ce2d16995d0f9e","datavalue":{"value":"7410590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233534$DD3F32B9-E1D1-4BF1-97E6-155B7D40A094","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":"Q2233534$B57DA466-2227-491D-932D-A3603F95E4E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a88e8b721e75628eb375b87e05203a2abd065ea7","datavalue":{"value":"https://doi.org/10.1007/978-3-030-65474-0_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233534$1F60DB41-684E-4E1A-8C13-DC5341285467","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fc1ad3b5efc6c8de7016477049bb2e810314102","datavalue":{"value":"W3120011499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233534$C81F8D79-5D6F-47D1-BB74-15F687B5B3AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233534$9963C34F-2E31-419B-BC86-57113EFCB282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8153238c7b681854ba6add9f28e6afa2fb22a4c","datavalue":{"value":{"entity-type":"item","numeric-id":511013,"id":"Q511013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233534$36634CDB-2E5F-4E0D-B148-BD9E0854FA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b8a8d68bab129fd326632de0a3eb69649c964d","datavalue":{"value":{"entity-type":"item","numeric-id":3507882,"id":"Q3507882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233534$42F912DE-DAF6-4FF1-BC9E-E31A94648305","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e5892d7d2cd5f1c3349ce8fdc094e2f3a7e1f18","datavalue":{"value":{"entity-type":"item","numeric-id":5716756,"id":"Q5716756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b1306b4e62f42a1481a7adcc7169d8e27a1a54","datavalue":{"value":{"amount":"+0.6930947303771973","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":"Q2233534$4538A975-DA46-4EED-9FA2-46D796655D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead59e1dab393dd683725fc8c6a37edfd1ee6179","datavalue":{"value":{"entity-type":"item","numeric-id":3296324,"id":"Q3296324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885ed6c5ddb0ad1704a1bd179f9c3aa72724fa98","datavalue":{"value":{"amount":"+0.6883898973464966","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":"Q2233534$34826902-22C6-4095-867D-2A27EC6B9E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05ee087283251d2642f3fe647a6cd07dabfcc2a","datavalue":{"value":{"entity-type":"item","numeric-id":511013,"id":"Q511013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f32f5e0fe0d228328200a96af2455542e740095","datavalue":{"value":{"amount":"+0.6860663890838623","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":"Q2233534$346BA44B-1910-48DD-B4A1-1367324920EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1c0d17f44112d9c90b540f42faa730ebf3cb3f","datavalue":{"value":{"entity-type":"item","numeric-id":1624593,"id":"Q1624593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ab950d056502d6f2151359c8ca21c5dbec04f5","datavalue":{"value":{"amount":"+0.6813178658485413","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":"Q2233534$F2C750A1-D1E4-4E16-85C0-3DAE670FEF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8143fcc9c1ed01636dba93f310daf1bae99f454c","datavalue":{"value":{"entity-type":"item","numeric-id":3507881,"id":"Q3507881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36560ec6b5593eb949eb8a807445fa5f540281e","datavalue":{"value":{"amount":"+0.6701622605323792","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":"Q2233534$C7A849FF-6766-4114-B58D-14A07CCBFCFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal framework for reasoning about the precision of dynamic analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_framework_for_reasoning_about_the_precision_of_dynamic_analysis"}}}}}