{"entities":{"Q5326320":{"pageid":7355894,"ns":120,"title":"Item:Q5326320","lastrevid":58520064,"modified":"2026-04-05T14:03:52Z","type":"item","id":"Q5326320","labels":{"en":{"language":"en","value":"Proof tree preserving interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194830"}},"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":"Q5326320$5CBCD3A6-9E14-490C-BB32-56734CE86FD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1fa493ade8e40723db9ce6e5aabfe3868bb9156","datavalue":{"value":{"text":"Proof Tree Preserving Interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326320$E90F0859-9B4D-4B3B-90F9-BE2284ECA1B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6843a76fa1b40b888ef50d176a200a5f7f0cc536","datavalue":{"value":"1381.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326320$5E9B28A7-F2B1-4031-B203-5C86C0510E06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d9acb67549eb491cb521cb55106c43a80d42904","datavalue":{"value":"10.1007/978-3-642-36742-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326320$38B465AC-6007-4647-9E23-AFBD2BDD28BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40eab41d8a5fbac8e8210f2bd5509a1c543884a3","datavalue":{"value":{"entity-type":"item","numeric-id":286735,"id":"Q286735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326320$4188EA13-DFB2-441E-85B2-BBD2C9A137B5","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":"Q5326320$DD19AF94-99E2-4A50-A89B-AF483C27F398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae7bbf3d47650f40c16250939b32a9f908024986","datavalue":{"value":{"entity-type":"item","numeric-id":1629955,"id":"Q1629955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326320$1548A3EB-FD0D-42E8-8BB7-47186D6A003D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326320$5925676B-5E55-43E7-8463-E0B4F1523A0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-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":"Q5326320$A2470740-5A51-4FE6-85F0-BDBA893EAE25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89f7e12d5e296b082eda75ffbe8e326bd7f57ec9","datavalue":{"value":"https://arxiv.org/abs/1705.05309","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326320$7AD98EB5-D7BE-4B19-A7E2-32C15817B7DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326320$624B0D78-EB98-4BDB-9F50-38459781325F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326320$DBAF53F6-BE50-4D7C-806C-E56BEC14241C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326320$D6EC21E3-7DED-4298-807C-C1FF33FD8217","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"334106817c77dfa460f28f440c05d2e6a7554560","datavalue":{"value":"6194830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326320$2E1D8E47-C42E-48CE-A90F-BA73A063EAFF","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":"Q5326320$5EA581FE-1B0E-4D53-89F0-D7C206EF57A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fb303d4dcb0dd48d3ab28853f823cfd837773ad","datavalue":{"value":"W169526355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326320$5BF11EBF-D83C-4354-B6E8-BD4B19F7B7A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a1a467338ac903e69fe5a1918cb3665594f84a","datavalue":{"value":{"entity-type":"item","numeric-id":286737,"id":"Q286737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2dfb9bc8afb886b324d05c8ad16b862de70b22e","datavalue":{"value":{"amount":"+0.8735507726669312","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":"Q5326320$2FB2844D-75AA-41EA-A217-4C55F7F604F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89dbb15b892cff2f017253eeff9ee21c526689af","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51357b92ff245a882d30d527e9cbd191e0e6194","datavalue":{"value":{"amount":"+0.803568959236145","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":"Q5326320$9DFF429B-5745-42E8-A20D-4466B3536891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2da048e2bbbcb6e30f3c598cf71a8110eb110b1","datavalue":{"value":{"entity-type":"item","numeric-id":5191102,"id":"Q5191102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34cae3c121347d2ece483c2452fcba4e2969b83","datavalue":{"value":{"amount":"+0.7999352216720581","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":"Q5326320$AD3DA56C-1259-4A20-BE9E-B8D06CDCD410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f754bdf912eb9b6aed20d0b7a354284c47bd11","datavalue":{"value":{"entity-type":"item","numeric-id":5458340,"id":"Q5458340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e1fc32069248d125b2768ddd9a1e394667e5b17","datavalue":{"value":{"amount":"+0.7873591780662537","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":"Q5326320$4C9527DB-DC17-46D3-B908-191BD10F23E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192babe1f332f85d504aff10a4562aaa3e265788","datavalue":{"value":{"entity-type":"item","numeric-id":5308386,"id":"Q5308386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c1d2069abf9adda2d01238836bb0b966160aed","datavalue":{"value":{"amount":"+0.7832697629928589","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":"Q5326320$9CD0DB5E-788D-4C53-A6C8-A011D616710F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326320"}}}}}