{"entities":{"Q1317862":{"pageid":1328612,"ns":120,"title":"Item:Q1317862","lastrevid":68757543,"modified":"2026-04-13T01:51:30Z","type":"item","id":"Q1317862","labels":{"en":{"language":"en","value":"The equational part of proofs by structural induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 536862"}},"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":"Q1317862$6B5CC846-9818-48E5-BDD6-37493280F7A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db854b694c5b8491ec7af189a364414c47faf85f","datavalue":{"value":{"text":"The equational part of proofs by structural induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1317862$D8B8713E-2971-418E-8E94-CB42540268B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb02b0c7dbf4ae3aefeaf4723819c296932e47eb","datavalue":{"value":"0797.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317862$926AA36F-27DC-42FA-BDBC-EABF93F9A191","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e7403473242ae75e1ff641c2a4f12280ff5aa5f","datavalue":{"value":"10.1007/BF01990537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317862$B8750DF1-82A1-43BC-BC71-B3B4E87BAA6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b0aa3f954e9adb388216269ba8382b87a46cab3","datavalue":{"value":{"entity-type":"item","numeric-id":1317861,"id":"Q1317861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317862$8C39A469-446B-4A77-A17B-4B50963D0CBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317862$0394B9E5-01B5-43E4-BC6B-1EB9D8FFF89A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a98b516b3b9176710c62782f44acda15286afefe","datavalue":{"value":{"time":"+1994-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1317862$3EDEC3DB-21F1-4843-A9F1-BB78519197D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317862$F44B9378-08DE-4A7B-92D1-4E967FF5B5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317862$E6A4866C-6BA0-4AED-9018-435DA63DB8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317862$01507E65-2177-4D8D-90D6-295798CF848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317862$EFBD9626-E621-4D0C-B92C-2B8F960D4C4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f747e8cdfb021e5b41220ee7c81b300155ebbb3","datavalue":{"value":"536862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317862$B4F58A79-6638-4A3A-A803-08210C112F97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317862$BA65990D-332D-474C-B981-F70FDA18F72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f17ea1aaf292843045de6c8e0fba1afa1d6af9c","datavalue":{"value":"initial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317862$49DEE425-3DD6-4389-9BE3-5F5AF71FCF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317862$069D1D0F-D9AF-4520-83FC-21CAF167E5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f55bf1df682210d59e19393fa36519cec337e7","datavalue":{"value":"structural induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317862$A76527E6-71A8-47A1-8B85-CAFEB005B31C","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":"Q1317862$E3220E83-B100-4BF7-9CAC-7C5FCDEBE41A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bb3344b4f89870291c44462654819d8a7d7295","datavalue":{"value":{"entity-type":"item","numeric-id":3809306,"id":"Q3809306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317862$69F802E0-2702-48B0-A308-AA6DD25E7B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317862$E9B5EA34-66BD-43F3-904A-C5A284AA64BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4862c01771a189709fbc4daf46a6a0c7ceae4c30","datavalue":{"value":{"entity-type":"item","numeric-id":4028349,"id":"Q4028349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317862$39C70DB3-6EF2-46FB-AC50-E31B1D891C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317862$F233E17A-0163-45CD-BDCD-39CDE3C6300B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317862$32162B16-74C0-4EE1-BBC0-D44805BD3483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317862$B868B85A-225A-47E2-9C44-51E9EAC7BAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317862$17E814D0-06E3-4BB8-846C-35CD7E38C02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ffcdb6809d7206633a782158c40b3eb602629cf","datavalue":{"value":{"entity-type":"item","numeric-id":4246727,"id":"Q4246727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317862$F9A158A7-CEC0-43F0-A5C5-46D5D636508D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fd391857709a1825aaf51abf8d91be995f87d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347863,"id":"Q3347863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac9f96e31778501d127db7513a1d30c9391ee0d","datavalue":{"value":{"amount":"+0.93173826","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":"Q1317862$C5B2B5AC-A273-4B84-8A46-B223B41A3E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4baa166647374ce26227c8ae876aaeeb41de44f6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eacb71aefd088a4a8946acd8d947608a5c772a24","datavalue":{"value":{"amount":"+0.9240417","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":"Q1317862$B0D60312-6BA3-42F2-BFD4-D8FDBCE60BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b86601426bfb78025a38db16825c3a8696fd5be","datavalue":{"value":{"entity-type":"item","numeric-id":5055774,"id":"Q5055774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4590a9b4e04c06e70612b044e0c402628025a7a7","datavalue":{"value":{"amount":"+0.9132004","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":"Q1317862$E3D45423-7D9A-48B4-84BB-108EF6CBCC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf406162bd23dd9c925caa640d4857ed42d8c326","datavalue":{"value":{"entity-type":"item","numeric-id":5881278,"id":"Q5881278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cbc5c045db7cc1874193d625079093e0060e229","datavalue":{"value":{"amount":"+0.8948527","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":"Q1317862$EDD3FE7B-B47C-4533-BA1D-C36D1A03FFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ca538f9a91f5be72cb599d2b7a970193505baa","datavalue":{"value":{"entity-type":"item","numeric-id":4447245,"id":"Q4447245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87cfea3b5a7192f411827e07446fe918a2d59c13","datavalue":{"value":{"amount":"+0.88997614","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":"Q1317862$AD0F2AED-E4BD-450E-BA3E-79B891E2A3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f8956b53f6473c6f8f883d3381ddb917c9ac47","datavalue":{"value":{"entity-type":"item","numeric-id":4222756,"id":"Q4222756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7a9822fd580add1f9a93ca80c861822c8f57a4","datavalue":{"value":{"amount":"+0.88953924","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":"Q1317862$9285DECC-4F95-4306-A4BF-7C89990FDBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb2995e256b76dcca4a3a251f2a6ae52e3e3c4d","datavalue":{"value":{"entity-type":"item","numeric-id":4299008,"id":"Q4299008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608b7f5c08baca24e9271eeb701ad8a17dada99d","datavalue":{"value":{"amount":"+0.8881798","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":"Q1317862$7A8EF9C3-D46A-4528-B3D5-212D9E102607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50ad8a3efeeccd952f15206d6520ed593ff8b29","datavalue":{"value":{"entity-type":"item","numeric-id":5756773,"id":"Q5756773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6dd9d0e90907aa6b64f174dfb770e354166691","datavalue":{"value":{"amount":"+0.8856869","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":"Q1317862$62B43F2B-9EF5-4805-BBED-5858BACEBB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c5c7cc65fa7605d234cc789f21aa130bbc4dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4474856,"id":"Q4474856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2a8040f4821b998abc801c8fa1963bc9db71b7","datavalue":{"value":{"amount":"+0.8845384","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":"Q1317862$BDD9FFB2-7E74-44A3-B215-9CD06C766EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4564dcbe209d24a2f509e63518773f769d6b6c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4524792,"id":"Q4524792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f421ee1774e735d549ef7b22ed8dd8bd8f434b4f","datavalue":{"value":{"amount":"+0.884224","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":"Q1317862$45B74D46-1601-4ECE-B72C-31DB24B368F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The equational part of proofs by structural induction","badges":[]}}}}}