{"entities":{"Q6513468":{"pageid":14092427,"ns":120,"title":"Item:Q6513468","lastrevid":95385608,"modified":"2026-06-05T08:57:58Z","type":"item","id":"Q6513468","labels":{"en":{"language":"en","value":"Linear Loop Synthesis for Quadratic Invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6513468$8B30BAF0-50F3-4155-94DA-C8B10C606B1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e9c9fbc58ba17ae9cc0a01c5b1964dd321d3ebe","datavalue":{"value":{"text":"Linear Loop Synthesis for Quadratic Invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6513468$2E581301-E62F-4011-86DB-8AABB04C0B0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb687868271fedb92fc120f2450c90d313dff44","datavalue":{"value":{"entity-type":"item","numeric-id":6513467,"id":"Q6513467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6513468$92172C50-C001-4609-9E02-BEC72480EBF4","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":"Q6513468$8AF30F40-93BC-46FE-9134-2830B1442139","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":"Q6513468$725FC5AE-1028-4D72-BEC9-E50402D5E21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38aea39b2f8c7840f28946fb97f5713d16d66105","datavalue":{"value":{"entity-type":"item","numeric-id":2327541,"id":"Q2327541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6513468$5E5BD525-014B-4276-BED3-D772B7C4214E","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":"Q6513468$B05D7CB2-6B59-4E75-A8E0-D3B1DB6158D5","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"9eece7092c7bcb451786dd9f419f30783865f808","datavalue":{"value":"2310.05120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6513468$DE304FA8-EEEF-4041-8BD6-F2142A786676","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear Loop Synthesis for Quadratic Invariants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_Loop_Synthesis_for_Quadratic_Invariants"}}}}}