{"entities":{"Q1687553":{"pageid":1698294,"ns":120,"title":"Item:Q1687553","lastrevid":68202408,"modified":"2026-04-12T22:06:46Z","type":"item","id":"Q1687553","labels":{"en":{"language":"en","value":"Superposition with structural induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821633"}},"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":"Q1687553$D053A731-932D-4549-9B2F-3A9953114211","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"364586f72f3a609035a957d3e87e92a4893df78f","datavalue":{"value":{"text":"Superposition with structural induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1687553$B508C7D9-CCD6-4F37-A3A5-20DBDF5F2A10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abe2da980a1b27bd7be2f84be770464418ad06f6","datavalue":{"value":"1496.68365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687553$699F17F0-D3B5-4B70-AD5B-56899BC25099","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89a422a495a59124c7bf03c1cc45babe6aa1057d","datavalue":{"value":"10.1007/978-3-319-66167-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687553$E77A89FC-DF54-47AB-BB80-9A298EFA9FDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"037c47bd3a9f6d2076fba3c04fc25dcf481756bc","datavalue":{"value":{"entity-type":"item","numeric-id":1687552,"id":"Q1687552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687553$3F38F36B-DC00-4BAF-BCF7-135CC1C9461B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1687553$145B5EB7-06A9-4E9A-BF1B-9622C1036003","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d44417c98eef6ea90fd23d4dff6b819a273f592","datavalue":{"value":"https://hal.inria.fr/hal-02062459/file/frocos_17_paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1687553$A2187755-F946-4B9D-8C24-A96939D2B950","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687553$CFB9F4EE-9B21-459A-BFD6-4BF2FD4292BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf139a9576eb456924c8f7510ccbefaa0d187166","datavalue":{"value":"6821633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687553$BADBC05D-5B6D-430F-B33C-E45908A9A153","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687553$559A6FB3-1DB0-4F3C-9471-B7CC760A83F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687553$6F058F8C-203D-4E18-B253-07DA5FFFA981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bc79cfb4b56d32776e1fa1258932352b9c2825a","datavalue":{"value":{"entity-type":"item","numeric-id":43962,"id":"Q43962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687553$3E68947E-70C1-4F46-8D7F-9E8765A33069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687553$88CF1175-A0FF-40FF-8A86-5D7C61B682B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687553$1AE0F687-78E2-4507-A3F3-70E276E80E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a68cdd3e97b0168a20493dd016b20595a0a54bc5","datavalue":{"value":{"entity-type":"item","numeric-id":31435,"id":"Q31435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687553$7E296E70-D474-4B9C-BAF3-F6F89D1AD241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687553$B68DABD1-525A-495A-B04F-A2D492580CA8","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":"Q1687553$8BE5E33C-325A-47A6-B9BD-41CDB9373F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687553$ABEC3829-19C4-4ED7-95F5-120F129E870A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2196bc177966aee059cbe6dcb19371e0feb3fa3e","datavalue":{"value":{"entity-type":"item","numeric-id":19753,"id":"Q19753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687553$A97BB5EA-F7B8-446B-8674-99635D495620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c7c18880caa813a6bdace0f373d3dec3147690","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687553$4CEBC233-EFCF-4335-8F35-7D4B12D4A0E1","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":"Q1687553$190E168E-F6B1-4C2E-BB6E-78DC17811181","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61f2d6417d19d0ec214da0ad62121916db133c6e","datavalue":{"value":"W2749302087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687553$6580AC06-178E-46E6-9E56-4332C6577490","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338faab03a6852bef0c51d702c61cd9ee8ecf151","datavalue":{"value":{"entity-type":"item","numeric-id":2055874,"id":"Q2055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14206c7c5b6b119b3a356667afed63f27af611a","datavalue":{"value":{"amount":"+0.7581465840339661","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":"Q1687553$B011E6C2-6E18-4AE6-9913-7586CAA7A5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ed64c1904567464472d85b8eced14f4db0d60b","datavalue":{"value":{"entity-type":"item","numeric-id":2849478,"id":"Q2849478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742ee1461250a616a84393510b63d10c620abf77","datavalue":{"value":{"amount":"+0.7535380721092224","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":"Q1687553$DE3D8D03-E6E3-4699-A4D0-3AEFB6F4984C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2d442c7f5df274dda11adf2373418edeedfd4f","datavalue":{"value":{"entity-type":"item","numeric-id":5918403,"id":"Q5918403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4158acff0ac6c2bab43e4bbafdd8124ed355cf0a","datavalue":{"value":{"amount":"+0.7442135810852051","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":"Q1687553$59055706-0A46-4451-A03E-E28B6768978C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af0cef260fd5715d276a6fa5c33ddfa938220ef","datavalue":{"value":{"entity-type":"item","numeric-id":5918575,"id":"Q5918575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a90828b9a631c07f998c527ca871af4c3231ab","datavalue":{"value":{"amount":"+0.7426826357841492","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":"Q1687553$B6BFD072-67AE-4B5B-AC16-2C70F1ABA62D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Superposition with structural induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Superposition_with_structural_induction"}}}}}