{"entities":{"Q2945640":{"pageid":2956360,"ns":120,"title":"Item:Q2945640","lastrevid":52344281,"modified":"2026-01-22T09:47:18Z","type":"item","id":"Q2945640","labels":{"en":{"language":"en","value":"HOCore in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481870"}},"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":"Q2945640$580483C0-A797-4CF4-A8F7-9F49F9EC3434","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a712d28133d6d1df2c43c116c540186753b0ad5","datavalue":{"value":{"text":"HOCore in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945640$2581D433-24A2-4C02-B371-2EF9B20F1BA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2bdb579aa9af5070a33206334cdf334a132f2f3","datavalue":{"value":"1465.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945640$4B990948-0925-43A0-9730-1460E450F09E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c96de52b990e902bc68f568c191a4e131b81f94a","datavalue":{"value":"10.1007/978-3-319-22102-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945640$9E21E506-F466-41BE-B00D-B2834E3CE98B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80586520ec6d3308448eb9e9563296595daa7278","datavalue":{"value":{"entity-type":"item","numeric-id":2804330,"id":"Q2804330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$C1D86DF1-DC6E-4297-BADB-8CC28E2B73DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804005712457a09ab2c0aa30bf1784b0df9b733c","datavalue":{"value":{"entity-type":"item","numeric-id":627132,"id":"Q627132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$22B39849-1E1A-44F9-915F-7E1C2189B106","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":"Q2945640$3AA8AC85-C7A1-4796-BB35-C31FEF8B5AAB","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":"Q2945640$E8E1D73C-7E02-4B56-B166-29274867E14D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945640$E84D1792-D662-4191-9B2A-7E215EA7D6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945640$86AF7563-7A0D-471A-8C87-997AB4A32018","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5698bf6ea958877eaca60c729a484042007664db","datavalue":{"value":"6481870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945640$450A6C58-5B1B-4D8A-BCC5-13879A73C96E","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":"Q2945640$25DDFF77-2F7B-4795-86F4-8A7D1ADE2A0F","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":"Q2945640$1739F460-EF87-4FDD-96B5-9822D3546020","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"789528806e6fba80b3bab43101b0b541da1739a8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22102-1_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945640$1ED572EE-CB80-4F9E-BEDE-499049D2CB8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c7437bcfa52aeeff3118e12b761c8014f4ef874","datavalue":{"value":"W2231754610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945640$42CAD3DD-996A-4C80-A836-980E2235D5E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$088836EB-4D34-4210-B690-D1BC48173C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab63358c2a9806af600f7f743907818a47bc22e","datavalue":{"value":{"entity-type":"item","numeric-id":5895110,"id":"Q5895110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$3B1EED90-5A06-4502-8F11-45901EC689E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db182edce241513a9902528a24fdabe535739aaa","datavalue":{"value":{"entity-type":"item","numeric-id":5899080,"id":"Q5899080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$1E15231C-877E-47E9-B47E-4A70CA56AE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$C858D95C-266D-4C7F-928F-9A786031FE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b485181b6485fecf4313a7a59389b80e233a0ad4","datavalue":{"value":{"entity-type":"item","numeric-id":2945640,"id":"Q2945640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$F78213A0-07B8-44E0-8929-3CA55279A624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4db8f7fa996304ee694716b3fc5e63d2e83c95b","datavalue":{"value":{"entity-type":"item","numeric-id":4365103,"id":"Q4365103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$E53D77C3-FE7F-41EA-A414-85CE9E272113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$86AA40DA-96B8-42C9-9389-C6E065A5B122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7e549f0fba6b332f88c2b3d15bc37b5e90f37a","datavalue":{"value":{"entity-type":"item","numeric-id":5747640,"id":"Q5747640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$6C6B5C0A-D9F5-46E5-AA0F-99054C6B4934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1dc7f6cfd1bcba36f6b78c2feb82d8ffb024cc","datavalue":{"value":{"entity-type":"item","numeric-id":5310635,"id":"Q5310635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$3A15807E-23C5-4D2B-B2C6-E192C4E879B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e9f41322dc74c02b234e1f9a37d82ae80f8f26","datavalue":{"value":{"entity-type":"item","numeric-id":627133,"id":"Q627133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$636E12DF-F9F6-4085-965B-8CA5340AAE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabd132592c4e43c9101a69d61c4172a98a16075","datavalue":{"value":{"entity-type":"item","numeric-id":1208422,"id":"Q1208422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$7914E21F-9BBB-404F-AAFD-07EB078A2A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef704b25a56efa5b64e7d48076eb438fae5430f6","datavalue":{"value":{"entity-type":"item","numeric-id":5740353,"id":"Q5740353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$22061B80-00EF-42AE-8E42-4794F6DA0CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c012672e7c126ba7b33abdf4d0ab516498fc775","datavalue":{"value":{"entity-type":"item","numeric-id":2392482,"id":"Q2392482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$8327E348-FB90-4C16-BB7A-58F3152F50FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7468f573ed17da34f0221d7db8a18cd38ff141ea","datavalue":{"value":{"entity-type":"item","numeric-id":5176942,"id":"Q5176942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$64B38407-9428-4038-90BD-457254787D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$6452A412-F49D-4E0B-8852-9CA91BE72C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$E643EE9D-C096-4759-9A27-FF7631E008B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132367abd0e20dc3ad2adfc421b48b77e0e5aef","datavalue":{"value":{"entity-type":"item","numeric-id":1323361,"id":"Q1323361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$F459B985-E56B-4C2A-8396-685CDE9F9E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d25a135933d7bf5547de5ec4476805acc9a84","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$8D3A6A0B-D6E5-4AB7-9838-88FCB2AC034C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$200AF937-44D8-40C1-93C7-1358D91BBAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92c9074aa42399902dbf47146ea6ce63a0674db","datavalue":{"value":{"entity-type":"item","numeric-id":5203105,"id":"Q5203105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$88F741E3-8CFA-4B1C-8D43-EABBA7941561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac049ffd629fecbffadc2b98758c8b3e8c0de662","datavalue":{"value":{"entity-type":"item","numeric-id":5892493,"id":"Q5892493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945640$D63EF429-EB8C-4068-8757-17AF25B56727","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01017b3d1c200749df743ffbc642572962518ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1355748,"id":"Q1355748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e129567291352f425956092394e67aa7015b8ef","datavalue":{"value":{"amount":"+0.7703020572662354","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":"Q2945640$2BB7014A-82F9-4BB4-AD9A-4D22811A3330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b99959876c66e570d48291a8898a4c58992bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4536440,"id":"Q4536440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb72efa64a77976cdf9a5e9bc4e0ad3567b5b3b0","datavalue":{"value":{"amount":"+0.768611490726471","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":"Q2945640$30056810-66EC-4DC8-94F8-5139936AB584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877e985b3380fe71465aa52cef28be711fc2e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":4365103,"id":"Q4365103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52acf3cd7419c952d5eb7305a69002eef7f722e","datavalue":{"value":{"amount":"+0.7655755281448364","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":"Q2945640$DB26DDD3-FBD5-43CC-B97A-BF5E7A89838F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d5d3a9bfaa35aeb9a6c1d64c9f4dc2c86ed3ca4","datavalue":{"value":{"entity-type":"item","numeric-id":4357063,"id":"Q4357063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52acf3cd7419c952d5eb7305a69002eef7f722e","datavalue":{"value":{"amount":"+0.7655755281448364","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":"Q2945640$C05E036E-20C5-4E22-A4CC-B5721DC4F290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d137986f3dc22bc7b0d815cd3bc6f3b059425f28","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eecefc281b65143be85917d9eecae3d54bba32ef","datavalue":{"value":{"amount":"+0.7531123161315918","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":"Q2945640$8DAD40B9-DCA7-4ED4-9844-F05FA785D139","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945640"}}}}}