{"entities":{"Q5255103":{"pageid":7284671,"ns":120,"title":"Item:Q5255103","lastrevid":52279478,"modified":"2026-01-21T08:28:33Z","type":"item","id":"Q5255103","labels":{"en":{"language":"en","value":"Nested interpolants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6445117"}},"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":"Q5255103$EE5721E1-C335-4DE6-AF6F-D7F97EDDD119","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27b28071787157b2fb202289d9ba6cd14b0d90f0","datavalue":{"value":{"text":"Nested interpolants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5255103$2D754487-5172-4046-ACFA-72F1D688EBA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d81ee0a1c0e02ca7e11e851c944ab6e7f0eaeb99","datavalue":{"value":"1312.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255103$AC8758BD-A18B-4853-99AB-856C306FE0B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"536dcefdcb11a9ed859df4fdcae4d7d39c4ce37e","datavalue":{"value":"10.1145/1706299.1706353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255103$0C21394D-AADD-46E2-91FE-8832DAA2B455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6692089e7e1e9109051611e18cfa47c46af10959","datavalue":{"value":{"entity-type":"item","numeric-id":1629966,"id":"Q1629966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255103$B62FCCFF-ED42-435F-8DFF-D5D8D3410AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48954c1a0cd2148a60dfcecb4d54e447f7acb36c","datavalue":{"value":{"entity-type":"item","numeric-id":286736,"id":"Q286736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255103$BE60F3E3-9F08-44B6-ADB1-4C92F7E859EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255103$D27088C8-F3A8-46FD-8EC9-39225936CEFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5bbee3666eee3a652778234a38c4005afc7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5255055,"id":"Q5255055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255103$626D2633-AAEE-4A98-A688-A13CFF7CEB26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c841ea08739fa38b76821129fbbdb6fe48b753","datavalue":{"value":{"time":"+2015-06-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":"Q5255103$EE5553D5-2468-4846-8758-F26DF3E89480","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255103$3D833401-2372-49E4-8AA2-A39A6C8F980A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255103$95F8EEE8-2E09-440C-A168-7B991873A431","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb34d977e6bd93744dc71c8fb3bd078a408c714d","datavalue":{"value":"6445117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255103$ACC0D304-9DD3-413D-9283-49AB5E485CCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255103$E5458FDC-EE9B-4C93-B003-6D245CEFF81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255103$BD322A18-1D2C-4465-B649-277FB685A94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f082d23ececda4495232af64202f592a5942f2","datavalue":{"value":"Floyd-Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255103$D421CAC7-1D3F-402B-BE20-4B8DD48FABBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa2c0f78c04a92c7553072540610ce03525a9448","datavalue":{"value":"interpolants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255103$050B73AA-B8B9-462E-A82E-9F02F44C2396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd7333d837edd5028ddb936980bcbdd6b18f7d12","datavalue":{"value":"nested words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255103$ED5C6EDF-B4C7-420B-8C65-D93AD44DDC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255103$AC5F4D94-9AAF-405D-A95D-4FA80C1DDFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e3f8f91d1559da40b3e6abc73d4e0baa9c0808","datavalue":{"value":"software model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255103$CAE03D46-2E1B-4E92-B2E5-EF4CFC14FEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255103$7CF025A0-41ED-4A1D-9272-1181B4BB0DF5","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":"Q5255103$5FD71D84-4054-4A15-BB26-34353BD4E5CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a22d077a39df83ed165a50bf23ae0381afb2046c","datavalue":{"value":"https://doi.org/10.1145/1706299.1706353","type":"string"},"datatype":"url"},"type":"statement","id":"Q5255103$78757E18-D889-49DA-9418-B6D8C542638A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5469861801d2a3a28603257467633e39af0e0bb","datavalue":{"value":"W2293685560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255103$6D30830E-930B-4FD7-BF09-0BE1866511EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35471693b9b81aca4d54d85b5e7a7d84e4829dbd","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f92bc8e792231e832307836ecc971f42494d3e","datavalue":{"value":{"amount":"+0.7302502989768982","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":"Q5255103$E4F5281A-D08A-444B-A0D8-7007F181DE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fefd0d618f27482dd700592c3a6a6f3c52e2054d","datavalue":{"value":{"entity-type":"item","numeric-id":5447361,"id":"Q5447361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8bff38e9f876045cb1e97200e4dd577dd00aa52","datavalue":{"value":{"amount":"+0.7301300764083862","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":"Q5255103$7B5514EA-0EE5-45E5-8D65-1DD262AD1C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6d36d0f86595855f8cce4e7301439fe4ce05d8","datavalue":{"value":{"entity-type":"item","numeric-id":3512435,"id":"Q3512435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289db33f3f2e41a81d2577e45b672a021c0513b9","datavalue":{"value":{"amount":"+0.7297117114067078","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":"Q5255103$911F4010-161A-4F83-A4BC-191C819BACF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6082005cb838151ec2f536065030af8f23f991cc","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311d0e4eab916d21915e7635766d44fe2ec14baf","datavalue":{"value":{"amount":"+0.7285436391830444","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":"Q5255103$BA6D3FEC-C713-4E34-A86F-E1BF0017E1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7344bfc1cde154881de03b438642ccefc2f4131","datavalue":{"value":{"entity-type":"item","numeric-id":3452213,"id":"Q3452213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85c4c879dc85a695126c66916cc2b393e328bca","datavalue":{"value":{"amount":"+0.7251320481300354","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":"Q5255103$97419059-991F-4182-8D11-DCAD3E6C9CFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5255103","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5255103"}}}}}