{"entities":{"Q2360652":{"pageid":2371395,"ns":120,"title":"Item:Q2360652","lastrevid":57875094,"modified":"2026-04-02T21:56:28Z","type":"item","id":"Q2360652","labels":{"en":{"language":"en","value":"Formalization of Habanero phasers using Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6739074"}},"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":"Q2360652$07647355-625C-40F1-900C-EBF326300E1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18cd4b9fc06ea80463ab20115a80db044c6e3b58","datavalue":{"value":{"text":"Formalization of Habanero phasers using Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2360652$EA27A336-59D1-4373-A46C-FE45849BA20E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c49b1eeee3b45308ca535106638f455dc6ada67a","datavalue":{"value":"1371.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360652$0627D7B9-037A-493C-9A48-E81F7BA1C5F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68e4e257c31aa1125a7bb0f0ecf942f72739335a","datavalue":{"value":{"entity-type":"item","numeric-id":832186,"id":"Q832186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360652$64724750-C137-4922-9BBD-E0D094F56E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0366b16dbad3b7e84c0f0b0d5a24827ad19ff131","datavalue":{"value":{"entity-type":"item","numeric-id":2360651,"id":"Q2360651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360652$A3E83D61-A73F-4684-A776-AFF6936F0918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90ac481936d75352d2a0a45956f7462ff07106c0","datavalue":{"value":{"entity-type":"item","numeric-id":698455,"id":"Q698455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360652$FEFBCAB4-6592-4547-BF02-98BD286A6848","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360652$4A6276DA-4B20-4E25-AD40-0D991EDF3500","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0427c46220b13d87429b64212a86e0e209e6215d","datavalue":{"value":{"time":"+2017-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2360652$D18BE729-2F02-4832-8BDF-9CF19CE5C08D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f0a7387a7446bc29f4b16570abd015f74f8b942","datavalue":{"value":"https://arxiv.org/abs/1606.05937","type":"string"},"datatype":"url"},"type":"statement","id":"Q2360652$B78BEC3D-932E-45D5-AD6F-522DD8D0BA78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360652$FB77E217-9A23-416C-92F0-1F47F2FA7218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360652$39731DAE-BBFA-4B05-887B-230C17C84AD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6e7aded681534cc7b3bfb2b7a0af242936de697","datavalue":{"value":"6739074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360652$3327E736-1A79-439E-B119-7BED8A9BFB08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223566c80c0393ae07c52910ce4320645ce573f5","datavalue":{"value":"phasers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360652$E191C467-848D-4111-9019-0B56BB420FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6ad714890199d4d92227ec8e26e88941a401b0b","datavalue":{"value":"barriers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360652$7CDAA619-5881-4367-A1C8-33DB21CCE98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360652$579D9C6A-0EAD-4122-8F6D-3B55740919D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360652$16CC0728-630D-4A62-BC14-F6FF106F70A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360652$6038D825-51B7-4AF3-927B-DD22347C0F13","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":"Q2360652$66F48D88-E2F0-48A4-BAF4-FFE5C06E182A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c1907fcbbe73cf235919e91baed30ac2b190e5e","datavalue":{"value":{"entity-type":"item","numeric-id":24730,"id":"Q24730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360652$730CC6F9-11A7-4EDC-ABB1-C31071F65F3B","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":"Q2360652$11F0B6E5-9C2D-45C8-83CE-1C1E85B06F9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"812fa5c9c04b5d672545e2af824b5ca768211526","datavalue":{"value":"W2595006382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360652$9C5D44A8-F352-4A2C-AF14-D529DA9EDC50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360652$97F7E286-4115-4C13-A96B-AC73FE57BB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8630fbcdc29843e53c7a1293bed413715c1239a5","datavalue":{"value":{"entity-type":"item","numeric-id":1331790,"id":"Q1331790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360652$AD0DC53A-044E-4A40-8DB0-4D8E405179AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360652$D0045428-A142-4F26-9755-4373A8CA31DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f224e1b4c565591bde3e7f15cd63161f901d04c4","datavalue":{"value":"10.1016/J.JLAMP.2017.02.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360652$A6C85676-9C3A-448A-8991-39714C7C0EED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee47620a8ee3c0085dc9e0aa2b302363bd123e2","datavalue":{"value":{"entity-type":"item","numeric-id":1693222,"id":"Q1693222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922f690d059f5289d0770205473f7d40ee521cce","datavalue":{"value":{"amount":"+0.7521234750747681","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":"Q2360652$4CD7FEBF-FD6B-43CD-B33A-A5405FE5F66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a850180f92538e4c5e725b89fb0e8a7168fb02","datavalue":{"value":{"entity-type":"item","numeric-id":3727356,"id":"Q3727356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5579fe0c390567cd1d881543e04b61a3dcd58ec","datavalue":{"value":{"amount":"+0.6762285828590393","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":"Q2360652$EEE3C2C5-8181-4021-8D2C-AFCB8B113181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"278db361681ca031f2e1c5a88de9b91c1d3c6b5e","datavalue":{"value":{"entity-type":"item","numeric-id":2996188,"id":"Q2996188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0239e08a1af9aad0cec47e0266696e969e0e05c9","datavalue":{"value":{"amount":"+0.6748412847518921","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":"Q2360652$C52E7293-5F90-47BA-9386-7F0A455907B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc95a3ee7806ae83f96ddd63f5831f89c37ab31d","datavalue":{"value":{"entity-type":"item","numeric-id":4520792,"id":"Q4520792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b626503a42f1cb46eb48c8c63d6765beca3e308","datavalue":{"value":{"amount":"+0.6744258999824524","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":"Q2360652$B4F7AE6D-E524-4E91-8B2B-A09309BC5DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead8334941f0cf3bf9d5e0796619bbc961c474dc","datavalue":{"value":{"entity-type":"item","numeric-id":4270076,"id":"Q4270076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f37b7385dbc0d080d6ac6cdd9e2540f1c13285","datavalue":{"value":{"amount":"+0.6741181015968323","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":"Q2360652$DAF0960E-6133-4A5A-AEFE-73E12062F645","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2360652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2360652"}}}}}