{"entities":{"Q2833550":{"pageid":2844280,"ns":120,"title":"Item:Q2833550","lastrevid":79446521,"modified":"2026-05-06T13:55:37Z","type":"item","id":"Q2833550","labels":{"en":{"language":"en","value":"Mathematical problems on theorem proving. Proofs, formulary for learning and exams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6654717"}},"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":"Q2833550$CE9781F8-F3C1-4183-9F0D-D3B39E35666F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fca68d5b4e4053a9383ad7bc715e6a2e6a2d5c9","datavalue":{"value":{"text":"Mathematik Beweisaufgaben","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2833550$44003123-567C-4C35-B03C-EAE182886CDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fae2772ed436e7932dde7d42d4d5b4451daa6f0b","datavalue":{"value":"1349.00006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833550$D5E004CF-C03B-4D2D-B134-A91231FAF744","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01c16c4f144c8eccffc8371c0736ca522af4b221","datavalue":{"value":"10.1007/978-3-658-13957-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833550$F3D2CFB8-A51E-4847-8BE3-D449D86705EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5623a9c65f343845965ede21d476f8912d259b4","datavalue":{"value":{"entity-type":"item","numeric-id":2833549,"id":"Q2833549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2833550$73F8CEAB-5496-42B2-AC46-251040745E0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dac78b9bb71968e13ea8fc46c1617527ad28a13","datavalue":{"value":{"time":"+2016-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2833550$FF4A917D-C19E-41F6-9CDF-553817D785ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a2f075e50801fc760168ac8844564b3b0dd07c","datavalue":{"value":"00A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833550$EA86A935-FD74-4C34-8260-CD66E380F41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a40bc6020a753d5c0fbe6e70014c173b25058d7","datavalue":{"value":"00A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833550$440824B1-F04B-47AB-ACC4-8AE62BBAED4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"177f731dae3ca2f1ef57d35539936414d0e0a372","datavalue":{"value":"15-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833550$C9DF310A-0938-4635-BC26-1F547EAD2307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa1e8cb16271b7fcb955a4738a38222debdb9651","datavalue":{"value":"26-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833550$E56A2CE0-8399-4C19-B228-3BB4EBDDDD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c8f74e9bc09c2517bc1d9116dcf6948e9c6b6cb","datavalue":{"value":"30-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833550$14406B64-9DAF-4DA9-9BE4-DC7D572BE038","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c117c47dc1531124e7165a63ed120409d786254","datavalue":{"value":"6654717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833550$CC26DD18-E288-4390-8121-FF0DF13EEFB3","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":"Q2833550$D5795F17-53CC-4175-9994-D82B4F8229B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5c98a3efc63413bcf97012b727c1a6d1862b00f","datavalue":{"value":"https://doi.org/10.1007/978-3-658-13957-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2833550$BF9BCE38-2316-410A-923A-1583D9F19550","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91da2ffd9dd58a860d5daec8155e15b782e39f26","datavalue":{"value":"W4253873063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2833550$A6331510-796E-4435-9292-A185FD68A5ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f612fbab573055c704fde2f6ca2e6cbd366d03","datavalue":{"value":{"entity-type":"item","numeric-id":3998768,"id":"Q3998768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b6ff0052f9ea342e45e91f062744a0bbce8307","datavalue":{"value":{"amount":"+0.738495945930481","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":"Q2833550$B9DBC070-4FEF-4254-B39D-191AE853D970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b1b1faad0d8333ee36e16f1696ac3d114ecef6","datavalue":{"value":{"entity-type":"item","numeric-id":5949172,"id":"Q5949172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8441d54bc88aaf23faa59ad18105ccb053aa735d","datavalue":{"value":{"amount":"+0.7145355343818665","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":"Q2833550$11BC2A0E-8D9A-4743-877A-78D1735ECC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c2586b134b31f6f0cf4249d837e9e06588c0172","datavalue":{"value":{"entity-type":"item","numeric-id":4830382,"id":"Q4830382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8441d54bc88aaf23faa59ad18105ccb053aa735d","datavalue":{"value":{"amount":"+0.7145355343818665","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":"Q2833550$CAE29E2D-8A75-403A-9DC3-147CC31DC986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9245f4521b0b648066cf105fd22f89a03863662","datavalue":{"value":{"entity-type":"item","numeric-id":5494276,"id":"Q5494276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ec929e23f4ee8f41717633d726c4714d9255f6","datavalue":{"value":{"amount":"+0.7054978013038635","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":"Q2833550$164EF99A-023C-40F4-96E4-B939283F413C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f06f2c3e0a94abbf5a6d5b29078ce9c116855f9","datavalue":{"value":{"entity-type":"item","numeric-id":4989471,"id":"Q4989471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6bc3fe261b40a761e0523d4564eadc86c9a5285","datavalue":{"value":{"amount":"+0.6944396495819092","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":"Q2833550$383C6D31-7979-4E71-B424-7738957D1387","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical problems on theorem proving. Proofs, formulary for learning and exams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_problems_on_theorem_proving._Proofs,_formulary_for_learning_and_exams"}}}}}