{"entities":{"Q5892496":{"pageid":7930409,"ns":120,"title":"Item:Q5892496","lastrevid":93305930,"modified":"2026-06-05T04:10:41Z","type":"item","id":"Q5892496","labels":{"en":{"language":"en","value":"Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897406"}},"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":"Q5892496$8BCF2892-53A8-4745-B2D9-BE0AE76B86E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68a3e403ce6f3d62c46f8616bb0bec8885898270","datavalue":{"value":{"text":"Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5892496$C08447B6-B924-45FB-B755-74C2E6B1593F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d280fa1248d09bfacb4aeb0086e2260dfcbb2c8","datavalue":{"value":"1315.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892496$F4C63E9F-7895-45F3-8D96-6CD00B72A684","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e49f9b60d476f390532932a6966525b3ce96eaed","datavalue":{"value":"10.1007/978-3-642-19835-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892496$B314B2B3-D14C-4799-94D6-72B7692B9153","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":"Q5892496$B59B0933-0AC5-4463-A773-560465190A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c55f9dc1abad5252d36ecf4a71f46e29bf6bd0c","datavalue":{"value":{"entity-type":"item","numeric-id":2891423,"id":"Q2891423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$2CBBC491-0CBB-4AD1-B104-16880C9C1963","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":"Q5892496$50236669-9811-42B0-847A-C09210D1A014","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":"Q5892496$2525EBAE-592E-4AB5-86B6-F7CF669FB35D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$58E55EB8-47D4-4321-8CEF-FD6E7F280528","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5892496$53BAFF02-86B2-40D3-B326-D9C7D3B026F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b37d3240ad53a8c281aa073661a52bd1f818982","datavalue":{"value":"https://arxiv.org/abs/1207.7167","type":"string"},"datatype":"url"},"type":"statement","id":"Q5892496$5028DD0E-F6BF-4A3D-9AF3-0CD7A87F9A83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892496$C5850709-50F3-4F49-975A-52CAF30AC6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892496$C685FECD-BBF6-485A-8270-1AB0BA3D1892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892496$D9EB2CD5-9CC2-4216-B75A-793FD6F5504A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"040ae4b20f327c252fd8ffed16d6c271ba64398d","datavalue":{"value":"5897406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892496$05C8D8A4-42AC-4BBB-BFC2-6A7158985E05","rank":"normal"}],"P1463":[{"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":"Q5892496$50910A4E-FD12-4FB7-A890-E545A9E79023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$FC6FC965-DDC8-4A23-8E85-8D570871C06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84555c80f390a6027108910a1237246dadca1460","datavalue":{"value":{"entity-type":"item","numeric-id":23352,"id":"Q23352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$58692079-EBA2-471C-AE39-C8C0225A518D","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":"Q5892496$3AC78479-4AF5-4A66-BC12-D991C9E2B5E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5632a4dc64d54d39ddc6a7c77dbb9c145c27d163","datavalue":{"value":"W2099316895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892496$F196C6A6-72FD-4055-B586-3FF17262D6A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$0CFE3288-951D-4798-92CC-DE6FDCB6C65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd5e9b7224b44a5be727c6870f16a737b8c3625","datavalue":{"value":{"entity-type":"item","numeric-id":2769592,"id":"Q2769592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$D3E74F9F-92E8-49D0-87A4-44D2243D1E8D","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":"Q5892496$A54A96BF-5A49-4CDF-A7DC-6AB4C255240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$3DBE7793-72C4-46FA-A3C9-34AD8955BC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1f27d5e14d456aa8b6031d92ee27db277fbe0e","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$EF1AE9E5-5D8C-44E3-AD6D-DAF8274B4036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eac4daa0ff1f2ab26986dab1a849b68a31b46c1","datavalue":{"value":{"entity-type":"item","numeric-id":5899075,"id":"Q5899075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$1965123E-9355-43E0-A2EA-03B5D109C579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$C7ABDC31-986A-4553-B8AD-43466EF8BDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3bb918603ae315ee0224631b7326b49acf86c5","datavalue":{"value":{"entity-type":"item","numeric-id":5899073,"id":"Q5899073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$EA649EA5-9C16-46D1-B2F9-FCCF81EA9F9D","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":"Q5892496$C6A53826-25EC-4CBB-A2C1-1E6D5D0A4BA3","rank":"normal"},{"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":"Q5892496$52EA122C-F082-4F7E-83AF-259F6CAD0119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$74B65A4E-CBEF-4B9A-A7D6-18FC42A4BAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$5F34C2FF-1249-4626-A29A-75463997BD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$A348FA87-161F-40FB-9859-A210FEC25922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a62c24cddf605dd86a399f231d937d5444e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5458341,"id":"Q5458341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892496$16C59EBA-9380-4BBA-9C55-F877F8E81A0F","rank":"normal"}],"P1643":[{"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":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q5892496$4FDD0442-B364-4EF4-BE86-1B122D38FE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e36f3694c49ffa7483df2a818342d806f5dea076","datavalue":{"value":{"entity-type":"item","numeric-id":5740643,"id":"Q5740643"},"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":"Q5892496$AF523365-7E5B-41B8-A318-73C9CB916D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea2d20f2e874a600174140104d4cf02d08a888b","datavalue":{"value":{"entity-type":"item","numeric-id":3600470,"id":"Q3600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a272425b7525361e146c9091569dc30872a720c4","datavalue":{"value":{"amount":"+0.8640496","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":"Q5892496$E1071631-7BFE-440B-B482-F75BB0EA662E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725bb17ca3657881f0a98dc3d779187baeabced2","datavalue":{"value":{"entity-type":"item","numeric-id":3656883,"id":"Q3656883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef86386815b73dcd7b25487faeed43190336e694","datavalue":{"value":{"amount":"+0.85753804","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":"Q5892496$1D0502E7-352A-415E-8C4F-D9F6C738EB76","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":"9d57df119aa07c35f6de7e9c3ec5ef5e6e79a019","datavalue":{"value":{"amount":"+0.83721125","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":"Q5892496$FB8F55C5-A232-47FA-99CD-0157AD74E07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92949991a42921f3ba0bee9eeb8df266595f756c","datavalue":{"value":{"entity-type":"item","numeric-id":3112192,"id":"Q3112192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3713f7bc7a408f0238bf86eaa34370c9aefc66a4","datavalue":{"value":{"amount":"+0.8348539","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":"Q5892496$B00C15DD-6626-40F1-B5EB-70F875670DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557aba351f98a507dc47f03eaddfa587e5ea434b","datavalue":{"value":{"entity-type":"item","numeric-id":2208307,"id":"Q2208307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a671a447523613a10c93afe6034232e1b7d85f","datavalue":{"value":{"amount":"+0.8330816","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":"Q5892496$8E8FFBDA-5872-4B97-BE27-8CB959252E42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference","badges":[]}}}}}