{"entities":{"Q1426866":{"pageid":1437606,"ns":120,"title":"Item:Q1426866","lastrevid":67419789,"modified":"2026-04-12T17:31:00Z","type":"item","id":"Q1426866","labels":{"en":{"language":"en","value":"Path dependent analysis of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2057337"}},"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":"Q1426866$18E3B61D-8150-491D-B61F-62F30C8DEECC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"052f214b6be7eef1b975389b86173b8e5f678aa8","datavalue":{"value":{"text":"Path dependent analysis of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1426866$16594591-4C53-4D59-B637-F53FCF76C18C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73834a93ed2c8b7ec7d6e4b193cd524c75099d46","datavalue":{"value":"1074.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426866$41A8632B-D2D3-4E68-9117-F57DFBABA8E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e57e57b99c1f7f3f352a9311c884f1782416e76","datavalue":{"value":"10.1023/A:1025824903683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426866$884B6EBF-40A1-4A51-B834-820678EE916F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc2863c41e44fb76b9a7066a084c23d0dfbbd3f","datavalue":{"value":{"entity-type":"item","numeric-id":1426865,"id":"Q1426865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426866$0C206C5D-C77B-4DAA-B48A-3161C4938C8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426866$52FDC8B9-3A85-456C-AA2C-E2B3FDC4140D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47829e28918d048336111de08a0f0c93aec92d0a","datavalue":{"value":{"time":"+2004-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1426866$6B97D3F8-B3F4-4D39-9EB4-04F6863094F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426866$662473C0-0A89-4F41-BBFB-ADFF8C9B6AF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"056348c8b0b8a0500b4e97012f59e613dde20a52","datavalue":{"value":"2057337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426866$5BDD4BFD-83BE-4146-99AA-18B847FFACF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426866$55544038-5603-433C-AD48-9A0B8B41293E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235b244bbbd7b8849032c809a231852baa57c159","datavalue":{"value":"context sensitive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426866$A0361E2E-494C-4AFE-AEB1-1440759FCAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da23a2a86a22c2ac587b0fc49768b0e4d8b8e24d","datavalue":{"value":"call strings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426866$A345DBF4-6425-4F0F-9840-D3A519F57BE3","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":"Q1426866$2DEF315A-9608-4895-AA31-A6CD2F3955B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a6316fbb1098c772475a89ec252da5e50bbef8a","datavalue":{"value":"https://doi.org/10.1023/a:1025824903683","type":"string"},"datatype":"url"},"type":"statement","id":"Q1426866$7BF808BD-9DEF-4409-A7F3-AA5098A95B34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a15e523385dfbcddf8bc33231fbcb1143b5c23bb","datavalue":{"value":"W1986521992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426866$4A00B7F4-43FB-4FD9-8773-847982DF64DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafa414ee675c4f19d5fd42ceb666a961662a3a6","datavalue":{"value":{"entity-type":"item","numeric-id":4208853,"id":"Q4208853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5f393f6f16629c6eb5bb26b9975401661fb442","datavalue":{"value":{"amount":"+0.8163051605224609","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":"Q1426866$A2B68552-AC32-419E-8988-6A9A6BF0C3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd07b60064c7d8c36eed6e8315d4ff44f875106","datavalue":{"value":{"entity-type":"item","numeric-id":4012707,"id":"Q4012707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18ccf88572e85e4a5ab8607ac01030c25d57511","datavalue":{"value":{"amount":"+0.7917296290397644","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":"Q1426866$CCC9E06D-C1D6-4E3F-837B-D0A3CD141559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19a40cb9db029185f6b198dc25dadfc0a763b7d","datavalue":{"value":{"amount":"+0.7907366156578064","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":"Q1426866$D6CFFB9F-E06D-4B24-8E5F-6E8C6FF4C86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a90d73e4c88d5d3a40bb810c77607909a1ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4878773,"id":"Q4878773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fca9dce687a51b7c69c6a11525d0b43780e47a","datavalue":{"value":{"amount":"+0.7896174192428589","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":"Q1426866$85540F43-CC1F-4133-B0E2-279B13CD9FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573e7c39e20217fbd89ad2650d269c080bde7f19","datavalue":{"value":{"entity-type":"item","numeric-id":4285643,"id":"Q4285643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda42d268f146dbb5951f92e1b4b8d9ea4afd61e","datavalue":{"value":{"amount":"+0.7851895689964294","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":"Q1426866$F72CD150-DBA9-4EB9-ACF6-93C07B5288BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Path dependent analysis of logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Path_dependent_analysis_of_logic_programs"}}}}}