{"entities":{"Q2925448":{"pageid":2936168,"ns":120,"title":"Item:Q2925448","lastrevid":52116062,"modified":"2026-01-20T23:29:58Z","type":"item","id":"Q2925448","labels":{"en":{"language":"en","value":"Type theory and formal proof. An introduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6359834"}},"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":"Q2925448$EE1C421A-C51C-410C-849C-970E46C838C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f72ce41e2947095769e0cd891a8eb5dc34be2f8","datavalue":{"value":"1317.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2925448$7A1F4A8C-BF2E-4BCC-A9F8-13C968482436","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fed831780876b632b45692402cbf97a218389869","datavalue":{"value":"10.1017/CBO9781139567725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2925448$E18DE1CA-CF72-4738-9DC2-84EAF6D43583","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccf0e6228bb42cc5ee8cdb809da3f851a52cf91a","datavalue":{"value":{"entity-type":"item","numeric-id":740480,"id":"Q740480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2925448$71A24E9F-9AE3-455A-A84E-7955923E592D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2925448$17795C1E-F665-400E-89C3-7A965D415427","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8261378a337a1da714f0135ca9b6b147fcd6aaa0","datavalue":{"value":{"time":"+2014-10-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":"Q2925448$6AC03CE0-F230-43A0-9D84-7DFBAC7EC270","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2925448$4B56C2EA-76E1-456B-9592-4EFE06F10925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2925448$65A21C15-29C0-4F69-98A9-D235119581D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2925448$D20F6497-40F2-4BB3-B0C4-94A512163A9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4af223127e075f19c79f5e7d35feab19b2a598a1","datavalue":{"value":"6359834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2925448$5468D671-CF54-4350-AA10-7C1540CA0762","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2925448$BFB1DE25-DE47-40F0-9F7E-6FC322A7C175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2925448$C3A2ADF0-FAEA-484B-97E7-948E853FF260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2925448$B991C82D-5085-4064-B70B-935AA5411D66","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":"Q2925448$727E84DA-B3C0-4945-BC0E-8792ED6ED2DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c15e905d1dfafb63c492fe74c5070d9a71bd80b","datavalue":{"value":"https://doi.org/10.1017/cbo9781139567725","type":"string"},"datatype":"url"},"type":"statement","id":"Q2925448$C510EBDC-768F-4309-BC08-A399C9E56BCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92dd2c4339e13464bb92e864f3e8337587a3a2e9","datavalue":{"value":"W4251964558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2925448$C9023DC1-E8CE-46F8-9550-FD910B2D9302","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a98cea46f6d3e1c33cff3868562aeeb4ad03a58","datavalue":{"value":{"text":"Type theory and formal proof. An introduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2925448$A4A4253A-1B95-45E1-8092-58C1D1C52D5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b764ff8255aa31144656f6da0b0ff71ba2b9d396","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea2d7a0aadd09b31ed4badde948e9a17c796c23","datavalue":{"value":{"amount":"+0.7954550385475159","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":"Q2925448$E19C9945-DE2D-491B-8043-B50A8B31CCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8f21bdba063a65cb2f18ae2cd345c7cf617a551","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb57c2e6111431db286fa646c31aceaaae15389","datavalue":{"value":{"amount":"+0.7912502288818359","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":"Q2925448$D79C92BB-1E4A-46C7-A999-C6C36E3F0E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cdcf48e2229f3526631ece2a3e1a80cc930fcc","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c8acdc5f70da3f0f4d0760c8aaaddabaada257c","datavalue":{"value":{"amount":"+0.7841259241104126","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":"Q2925448$29D4D199-FD6C-4A12-83FE-9A6F8FDAB188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb02f96daa6e4e21a1ed6c7402d449a1dfba3e7","datavalue":{"value":{"entity-type":"item","numeric-id":639262,"id":"Q639262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b98ee65af39651d95b037439a40af1d2915bd4","datavalue":{"value":{"amount":"+0.7817642688751221","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":"Q2925448$395CC333-8E57-45D9-B98A-C20DBF609523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776a7f81bcf627160ac001fd4998e9de8ac0400e","datavalue":{"value":{"entity-type":"item","numeric-id":4215639,"id":"Q4215639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e62a3a6a1f2659f9dbc2aaec0db09038f72509","datavalue":{"value":{"amount":"+0.7740752696990967","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":"Q2925448$C837AC01-06DE-4B4E-82E2-E06F9D0426CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2925448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2925448"}}}}}