{"entities":{"Q1818312":{"pageid":1829054,"ns":120,"title":"Item:Q1818312","lastrevid":46864929,"modified":"2025-12-25T18:09:58Z","type":"item","id":"Q1818312","labels":{"en":{"language":"en","value":"Abstract interpretation using typed decision graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383802"}},"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":"Q1818312$27A252D2-5038-4A64-AAD5-4D1FEA1A4578","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da1c89fd07c5fbf69e9b3cae58bde2ded550fef0","datavalue":{"value":{"text":"Abstract interpretation using typed decision graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818312$FA0D0148-F187-4C6A-BF3D-34B335342735","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"394d51036f715c154d60a77dceaddc4fbfc2ff45","datavalue":{"value":"0941.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818312$06EB49BB-150C-47CA-A3D8-D947C81577BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa9c231464d91637f6b08a1e41094be2505243bc","datavalue":{"value":"10.1016/S0167-6423(96)00042-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818312$E41457FF-DD14-456F-9D2A-935E35D459AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b24ff82e9eaca3758943fcee7e982a45635141ca","datavalue":{"value":{"entity-type":"item","numeric-id":845248,"id":"Q845248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818312$82A65526-BA71-4262-9433-9283845F69AC","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":"Q1818312$CEBA4FB8-5505-44CB-A2DA-0BF9CFCA5581","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0132e21ad022268d8d4b41a82438346885545ef","datavalue":{"value":{"time":"+2000-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818312$30116AAF-F0D6-49B5-8ECB-63BAB24DADA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818312$328F7497-074E-457D-A13E-A6ED65899C93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bc959dcb595b0a2a86a348e80ca04d7925127e1","datavalue":{"value":"1383802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818312$CCCAF83E-8DEE-4356-A407-B285A0FE09F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88764ec7e69fc8364b50ed7e7f09730b40414df4","datavalue":{"value":"typed decision graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818312$36030BD3-3066-42C5-873B-9C6B6B66A4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818312$36FC34D6-B683-4A4C-B6DE-579A261468E8","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":"Q1818312$AC5D4819-A124-4F46-A355-AF06F83F2416","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60b8c00bbff4c8a189b38c0fde75a030ce424955","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(96)00042-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1818312$C980A181-99ED-44C9-849E-E2CBD7C9AD8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4eea98d8941102c476e6cd440655602e2a37b618","datavalue":{"value":"W2054796180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818312$C10F0DED-8887-4058-85D2-20D611C9F1D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f26c5e9f784f203a0e32d1dd0b41cae62ca78c8","datavalue":{"value":{"entity-type":"item","numeric-id":1098274,"id":"Q1098274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e5652f6c69d09e92204df2740ed4c2527c66a3","datavalue":{"value":{"amount":"+0.7300356030464172","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":"Q1818312$6A2F2DD4-7350-4A70-93E3-02CBCB675CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1096c13f92be729b0c4248f3e5828c2c54c1af6d","datavalue":{"value":{"entity-type":"item","numeric-id":4635587,"id":"Q4635587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7688254942c3ddc34a03701e6e02fada8fb83212","datavalue":{"value":{"amount":"+0.7207919359207153","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":"Q1818312$CE0BF58B-9084-4AE6-8027-1241ED57D134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b24960e3b7cd5dc25aab0afe527395c2c25dee","datavalue":{"value":{"entity-type":"item","numeric-id":4412528,"id":"Q4412528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"504417883eef0d564fd1de5add744617f8a1fc84","datavalue":{"value":{"amount":"+0.718019962310791","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":"Q1818312$26478C34-DECC-4C7B-94E1-C726EC896FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07c9093e060847b9e13d15dbfc9b71e30450b11","datavalue":{"value":{"entity-type":"item","numeric-id":765513,"id":"Q765513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc2ab335169a24187d3591fcd799489faf6ef2c","datavalue":{"value":{"amount":"+0.7157908082008362","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":"Q1818312$2CE35A03-6181-4B4A-9176-B319A1507ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c39de42580b153badabf394eed843b7000f51a7","datavalue":{"value":{"entity-type":"item","numeric-id":2805148,"id":"Q2805148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3feda5a6a19c01a9dce3e11e5acffe01346e5156","datavalue":{"value":{"amount":"+0.7135871052742004","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":"Q1818312$FE24B6BE-A3F5-4233-A1AF-D23B83A600BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1818312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1818312"}}}}}