{"entities":{"Q4559813":{"pageid":6589404,"ns":120,"title":"Item:Q4559813","lastrevid":97325582,"modified":"2026-06-05T13:59:57Z","type":"item","id":"Q4559813","labels":{"en":{"language":"en","value":"An iterative approach to precondition inference using constrained Horn clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6988661"}},"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":"Q4559813$466BB283-6DD9-4EF2-90AF-838B47B0C927","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"547c1a90e067685480cd761bd40d29ad6693db99","datavalue":{"value":{"text":"An iterative approach to precondition inference using constrained Horn clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4559813$436E6E3F-A5BF-4D4B-AF9C-FC60DB95283F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89013a887588e4666f4a86a10d832a61a10210b9","datavalue":{"value":"1451.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559813$749F39C1-4ED5-4158-8545-09461FAF5667","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fe2479f497a85b88b5f0575fcdad0db2d696db2","datavalue":{"value":"10.1017/S1471068418000091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559813$23BC2B0D-48E2-46E7-9A7E-63C326ABA245","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f60cc7b23bdd947bfabaeff972c6281f9d07b25a","datavalue":{"value":{"entity-type":"item","numeric-id":681334,"id":"Q681334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$E2F96954-9460-49EA-9B36-9B85F609D823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2c13ddb28c279be9eed2b39004f69512bab7c50","datavalue":{"value":{"entity-type":"item","numeric-id":238502,"id":"Q238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$E7D95516-21FC-494E-971F-D9645192D727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64a1c2e371f294fd2a797ae897eaf22844acf1bd","datavalue":{"value":{"entity-type":"item","numeric-id":264987,"id":"Q264987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$D9889509-9B9A-443D-990F-D575589B4A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce1d94e70aebf90c5dd207852d980a9c10776e1b","datavalue":{"value":{"entity-type":"item","numeric-id":264989,"id":"Q264989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$792BDA48-6F89-4D72-91B2-DC4BA519EC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c13414e2e9fe70ae35bf1219d16c73b3483198","datavalue":{"value":{"entity-type":"item","numeric-id":264990,"id":"Q264990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$1E4E15EB-B375-4F25-9431-D23FC4293EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$2C64CB3A-9732-4CF8-9F30-9033D77785D2","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":"Q4559813$8090175D-A539-41DB-B1D2-344F10309EEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3057b7b50937a91885954ebcb046fa2257c3f34a","datavalue":{"value":{"time":"+2018-12-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":"Q4559813$4BFEFFAE-EC78-45EF-AF39-9DAE77F177F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c97e33eb3084fdb411829c83a765854b2cf071e","datavalue":{"value":"https://arxiv.org/abs/1804.05989","type":"string"},"datatype":"url"},"type":"statement","id":"Q4559813$BB67AF9C-B263-42F0-A018-8B11AC7C03AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559813$7BDCA5E8-3FCE-4A42-8A1D-FB59F170B6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559813$C2DAB88B-62CE-44D1-B805-A00A58A7CA61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dac2513ac84e5ee59d5fd530a040551b5e85453","datavalue":{"value":"6988661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559813$699A5904-46B9-40A7-A0F7-2963ED6590F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe6189c35e1b0047a8155cc4b35afe42a270dbb","datavalue":{"value":"precondition inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559813$B2D7EB41-841A-44F2-A5CE-5DA01D82A8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f505d9246ea16037cce39ff93e765a10be691869","datavalue":{"value":"backwards analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559813$66370580-622B-4390-A08F-9AA8B35B2AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559813$C13DE208-859A-4A5A-A5F7-57199A9B5AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559813$1B77AD49-0501-424C-8DBF-4F121347A525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b1012006e48eb86ccdcf710111d2697c6dee681","datavalue":{"value":"program specialisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559813$A1535417-35AB-4A98-94D5-4E7792DD3D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4559813$0C0DE88A-EAFF-4828-B230-C77AD621F1B3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d0eead846f3d10ee1b35dc1e714ff0073412a45c","datavalue":{"value":"Q57664976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559813$59E5BE11-454D-489B-BFB8-8C3DE5D64CAC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ef6b52613e0d0ceb1e645440c84c3cd13bf2efd","datavalue":{"value":{"entity-type":"item","numeric-id":21466,"id":"Q21466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$8A4C3800-789B-47CE-B634-B0C76E26B892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$36E55D10-F04E-460F-B730-C4620098D050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33734e36764580044df2d1101af853dac96392fb","datavalue":{"value":{"entity-type":"item","numeric-id":21759,"id":"Q21759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$8C36458C-6A51-42CF-A046-E5CA3FDC422B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69f362165978cbf04e5b5460992bc38f4ae05985","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$039C74AD-5DC2-4204-AF12-1FF84AD84899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c604c686f18ab16ddce566dfe46258d89599b385","datavalue":{"value":{"entity-type":"item","numeric-id":36242,"id":"Q36242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$5184CD18-D050-4137-A167-0D421E06DC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b5b3d722a89e38fc553043bf5da3991c467eb","datavalue":{"value":{"entity-type":"item","numeric-id":17100,"id":"Q17100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$44FC2EC2-B525-4BB3-90BF-73850FEC2263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$2643D5EC-F949-4FB8-A827-2B03F151A647","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":"Q4559813$A9173567-BE7D-4374-92C5-853F8A570BA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7270749568686915340dca646ff190306d67a0a","datavalue":{"value":{"entity-type":"item","numeric-id":2399094,"id":"Q2399094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$1106A18E-E35B-400A-9163-A393C9036084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895a3f15b202228c87bb1901d9a46461fcbc7806","datavalue":{"value":{"entity-type":"item","numeric-id":5901613,"id":"Q5901613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$B8576CE7-6AF7-4399-821C-98ED009DF8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15c6f94b12197ead96fb0533ad2ef4c7e929077","datavalue":{"value":{"entity-type":"item","numeric-id":1935964,"id":"Q1935964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$E5211D01-AF65-430A-8F18-5D2A208BA163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887e0f763111f30e764d53186cb692f00b399d6c","datavalue":{"value":{"entity-type":"item","numeric-id":2400909,"id":"Q2400909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$3B3C7618-82B4-4293-A370-50AC1ACED9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$A679C4FC-0227-45C0-9BD1-92C621859778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$B99BD1DC-6275-4C5B-B672-61E8E24D9D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b1c35b81ba3dc856c251773ef9056c5272e39b","datavalue":{"value":{"entity-type":"item","numeric-id":619665,"id":"Q619665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$F6F625F3-DF20-4922-8186-33A17AAE34F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5680afdbdfc0221697c63864351e7c5d9879d07","datavalue":{"value":{"entity-type":"item","numeric-id":6070478,"id":"Q6070478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$31A1AFB6-1E29-40B8-8430-22A93D0B66AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$7E8B00DA-D027-4264-AAEC-9590D558B3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ea1e49654139a8bf01fb7d2509265fe22e72d56","datavalue":{"value":{"entity-type":"item","numeric-id":1026424,"id":"Q1026424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$DBA01B0C-B7B8-4A9B-B797-98BB5EF43B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$8C52D62A-565F-4FD5-AA2B-6E2FBCC34083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891ef6ad252bffcf0198687f81e320fccf8508b0","datavalue":{"value":{"entity-type":"item","numeric-id":5712545,"id":"Q5712545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$B315A1F4-98DC-4B5D-8BC8-DD9F13C71296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471abb3e7f4ab1ef1a7fc449604429dc98060673","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$4F3577BB-6CC6-4B3B-BCE3-F04EA0ED94AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7003d906127d69f2c679e730826fba753947159b","datavalue":{"value":{"entity-type":"item","numeric-id":428511,"id":"Q428511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$21CF8FC8-A432-4AFB-B9A6-9DED5376634D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d05255d07e0c6023576e9eaba0b5ea1ab2dc7e9","datavalue":{"value":{"entity-type":"item","numeric-id":5899051,"id":"Q5899051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$11F48C24-21BA-466D-B8C0-79B45C1DD3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$F1A3C29D-3713-4851-9787-32D4F5FBF801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"572996969ef39baefa4f0047a98961f63b9d6df0","datavalue":{"value":{"entity-type":"item","numeric-id":681335,"id":"Q681335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$7C88E684-0A2D-40AE-A340-D217EFD0A379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$BE7709F7-5239-4852-96DF-C74940666737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ece87290e9d157abed872f6c2acbbc6dcf7f09a","datavalue":{"value":{"entity-type":"item","numeric-id":5170174,"id":"Q5170174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$516B93F3-6278-42F7-9072-66F0A635A366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbae321faf4a71fe967b9a5f4f8734e36bcdc6f9","datavalue":{"value":{"entity-type":"item","numeric-id":2479588,"id":"Q2479588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$FCE0DE7D-5A00-47A4-87EE-5C3DA99188F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae345be7157193ac3a06ef49a7c7aa2d6e0fb17","datavalue":{"value":{"entity-type":"item","numeric-id":1265643,"id":"Q1265643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559813$1525FD04-B66F-402F-A739-EB4F7FF4EDC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22567f24351f3a495664dd361af4eea257769ee2","datavalue":{"value":"W2962816164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559813$D145AFA4-B546-4C61-B96E-DEAD12190BE8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"003cb83ca1f059cce8c2cfd5752240d6b6e9cba9","datavalue":{"value":"journals/tplp/KafleGGS18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559813$8B3283F6-ADE0-4E17-A1F3-BEE8E31B2A9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c5e28c2426f36317b4262f4c6b116c314053825","datavalue":{"value":{"entity-type":"item","numeric-id":5326301,"id":"Q5326301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0ae548e5e7763b0c9050c73a31aa01f5aabb66","datavalue":{"value":{"amount":"+0.7561792731285095","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":"Q4559813$1F66CBAF-D34C-491B-8BA8-EB4D5A95CBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1ababec7ad08320487551d5fd7dcd8e4e6cb2e","datavalue":{"value":{"entity-type":"item","numeric-id":5233234,"id":"Q5233234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642ec3f02686e97726c5ca8811c9c3bde7e08b18","datavalue":{"value":{"amount":"+0.7427107095718384","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":"Q4559813$D6285B2B-4818-4119-8897-DC065F46633E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb498f9b979e7b677bddb51274809894626f3598","datavalue":{"value":{"entity-type":"item","numeric-id":2789048,"id":"Q2789048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c51fffcb8a8984e31922ff570809ed1bada78e6","datavalue":{"value":{"amount":"+0.7390168905258179","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":"Q4559813$8274E9F2-3E93-4BCB-8B1E-180834FCD54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a415caa7777150cdab3831623e8cd91a58c6272e","datavalue":{"value":{"entity-type":"item","numeric-id":4997232,"id":"Q4997232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a1840b3a8f13dc699c9ad828fe66f17eab52a7","datavalue":{"value":{"amount":"+0.724372923374176","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":"Q4559813$054C732C-D8A7-44A9-9193-EB624E1A3248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e410a22aa42a04ba3966858f89a4b8e65bd18138","datavalue":{"value":{"entity-type":"item","numeric-id":4593003,"id":"Q4593003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3bd27ad252610b689f73169f64ea51d90d05eb","datavalue":{"value":{"amount":"+0.719539999961853","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":"Q4559813$38E73A36-D800-46F6-8E1F-982BCABC10C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An iterative approach to precondition inference using constrained Horn clauses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_iterative_approach_to_precondition_inference_using_constrained_Horn_clauses"}}}}}