{"entities":{"Q2219378":{"pageid":2230121,"ns":120,"title":"Item:Q2219378","lastrevid":78337055,"modified":"2026-05-06T11:21:09Z","type":"item","id":"Q2219378","labels":{"en":{"language":"en","value":"Formal adventures in convex and conical spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298554"}},"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":"Q2219378$1A68FC5C-E68F-446E-8ABA-52DF53C81C21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8319a939e0c0baa964b66ca2389a62c84755ec17","datavalue":{"value":{"text":"Formal adventures in convex and conical spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2219378$C20301BA-312F-4903-99FF-016E196191E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0ac39c7af2b813131db6f1822e5348f47abd4f7","datavalue":{"value":"1455.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219378$54B9BDD8-B47B-4E2E-BE60-83E57BC47920","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb4a0095e600d9d78b861c0629ea7a1294c46c4f","datavalue":{"value":"10.1007/978-3-030-53518-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219378$D064F007-22C3-478A-BE7B-795D4ADF7D72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c3f1040f095d35860e29a1e4ebbce287a0aa55","datavalue":{"value":{"entity-type":"item","numeric-id":436403,"id":"Q436403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219378$ADBD66A6-24CD-4924-AB4D-61D5CEE485AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f4fe5739bc92b9b7dd1c7e60f1d057a2d93c386","datavalue":{"value":{"entity-type":"item","numeric-id":1350340,"id":"Q1350340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219378$AD62E68A-F39A-4E61-9059-CA3C13C5167E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"983cfb37f70d08a317b16d177b21808cd2975933","datavalue":{"value":{"entity-type":"item","numeric-id":2176679,"id":"Q2176679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2219378$76993E99-680D-4B1F-BD11-CA9BD1D03D53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2219378$1490B2BF-1515-496D-BFE7-B716F8C09ED9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a382ca439e42238e8cee699143f4139d330d5460","datavalue":{"value":"https://arxiv.org/abs/2004.12713","type":"string"},"datatype":"url"},"type":"statement","id":"Q2219378$907A4B11-8F1A-48C3-9ABA-A705A4B502EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219378$4807B1C0-8D02-42B7-9EA4-A4D8E9BD42AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6965204df8aa209777bcea77aa301c94426925b1","datavalue":{"value":"52A01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219378$1E0DB136-A9E7-4CBF-8975-526F24F8683C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9649e52be02e8657f19f9da939e2b5041c0ab2de","datavalue":{"value":"7298554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219378$AABB1347-F8BE-45E9-AC01-D78C0C5C4A1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3f5661a6fea130e6202ab9c34e44219cc7b4c2","datavalue":{"value":"convex spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219378$C6B66722-D4FF-40BC-81C0-4C33557D379E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ddceb22511a3c34a21677970389c0e05f295f22","datavalue":{"value":"conical spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219378$97DC9FDB-0CA3-439A-917F-58F1D9F5C8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed8b4adce2da5dc5c118fbb27473e952dbdf7762","datavalue":{"value":"formalization in Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2219378$F037EDD0-310A-43FD-B6AD-5CF57FB495E3","rank":"normal"}],"P1463":[{"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":"Q2219378$3A7FC6C5-D740-4035-ABC6-0D6E7B7079FF","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":"Q2219378$CB4EE86E-CFA4-4C85-8189-EC4439D84B47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46c0e4537103a5bbb679c011a20a5130f2aeaf0b","datavalue":{"value":"W3042477350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2219378$B7C3E65F-D06E-4A04-BC6C-44237BF6B90E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b108a609d4c5fbe9051c3e4158efeceaa1694c39","datavalue":{"value":{"entity-type":"item","numeric-id":5286155,"id":"Q5286155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c2dd8e5f59a6cbedd3106cab95767070205158","datavalue":{"value":{"amount":"+0.7406662106513977","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":"Q2219378$7296F75B-D9A8-454E-AA60-9B68818CDD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"382798d0cdec3746a0a7e45d2b631a425fcb00df","datavalue":{"value":{"entity-type":"item","numeric-id":4884534,"id":"Q4884534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3001748944bc558e0f86d892f9192ecec932507","datavalue":{"value":{"amount":"+0.734230101108551","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":"Q2219378$2E6524BF-448F-437E-9DCD-8B8FA4E1F230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"072964e900eebd8c31ff393186928444db2bd2ff","datavalue":{"value":{"entity-type":"item","numeric-id":2948553,"id":"Q2948553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01ec602cd4e33db8af3d64aff3d198592d52f2d","datavalue":{"value":{"amount":"+0.7185944318771362","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":"Q2219378$FD010E41-563B-474A-A670-F17DF3AB2864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9952d1dc10a1d0c50cbfa4ccb0cf5a7a58634320","datavalue":{"value":{"entity-type":"item","numeric-id":5288097,"id":"Q5288097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6086ff66defac73d5754c0936bd9a2af77a4d1ae","datavalue":{"value":{"amount":"+0.7180260419845581","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":"Q2219378$331F097F-7934-47CF-9075-18FA8187AD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f7f15aae95adf4ec5b1d98702e33608c5a0b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4815202,"id":"Q4815202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbb0966b095d6e46706c09d186f167f93af85ad","datavalue":{"value":{"amount":"+0.7157105207443237","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":"Q2219378$0C039DEA-66A0-4985-9CBA-43D4F55EE64F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal adventures in convex and conical spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_adventures_in_convex_and_conical_spaces"}}}}}