{"entities":{"Q3296330":{"pageid":3307038,"ns":120,"title":"Item:Q3296330","lastrevid":58134591,"modified":"2026-04-03T23:01:47Z","type":"item","id":"Q3296330","labels":{"en":{"language":"en","value":"Invariant generation for multi-path loops with polynomial assignments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218142"}},"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":"Q3296330$60DF6B6C-B172-4103-B798-AD02B967B227","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eedf06d767ffc0e3f6058e1c34accb27adbef4a6","datavalue":{"value":{"text":"Invariant Generation for Multi-Path Loops with Polynomial Assignments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3296330$E49CDE75-661A-4845-82C1-10509246E3DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0b24c8d7323c6e2e8b5c38755234612eaf3ef23","datavalue":{"value":"1446.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296330$4349D5FE-83EF-490D-A63D-C2B4B179CBD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b1f8d27b60a3e42c163c122ea9e50926bcd298f","datavalue":{"value":"10.1007/978-3-319-73721-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296330$3BDEC772-4EE2-4BD2-84CC-E299EEBE9C06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22e6fe3365352d56f05576855b04c2513f48c798","datavalue":{"value":{"entity-type":"item","numeric-id":1798955,"id":"Q1798955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296330$9C45BD06-A1A3-4B2E-9225-8A7DA6F00F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0476ccfb196d01907de39d52e625165ff61c5f12","datavalue":{"value":{"entity-type":"item","numeric-id":504410,"id":"Q504410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296330$8C2B2EFA-1F5B-48E9-998F-21FAA6AD3FCA","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":"Q3296330$EB274D09-A132-4B0F-800D-0E7994744868","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296330$D3593DE2-98BB-4251-975F-BEF35BC7534B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01d69a3c7fdeda349075259d925d96d26b367ba2","datavalue":{"value":{"time":"+2020-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3296330$D2795110-3C1F-45B4-8A96-781B444F048C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17630b9b2dff08c5918b75afa2df67330aff7134","datavalue":{"value":"https://arxiv.org/abs/1801.03967","type":"string"},"datatype":"url"},"type":"statement","id":"Q3296330$D109C807-775C-40F9-80FC-BC14619B5174","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296330$CA1C33A4-1B7B-4879-9FC3-C6E390735D14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5d2e57792fc45ed93426ad43b74e87ae22ff68e","datavalue":{"value":"7218142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296330$C59C5738-7952-4CA6-81E8-3A92C8120B86","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b97dc2e64d3ad980125ce8f5733bf5f6272c5229","datavalue":{"value":{"entity-type":"item","numeric-id":12802,"id":"Q12802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296330$66C1C394-3775-4AA7-8492-DECEBFB2E27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"96b212f6e7b80d700b4836d0fa1b34850e68698c","datavalue":{"value":{"entity-type":"item","numeric-id":45586,"id":"Q45586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296330$4BF722D4-9B92-41F2-9EA0-18A969C76B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3329b684f60492fc8915ab6798882546c95bc33d","datavalue":{"value":{"entity-type":"item","numeric-id":45585,"id":"Q45585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296330$767E25E6-2245-438B-8A43-528831749F3E","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":"Q3296330$D000F558-238E-48B3-BC25-0FA77DFBDB85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5255c5360adab0191b36a015f8c06b95acbe3a09","datavalue":{"value":"W2781303448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296330$87EE5BB7-303F-4545-B4D3-4410E4C4979D","rank":"normal"}],"P1643":[{"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":"6063eab77e38b9927db3fd8a4f67e421548a20e3","datavalue":{"value":{"amount":"+0.8647252917289734","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":"Q3296330$BFA58B17-632B-4A58-A232-E815F76AE71F","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":"e9f0664792ae29b32aefca263e6f7a157460fbf9","datavalue":{"value":{"amount":"+0.861315906047821","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":"Q3296330$A6C9407B-7B12-4E4B-B674-D1BEED5319E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf36bfd14d85130d7ee6c41b3f17bd536466d5f","datavalue":{"value":{"entity-type":"item","numeric-id":2457430,"id":"Q2457430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba4a6fe78733b7d2cfe5768a3660fce26b1e441","datavalue":{"value":{"amount":"+0.8539028167724609","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":"Q3296330$EA3562E9-B5C0-4902-BB34-FC52427CDF3D","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":"8aa9fd5e30cd6a4a47f1e77479b1a95cb7bb8779","datavalue":{"value":{"amount":"+0.8328816890716553","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":"Q3296330$A275EF98-30D9-4C17-AA93-9C08A92756D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1882d77d0d7fe926d36d1ea73f2313c9b1ca92b","datavalue":{"value":{"entity-type":"item","numeric-id":1990524,"id":"Q1990524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77fd3d83d8f2ab257df6cb28f56cf734d5d4b06","datavalue":{"value":{"amount":"+0.8235117793083191","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":"Q3296330$657F1AC5-A0A9-46F1-8CDA-75DB6F140F11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3296330","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3296330"}}}}}