{"entities":{"Q3452270":{"pageid":5227931,"ns":120,"title":"Item:Q3452270","lastrevid":46478970,"modified":"2025-12-24T21:21:29Z","type":"item","id":"Q3452270","labels":{"en":{"language":"en","value":"Non-linear loop invariant generation using Gr\u00f6bner bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507277"}},"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":"Q3452270$B9AF4F84-4387-4D02-8430-D8689F36AD68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f8f831ec37d0355d6ecc37a5f259a5a43c8e6a9","datavalue":{"value":{"text":"Non-linear loop invariant generation using Gr\u00f6bner bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452270$F823350D-6EE4-4B8C-B94E-471B9F49518C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a00aad7b79ed5a60c46be746d69b5599ab77626","datavalue":{"value":"1325.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452270$EBEC0DFC-784C-4CBC-9012-D1E5FB31C578","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"110e6299c99a9867dcd8948e1b00c94dd935e72a","datavalue":{"value":"10.1145/964001.964028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452270$B2310D5D-DE81-4EDF-94AF-CC43747BC778","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452270$68C8B2E0-E29E-4BE2-B4C1-2E323F9D535C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f855518fb46fa7dca45fa528b8f90a55e336b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":812050,"id":"Q812050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452270$CA569F13-C5DA-4AF5-A673-28245884C352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452270$2A7F2A8A-2C32-4C3E-A0DE-CBA50440C95F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452270$C4544E33-93A0-4A67-9106-ADFC84A2F9AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452270$15760642-0E82-458C-9E33-EBA616B280B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b63472b51c99882242260ccfcb9f4adab936ee1","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.9536","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452270$2E12A326-B429-4842-B306-77239A093298","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452270$B60702F5-69CB-41D8-A442-40885C818A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452270$5F1225D3-EE04-43E3-AF65-7D610FD9552B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452270$F5324255-5BE8-4355-B160-8A182301C35F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8df86986c49a2be52ed8594b72ae1dcb68959d9c","datavalue":{"value":"6507277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452270$3534E069-2D67-428B-9FDB-67EB829555AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452270$F8E063AD-9259-4456-A2FF-50ADECFA2BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452270$C5557E50-4DB2-43DF-8D3F-DA05828E5246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452270$4794E48D-8D58-4283-9FB6-25D27E9938DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4824208d7bba949dd72987d32ffb13493eeb0e","datavalue":{"value":"invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452270$A97C2C69-1027-4774-B5E9-801E50BCDC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452270$2A1A03C5-C96C-4EE2-8915-72F9D0F8805A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452270$E8AA2665-71D7-4AAD-B46A-30FF21674B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452270$FA111BF7-F979-41FF-962A-5663E61A5899","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":"Q3452270$09C71F85-B16B-40C5-8E27-9E887EF29D6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a566793a870b4ffb980816e25fbbd2b51596bb63","datavalue":{"value":"W2098045685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452270$FF1DCE57-32D7-4FB1-A65B-DDD7050275E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f00209fd89c10cc4c8264b757b15d4637ae4628","datavalue":{"value":{"entity-type":"item","numeric-id":903492,"id":"Q903492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0f99d6dc4d146940c24c5a3eb4a9550499bff1","datavalue":{"value":{"amount":"+0.9367938","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":"Q3452270$AA9383C9-68F2-4A3D-A7F6-FD5AE8C6DC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6f468b25447d3950c14be9cddb31081c655a0e","datavalue":{"value":{"entity-type":"item","numeric-id":5505618,"id":"Q5505618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd38827210b6c21199fa39fefebc0af5566f08e","datavalue":{"value":{"amount":"+0.8896328","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":"Q3452270$EA92C0E9-6F1C-45C0-9B29-3E489A57CA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e44f84f769f4f9ab334f19fa186dc1ad89ccad58","datavalue":{"value":{"entity-type":"item","numeric-id":5119943,"id":"Q5119943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658c3986e38f39e2c44e44471b71de40130d2644","datavalue":{"value":{"amount":"+0.88948894","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":"Q3452270$AAC72863-ED5C-42AD-8248-AA90EAFC3693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e1ac102e88017aeca9570343676b61175a152b","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1380e1fcad249fd81c7bcb6fae11b53ce02e7cd6","datavalue":{"value":{"amount":"+0.88134634","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":"Q3452270$4454E87F-DE6D-46D7-AD37-45D30EE869E0","rank":"normal"},{"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":"6366c78878ca0d7ccd102ad90cc464aaeb579d87","datavalue":{"value":{"amount":"+0.87649536","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":"Q3452270$BD266455-2593-42F2-9FA5-50102DA73F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9676c8609574bc3591321f72375d7005f77dbfa7","datavalue":{"value":{"entity-type":"item","numeric-id":6081960,"id":"Q6081960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e40acd8ad7e85153666a0886543274d4fa93ee","datavalue":{"value":{"amount":"+0.8697564","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":"Q3452270$F9332410-97C1-42D3-8AF4-5E0B8D40B28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e0f2451645533cad78115fe506fcfadc4570b2","datavalue":{"value":{"entity-type":"item","numeric-id":3296330,"id":"Q3296330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121edc48b7445b137b1d199329e52e4ac1f9a6fd","datavalue":{"value":{"amount":"+0.86624247","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":"Q3452270$7EECA1DA-BADD-44CA-BF22-99E9C4E8F58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1496f2261ef40b96f7f6eb612c79f133a951e38","datavalue":{"value":{"entity-type":"item","numeric-id":6164420,"id":"Q6164420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8234908eac4f2799d5a0133aa98e5bf3c94b2592","datavalue":{"value":{"amount":"+0.86166596","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":"Q3452270$6F2F5A61-63FC-4411-B4FC-44AD00ACA4C3","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":"934e2c1570289d8b574e76852561ef0d94ab7b96","datavalue":{"value":{"amount":"+0.86146766","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":"Q3452270$141675ED-BCE4-473C-96A7-D79C3E87E346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a516cd9277f03431ca9a281b0297b9115944fac","datavalue":{"value":{"entity-type":"item","numeric-id":5738642,"id":"Q5738642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f18475ff7b1bfeb84f39cdfc9033d40fea6a689f","datavalue":{"value":{"amount":"+0.86103797","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":"Q3452270$FDFD6981-38FF-4890-9B2C-18FCD237B6F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452270","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452270"}}}}}