{"entities":{"Q4596669":{"pageid":6626254,"ns":120,"title":"Item:Q4596669","lastrevid":90005207,"modified":"2026-06-04T18:50:45Z","type":"item","id":"Q4596669","labels":{"en":{"language":"en","value":"Design patterns for mathematical proofs. A guide, in particular for computer scientists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6815270"}},"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":"Q4596669$6FD099C6-7B07-4579-B48C-6760B36BF0AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ee1d521ce42278b9b15a6cecd4c150990ea82c7","datavalue":{"value":{"text":"Design Patterns f\u00fcr mathematische Beweise","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4596669$CF853499-7E82-4651-A3A3-9AA67017FB68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edb4470cbd93c815cdff595d7f470a685f7b1416","datavalue":{"value":"1392.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596669$03F3AAB7-4511-4E83-9433-8BA8E635C146","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1699951de738998a15e89ed56fba1d4fbd0bd8d","datavalue":{"value":"10.1007/978-3-662-55652-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596669$40006F15-BF8F-4D3A-B134-15A74FAE3C43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46afdc2ba8b421b99618c98d29e4160d6699ffe","datavalue":{"value":{"entity-type":"item","numeric-id":1119560,"id":"Q1119560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596669$5E0A941A-D898-4816-BCFA-C9FFBA1C41FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad85fd0db6467d71e74313095d444d398003ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1097715,"id":"Q1097715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596669$EDE9D321-7036-4EF7-A5E9-9E3373572EC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"356666c8207aeaac62652c7da95fdf995e8239ac","datavalue":{"value":{"time":"+2017-12-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":"Q4596669$B0DCACE6-DA17-4F00-B917-85BB4A2D2A54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596669$BBA36670-03E1-44E6-AEE2-C26C2FE7B86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fab80b3c311bdab63b83abca82915a779bf7fc0","datavalue":{"value":"00-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596669$D2E1A1C8-5653-4E8B-A7E0-A1D075358460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a40bc6020a753d5c0fbe6e70014c173b25058d7","datavalue":{"value":"00A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596669$BE2CB503-4F50-480B-85EE-F8387FFAB1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596669$BEEB75D5-BB6E-4E22-838B-345BD29AF9C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45902f514ab13b24c74d768d722579169d40a27a","datavalue":{"value":"6815270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596669$5E0A7D1D-8962-47F3-9B50-DFD7A0143892","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dfc6b635e8b6b4324d6877f04b011daea3a607d","datavalue":{"value":"proof by reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$DCB6251B-5541-440F-B22B-E651A38F99DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26536e9fdf8b6a967b5cbac90175047e068c0566","datavalue":{"value":"contradiction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$9EE2521D-D26F-4485-ADE5-5927B41AE6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$30BEFF13-D285-4F5B-8C44-876F4F964DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$965CFBDC-85E9-405B-88A2-9F2300F80030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7630450e7a4a97341ced40d03fb58bb2e6daef9f","datavalue":{"value":"diagonalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$1C9FEAD3-4DF4-4613-97C9-11409A011EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"207779e893177ffc47a5f6afda6be6e200b603f5","datavalue":{"value":"Hilbert's hotel","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$AFB70753-855E-419D-8A98-30511C24F6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faf1c61e8846e43eb80314c61cfe7f235eec280b","datavalue":{"value":"Noetherian induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$FD28E167-22CE-448C-8DE4-FDC0A42125FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03db5f2f7e154dcb6c36a39ded15c0c7ed6b230d","datavalue":{"value":"proof by implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$D32235CB-C3C4-4FCB-A122-BC6E49984F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f181cbef843e3d86939e589846256831f2c92882","datavalue":{"value":"contraposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$68A689ED-7D99-430C-BDAA-DD489663587D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$ACF8480C-A200-4C08-BE4C-6B5E09C929B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d78aabd17092e25ecf60ae5cf3aa51e65a5816cb","datavalue":{"value":"case-by-case analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$E97A7DA2-0661-4A7B-BE4B-6B7A0585FB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f55bf1df682210d59e19393fa36519cec337e7","datavalue":{"value":"structural induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$09B57737-FDA2-4286-9023-D1CE1C116F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0c4b162ee3301a123a278cf4bf71887e460f0b5","datavalue":{"value":"ordinal numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$B49AB386-C1F6-4D67-9C15-6716E350F7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c518db5db98b107b0834fccd33a9aeeeb64507a","datavalue":{"value":"equivalence proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$EAF84C55-0EFF-43D7-A8D0-36EE801AE91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8149ef30dec4f507ac4672491a735d553029f563","datavalue":{"value":"tree induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$60298B1D-BEAB-4767-825C-D05A4C9D93B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eaeceddf514f02fd773f9b6838af990089d3011","datavalue":{"value":"\\(k\\)-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$34D2765A-D67D-467A-9579-8F42F3F0F6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940c7151be8c3243eb86ae651330d69f7c5bb8e1","datavalue":{"value":"proof of existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596669$9C96EA0F-3D4A-428F-A7B4-C7173BE53B72","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":"Q4596669$E6532405-99F0-4346-8B43-66D4618314EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c38f3ec5e72ddacdb2c39ae4d92d08e744d151ae","datavalue":{"value":"https://doi.org/10.1007/978-3-662-55652-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4596669$0AFF031C-CFDD-4F79-8136-929119E72740","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f6fdc3dd35bfee9ac7c42b9f5e28cd69a199778","datavalue":{"value":"W2753710911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596669$3126B892-D229-458C-AC5D-C58C52F61580","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e480da8fda8411f577132c6652b138226ef4f33","datavalue":{"value":{"entity-type":"item","numeric-id":5254917,"id":"Q5254917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84dd587a775bb00efecd8861bf6fe140b3f3f59f","datavalue":{"value":{"amount":"+0.7280651330947876","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":"Q4596669$C005FFBD-D696-4787-A1A1-A445D9B2B73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df73f3a933df512b0dce8dc580eabc92aafcea88","datavalue":{"value":{"entity-type":"item","numeric-id":5220422,"id":"Q5220422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb67b89ef5267933dcd03b6741791cf6e6e2f142","datavalue":{"value":{"amount":"+0.7262518405914307","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":"Q4596669$89A54436-77F4-4E2E-9198-3127F3D4C731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de42bb7d298f385dfbab995b39859c473f98169","datavalue":{"value":{"entity-type":"item","numeric-id":5107104,"id":"Q5107104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d86c626d8f9730099d0db4c7c64e77459ad60f0","datavalue":{"value":{"amount":"+0.7179808020591736","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":"Q4596669$BD00164D-9DC9-499D-8350-E357E661EAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94c48ee8f14b5f9e403cfb12d46fd76e48994b3","datavalue":{"value":{"entity-type":"item","numeric-id":5364939,"id":"Q5364939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859cdeb8b15983d4532bc43f446674586545a840","datavalue":{"value":{"amount":"+0.71630859375","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":"Q4596669$39DFEA2D-DB67-4536-922F-E0054EAC8673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193fd1becbc7f3633909af8ad5d97e06470d4c4e","datavalue":{"value":{"entity-type":"item","numeric-id":5404512,"id":"Q5404512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3c83493880553d499f7ad3c4dbdf2031ad7581","datavalue":{"value":{"amount":"+0.7139256596565247","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":"Q4596669$02EFFDB8-6528-4D17-8C3D-DB093430EA4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Design patterns for mathematical proofs. A guide, in particular for computer scientists","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Design_patterns_for_mathematical_proofs._A_guide,_in_particular_for_computer_scientists"}}}}}