{"entities":{"Q2957696":{"pageid":2968415,"ns":120,"title":"Item:Q2957696","lastrevid":85412285,"modified":"2026-06-03T08:07:37Z","type":"item","id":"Q2957696","labels":{"en":{"language":"en","value":"Verification of redecoration for infinite triangular matrices using coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678683"}},"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":"Q2957696$5E207629-B9C0-4027-97B4-12FDDBFBB5D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8dbbcc844ce1aabbd06663749e1119b644c3f90","datavalue":{"value":"1354.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957696$60540FA3-274C-491C-AB48-2F75FB6C72A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957696$240A7F4B-FDF4-4B14-9E64-EB1962BB6CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4616c5bf4c4a7cc936c4f82da73ae6e61f8900a5","datavalue":{"value":{"entity-type":"item","numeric-id":2914684,"id":"Q2914684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957696$026FC723-81C4-467C-B2FE-AE10AEFE2CE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10dfb43c7185210e67dd4f65f8a3dc19dfd4cd12","datavalue":{"value":{"time":"+2017-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957696$888B8DA3-CB96-4A2F-83B3-E53C25CA9A63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957696$45E90C4B-3A27-4457-8348-B2CEF00D3F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957696$65FBB343-C012-453B-9B6B-9B61AF54D672","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf7072cd07eb8212187fad80e9a2afb6557ff782","datavalue":{"value":"6678683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957696$C4CDB740-6936-4C3A-A9D0-CD8F055F6B02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0495ebb727f78e207aa1c4950190cead309945c5","datavalue":{"value":"nested datatype","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957696$0992074E-A1AD-42D4-AE35-070C4E45D1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957696$6C857211-DAD5-42CC-A44A-32A4595BCDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957696$9632B658-65B4-421F-927B-472BB0140D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957696$C2340E27-9414-44DF-A9F0-B14BD09B9DB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957696$FA676D1B-5BC1-4458-ABDD-D69F553A17E3","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":"Q2957696$72C5DE57-BF7B-4B0B-9930-3971A95C799E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88f9ed77e4e6b0d1b1d3095f957b6a2d8d1aeecd","datavalue":{"value":"10.4230/LIPICS.TYPES.2011.55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957696$71B6E681-B1FA-43D3-81A0-32B874D8ED69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094f8a8ebd0b851aace9d15e95f818a2189e303f","datavalue":{"value":{"entity-type":"item","numeric-id":3499755,"id":"Q3499755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4aa578bd50d4b7caed347bbd3eb8c825ca5353f","datavalue":{"value":{"amount":"+0.8783243298530579","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":"Q2957696$83CD0ABB-8E62-49D9-8C59-F051AAFA5605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2017c85afadfea84e392f505355d346772b7d861","datavalue":{"value":{"entity-type":"item","numeric-id":5277969,"id":"Q5277969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31a919b4625a7a5df465b5354f74af82d4ef776","datavalue":{"value":{"amount":"+0.6812971234321594","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":"Q2957696$28AC2456-534E-4CD0-B39B-6DED381A0CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37adf8bf98178385c6a89a395e82fb15b7f7127","datavalue":{"value":{"entity-type":"item","numeric-id":4647576,"id":"Q4647576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11dc3d8adf895405b8330147985bb62a86332629","datavalue":{"value":{"amount":"+0.6718346476554871","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":"Q2957696$C19EDF61-C3E1-426C-BC46-3127D3A50835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058d0a25272db99d2dda9d0b9e29bc68206441dd","datavalue":{"value":{"entity-type":"item","numeric-id":5327356,"id":"Q5327356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3175b08eb8161aac890dd359ee8bc9deb54c2c","datavalue":{"value":{"amount":"+0.6588155031204224","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":"Q2957696$B3C0C7FB-54B1-4B21-A75B-CCE72074CB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ddf6431192977e6814521a6abd69db02fdf862","datavalue":{"value":{"entity-type":"item","numeric-id":964505,"id":"Q964505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b372d6d5f637172799f7853b7ed5e293a5215c","datavalue":{"value":{"amount":"+0.6585060954093933","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":"Q2957696$86C15294-1E38-48A3-8461-9674847479CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of redecoration for infinite triangular matrices using coinduction","badges":[]}}}}}