{"entities":{"Q1798956":{"pageid":1809698,"ns":120,"title":"Item:Q1798956","lastrevid":73871157,"modified":"2026-04-14T17:34:03Z","type":"item","id":"Q1798956","labels":{"en":{"language":"en","value":"Aligator.jl -- a Julia package for loop invariant generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6957962"}},"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":"Q1798956$1774C56C-39BD-4E46-A1B9-945E193A1588","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dd40f6eca8435a19a7e734b5f990b9648fd7c62","datavalue":{"value":{"text":"Aligator.jl -- a Julia package for loop invariant generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798956$867E599A-8B10-41A0-A4A8-6154F372580F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc29469d36fe891425731369a36a0119b7852583","datavalue":{"value":"1417.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798956$32012168-72C6-47B5-8D4B-6EB7AE995E6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bf68373f83a547e936ff9a778d0a853de2d8cec","datavalue":{"value":"10.1007/978-3-319-96812-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798956$AEBF64A8-CB4C-41C2-AF9B-A0A7A5BFA2CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22e6fe3365352d56f05576855b04c2513f48c798","datavalue":{"value":{"entity-type":"item","numeric-id":1798955,"id":"Q1798955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798956$86786FFA-48AB-4E74-8235-B2CA80F338A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0476ccfb196d01907de39d52e625165ff61c5f12","datavalue":{"value":{"entity-type":"item","numeric-id":504410,"id":"Q504410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798956$C9DB94E8-252C-4116-8586-7BD160D92386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798956$A7E3AAC4-C31F-45F9-995E-961C0FE6FF35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-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":"Q1798956$38F4FBD4-2F19-47A4-8408-59E13164F1ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d53e5cc79699497abf88d02c355be1437dd0d46","datavalue":{"value":"https://arxiv.org/abs/1808.05394","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798956$4FC89087-186A-472D-810B-44FDB62FA6CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798956$3D38C489-FE50-4B20-85B2-0C5DFCD9968F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798956$F954A10B-3B8E-418C-BFF6-53607B48B61B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"023e65e7c747732261a58bb87692c1cfa63840b9","datavalue":{"value":"6957962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798956$24BE9187-12B1-415E-9BB8-70B70E108D89","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798956$9466C0A1-AF34-4E15-8EA2-F762BC12453C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798956$6A7EA026-BDEB-467B-B0C2-1BDF3E3EE562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bad50cc646370f61bc64770b866bbcf238ca4717","datavalue":{"value":{"entity-type":"item","numeric-id":13684,"id":"Q13684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798956$27760FC9-3E71-46DC-8EFB-C5920854D7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af2695500fdcfebb883601f9c061d62d67c46821","datavalue":{"value":{"entity-type":"item","numeric-id":25895,"id":"Q25895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798956$0BABB9B8-8D3D-4407-84C8-03867B23C0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5b9c58701a471385cac9a61b1e67742649ca0d6d","datavalue":{"value":{"entity-type":"item","numeric-id":37989,"id":"Q37989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798956$9A923CEF-BD33-46AA-8189-9CA523BA1552","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":"Q1798956$CDC08F9B-32EF-420E-81D6-F3825D003839","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39864e34988bdc68fdf7ed1db5d618863b9be1a5","datavalue":{"value":"W2883029908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798956$883BDEF5-8607-4B61-872D-8AC83658D9E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5977fe72932b73458662160c1d49a96d8337336","datavalue":{"value":{"entity-type":"item","numeric-id":3541707,"id":"Q3541707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83eea98ab699dfc3b0ec92fd057c83ec68c8272","datavalue":{"value":{"amount":"+0.9067157506942748","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":"Q1798956$E444E008-0D7A-4C71-8527-8BCB67B3F821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4b85d90580d5ca2859605fed87b940073ce23e","datavalue":{"value":{"entity-type":"item","numeric-id":3503653,"id":"Q3503653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa8c3999a293b75373f7f1325bcd05a504ca729","datavalue":{"value":{"amount":"+0.7976426482200623","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":"Q1798956$2F263ABC-D057-43FF-9528-AA0BB53B3770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b9b50ee693ccd941dcc85fc0bb66f47e3db987","datavalue":{"value":{"entity-type":"item","numeric-id":5458331,"id":"Q5458331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf9ee7a61c5c3e6b233f54e7d02d9d1fde08820","datavalue":{"value":{"amount":"+0.7750356197357178","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":"Q1798956$B5FBA46B-D824-451B-94BC-E60237A02AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d7bd657f1ba5b898794e444b9cdd5e1a05f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":3590301,"id":"Q3590301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcadc45109c4bb145c4aa987e96ee7d579b3b902","datavalue":{"value":{"amount":"+0.7705534100532532","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":"Q1798956$FC21A06F-A254-4AFC-90DC-6546663F3461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9113cabfcc806e4f1ce08e809a04d40e8ebf5d43","datavalue":{"value":{"entity-type":"item","numeric-id":4933316,"id":"Q4933316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d510140493ea7e7591a4a58cabc6eaa9ef468509","datavalue":{"value":{"amount":"+0.7616981863975525","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":"Q1798956$23144E87-23A9-4705-BAF3-7E7A900EE656","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Aligator.jl -- a Julia package for loop invariant generation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Aligator.jl_--_a_Julia_package_for_loop_invariant_generation"}}}}}