{"entities":{"Q286737":{"pageid":288504,"ns":120,"title":"Item:Q286737","lastrevid":60810711,"modified":"2026-04-10T19:16:39Z","type":"item","id":"Q286737","labels":{"en":{"language":"en","value":"Proof tree preserving tree interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585212"}},"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":"Q286737$B27F8E95-2614-4D0A-BD96-781B9F1A56B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76b6d475fd4fcaf51bfa0424f4cbda49e31e752d","datavalue":{"value":{"text":"Proof tree preserving tree interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q286737$0422E84D-8833-44C0-9EB0-981ADBB4FAC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44e3c2e424876e4123ff802db446fa4dd6683380","datavalue":{"value":"1356.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286737$22451668-4014-4ED5-93C2-30292302F621","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":"Q286737$FD42EE64-08E3-492C-958C-590F96E815F1","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":"Q286737$4F42BC2A-4F4D-43C2-893C-9D18CF180818","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$81FADA18-F068-47C9-8E57-720A92BC079C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3df5911fe2651c5b316b1c434feff8234703d15","datavalue":{"value":{"time":"+2016-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q286737$094BC40B-E5DB-470F-9897-49507056930F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286737$44EFE8AA-A574-4841-9CCE-563B2B2DCAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286737$FF472CC5-7728-4BAB-A281-BD2D4C182CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286737$3E0956D6-4C85-4D6E-BBCB-ABCF9DCF0C7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"815ca4258a195bd9635c992a6b13f6cc541d3c9b","datavalue":{"value":"6585212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286737$DEA3D1E7-7FF7-4548-A282-F2129C1EFCDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d10b657e6d1c6ea114a06ccc84ae036fa8c923a5","datavalue":{"value":"tree interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q286737$FFBEA6B2-05EE-4A0F-BCB6-093F0A2BD124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9bd312e277c75cb93d378a3de2dc1deb9c0068e","datavalue":{"value":"proof tree preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q286737$57FA26C1-3293-489B-9454-A37B7C2F3941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q286737$2B0D8B3D-080D-45BE-AB6F-2864188F315F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$F92BE775-85D1-496C-9011-D7EDE22BAE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$2ECAFAD4-DA48-4799-94ED-DDD3BE298A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c47fe2df1f1953bad823a45d5770cd3dadc8780","datavalue":{"value":{"entity-type":"item","numeric-id":19438,"id":"Q19438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$8C7364DA-EAAD-45AF-9B8D-0E3C24A880D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ce1c275c9004c307036c19f5a4531407e8fea1c","datavalue":{"value":{"entity-type":"item","numeric-id":21854,"id":"Q21854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$3088C0E0-7C2C-41EF-A067-2FEB46222AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b194bd31d37c1243d7e8c5eddae754651b6b0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18941,"id":"Q18941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$B1FF303B-E07A-4170-A45D-D03FC3670C65","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":"Q286737$22D421E7-211A-498D-8E81-D2F7F04E7908","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d44675ed12e3ba84a836eacc02b7de0a0005a3ed","datavalue":{"value":"https://doi.org/10.1007/s10817-016-9365-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q286737$565ED771-38A9-47D5-8663-83091B0258AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db3566a96b5b9564de1f059aa06ea5f280e4e294","datavalue":{"value":"W2293154396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286737$2C383281-86CE-4472-B734-188217CAC6B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b402f45067798f2bf62ef8178dd66547bac9ef9","datavalue":{"value":{"entity-type":"item","numeric-id":2870125,"id":"Q2870125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$62B8A62A-B9FA-4FF0-9C72-E5A66CF9E561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d02295b918ee0afc1f76dac5b90054e0bd92879","datavalue":{"value":{"entity-type":"item","numeric-id":5747778,"id":"Q5747778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$6E71ACAE-9411-44C9-9D95-09C0F72D93DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7fd8013b2ee9a7ba48cbb231bcd96db7bd85791","datavalue":{"value":{"entity-type":"item","numeric-id":2908483,"id":"Q2908483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$9AC3366A-439E-4C7F-B5EE-6DFAC2AA8F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4caf38d1ea0bcd43c14e944f03b1e72e20f485","datavalue":{"value":{"entity-type":"item","numeric-id":479815,"id":"Q479815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$FDF46B77-FF42-42DF-B696-E8A23AEF8101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$0DD49DBD-BDD0-4A19-BE43-2E43A8290767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d17cd8fb8c8f9211e3da1bad07252a597c4ff6","datavalue":{"value":{"entity-type":"item","numeric-id":5326320,"id":"Q5326320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$3CAD9B9F-081D-402D-B835-94461B64355E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0010e327ddd368956022cbe52c271ac71c9d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5458340,"id":"Q5458340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$8E3C8226-2AAE-4242-B7A1-420BA73D6E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$5E90EA07-9A6C-45BB-B15A-40033AD9CEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80d22f373544a605b742cae6bd9cc4acd51c3de","datavalue":{"value":{"entity-type":"item","numeric-id":3636864,"id":"Q3636864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$3806AD4A-AB6D-4C59-9E75-5891B253E14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1f27d5e14d456aa8b6031d92ee27db277fbe0e","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$C91FC55E-6006-4474-992C-5DA8F48F661A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb01f51aac999eba17cc3ca784f571a7357214f","datavalue":{"value":{"entity-type":"item","numeric-id":2931789,"id":"Q2931789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$CAA889F8-F8E4-4265-B262-DDEB7DE069BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$386CD6AC-8ECF-4197-B8D6-6F44103DC9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf2b678c67af5d9c3ef01ce8f5125a52e30717a","datavalue":{"value":{"entity-type":"item","numeric-id":5255103,"id":"Q5255103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$3651E22C-DBB2-4F40-BB5A-026973D8B8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$C23AEA35-9494-40C8-BC97-874166200B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$7C2D9C0A-2FB4-43A7-8D5D-93BED03A8130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$28865BE7-3D1C-4E2C-B92E-5A0FB4008596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$7D96E792-0E05-47A1-BC30-75615CB7694B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$0FC664C8-FF09-4645-B905-3315BEE14DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe3c720aed0327b731658d3d109eaa2ad9e5ef","datavalue":{"value":{"entity-type":"item","numeric-id":746767,"id":"Q746767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$82D62526-309C-414A-98D1-96404A5C1106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8dfd9651ab5a9bb850689db6ed8d071ae411ff","datavalue":{"value":{"entity-type":"item","numeric-id":5891935,"id":"Q5891935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$F210C441-FC88-4221-8BB6-1C72F2BE60CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7903ffd8f9b852f272a22a95cb583ad2910295a","datavalue":{"value":{"entity-type":"item","numeric-id":5394624,"id":"Q5394624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286737$EBA8F2DC-A976-49E0-87FE-7BC486EDE87E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"690d6b16cacf41537c356c489bdadd2848214887","datavalue":{"value":"10.1007/S10817-016-9365-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286737$2E8D4481-EF00-4BEF-972B-83E20D57F0CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b2e5435fde8a160beeb53a16889c504c1acd09e","datavalue":{"value":{"entity-type":"item","numeric-id":5326320,"id":"Q5326320"},"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":"Q286737$BA67B8FB-3B81-45ED-A78D-2EE4F9FF8A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fcfd79491cdfb771cf41fc7a5558ea92c5018e1","datavalue":{"value":{"entity-type":"item","numeric-id":2870125,"id":"Q2870125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966c0727fbd78dabad72006be668ac645641be01","datavalue":{"value":{"amount":"+0.8315913081169128","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":"Q286737$40CEE55C-222B-458F-A728-6FBEEC75E549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302c862f26649c1cb13bd6e9bc82d762cb6ba77","datavalue":{"value":{"entity-type":"item","numeric-id":604394,"id":"Q604394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2565f87cd7d0784f4e020f6450310f56fe37f94","datavalue":{"value":{"amount":"+0.8077897429466248","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":"Q286737$3D43FED3-27B1-450E-945C-0EDB1DC38DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9297116a8fd5d2d74795bb8b8d5edc5bf38cae53","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7917935b476cbef251bfdec3702afaee9eb5d36","datavalue":{"value":{"amount":"+0.8076167702674866","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":"Q286737$6D1F1C9D-7F9A-497C-9F08-D981A503CF80","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":"de73d1237f2ee2f2221da033b7b26188639a2892","datavalue":{"value":{"amount":"+0.8015369176864624","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":"Q286737$DF04B6B9-A9D4-4283-AD96-0D9099D58682","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof tree preserving tree interpolation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_tree_preserving_tree_interpolation"}}}}}