{"entities":{"Q6164420":{"pageid":13299301,"ns":120,"title":"Item:Q6164420","lastrevid":58733187,"modified":"2026-04-06T12:40:53Z","type":"item","id":"Q6164420","labels":{"en":{"language":"en","value":"Solving invariant generation for unsolvable loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719725"}},"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":"Q6164420$0F0D29AA-9471-444A-B748-8F9EDD4D5E5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9dae9958ee417505213c0486d70796e9ba0857f6","datavalue":{"value":{"text":"Solving invariant generation for unsolvable loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164420$071F74F8-D992-4D36-87CE-1A83B9B598EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8331ca7638566fc1fbe80f9a049646cc7bbb7db8","datavalue":{"value":"1524.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164420$8D3C6E5C-B42A-4854-9476-50449DB8CF5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9ca97161484a8dcd430a4afb22cafc8b3ef2441","datavalue":{"value":"10.1007/978-3-031-22308-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164420$84484E01-441C-4D86-AD4B-5748911B64B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea881ac09fadc09a2eee7a26b035e975a8dbccd7","datavalue":{"value":{"entity-type":"item","numeric-id":6164419,"id":"Q6164419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$B0A4110A-9C91-43A5-8896-838CCC35BA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b65ab3ec984fa0fbff611ca057ffca2dc3c7f57","datavalue":{"value":{"entity-type":"item","numeric-id":498911,"id":"Q498911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$E6B359B7-741F-4916-84CA-9B5E9940B20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e9e4bd78dea58de85b9effe68bf0a97990fffb","datavalue":{"value":{"entity-type":"item","numeric-id":1737571,"id":"Q1737571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$20E81BBB-B447-4DFA-8429-42191C6715EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$20FC8199-9F6C-4C94-B3CC-7C210F6D9EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c39f66f06454b5306096e7546eb8dd08153455e","datavalue":{"value":{"entity-type":"item","numeric-id":2233476,"id":"Q2233476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$9D8CDE54-D130-4827-9319-E31610D7381A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1043b0420fe6d89efea741e6c4ea2d981a62605f","datavalue":{"value":{"entity-type":"item","numeric-id":2037945,"id":"Q2037945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$607E6712-361E-4E04-8F50-5B455D0D2103","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$4FF37C29-8AA2-4E50-AE33-66C5094B87C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164420$164145D0-37D3-4556-8FAA-DE0A95AAE463","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e027a2ee00545ddd90f72189350b6a25cfb2a99f","datavalue":{"value":"https://arxiv.org/abs/2206.06943","type":"string"},"datatype":"url"},"type":"statement","id":"Q6164420$D76134A2-2F91-4A53-8BEE-6CDC3B6B5FF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164420$809815C5-26D8-4FC3-A3BA-AB44AB1CE3F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"819ee9625cfa4a488d3b9180fa5f22856da19ba9","datavalue":{"value":"7719725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164420$15FE5BB5-D7D1-4B0B-AF8F-C9E4EF887A74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"535f65541f41a57140701ba196c6989224dff34b","datavalue":{"value":"invariant synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164420$C5E52651-3AA0-478D-9CA3-7330872C02EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"179c6ef57a3775d6a12b38f39bd0a3e37e248346","datavalue":{"value":"algebraic recurrences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164420$75576FF1-4C6A-4E03-A6D1-9ED0EB896A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164420$4833FCF6-D887-4816-88DF-BB877181F811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c407b51303baccac7d54069c0cfb8ebd75ab7c96","datavalue":{"value":"solvable operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164420$0786C558-4D4F-45DB-A55F-210C35D5FB7F","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":"Q6164420$EF35BAE8-FD25-44D5-859D-6D2B3D877F7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e24f505165fe62fa16da70d2b9108c5b0bcf3d6","datavalue":{"value":{"entity-type":"item","numeric-id":3297595,"id":"Q3297595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$4C535B64-7CD3-4B34-B5C1-5A31B593AE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aea21de4dc2cdd97183d0ef8fdf05fc131c70ce","datavalue":{"value":{"entity-type":"item","numeric-id":2037946,"id":"Q2037946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$1BABADB6-1EF8-4432-BAD6-82746B23793D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315f6cb50c8c0fe68623f757d4cd0b8f783709ae","datavalue":{"value":{"entity-type":"item","numeric-id":2272919,"id":"Q2272919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$F6710C51-7B68-478B-A005-362FE85A0283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a2acc0bb507489a26fd8328bda4bbc0dd2fb5d","datavalue":{"value":{"entity-type":"item","numeric-id":2988996,"id":"Q2988996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$2A447A5A-F264-4330-8469-7B794C56B401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a01dbecb975909d969976d7e6352b9d192a2c8","datavalue":{"value":{"entity-type":"item","numeric-id":5683688,"id":"Q5683688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$05BCA3C0-F6FC-496F-8844-2B3E9E676E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52811bfc7c1962136717156ab14a01cf0d130ba1","datavalue":{"value":{"entity-type":"item","numeric-id":4421931,"id":"Q4421931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$7EC89569-B663-4849-B14A-3D9E93D6D9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533345ac877a221cd7d24576b02879563593f35","datavalue":{"value":{"entity-type":"item","numeric-id":2233526,"id":"Q2233526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$FC07D740-B6D1-42E1-A80B-EA384BF42B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$985357E5-66E6-4D6C-849A-6FD91F59EC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533c73fd3bc256dec44dea269587bb2e0bc2dfe1","datavalue":{"value":{"entity-type":"item","numeric-id":5145329,"id":"Q5145329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$5C7F0E39-EF65-4C2E-B6B8-F49260BAF4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e8ce8066168ad7a705a67763d71d75f0c26781","datavalue":{"value":{"entity-type":"item","numeric-id":1798956,"id":"Q1798956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$ACBA7822-D7BE-4E97-A790-7F1440B1A5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8475621651cac9cb40ce3325316cb92a5729de0","datavalue":{"value":{"entity-type":"item","numeric-id":5119943,"id":"Q5119943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$C2BDA4CA-D421-47C0-B21C-05326106F23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86744cb77930e800c9f689e113529cc299242903","datavalue":{"value":{"entity-type":"item","numeric-id":3296330,"id":"Q3296330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$2A98B570-4DF7-4564-A091-B7A1043D1504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43404ec2d41a8c402f2500bd778d3e2740e76c76","datavalue":{"value":{"entity-type":"item","numeric-id":2802489,"id":"Q2802489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$781D5AD4-4614-4F9C-94B0-1D14CAFCB55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d83e0d809c9946be35cf8127887d0a3709fa8a8","datavalue":{"value":{"entity-type":"item","numeric-id":4124273,"id":"Q4124273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$16D1567F-B599-4F97-BFC1-B83C459D1856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f9c7afc83573ea657dc7ed4a71c3ddc615c905","datavalue":{"value":{"entity-type":"item","numeric-id":621894,"id":"Q621894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$37FF72EC-F01A-4BD4-AC78-6D05A9DFBDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2299d78cc913e31f2436e101e03018970aa99d3","datavalue":{"value":{"entity-type":"item","numeric-id":2517807,"id":"Q2517807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$90ACDC5C-1C05-4BC8-9EA4-584CCF32F85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88a4d21f9c10003cdb38349b5ebb6aa4815e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":5458331,"id":"Q5458331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$05E134C3-94D9-49B4-88F1-621A4CED96CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70900c3b4b31a6363b51a557b0533917f6773240","datavalue":{"value":{"entity-type":"item","numeric-id":2390319,"id":"Q2390319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$7E845088-A727-4196-8FFC-BD177E45D9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb68f0d8a91ad3310089f356e909e6d591f5285f","datavalue":{"value":{"entity-type":"item","numeric-id":1990524,"id":"Q1990524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$D0E2599A-3B67-44FC-8A33-26C61BEA29C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac80f8dd6b9c81d89f3e2f783c850787d622bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2457430,"id":"Q2457430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$0DFE2902-168D-4848-8F55-D34A16A26133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e2b7a6bd7a5f7a192b9dd9b1850490db36beed","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164420$EBC41AAB-1C60-4C34-9E7E-7E13D4A41F31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb23bd8c9cdca6792eabcff20647876a470cc75","datavalue":{"value":{"entity-type":"item","numeric-id":5096093,"id":"Q5096093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ac4bac24e3c5668afee9ebcf0a0b956ffc4d72","datavalue":{"value":{"amount":"+0.8524317741394043","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":"Q6164420$B8E35B08-7BCC-4BE6-9529-EDC8733C5911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4b85d90580d5ca2859605fed87b940073ce23e","datavalue":{"value":{"entity-type":"item","numeric-id":3503653,"id":"Q3503653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df5056380a287dc9eddd26434e2a315249365c0","datavalue":{"value":{"amount":"+0.8230032920837402","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":"Q6164420$C3533BB1-5585-499F-8A0C-610D305EAB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2bed51682d9c5b7c5d605faf70180110921267c","datavalue":{"value":{"entity-type":"item","numeric-id":3402283,"id":"Q3402283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c3cbb044e988348894fc5ed871f96ad9ae7fa7e","datavalue":{"value":{"amount":"+0.8186633586883545","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":"Q6164420$30119B3D-6C0D-4CBC-9F9B-527C72AFB6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8242cb23154939e3c7ada1e404fda49d2e0e93d","datavalue":{"value":{"entity-type":"item","numeric-id":3297595,"id":"Q3297595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a7000fbc44b0951ab654828cecf2c3ed1590ae9","datavalue":{"value":{"amount":"+0.8145824670791626","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":"Q6164420$A1C6B36D-5242-49FC-8813-06EEB3D71A0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6164420","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6164420"}}}}}