{"entities":{"Q3336730":{"pageid":3347438,"ns":120,"title":"Item:Q3336730","lastrevid":45995455,"modified":"2025-12-21T11:26:34Z","type":"item","id":"Q3336730","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3870635"}},"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":"Q3336730$7881333A-FEAA-495A-A976-07A1C0C76005","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fefef09ebc270585c8a5c98a9bcf8bd7cdeace0","datavalue":{"value":"0546.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336730$E6F331E6-CB41-409A-9571-C0A8455326A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72a2aec874df324dde86aabcfabe470db591a65a","datavalue":{"value":{"entity-type":"item","numeric-id":175270,"id":"Q175270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3336730$396DE752-DFF8-466C-BFB7-8F00A52ACFED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3336730$55CA3965-5950-4350-9217-1185EE5E0F69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336730$38DF13A4-FD68-42D7-AD8E-3DED615B2F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336730$A724BCF8-98D5-4101-B9CE-6A8598E6B3D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"458eef8bfecd5f25d98529007b45c8c921c96a24","datavalue":{"value":"3870635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3336730$D370DA92-0985-4925-A5E7-EAB4934A1B3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82db2410f7cb36b26154919ad626ca1e681d8b2b","datavalue":{"value":"interactive theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336730$799BC91E-136A-4EFA-A07D-17F73BF234F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fa7988c63cf9a130b471e785d4c9bb6d51baf3","datavalue":{"value":"teaching elementary logic and axiomatic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3336730$8D5C02B7-0C4E-480F-9D43-3A21D70F36C1","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":"Q3336730$C70AE794-65F9-4F3F-8D62-ABBE8FB387A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a66faa01dbce681557a69b916ebefc9578b7e4","datavalue":{"value":{"entity-type":"item","numeric-id":6173578,"id":"Q6173578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2ec4c1f134ca1e1d8d1f780f7dc148ad2d250f","datavalue":{"value":{"amount":"+0.9439189","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":"Q3336730$F02568B2-87DC-4A39-9BD0-FDFD027D1EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a936d133626ea4aea0632a5ece76b255664803e","datavalue":{"value":{"entity-type":"item","numeric-id":287356,"id":"Q287356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a3f9c54353479b482d6ffc505a4951bdad803b2","datavalue":{"value":{"amount":"+0.92917377","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":"Q3336730$003454F6-C3E7-4C95-B258-86A95ADDAB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31ac5b611e1dc394bc6dbb9071cf4d1998a3862","datavalue":{"value":{"entity-type":"item","numeric-id":4524769,"id":"Q4524769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79dc28884824b48bad743b7f23a91719e1c19150","datavalue":{"value":{"amount":"+0.9199953","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":"Q3336730$54D45A38-04CC-432F-AE21-AA44058402D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbad55ea327bd2b71a72261e8db306a544d6454","datavalue":{"value":{"entity-type":"item","numeric-id":3021903,"id":"Q3021903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837a946a42a1796e9c87e4154b0d8e40be913133","datavalue":{"value":{"amount":"+0.91883874","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":"Q3336730$116E0C80-B506-47CC-AF7D-9AABE7EC9BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32f2cbb8a453222b98cdf0e974734e0b4ea4a11","datavalue":{"value":{"entity-type":"item","numeric-id":5094469,"id":"Q5094469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a8305ce5407da416b8b720858f8c1e57199bf1","datavalue":{"value":{"amount":"+0.918514","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":"Q3336730$63680812-D0DF-459D-92D9-B53194274057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b334918dd1a2aa0f0f022268f87ecb12c10c047","datavalue":{"value":{"entity-type":"item","numeric-id":2881098,"id":"Q2881098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ee0d26d539d4d499dfe0f0838d27136e6fb110","datavalue":{"value":{"amount":"+0.9160582","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":"Q3336730$C798814B-3B8E-4B8D-9E97-FC742351B410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9726cc7376f9c9e17be44376106ad9280d3b83e4","datavalue":{"value":{"entity-type":"item","numeric-id":2819200,"id":"Q2819200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27eb9e233eb8dfbe57a0a3e44bacfebb20216e69","datavalue":{"value":{"amount":"+0.9152473","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":"Q3336730$F75D3BC0-8C07-455C-B1C8-A8CE37F91A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a02b2bfea1c5f47cd601f5ce8d9525ee86d87fe","datavalue":{"value":{"entity-type":"item","numeric-id":5219926,"id":"Q5219926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f9b9023008fde40f43848c558c0f561f3c4ca8","datavalue":{"value":{"amount":"+0.913592","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":"Q3336730$179A7D10-5B5F-4346-85F7-435720FB1857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbca7a24b90f065f1d373a5ca32fd668e0203f3","datavalue":{"value":{"entity-type":"item","numeric-id":5741559,"id":"Q5741559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23a7682e76a7a0cfd7e6509021fb90a7b0459a7","datavalue":{"value":{"amount":"+0.91126853","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":"Q3336730$3F3961D4-DD39-4001-BFC1-0F873634BCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b028676b8970ef098bbbc9e5238ddb908899ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":1353946,"id":"Q1353946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75bb43e3a42af6b23030247c7e085083d9f94718","datavalue":{"value":{"amount":"+0.90364826","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":"Q3336730$0F1487A3-A3AB-4D25-89FE-CC1EFAA84C7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3336730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3336730"}}}}}