{"entities":{"Q2931796":{"pageid":2942516,"ns":120,"title":"Item:Q2931796","lastrevid":44736303,"modified":"2025-11-25T15:33:28Z","type":"item","id":"Q2931796","labels":{"en":{"language":"en","value":"The power of parameterization in coinductive proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374673"}},"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":"Q2931796$6D791ECF-6929-4A18-8B40-101342C63704","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4375d19ac7dc113fd8e04b1f0370836eee159ad5","datavalue":{"value":{"text":"The power of parameterization in coinductive proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931796$BED59C7B-FD17-4B25-AC56-251971224B6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a17598306a9d73bf7dc0fd81d4871a49615c65f","datavalue":{"value":"1301.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931796$2CE58ACE-7B1D-41CA-AF1A-C4D0B2AA16B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44c50ce9e2dad049e33897e16231fff84af83916","datavalue":{"value":"10.1145/2429069.2429093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931796$6910BD93-62CC-4514-B9E1-CEC7AB36EA67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61b4416adb1b221673db19b3bfc1a87bd25d3903","datavalue":{"value":{"entity-type":"item","numeric-id":1014643,"id":"Q1014643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931796$CC4C7FAC-A95C-445B-8171-4800EE0A4AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b6946bad33c4ad6049a109a67ed0035e8c2a34","datavalue":{"value":{"entity-type":"item","numeric-id":2931795,"id":"Q2931795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931796$4F0DEC5B-7D30-4B54-848C-1F6260C65F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931796$BE29D49C-981E-45A8-8FC4-B669950EA72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931796$17485ECB-49B4-49F2-8D72-A52475E9102C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931796$A14F444A-83A8-4035-9112-6901883E42FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-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":"Q2931796$CDC69301-960A-4C4D-8E87-BA4E633D9D48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931796$834D7684-4C03-4CD1-AF70-AABC8BE1E37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a7c57a22810c1fc3e6e7843b0557275bc4a46fc","datavalue":{"value":"06B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931796$5071530D-4DFC-443D-8B26-DE42D96C2B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931796$B6374DFA-25C8-4CFE-9892-48E4854396F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931796$A9D18C14-BCB6-4614-8662-98CF3FFDD62C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e03b62762fee029a4eee1b956ed527a73d5d1a43","datavalue":{"value":"6374673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931796$92820EC7-B427-4747-A633-FE464BD5A045","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931796$44FAE3E0-29D9-492A-BBAF-F1E21CAFACF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931796$F62C1DAE-7BA8-4B2C-B8C7-ED0879068B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931796$F4CFD4B3-A87C-42CB-AEB9-68661832BD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cf9711c6390395a60b61ca8ecf0b9b2bef1aea","datavalue":{"value":"lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931796$8C355E43-C2A4-49D5-8111-B81EC45C2CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b29eeab5f41a5e3720c2925e153d9ca40b6adee","datavalue":{"value":"parameterized greatest fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931796$3AA823CD-5C09-4E23-B07D-146AC8E37C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931796$D51B725B-52B0-474B-AE8B-5C3A8DC32C4B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931796$B1A6D8A7-A5F4-4C2A-B6D2-62F7247A5E39","rank":"normal"},{"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":"Q2931796$77BADA0F-78F8-4DF7-AF13-6D113A7E963C","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":"Q2931796$1D1F230C-319F-40EF-A2D2-80BBDFA4FCD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"595e3689c097377f9139a19bd7918255f3b16e33","datavalue":{"value":"https://doi.org/10.1145/2429069.2429093","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931796$ED39E067-E0F4-46A6-9D12-065294B482B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34f2aa4a21c973caf555e4c2b12a74ee899e1a95","datavalue":{"value":"W2014364142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931796$92135731-52D8-457B-B42C-908D871BA6F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f3bd1ff5d06e991c5abb002d27b63e47835d85","datavalue":{"value":{"entity-type":"item","numeric-id":4992896,"id":"Q4992896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf1b4f1b862d62350c4e962edad3de0e9929d4f","datavalue":{"value":{"amount":"+0.9025171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931796$65015870-7C35-4ADF-A580-AE955B8423C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea51aa8b46322a71b92d5ca9d2d83318cb366e11","datavalue":{"value":{"entity-type":"item","numeric-id":1694478,"id":"Q1694478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ebda543720973d06e33eb528916bbebfc9d31ae","datavalue":{"value":{"amount":"+0.8912815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931796$2736D215-5CF5-4C9A-9C23-765B30D9CCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b676f0f263454034175e078f153762fb9cf49ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3345752,"id":"Q3345752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afe876fdef772f29faf8c76642f336478230c5a","datavalue":{"value":{"amount":"+0.88507515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931796$5EAE8548-6775-4C99-91E6-098B6EFE6D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1813dee6ade6ce3af2af73d2234b94398df48393","datavalue":{"value":{"entity-type":"item","numeric-id":5958299,"id":"Q5958299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d684dc1719d6a2c30479bb33959bd65ad47322b","datavalue":{"value":{"amount":"+0.8840484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931796$5F425959-253A-4877-8BB2-2CA0D6E82588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abcbcdee9044a65cc01e5e2c0b31274872ad02c","datavalue":{"value":{"entity-type":"item","numeric-id":5055758,"id":"Q5055758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c03d8ab74fbb15acde9ca1322c103e77b48365","datavalue":{"value":{"amount":"+0.8818419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931796$7535D1B5-A7C1-46BD-BC1E-0363FB48EB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976f6bfeefc2d3ac1125a9d7ceceac0920db7baf","datavalue":{"value":{"entity-type":"item","numeric-id":4537505,"id":"Q4537505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2d2443cf70f07491a92efcf8eff8b67e99b267","datavalue":{"value":{"amount":"+0.87905484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931796$1963151E-B7DB-43C6-B49B-AF7C31CA4B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46261b0b6fef3d6a615e57e72104c0a989c8a2b9","datavalue":{"value":{"entity-type":"item","numeric-id":4899242,"id":"Q4899242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b5e8d5837f3e84148b482118363bef14f1c1400","datavalue":{"value":{"amount":"+0.8782934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931796$7E89DF14-06FA-409D-BCB6-056FB96D6C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec58512e961243446ca882b6a45f111a9d3f2e4","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d594cfc191e6e44868bb451f009bb60faaee1b17","datavalue":{"value":{"amount":"+0.87815106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931796$ACF264E3-E9E1-4007-8925-723EFB9E2A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433c2af1de7f58122c0be9cb361053d7c235e616","datavalue":{"value":{"entity-type":"item","numeric-id":451111,"id":"Q451111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd84c1ed861b5ba7bd56b5fb5535f6112efe759","datavalue":{"value":{"amount":"+0.8758543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931796$BE663C8C-1B90-444C-8EB4-C7435503C3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350e80ac38b97a84934225206f63abf8a9d20d86","datavalue":{"value":{"entity-type":"item","numeric-id":1929334,"id":"Q1929334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b9c10923cf1401d025391277da4acb7b1c97d60","datavalue":{"value":{"amount":"+0.87329525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931796$7FB4D1D3-4413-4FBF-B482-1291965903C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931796"}}}}}