{"entities":{"Q3296335":{"pageid":3307043,"ns":120,"title":"Item:Q3296335","lastrevid":53767478,"modified":"2026-01-25T16:49:30Z","type":"item","id":"Q3296335","labels":{"en":{"language":"en","value":"Modular analysis of executables using on-demand Heyting completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218145"}},"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":"Q3296335$A9B78EB8-2714-46A7-84A2-CB3A6819B49B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dac577b827eb3f45392169dd0da66feaa9473116","datavalue":{"value":{"text":"Modular Analysis of Executables Using On-Demand Heyting Completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3296335$40CBCDCA-EBD6-4BB7-97E2-CA1C1C4DB7C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df58687963b7d289935b07372ac1fabede3e5c5d","datavalue":{"value":"1446.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296335$1EA6EE53-9A8E-440C-888E-317516C679AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e95d27273d95818f64b9648e03f273edbaccebf","datavalue":{"value":"10.1007/978-3-319-73721-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296335$ABAA9144-7FE6-4451-B942-4ADCAFE74DE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86e939bb53a6bfc402fd0f540ad2282f24688e7d","datavalue":{"value":{"entity-type":"item","numeric-id":2691800,"id":"Q2691800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296335$613CFB23-F69F-4908-96A8-6EBF11634CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78b7d66740c8762cd844a3ad525063cf0729d4d0","datavalue":{"value":{"entity-type":"item","numeric-id":656847,"id":"Q656847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296335$700D7BA0-1DCB-4427-980A-BE1EA5FAA3B3","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":"Q3296335$65783524-A7D5-40E5-817C-2B1133BDF7A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01d69a3c7fdeda349075259d925d96d26b367ba2","datavalue":{"value":{"time":"+2020-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3296335$C8DD854A-A1E7-49E0-89F5-9C301943C039","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296335$68A06BF5-DE3C-4F2B-9E0E-3EB5D6687196","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e9bc3709083e7cd0a2e78ae508d68f892cc775f","datavalue":{"value":"7218145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296335$1E6880C9-EA59-4D11-96A8-62AE883388D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81f91cf6690c329fea01df17c7427c7ff63f0c9f","datavalue":{"value":"executable analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3296335$B2266B9C-5DB1-46AD-BEEB-28A23170C480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3081495a28540eaea24a60aca63b98d8ea3e5f43","datavalue":{"value":"modular analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3296335$A0017401-9106-42E8-B18B-4B0D50F9A51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba9ea4cd32333cfc0fdb53afcc862004770d5830","datavalue":{"value":"domain refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3296335$68BAE2DC-37AF-4F98-BB98-05974C146F6E","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":"Q3296335$034E713F-B80A-4010-87BF-FF43BB89169D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1543989bbd43b495cc863c5719c086ac434b8d6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-73721-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3296335$5735C85D-93C8-4A61-A6A0-96399593ADED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f865478504928dd791defc133d54d1dd0fcfa564","datavalue":{"value":"W2780175158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296335$BC0CC31C-E64B-4548-8054-206E6DBF92EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc9c0d39676410ab16217d242b65bd29f04b93e","datavalue":{"value":{"entity-type":"item","numeric-id":2978543,"id":"Q2978543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b7b3c9f2e9aba9bafae979359fcb2861462ca79","datavalue":{"value":{"amount":"+0.6888232231140137","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":"Q3296335$B574226C-1B44-44A4-95BA-301F53A3D346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e23bb9a622502f6acd0710499181aa0f8a2584","datavalue":{"value":{"entity-type":"item","numeric-id":4738384,"id":"Q4738384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4d1ff0fe21765257691a01ec10f5c0f5f1111d","datavalue":{"value":{"amount":"+0.6724634766578674","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":"Q3296335$9AC548DA-3A07-4C4D-ADD9-AEFF6F162DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77d221ff7e43e424843138df3edab9eac0ab315","datavalue":{"value":{"entity-type":"item","numeric-id":3189841,"id":"Q3189841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e886cf427a3c2f1e29a3c9d03b718caaf4cdf68f","datavalue":{"value":{"amount":"+0.6637968420982361","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":"Q3296335$9EE89F0F-4516-4257-847A-726C7ACD52B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677870a4c7b5407a9f5a73bf2bedc8b9af6b55ea","datavalue":{"value":{"entity-type":"item","numeric-id":3000594,"id":"Q3000594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ad9d4e61e93953a4a19a67d766bbe19102b16b","datavalue":{"value":{"amount":"+0.6576979756355286","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":"Q3296335$00CFA32E-FECF-47EB-B906-E48828A7474A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a8180153239fb39fd0136383bd9ba193ce2a7f6","datavalue":{"value":{"entity-type":"item","numeric-id":2764061,"id":"Q2764061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122a1237828451ecfd64c44929cd7cd48d648b4a","datavalue":{"value":{"amount":"+0.6568538546562195","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":"Q3296335$C6208473-80C4-4C67-9258-ED72CE6E3D5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3296335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3296335"}}}}}