{"entities":{"Q6535722":{"pageid":14146865,"ns":120,"title":"Item:Q6535722","lastrevid":55573351,"modified":"2026-02-17T19:04:15Z","type":"item","id":"Q6535722","labels":{"en":{"language":"en","value":"Mathematical foundations of computer science. Mathematical thinking and proof -- an introduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7800914"}},"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":"Q6535722$31C58F1D-55B3-4DD2-83E4-F255EB58FC52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e1f78d7948af520e0206b19156ec98e2b2414ec","datavalue":{"value":{"text":"Mathematical foundations of computer science. Mathematical thinking and proof -- an introduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535722$2E3CE3D7-AE3B-4493-9235-24FD61CAE897","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"213d9dd7bc51cb720ec1c8bc3dd7d6a7128e766e","datavalue":{"value":"1543.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535722$607B7BBE-77B6-46A1-935A-207C5A7E8344","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31c6d2c6837e185e99fe4c46a5b2c8528a37d7a0","datavalue":{"value":"10.1007/978-3-658-43136-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535722$525D5BAD-78EA-4581-8518-BD534ABB3DA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aad099f57a9ffbfe76501531fc67aa620054130c","datavalue":{"value":{"entity-type":"item","numeric-id":202501,"id":"Q202501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535722$B0A1AA24-85CC-486E-8A5C-B78C7ACD66C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64af706d31db06ff1d10ff9957e17edb0a072503","datavalue":{"value":{"entity-type":"item","numeric-id":475338,"id":"Q475338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535722$1E66CA5B-CD33-4E00-9ABF-9E33255B8C3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddc536a77b5abf6ca8dc6c14f526e73c6ecff903","datavalue":{"value":{"time":"+2024-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535722$B29CF68E-AF57-4C3C-A5BD-96361E659234","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535722$F3D1757C-8A01-4335-BC5D-19ED8245A6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a40bc6020a753d5c0fbe6e70014c173b25058d7","datavalue":{"value":"00A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535722$011CC131-3465-4C1B-A590-7589C720678A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69c55927ac771ee269d7cca57e4e8b08a4499347","datavalue":{"value":"7800914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535722$7AFD0962-7A6C-4A1E-8528-FE58D72A5C82","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":"Q6535722$B1F6DF2B-D503-4DEB-9B2B-2107B2AFDB00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad81cee77a7ea4f03c93a5cf737eeeeca8944a3","datavalue":{"value":{"entity-type":"item","numeric-id":2995546,"id":"Q2995546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bce058ca19925c5d9c7118b2adbfcb8ac0e8633","datavalue":{"value":{"amount":"+0.8050765991210938","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":"Q6535722$B9E6CF6D-6948-431B-9633-7B7DEA3A42C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ebf792c13ad27b78e77049a3f38ed22a998a795","datavalue":{"value":{"entity-type":"item","numeric-id":4938158,"id":"Q4938158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1d5f2f0525e8b75400f8a61bc4b6e489e1795c","datavalue":{"value":{"amount":"+0.7860509753227234","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":"Q6535722$CF20C781-F123-438D-A1ED-D1ADF2BC7DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c1c883f45cd3162ff8e1cf1863d808a4491aaa","datavalue":{"value":{"entity-type":"item","numeric-id":2719333,"id":"Q2719333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ba1ab3cea902e913e283c8c9a0c3b6852c17b0","datavalue":{"value":{"amount":"+0.7749719023704529","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":"Q6535722$AFFC7080-4A9C-40FE-972D-F56E8432CC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5adb6957e05875f15835006cd1b5c0a509ddb74b","datavalue":{"value":{"entity-type":"item","numeric-id":5896115,"id":"Q5896115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc7dc1abad4fd6ab3b38d95f04c9bf6bbb97e5f","datavalue":{"value":{"amount":"+0.7655580639839172","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":"Q6535722$0173A47B-AF17-4168-9B46-5CE2C049A79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61b18f439ea4672f92d03839ec0c2c743372b94e","datavalue":{"value":{"entity-type":"item","numeric-id":4024062,"id":"Q4024062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949765824d8063bbc9f442c2b502dff9cbeba592","datavalue":{"value":{"amount":"+0.7600855827331543","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":"Q6535722$A497BFF2-23BC-4EFD-8E35-95D00BF33AA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535722"}}}}}