{"entities":{"Q5756749":{"pageid":7786300,"ns":120,"title":"Item:Q5756749","lastrevid":50158049,"modified":"2026-01-13T07:25:42Z","type":"item","id":"Q5756749","labels":{"en":{"language":"en","value":"Lazy Abstraction with Interpolants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187430"}},"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":"Q5756749$78176427-D9BF-4467-B066-A1E4F00AD4E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef09d4467d4298f5686cae1278e000b015488d6e","datavalue":{"value":{"text":"Lazy Abstraction with Interpolants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756749$B441749A-A84B-4DCD-8299-92EB72CCE54F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d35c017509e4aaa12d7913361462e91612dcfd4","datavalue":{"value":"1188.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756749$04B6E8BA-CD07-418D-9517-108ED230C6B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e655cfbb0abe88f13b5d814a66adad688eb26c0e","datavalue":{"value":"10.1007/11817963_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756749$4FD881B6-53A1-4F30-839D-CEBA5D708EB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756749$C5F92FB6-5829-4446-86D4-6E801A3BCB94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756749$67A23DF4-395B-47EE-8D58-495FAA80E382","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756749$5678D860-C7EB-482F-A3C1-8A1597F05476","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756749$EE387123-2018-41EB-83F4-0EB723B97BA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe2a85fd26fcc53ee975ec6054f2e3c5265bcae6","datavalue":{"value":"5187430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756749$CEF25180-79A4-4936-81AE-6D13A589CCFA","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":"Q5756749$2DB23709-509A-4147-8B2E-8B2344DD1453","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f376017e311ee80204ea003ffcafe8c6592839a7","datavalue":{"value":"https://doi.org/10.1007/11817963_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756749$2A04FD18-5DDC-4AF4-9C28-3AF1F117EB8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a19ca77c6283f9548456622d0759786e18ed2991","datavalue":{"value":"W1565898282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756749$7B77CFA4-A473-492E-A381-02BA849E1D07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf3824886570dc01d42f52eac80351c401019a7","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eace608be29128f21ed5ba5b2aa6b8fd8905785","datavalue":{"value":{"amount":"+0.8599759340286255","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":"Q5756749$55FA7992-3E00-49E5-A129-DF9F57B44586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd4cf7bbbfb99f3d4855a1a4e443e817c997ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e283d77672b31a535bfb8cf43f98d4cc71c42d9","datavalue":{"value":{"amount":"+0.8454573750495911","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":"Q5756749$23A21109-B95C-41AC-A268-B1F333929495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496c761011ed632291bb453015661acf41cf71ab","datavalue":{"value":{"amount":"+0.8362485766410828","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":"Q5756749$B94EADFC-B6D7-4030-B54B-A86B491D1205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba84101757f901fdc7a5743110873411af78d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2891439,"id":"Q2891439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527e4a77596d45f4300608905a75d326cdb1372e","datavalue":{"value":{"amount":"+0.8249624371528625","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":"Q5756749$A39A2835-951F-4D32-9B76-5837AD3D6FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9312a021d07435c43a4923db960b9c16ffaa086e","datavalue":{"value":{"entity-type":"item","numeric-id":3620428,"id":"Q3620428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b9cf30fb709cf8c0541c480eb5d7ee2563c95e","datavalue":{"value":{"amount":"+0.8160675764083862","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":"Q5756749$73CC993B-3B66-40D1-AC5D-F889865B274D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756749","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756749"}}}}}