{"entities":{"Q3499747":{"pageid":5529650,"ns":120,"title":"Item:Q3499747","lastrevid":50370314,"modified":"2026-01-13T22:08:46Z","type":"item","id":"Q3499747","labels":{"en":{"language":"en","value":"CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5282027"}},"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":"Q3499747$EFC55D5D-662F-4AF7-B7C1-38B2E8149C66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"988271b2f8111179282137e1bb5b49cc0e65f4ee","datavalue":{"value":{"text":"CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3499747$8AAB908B-B3B2-4ED7-A49D-8D3B70B5BAB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b02432f397549f9bd66a2dbf6d038469f1643e2d","datavalue":{"value":"1138.68344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499747$E29B5A46-58AB-41D2-BB1D-D5ABC9E4545B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6a4b9f1c3d2d41af2f973eebae3bdb2991f21a9","datavalue":{"value":"10.1007/978-3-540-68103-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499747$6DBF56BE-1D94-4E75-BEDB-39F4F9F5EB52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a671bc31964954daa066cb3b32015fe8ce6632","datavalue":{"value":{"entity-type":"item","numeric-id":2888472,"id":"Q2888472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499747$0EB659D6-4179-448A-868F-EC7F4CFCFAED","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":"Q3499747$40366153-10E4-49F4-94AD-2E0734FE9FB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88e4ba475cabd2d879ecee60d295bc12168aa5d8","datavalue":{"value":{"time":"+2008-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3499747$BB90C33C-0490-4965-993F-171EE5E14FCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"188027ebfeab95cd3133d72b162f8a133d6c18d8","datavalue":{"value":"https://strathprints.strath.ac.uk/74424/1/Atkey_LNCS_2008_CoqJVM_an_executable_specification_of_the_Java_Virtual_Machine_using_dependent_types.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3499747$75A6F1DE-0281-4B0D-BD32-93AF3142E9AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499747$EAD8CEEF-A9F9-413D-92F3-4C3655A22289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499747$3B25B229-BEC4-4A2B-A43F-C8016863B998","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b72f375703a271da19c5de488f215d37c4b9c24","datavalue":{"value":"5282027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499747$202AAA64-79E1-4760-8818-A54ED20B7626","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":"Q3499747$F1E1373E-6555-4AE4-A79F-E67110F12A10","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":"Q3499747$3786DFB6-94FB-4D29-B834-0D0127F2C299","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abdfa1a2eff41279a30c3ff30aa5c44a66a337ce","datavalue":{"value":"W1554855925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499747$60F591FD-334D-496A-BCDE-86A32A19CB72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a457c597040796c8cd7d073008378e688faa21","datavalue":{"value":{"entity-type":"item","numeric-id":3523163,"id":"Q3523163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499747$ECAE69D9-DF40-44A7-9EDB-648A14938DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f9ad7602cc5d595ae9bbdf775b25418df2d804","datavalue":{"value":{"entity-type":"item","numeric-id":2763680,"id":"Q2763680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499747$42CDCF1E-C369-4E7C-8018-E7176E9C9A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499747$E29B3E2D-B412-4CF6-B46D-84CE3E789E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6063e4a144bafe1447ae8b10555347d26c418f1d","datavalue":{"value":{"entity-type":"item","numeric-id":3189797,"id":"Q3189797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499747$BFB2A5F3-9966-43A5-BF28-D4B08C9B8F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499747$CC8D7C29-08A4-490B-A0D3-8B87EDE6D585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"412697b27bc0e191017d5a3e9cbfafa45de8e608","datavalue":{"value":{"entity-type":"item","numeric-id":2566223,"id":"Q2566223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499747$488EBB13-DEFF-4767-B50D-C1AE71AE7B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad708b8e4e30e35c3846234774de37622f45350","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499747$3EF161E5-C7C3-4CF3-A58C-8FD4554037E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071ea123d91f2cccfae8208661eeb56ff8a415fa","datavalue":{"value":{"entity-type":"item","numeric-id":4261077,"id":"Q4261077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499747$941D0A4E-5C40-4DB6-95ED-E8A0D2C70924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499747$E657932E-8670-4A5A-A85F-5E937E26C459","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856b40ec3fc213c270a411e91832380f689650da","datavalue":{"value":{"entity-type":"item","numeric-id":2763680,"id":"Q2763680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d4e1c486a905a7525151b5bac62e35d7659ab6","datavalue":{"value":{"amount":"+0.7571297287940979","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":"Q3499747$D89B1C06-2A91-4F71-A7B8-4888D90C1603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85fe0cfba50ab81867fa509e16f2465ae8978f99","datavalue":{"value":{"entity-type":"item","numeric-id":4484330,"id":"Q4484330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e116eaf1b952c436002863af3e4754a39606fddb","datavalue":{"value":{"amount":"+0.7211211919784546","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":"Q3499747$B6012AFF-50F4-4524-A3AE-F38229A0608D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc642dbdc28b23eb9dd71b8412c41128d8900904","datavalue":{"value":{"entity-type":"item","numeric-id":4809043,"id":"Q4809043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c16e86205e5e11cbf7404007ae926322a3039a2","datavalue":{"value":{"amount":"+0.7154483199119568","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":"Q3499747$E83CA06C-0047-4D35-894E-A05258F85DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4a5623084ea5690aeacbd64b440a7843deccb9","datavalue":{"value":{"entity-type":"item","numeric-id":4736986,"id":"Q4736986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69c9cbd6541dddda79c2651534ea66e7c7979eb","datavalue":{"value":{"amount":"+0.7111461162567139","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":"Q3499747$66C1EFF0-4BC0-4E46-997E-31D51B222C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88b68c8057c9e77829cad092c42430b13c2e47a0","datavalue":{"value":{"entity-type":"item","numeric-id":3541689,"id":"Q3541689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b51925e156a914d8c49b54bcbe5bf88c4ec842","datavalue":{"value":{"amount":"+0.7079339623451233","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":"Q3499747$80E67C15-04D9-4DAD-A41E-6BDAA57444D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3499747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3499747"}}}}}