{"entities":{"Q2881334":{"pageid":2892054,"ns":120,"title":"Item:Q2881334","lastrevid":83894384,"modified":"2026-05-07T13:33:09Z","type":"item","id":"Q2881334","labels":{"en":{"language":"en","value":"A Logical Introduction to Proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021919"}},"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":"Q2881334$C5380FE5-44FB-4A48-A2DC-9CB6A403DB5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00a32312b07848330d22b0481e94c8e5bf72f5e1","datavalue":{"value":{"text":"A Logical Introduction to Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881334$5D511D16-9093-41D3-A71E-4516AE674948","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afdfb4cd9bf6c16050e23fbec6d24ada8de4e953","datavalue":{"value":"1251.97005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881334$FB79A1CA-3E2D-45A6-A9B6-617400811742","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7f2713222287d586f43b55a0057765f2cd8d86d","datavalue":{"value":"10.1007/978-1-4614-3631-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881334$E57D9D61-A09B-4518-AF7C-F89ED66EEF84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a80f1f4c099461f511b88fc3d64a1c7c16946618","datavalue":{"value":{"entity-type":"item","numeric-id":412054,"id":"Q412054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881334$2EE83379-0A83-4E80-849D-A58686027426","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15742c770d0bc70f7b6d226092ab905ce008dd4a","datavalue":{"value":{"time":"+2012-04-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":"Q2881334$8D62EB5A-1A0C-4B5E-BA6D-B8A8F7A7CF24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3eb3832a4185e7e706fecab141c246a315531697","datavalue":{"value":"97E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881334$537B3047-4535-4C4D-9178-CBE7B6F1A399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6c8d15d0073988a89fb233e4e6db68d49f055aa","datavalue":{"value":"97E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881334$DD6B510C-1830-4916-85EB-53119623CDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cebe8d4122be7614b406d415cd75649f85958d8c","datavalue":{"value":"97E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881334$610F8E30-2EE1-4152-8B13-CDF1BFAADB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00f42a2a59ec246b1fc914a4d26db8b0ca02a1aa","datavalue":{"value":"97E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881334$05099F0A-2398-41A5-804D-C228156C6242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881334$9B8BFF2D-0D5C-451C-AB54-055BBFC4278F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881334$9E94BD68-32CE-4F6E-9BE1-92C72251F6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881334$F94C91D5-654A-4DEA-865D-7A556CC38299","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dbe3b45403bbd9b5a276f646895bf4dd6c68a39","datavalue":{"value":"6021919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881334$163874F6-6758-403F-82EF-93D22899ACA2","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":"Q2881334$28BA7E5C-727A-41BE-B2C7-9A7B45BB0BA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fd383f483662780cad18cd966274b6069b00f05","datavalue":{"value":"https://doi.org/10.1007/978-1-4614-3631-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881334$E00BCC07-B9F5-4D22-A034-5BCBFBBB7648","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b05686c7716388271f958f99145e37210e747344","datavalue":{"value":"W43605604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881334$4C80474C-436D-4EC1-9F9F-0FEBADA025B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf515b172681cf39c7e1b4776fe69f5892569cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4424086589a74d89f68081a34fe51243a47b244","datavalue":{"value":{"amount":"+0.9425036","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":"Q2881334$9A42C874-FA41-4392-AB3C-B3114FFB5443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef45221510a91e6f0ef5f48efce0e0cc4382fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5595142,"id":"Q5595142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0875d0c8c089c3ed02b2b1afe2eafac58dca662","datavalue":{"value":{"amount":"+0.93097126","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":"Q2881334$56164F46-C94D-4FC0-91F7-DC8CE1413CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"749d3636dd25bf116c421540e4812e7a6e6b8ca8","datavalue":{"value":{"entity-type":"item","numeric-id":5435631,"id":"Q5435631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e361e2474fc964bf3fe9980cb1f1bbec541e60","datavalue":{"value":{"amount":"+0.9253415","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":"Q2881334$A4566F90-82FC-4FC2-9B69-428FBE9DBE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed07df2b1f6110a584710411b3ff8f5d475f1c8c","datavalue":{"value":{"entity-type":"item","numeric-id":4283226,"id":"Q4283226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b582b52dc6313c232b9c6cfcf057bca85a21d1","datavalue":{"value":{"amount":"+0.92486","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":"Q2881334$AB3425C7-C2D0-480D-B552-5118FA150BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b1c917e05468129eb6bdafc323c26e423c6e76","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9a3813fdade3d14b534128699d6660f638584f","datavalue":{"value":{"amount":"+0.9235097","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":"Q2881334$44A5B490-E175-4BB3-B7C6-8AC02E6C161E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db244f270ef3cee52ca0891abe5c7b980e5f2766","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41709238eebf444032916f2206a8ddf1d2f19a7","datavalue":{"value":{"amount":"+0.9180849","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":"Q2881334$88F31A83-955A-4775-AC11-96789215F34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b651c97e44f8ba4968f8765826aaeda52618b65","datavalue":{"value":{"entity-type":"item","numeric-id":5228810,"id":"Q5228810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc58f6b1c146987f1bb7a1f66113f6fc990a1f0d","datavalue":{"value":{"amount":"+0.91732645","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":"Q2881334$5B2218B7-067F-4331-9B99-CF68E5835070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdfb031197c0e0b6b7404a56aab74ade9923ec22","datavalue":{"value":{"entity-type":"item","numeric-id":2843868,"id":"Q2843868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9465b5652deb9cc37f543f527f1f2b8d7d5cd40d","datavalue":{"value":{"amount":"+0.9135518","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":"Q2881334$3A2BE054-81EC-4C43-A1AF-DB74494781A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612e4d6fbf75709ed96d570758d5c877fa16107b","datavalue":{"value":{"entity-type":"item","numeric-id":5313370,"id":"Q5313370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9465b5652deb9cc37f543f527f1f2b8d7d5cd40d","datavalue":{"value":{"amount":"+0.9135518","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":"Q2881334$E264FE62-DE16-4089-9EFC-A44A395D813F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881334$54D0AB6E-0EE2-4454-B0F8-16D86905951D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Logical Introduction to Proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Logical_Introduction_to_Proof"}}}}}