{"entities":{"Q3510793":{"pageid":5540697,"ns":120,"title":"Item:Q3510793","lastrevid":88438181,"modified":"2026-06-04T14:31:26Z","type":"item","id":"Q3510793","labels":{"en":{"language":"en","value":"Proving Termination of Tree Manipulating Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297035"}},"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":"Q3510793$288EEDC3-0808-43FA-98E5-F81935D6CE3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b43c685dc7caa2462c4fcc70bfac68a1d467c36a","datavalue":{"value":{"text":"Proving Termination of Tree Manipulating Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510793$1DDDA08F-B4B3-4F9F-95FE-8570A111A162","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0816848b693f5f0f7811d90eeaabb6b074f3226","datavalue":{"value":"1141.68469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510793$ABC1086B-A0F4-4810-B23C-58E049529AE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a143b21de9fd5e1e8e9f1f798c5aff067889d0c8","datavalue":{"value":"10.1007/978-3-540-75596-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510793$711128E8-0B53-4C3A-B881-0399F1B89370","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510793$8557AE28-EE65-44F5-9E67-FE2D0995E3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510793$A1F3CAEA-A638-4087-BF17-9FCF9F7CA78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b07311c614a61a408aa9adc88aa384743c3f783","datavalue":{"value":{"entity-type":"item","numeric-id":2225469,"id":"Q2225469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510793$E1F9C0BA-1878-4293-BB1E-6C679C82B8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510793$23056AFD-D7D8-4A06-883E-A10B646C0664","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510793$C57301AA-D15B-48F1-9EC9-35C0832A78AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510793$C9C89AFD-07B5-4F72-A6DB-BDCF63F793BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510793$88331F53-F3FA-4D1B-9B5D-506009FDA3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510793$A4C487C4-8815-4E49-B51F-D65F9711C02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510793$839E905E-A2BB-49C1-99E1-4971DDF382F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2d58d83651f0afb287d6a118a8df68c07a1bb9e","datavalue":{"value":"5297035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510793$0307B7C8-E156-4CBD-B375-0A5CFE53FF6A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510793$55C052C1-E601-421D-B832-73CC04AF499A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510793$83B860A5-9FCC-488C-907E-864147AD4419","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":"Q3510793$CE9E2576-ED4F-4FA6-92C4-86F3CCC33417","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b55e71a59eabec5b7eb088193da487fce80b9455","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75596-8_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510793$FE1DEE17-6844-4691-8E17-C07EFC0DEA43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d295eed62634cb1c4242a7caf4531f8005df5f3","datavalue":{"value":"W1814719004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510793$37022C12-A359-4D92-9645-7B7A8DC0A9F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567b774f74dddd3685ae57b72b112a352a7f0eab","datavalue":{"value":{"entity-type":"item","numeric-id":4610086,"id":"Q4610086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf57be07506939ea7a93a43808c1925a710a104","datavalue":{"value":{"amount":"+0.8487704396247864","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":"Q3510793$C7BD9154-1A35-472D-9DBC-42D97B4DADF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80e05efa9170e108798d7558aa17e244a8715aa","datavalue":{"value":{"entity-type":"item","numeric-id":3637353,"id":"Q3637353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c7d31834feab1573b2dbd6c6a0415921f22063","datavalue":{"value":{"amount":"+0.8315963745117188","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":"Q3510793$8E53FACF-F207-4AA5-A1FF-51B965874ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a941bdce9dac3645c4707b20455b8d21119028","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9869356340798a37c4f67a65578253ce334154cd","datavalue":{"value":{"amount":"+0.7816817760467529","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":"Q3510793$6AAB654F-76ED-4D4F-A74B-C2492545D31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e184b54aee7dbeee5e4b3c7420897e3a8e0c78","datavalue":{"value":{"entity-type":"item","numeric-id":5756731,"id":"Q5756731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a111ab4a51a4f9d371311398df0f710d64f672","datavalue":{"value":{"amount":"+0.7628750205039978","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":"Q3510793$2A582E1A-12FA-4102-91C1-CE278CEEA84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c5b5b86faf34d475d2396b372d06011db22d431","datavalue":{"value":{"entity-type":"item","numeric-id":537953,"id":"Q537953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d99d0693d185a9e1e1e2293dff676594584bc1","datavalue":{"value":{"amount":"+0.7514441013336182","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":"Q3510793$91E10523-77D1-4F30-A0B0-6232B4982B6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving Termination of Tree Manipulating Programs","badges":[]}}}}}