{"entities":{"Q5894958":{"pageid":7934046,"ns":120,"title":"Item:Q5894958","lastrevid":101879030,"modified":"2026-06-06T03:03:38Z","type":"item","id":"Q5894958","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 6096730"}},"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":"Q5894958$E7F4B2C0-198B-4BC7-BA1F-70FC0DDF5B45","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":"Q5894958$F90E4470-3E69-44DD-A185-3C4A4432FF55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0513bff366e007dcc000f7882c80df069682f7c","datavalue":{"value":"1248.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894958$969AB5A2-3525-44F3-8049-DCE07DC04DBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdf4c37a965a9c2b58e4fd5b30ab18c77c1e76f0","datavalue":{"value":"10.2168/LMCS-8(3:25)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894958$71876176-59E8-4337-B4CD-1AD6314935FC","rank":"normal"}],"P16":[{"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":"Q5894958$6CDB6EFD-4436-4498-927D-B1DCF0ADB1EA","rank":"normal"},{"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":"Q5894958$3A24D726-9C90-458F-87FD-ACB4FDF8793D","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":"Q5894958$FE503DBB-077A-4B28-9BD4-DA0C5761D587","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":"Q5894958$1E907B23-A639-4EAB-A8C1-139A76FB2478","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894958$25393D75-8A54-44C3-806B-9AB6CEEF94AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8404257a30e43f4422f9bf6490e771e737e94e6","datavalue":{"value":{"time":"+2012-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894958$BDEFEC7E-9029-4333-986D-1A0DA176C848","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894958$BA9D7D52-0C14-4D33-BB78-24802701E205","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ccb7e7ed7d67c2fbe3b2504e372fbbbb0c407c4","datavalue":{"value":"6096730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894958$62B7C342-0BD0-4EC1-B12D-810F26930DF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94bfa076c8304def38c945c322bfc828f2f94653","datavalue":{"value":"loop invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894958$F3D4F931-BF07-4AA8-B4F7-ECD2FBB0E41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f0e6b8485e53e819f4156bab29dcfa31d699728","datavalue":{"value":"algorithmic learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894958$691B9451-B5DF-4603-AE1D-238FB583709A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b95d7cc6466c1e0a1ad7bfcecf4cffdc2c0fb8e8","datavalue":{"value":"predicate generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894958$3B38BB79-F21D-43E9-A707-4E1E4329FD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894958$8D226BE8-4E5F-43E1-B09C-EE49984960C6","rank":"normal"}],"P1463":[{"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":"Q5894958$40ABC41E-F1EB-4C1B-9247-54EE3759F37A","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":"Q5894958$70905169-1460-48FA-BAFF-343E3876616E","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":"Q5894958$17C4D094-3ADA-456C-9638-98149A5C0868","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":"Q5894958$F678DC1D-042D-42F8-B3F1-58A170E84295","rank":"normal"}],"P1643":[{"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":"1feb114790da95bca3f6190b0322b32074b6caab","datavalue":{"value":{"amount":"+0.998120903968811","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":"Q5894958$0851C811-04F9-44B8-B795-331FDF8A0C44","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":"fdac11182a507b550bab3c45c2bac61f6b4a19f4","datavalue":{"value":{"amount":"+0.7902749180793762","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":"Q5894958$75B29033-3E2A-45BD-9D0D-6D323444F4DC","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":"4424e60c72b48ebc998d950f0e7a2bcb39a319df","datavalue":{"value":{"amount":"+0.7823851108551025","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":"Q5894958$076C214F-BF6F-4384-921C-F77273A9C91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814e1bf29690df9d43d5cafd9de771b09b30bb68","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a8f07645683fd59cf11f0166f2a4eff64a4e90","datavalue":{"value":{"amount":"+0.7562781572341919","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":"Q5894958$1F762F7D-D0B4-4A92-8093-BF04BC1C83A5","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":"23d9fbb837a481458d957127746e6d24a76fcc85","datavalue":{"value":{"amount":"+0.7366127371788025","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":"Q5894958$85BB2E4E-E145-45EE-B771-C60F15738D66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate generation for learning-based quantifier-free loop invariant inference","badges":[]}}}}}