{"entities":{"Q2945656":{"pageid":2956376,"ns":120,"title":"Item:Q2945656","lastrevid":44758464,"modified":"2025-11-25T20:31:52Z","type":"item","id":"Q2945656","labels":{"en":{"language":"en","value":"Formalising Knot Theory in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481880"}},"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":"Q2945656$9E60DBED-451D-4987-967F-D60BB9FA9CE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07aac60eb6873b7a76f0207cd93ffb3f51f59e8e","datavalue":{"value":{"text":"Formalising Knot Theory in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945656$CF81E7D0-A932-4570-833D-962E267C80A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7744d161242c511bb569d35a6d174921bb53c982","datavalue":{"value":"1465.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945656$7FEA6491-5638-4C82-B9E0-D0E1548E1C7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb4858006a3be479327628ca01767c3acf9c41ab","datavalue":{"value":"10.1007/978-3-319-22102-1_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945656$B4DF4F66-FB94-49AF-88E4-37015B89ACE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdaec1f6eeb05c5c6613cc33132b4036edcfaa55","datavalue":{"value":{"entity-type":"item","numeric-id":2945655,"id":"Q2945655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945656$FA1A5A5C-BEAA-483E-83E6-E1EFC91B4F4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945656$5F44AFDB-666B-4ADC-BB51-4388FBED9D46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945656$FE1B1A37-B901-45DC-A1B6-93FA08F5A571","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945656$AAB6D679-14A1-4394-8F12-764337E038CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bc7d72afc31daa56187ddeacf9fc4e222846fe29","datavalue":{"value":"57K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945656$6EB0C803-ADCB-4758-BD09-9C5D951D1638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed88840504cea8c5c9e73949064c2bdfc3af3fd8","datavalue":{"value":"57K14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945656$F41471F0-9E34-4469-A097-F479BA3350CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1b85da2701b68c2a3228ee3cc254fb1a4996720","datavalue":{"value":"6481880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945656$9B35031B-4949-4C34-8DEB-7B07E6B877C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658126897c7f6bf3db78fea48b2876524c1d8c9e","datavalue":{"value":"formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945656$50D58721-7105-49ED-985B-FE4E06144BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0baacc73395c818e15aa4c25d8cd0b4e634bf85","datavalue":{"value":"knot theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945656$B8C78F97-4257-427F-A535-9114D580EF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5657b78f563ab9b730cd7c831a93db053014d0d","datavalue":{"value":"Kauffman bracket","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945656$6E74729E-07A6-4721-B1D1-5E246E327AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d3b04525f4c03ed9935b9f373487f3efe62d63e","datavalue":{"value":"bracket polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945656$9C936164-657E-41A3-B056-9A7B24C34956","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945656$69552C1F-9E16-4605-9CBC-C35D6827D746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945656$74933BE1-EA8A-408A-B575-F0E200E58CAC","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":"Q2945656$96FF58E1-2969-4DD6-8288-C4CD329A3C92","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":"Q2945656$0E359A11-54E9-4B63-93CF-09F01855891B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9755f1777d6a46b5ce13a19b58bb1543ffb6cf8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22102-1_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945656$5C5961D2-33FF-4D6B-B8D5-4063E3556353","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b300d616b347b413f853aeb9533fe9ed0dc880da","datavalue":{"value":"W2399483259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945656$446E961A-6913-4FFA-A08E-55BF2A1CFC39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b7a54e5964ce4b015f7e2daf3541e8482256bf","datavalue":{"value":{"entity-type":"item","numeric-id":3837292,"id":"Q3837292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945656$6766741A-2D4D-43B7-8D12-6C1A9D12CC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7fa36fd60ee1a633da8b63a6b78c98d2b6256c","datavalue":{"value":{"entity-type":"item","numeric-id":3763263,"id":"Q3763263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945656$C374F9A2-3F67-43C8-A8F4-EE5D608E73A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbfd889c41004e23706ddcb58edfd5d9605207a","datavalue":{"value":{"entity-type":"item","numeric-id":3322863,"id":"Q3322863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c82603e9587a063cde4a847e58e00acc4a91106","datavalue":{"value":{"amount":"+0.8743991","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":"Q2945656$FCF42232-BEC2-4CCE-8626-5620F898A4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc95125793835122b30d40276e58f8413d89e64","datavalue":{"value":{"entity-type":"item","numeric-id":3062059,"id":"Q3062059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6873a1d702a7fd106dba99afa9db8a464744514","datavalue":{"value":{"amount":"+0.8734081","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":"Q2945656$8B6D213C-7F93-4346-9901-301076B41CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b1573915091379033720242830fe3e285a2243","datavalue":{"value":{"entity-type":"item","numeric-id":5307073,"id":"Q5307073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1e2a5d7a184ba4207f43129717601f588ef869","datavalue":{"value":{"amount":"+0.86369896","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":"Q2945656$28DBCEF1-659C-43B4-8589-958770D8ADD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2847302b44fc3049c114692a6d76b8371330f7","datavalue":{"value":{"entity-type":"item","numeric-id":3559773,"id":"Q3559773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd7645ca25bb07b0083b744161cebe201c26f8c","datavalue":{"value":{"amount":"+0.86115074","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":"Q2945656$5ABCA88A-8CDC-4706-B24F-728B9465FAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f6e05a9adc35b575782fa3dbc252f9c75f18d3","datavalue":{"value":{"entity-type":"item","numeric-id":3055747,"id":"Q3055747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a6c562f4cc51a6b6f7746d10b3bdfe643098276","datavalue":{"value":{"amount":"+0.8505434","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":"Q2945656$E4C8140E-AE7D-498C-8334-0EDD8B103630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd89d6d8350306bf45af671201bd22f55a1b29b","datavalue":{"value":{"entity-type":"item","numeric-id":2323451,"id":"Q2323451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48956d105a941f1d42906ad7d919d75a8afea95e","datavalue":{"value":{"amount":"+0.84798527","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":"Q2945656$248395DA-42CD-4272-A300-439EFE3AF291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aab297f6d5d50aa494945cc26ba9dcfccf2c10f","datavalue":{"value":{"entity-type":"item","numeric-id":2829238,"id":"Q2829238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48956d105a941f1d42906ad7d919d75a8afea95e","datavalue":{"value":{"amount":"+0.84798527","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":"Q2945656$85308BD5-B263-4D16-A944-C3A0661BC215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf98a15ea8a53104bfce491f6d7b9acd0cbbc8fa","datavalue":{"value":{"entity-type":"item","numeric-id":2287906,"id":"Q2287906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758cafa44f8896deaab6a1ad59130cd30ec722db","datavalue":{"value":{"amount":"+0.84779614","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":"Q2945656$6C267767-94F2-4C1D-8D1B-517EDB4D241E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd5c2832aabbf4b304824c9b3020a0ed9253b4e","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d8f82277153a7fa7c6cf35901859db4cb3dcabc","datavalue":{"value":{"amount":"+0.84601855","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":"Q2945656$EAB22A31-8C3F-4228-8C28-E37CDDEDC2C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945656"}}}}}