{"entities":{"Q4452611":{"pageid":6482210,"ns":120,"title":"Item:Q4452611","lastrevid":48244744,"modified":"2026-01-04T02:31:25Z","type":"item","id":"Q4452611","labels":{"en":{"language":"en","value":"Sequence-based abstract interpretation of Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048588"}},"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":"Q4452611$CDACB8F2-A8B4-49CD-B425-1F6B6832B1BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9bcdf421b663c0664175979e5f3673fcd926c14","datavalue":{"value":{"text":"Sequence-based abstract interpretation of Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4452611$D5C1B4EF-4CD1-4C3B-96D8-0070407F048D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52fcef5526a1edb9277e51065dd53a3ebf4c99a9","datavalue":{"value":"1087.68532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452611$0AD158F2-79E0-4A7C-A04E-B778BBFFDF3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9e40ccef87a74b6866e61e1226b3192d415e85d","datavalue":{"value":"10.1017/S1471068402001114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452611$36098269-C43A-46F4-B3D4-8FDE0CD9539A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d580d5e989b5b82886bdcefab7b54e9c9a839b","datavalue":{"value":{"entity-type":"item","numeric-id":1581060,"id":"Q1581060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452611$D89C4FBD-2C4B-4BD3-A758-0517D8691E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b530460b6f0f5f8902bd35bb6f03a8ffe1d4a3fa","datavalue":{"value":{"entity-type":"item","numeric-id":832088,"id":"Q832088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452611$DA194EA5-51EC-4262-9D65-558A560EB7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5071eb176464eae3490ca51468eb4e98281e6ec3","datavalue":{"value":{"entity-type":"item","numeric-id":262449,"id":"Q262449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452611$4A7C817F-E3C5-4534-9BBF-77A19E075C83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452611$91FCF067-69E6-464C-B633-4793A808093E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-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":"Q4452611$5F7F15F0-A02F-4ED7-8964-949CB9034955","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452611$24E4FC4B-7056-4820-A154-6B0E3FEEF0C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73c74f98484bde27af05f9f33c51786d43ab36b9","datavalue":{"value":"2048588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452611$2DA3584B-B16E-4C29-9A8A-374BD92AF5A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452611$5C617A8F-67AA-4DBC-AF61-E04E1372FE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452611$1580C489-F726-4A23-889A-3AEE0E5B9087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452611$98CEBAD3-D179-4D71-B795-41F1B550D6F4","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":"Q4452611$CAAE3BD6-DB11-4328-83E5-A436999A83C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e1e0b4c189b084447f0e63bd401c9921ad4e9c8","datavalue":{"value":"https://doi.org/10.1017/s1471068402001114","type":"string"},"datatype":"url"},"type":"statement","id":"Q4452611$B572EBA6-B882-418C-8CB1-8B8E8E4437F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93162fb22b6e85959eb3dd063708bce58fba70be","datavalue":{"value":"W1967769240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452611$2CE7C028-2488-4E53-B9D7-5772AFF29992","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60daddf52c836d83a7bd94396f9f16ce1390494f","datavalue":{"value":{"entity-type":"item","numeric-id":4282511,"id":"Q4282511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05504bf2ec6709651704ab0695b284c6e882d47","datavalue":{"value":{"amount":"+0.8532506823539734","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":"Q4452611$286DFCF4-61BB-4E17-8857-8C787E68206E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd49c9a46bf633252e6b955cee3bd0a1f2a8122","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264a1b9e4275c18c763168ab94addf394c69b531","datavalue":{"value":{"amount":"+0.8531132340431213","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":"Q4452611$342C02A8-820D-4008-8F7D-8E5FA8D0738A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094a0110cb5d47483681620b12c3a0b405285499","datavalue":{"value":{"entity-type":"item","numeric-id":3201751,"id":"Q3201751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abea81b2a91a52e99a4ed70f296b4210b063a66b","datavalue":{"value":{"amount":"+0.834772527217865","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":"Q4452611$455F959B-D3C9-484F-BA82-66B86C8D0E83","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":"dc8cfd87a023a085e890f92207c73bbd756a4034","datavalue":{"value":{"amount":"+0.8334614634513855","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":"Q4452611$FF8BA46F-CBD4-4EB6-96E3-E911852BF3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f019cc73cdad5e0f2e8eee25bc06340b751f92a2","datavalue":{"value":{"entity-type":"item","numeric-id":5170718,"id":"Q5170718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234e5b61da40846afb14494f20f5181216eae8ca","datavalue":{"value":{"amount":"+0.8320023417472839","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":"Q4452611$B2FBF970-1CC7-44AD-81E1-56220D83BFE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4452611","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4452611"}}}}}