{"entities":{"Q2752051":{"pageid":2762790,"ns":120,"title":"Item:Q2752051","lastrevid":83059952,"modified":"2026-05-07T05:49:58Z","type":"item","id":"Q2752051","labels":{"en":{"language":"en","value":"\\(\\mu\\)Java: Embedding a programming language in a theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1665357"}},"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":"Q2752051$542F7DDE-F152-4202-A6C6-0E0931590061","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8999399abcf6b800ac91f8120ffbf53e34f335e","datavalue":{"value":"0995.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752051$B0D36A45-D7F1-40ED-A53F-5C1A0ED1EAED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752051$7F9DD0EB-B934-4098-A529-F3829EB3FA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"922ae95e156193bf43196b5e76a08bd2cb8e81fc","datavalue":{"value":{"entity-type":"item","numeric-id":2752049,"id":"Q2752049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752051$F0A8352F-A19B-464A-B110-2EF1671A8710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62c1547ef426e401b02d5f85f2cb62d8a1be04bb","datavalue":{"value":{"entity-type":"item","numeric-id":2752050,"id":"Q2752050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752051$A944045A-04B6-467C-8D48-AF00CE36B723","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7044c8f303dad5b9a88e9485409d8600e48f937","datavalue":{"value":{"time":"+2002-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2752051$A5B5F3F9-5131-4668-B856-C3A6E7642309","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752051$000B8592-9E25-4566-BBF8-E833C958686C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752051$D6BC6756-B2DB-4589-97AE-DCF18FF7A595","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85aa695b40a422ffe0d1f473bfe3f113bc1fde98","datavalue":{"value":"1665357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752051$2CFFC798-2F48-42A6-9714-47F886229803","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03e6b68feb1d2a93f741b1829965972726dfc01a","datavalue":{"value":"\\(\\mu\\)Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752051$2C6E5FD8-BBA8-46E8-83E0-E978D2FBEE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752051$D9A52E86-82DE-4DFA-A8EA-490617133363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3efe55ea4cc3efd6d9d17240d6f690617796645","datavalue":{"value":"\\(\\mu\\)JVM","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752051$0A4A7054-9C4B-43E3-8CF1-0736C746C15A","rank":"normal"}],"P1463":[{"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":"Q2752051$FAF2B397-C22B-4565-AFB1-DE126A75833C","rank":"normal"},{"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":"Q2752051$05DC5AA7-354F-4933-AA69-2836DCE30CF2","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":"Q2752051$126E0EE1-FB9C-4E21-9A7C-E48CEC42C3BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5195fbb2135a3aa9ed7dcb5230821ac62b910ce7","datavalue":{"value":{"text":"\\(\\mu\\)Java: Embedding a programming language in a theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2752051$E9F485E4-DF3C-43A6-87FF-306FEE33634E","rank":"normal"}],"P1643":[{"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":"c96142d48f00fe30eafa3dbf940323db5d629164","datavalue":{"value":{"amount":"+0.8039910793304443","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":"Q2752051$90CF82CE-72E9-4197-AB40-2F0C54DA9812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3b07360cba833e3b52bd12f75610c7bf1124fb","datavalue":{"value":{"entity-type":"item","numeric-id":5464646,"id":"Q5464646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827e4376e5900e98418129558ab2e84c41900b84","datavalue":{"value":{"amount":"+0.7972573041915894","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":"Q2752051$087E732F-FE8F-44A9-BB2F-B985227F28AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2825bfa32d5f46b7e1e58bc1d8b777bb73382ab","datavalue":{"value":{"entity-type":"item","numeric-id":4428314,"id":"Q4428314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e046b33d10963ed4aed92e90dad4d8863a6683","datavalue":{"value":{"amount":"+0.7750915288925171","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":"Q2752051$E49A40A8-1115-4EA6-A9F0-CFBFBF48547F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff65630b99019d89f30e1a1675eb234adb5b6ea8","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc5b1ce000d857c676f9ad772683b79d51b095c","datavalue":{"value":{"amount":"+0.767974853515625","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":"Q2752051$8304BEBD-555E-4080-913E-0C434BFBAE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5a37b1c080cc6749930416084e59c058a1126e","datavalue":{"value":{"entity-type":"item","numeric-id":2769440,"id":"Q2769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc5b1ce000d857c676f9ad772683b79d51b095c","datavalue":{"value":{"amount":"+0.767974853515625","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":"Q2752051$377E6B50-6F12-4C20-9BEC-38636173920D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\mu\\)Java: Embedding a programming language in a theorem prover","badges":[]}}}}}