{"entities":{"Q5740643":{"pageid":7770195,"ns":120,"title":"Item:Q5740643","lastrevid":41671126,"modified":"2025-05-07T00:43:34Z","type":"item","id":"Q5740643","labels":{"en":{"language":"en","value":"Automatically inferring loop invariants via algorithmic learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6606929"}},"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":"Q5740643$3A345199-3936-4CCB-BDC4-FBBD7599E569","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a042e2ee57015d2bf85b5820630fdb00ba098ad6","datavalue":{"value":{"text":"Automatically inferring loop invariants via algorithmic learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740643$46284A77-2B09-4CBC-8CFA-E2793D0E6C24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf7b5e61fa6fd84c1424f5e8eba5ea70bae37421","datavalue":{"value":"1361.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740643$71F042E9-D3C8-4055-A66E-2E63FB58B61D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e516830c900f331f9ca391dddf823940eec6b79","datavalue":{"value":"10.1017/S0960129513000078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740643$D5670CCC-C689-44F9-A05A-7EA31056A207","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c86c2d12afc4d192d0cfcbbe0a5c99c1d4cb80e4","datavalue":{"value":{"entity-type":"item","numeric-id":3000649,"id":"Q3000649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$572A8BC2-B657-4A85-8BA7-99ED31C9723D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7463120a9e955f48ddb24bcc00e63bd6fcf27d63","datavalue":{"value":{"entity-type":"item","numeric-id":2926662,"id":"Q2926662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$3563C38B-CB77-4080-AAA3-9B83720018FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"090a113d0db9fc2697284494c2b1b7aae1b147ef","datavalue":{"value":{"entity-type":"item","numeric-id":436397,"id":"Q436397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$3E5905EA-6963-4120-B1DF-AF3044D3ABCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$AE498D99-1113-4D8A-9B39-DE72A0C6BA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb38a1bade58fa1326e98a3a8a90562c5ba74ee9","datavalue":{"value":{"entity-type":"item","numeric-id":845980,"id":"Q845980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$B4CE6A8B-815B-4A14-B5C3-0B135A988BDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$616B5D74-4505-439B-9287-9F84D324817A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8fcfc88af95aea3cd67fc84c40dc96dff0f00ab","datavalue":{"value":{"time":"+2016-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740643$C9A06990-FFDC-456A-8630-B1F5382A207A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740643$059CDF04-2F5A-4234-911E-944EAC3AF798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740643$8FD106C1-860A-4644-8D4A-26A5753B4964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d5aa9338f3fb76cf042cbe2ff36b86fd1f9dd2b","datavalue":{"value":"6606929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740643$3D3CF2BB-F13C-4E03-8677-9411FAE52CB1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$0D6AB43D-810F-4C8C-B17C-05A1FA0B6441","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":"Q5740643$9BFF45B6-1862-4897-B43D-48BAAB1BBB2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f24c2ccf3eedb3282c0a5aefa4e9a2667e52cf","datavalue":{"value":{"entity-type":"item","numeric-id":3656883,"id":"Q3656883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$CCC76204-FC53-4007-9267-23D61290E3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d0dd7bb6db6a4c0ce328175c5c1c2e0bc50527","datavalue":{"value":{"entity-type":"item","numeric-id":5429322,"id":"Q5429322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$C194C144-3839-49A5-8638-97EBF89FFC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$BABA18D7-35E0-4D5C-AA36-373999BF8A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65dcbe496568d8acfd7675321a84644e35cdebc","datavalue":{"value":{"entity-type":"item","numeric-id":5429334,"id":"Q5429334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$8DF1E4B3-AAB7-4783-9CCA-030F436C4FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"705eb07356f3c57b6af5ee5160fdf7a239743339","datavalue":{"value":{"entity-type":"item","numeric-id":3600470,"id":"Q3600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$4C51BDBA-C627-4BDB-96F0-1BA5BA4C67D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7339bf9b2529ffb9a27c9cdd0542578668a99679","datavalue":{"value":{"entity-type":"item","numeric-id":3617752,"id":"Q3617752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$A88D5081-AB36-4EB9-A87B-5CCF56AB0EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f275b0c7960baec2620149acfd97bb31ebbe0b06","datavalue":{"value":{"entity-type":"item","numeric-id":2506483,"id":"Q2506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$E8B2B3E5-FEBA-4543-AA89-499EF8FD2C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740643$23140D27-5A43-417D-BBCE-24DD5D9A3CF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffc2c70bd54b39941fffc22706d3f715aab9ad71","datavalue":{"value":"https://doi.org/10.1017/s0960129513000078","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740643$4E052BBE-1F2F-4B3D-B761-E7CF025E4A0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b63c799b488d2e3ed3fdea3e5263f5c832bd5789","datavalue":{"value":"W2167120274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740643$0CCA7456-F843-4216-8586-E4680D21D67E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbb0304e940bceb5735c561adfb0e7f12a33f27","datavalue":{"value":{"entity-type":"item","numeric-id":3646570,"id":"Q3646570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c394b7c52465e9f704c687fbf7485d087d9faad8","datavalue":{"value":{"amount":"+0.892961","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740643$CB8D1CB7-504B-4876-AB5E-F42C102A212D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0605ef596d929245fcfc8a407c55f9f17fb78984","datavalue":{"value":{"entity-type":"item","numeric-id":3586008,"id":"Q3586008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e26d12985fb5cc0406e25f5069b5a0206560f0d7","datavalue":{"value":{"amount":"+0.89205694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740643$8F02B1BB-7C5A-475D-8F2D-19F6C9D74007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f464b64c5ce744bcc9e044bb866ec7efefd38317","datavalue":{"value":{"entity-type":"item","numeric-id":604381,"id":"Q604381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6467ef0925453b9813c1cc2812ae631564e08d","datavalue":{"value":{"amount":"+0.87848705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740643$B29FEC9C-8451-4402-958B-F0256C235825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdda183f7482ec8e30ef94525bd4e96f223f3cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5326308,"id":"Q5326308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48829ec6a042ea389a48db6b02b3a69beb87e4c4","datavalue":{"value":{"amount":"+0.8736423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740643$9BE0B7F3-C0E4-438F-B105-867146F1BECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf08f9e6eae6c33e54be636f8491d559294d6d6","datavalue":{"value":{"entity-type":"item","numeric-id":3004678,"id":"Q3004678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea424a12bad422d9994379df4f2548d45bea6a3","datavalue":{"value":{"amount":"+0.8682996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740643$CA20008D-E79A-4F9C-92C4-B6A54FA5AC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"765290efb0021e74dbe5d8a5f03c4c36c06e6a18","datavalue":{"value":{"entity-type":"item","numeric-id":5892496,"id":"Q5892496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ab399847c562edb0dee3bd101154c9ff379533","datavalue":{"value":{"amount":"+0.867412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740643$62C6CB3B-4C7D-4EC4-A946-23A91F141429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a5e50d02974a1f6495b063fbf9edda028fc50d","datavalue":{"value":{"entity-type":"item","numeric-id":5894958,"id":"Q5894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ce9e41d9374a1e678ed4f02f4306c8b3122f42","datavalue":{"value":{"amount":"+0.8674119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740643$A4552DED-10B3-4972-AB55-E20576D352D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b63caf5f28b762bf948547dcc600d322ce5750","datavalue":{"value":{"entity-type":"item","numeric-id":2180218,"id":"Q2180218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00dec5de791367cf551f78ab24417b3afed54be2","datavalue":{"value":{"amount":"+0.8603873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5740643$D9ED1B9B-0EEF-4E70-87AC-AEB751E12E13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740643"}}}}}