{"entities":{"Q5505526":{"pageid":7535086,"ns":120,"title":"Item:Q5505526","lastrevid":40758833,"modified":"2025-04-04T14:34:15Z","type":"item","id":"Q5505526","labels":{"en":{"language":"en","value":"Visual Mathematics: Diagrammatic Formalization and Proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498249"}},"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":"Q5505526$2477F530-C106-4098-BE9E-848E3AECF516","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12039d8b0b2ef64dd3b393ec66b658b36453c3e6","datavalue":{"value":{"text":"Visual Mathematics: Diagrammatic Formalization and Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505526$99308CCF-725E-41DF-8C91-F52B3D3BE712","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2321b9dbd97fa0cb511150d00744c2eb5d9b4825","datavalue":{"value":"1166.03316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505526$4E091AEB-B6C8-45F4-AC50-FAB707A7647B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67d61ac6ebb2d446c6174204335cc8879790dead","datavalue":{"value":"10.1007/978-3-540-85110-3_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505526$08233DB0-C16C-45DB-9E98-E3E7F6120B8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85e1d390cd713901996087b0d410d6ad3c3cca81","datavalue":{"value":{"entity-type":"item","numeric-id":1041225,"id":"Q1041225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$898B8779-E854-4146-9B21-1101C9FBB0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc80a122391c22e041c3ec1cb20febdef83d64cb","datavalue":{"value":{"entity-type":"item","numeric-id":1041224,"id":"Q1041224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$9873E53C-FE11-4AE2-9DB2-F83EBD891DBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$84D0A787-EB96-48CD-AA58-90BC30F5534A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505526$BAED22B3-5467-499F-9B78-F2801FB0B0CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505526$9E12797F-55C0-484B-A35B-476F029D00CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6e29e58c01855e64e40de5b758b32b33aad21bc","datavalue":{"value":"5498249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505526$C2157C43-DF26-48B5-887C-1760554F5054","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb2a0d26fea35078242c9d2bd845a54b09422961","datavalue":{"value":{"entity-type":"item","numeric-id":17015,"id":"Q17015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$533A6CE6-5805-48B3-BC5E-7A1E8B4EEE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"909568dabd53bb460a5ae2294cdee3516c457899","datavalue":{"value":{"entity-type":"item","numeric-id":21952,"id":"Q21952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$DEB2A402-9553-4481-B63F-6160946AE7FF","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":"Q5505526$C46F50C7-2632-41A4-AB79-1C6B5AE02B22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74c5a8c8b7287fb22e20036f77615cc52a812875","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85110-3_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505526$7756FFF3-B84A-4DB7-B978-54E7DC6D3160","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bb202ffa493d416555f4a1cd0841f84204adbc5","datavalue":{"value":"W1524257410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505526$65664172-42CA-4CD8-A9A7-C4396CE65E20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0953c9f761960dc30425d81e33b8f2967523aa","datavalue":{"value":{"entity-type":"item","numeric-id":4875400,"id":"Q4875400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$C4E1FC36-3EF5-4582-BDD6-17AEF3D6CA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aecf80aaacbc3cd80f33558f8207c0bb79c8b1d7","datavalue":{"value":{"entity-type":"item","numeric-id":5896915,"id":"Q5896915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$597C0F7C-7DE6-416E-AEFB-A2C3B75A56B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f503efe91a6bc5648cf0c22be04ff56314504ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4737278,"id":"Q4737278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$F3AE7B2B-B2B0-4464-98E1-5837862C09C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0665da0232f3a21dd4bfa9accc1ce24c9a1f04","datavalue":{"value":{"entity-type":"item","numeric-id":5714034,"id":"Q5714034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$E432E81F-D90D-4969-9868-59B4F3FD3A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91147c97b57393ab6f499c28f94e80830d1c520c","datavalue":{"value":{"entity-type":"item","numeric-id":5431481,"id":"Q5431481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$5860835A-0FD6-4691-B6DD-AA0C61F16A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0211db2c37f97a2472341db17600370696704fb","datavalue":{"value":{"entity-type":"item","numeric-id":5697473,"id":"Q5697473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$6EC92B1E-E686-4C49-A354-3EBD92DCA013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8890feff1638797e28b1edf6dcf16cf4e47ff","datavalue":{"value":{"entity-type":"item","numeric-id":4789490,"id":"Q4789490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$C9301ED4-B69F-424E-864D-4317C8BD221F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d984d011eb2451ca2b742116fb51768430d8784","datavalue":{"value":{"entity-type":"item","numeric-id":5714113,"id":"Q5714113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$B2200AD1-01B6-4CB9-B3CD-EB9293CB6C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec3bd991210c10f8c423069407024b1d4a3a7b3","datavalue":{"value":{"entity-type":"item","numeric-id":5714055,"id":"Q5714055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$A31C1A5E-4A44-48A7-9349-E1ADCAAEB0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2b4bd3b7b8a7890c5282e392feccf18e1f29b7","datavalue":{"value":{"entity-type":"item","numeric-id":4847218,"id":"Q4847218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$ACBFE73A-A35A-487E-9FC4-01603AD5F787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17aee3285a1812894731e4b27615330e17c83223","datavalue":{"value":{"entity-type":"item","numeric-id":4540990,"id":"Q4540990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$C2B24592-F4F4-4C83-A175-6460850976EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a74675de9ec559b68498463d2a754f817e265cf","datavalue":{"value":{"entity-type":"item","numeric-id":3371151,"id":"Q3371151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$6C6ED8F9-B4DF-4CF4-8975-B4BBBCF5B429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9dbc0dfe9cecb2239ba681fa18a23f600ff7b4","datavalue":{"value":{"entity-type":"item","numeric-id":2467560,"id":"Q2467560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$F42EDB92-DEB1-4C31-93E7-131AE1ADCF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10d590a8b88f5e6980c53d2fe51c2713521472bd","datavalue":{"value":{"entity-type":"item","numeric-id":5307070,"id":"Q5307070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$64CEF978-908D-4B1E-A560-FA6EE3EFF53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d3782f6d0f6f518b85254bccbfba3b50e69f86","datavalue":{"value":{"entity-type":"item","numeric-id":5714104,"id":"Q5714104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505526$22A57979-1EDA-4A04-B035-A5F3E9E777A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042e074e8d235bcbdbc777494aa60003e2ab131b","datavalue":{"value":{"entity-type":"item","numeric-id":4548194,"id":"Q4548194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d43c8dc2aee872a909552137f8d089a346e14a","datavalue":{"value":{"amount":"+0.8977198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505526$8ECF9CBB-12D7-4451-8806-031B32348A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1830a0d2591a5d5a95fcaa3763953d5ecee5d9","datavalue":{"value":{"entity-type":"item","numeric-id":948975,"id":"Q948975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca00254e5ddcabe001b6a46b9c4a08a27151a545","datavalue":{"value":{"amount":"+0.89282227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505526$94B4A131-DA25-4FE1-97C7-0B0618A44E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ec6c47c90669f6d605b93db1888b12ad2d18b4","datavalue":{"value":{"entity-type":"item","numeric-id":3067352,"id":"Q3067352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc33d1944a7104a6de98e5af189a397a9833d88d","datavalue":{"value":{"amount":"+0.89086264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505526$6B2B6F90-7361-4F5C-BFA9-1A82873629BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e85044de33508e05fcf847c1b7ea90d0664f7fe","datavalue":{"value":{"entity-type":"item","numeric-id":4548189,"id":"Q4548189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d09eef1ca46369728d3b1c4eb52dcf73cfd3b8","datavalue":{"value":{"amount":"+0.8903805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505526$98F0BA6F-B8DD-47D1-A4CE-0E04BA38ACE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8fa8eed362038183d878b36b1b3cff8e9bb1e0","datavalue":{"value":{"entity-type":"item","numeric-id":5313057,"id":"Q5313057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ef6f1cab742e3dd82beb15752fb5c5da4b90e6","datavalue":{"value":{"amount":"+0.88685477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505526$6AA9EB6F-D754-448C-8EF8-05061F61A4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b90cfae71b7fda58cf0409615016bc7339ae340","datavalue":{"value":{"entity-type":"item","numeric-id":5752028,"id":"Q5752028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e4f807c60e782853577551c82eb4744471f465","datavalue":{"value":{"amount":"+0.8817204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5505526$2DCE4296-C7B0-4F24-B362-50D5C9B7E9C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505526"}}}}}