{"entities":{"Q3377460":{"pageid":3388164,"ns":120,"title":"Item:Q3377460","lastrevid":49805404,"modified":"2026-01-10T22:09:28Z","type":"item","id":"Q3377460","labels":{"en":{"language":"en","value":"A reflective functional language for hardware design and theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5014422"}},"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":"Q3377460$A3EE8BFA-C417-42AB-994C-B8410858C27C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0be4290899f38483d7f60e2c7f40f234cd32a9a7","datavalue":{"value":{"text":"A reflective functional language for hardware design and theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3377460$15E56797-D6D8-43B9-B6C4-7AFE651894EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9897dfa0050f4f42a236113dc46909fddf03bf92","datavalue":{"value":"1086.68526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377460$89EE1B23-97D9-4638-86F1-94754F7629F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f79e0667bc0dc9922e3d462c54c06c1086340bb","datavalue":{"value":"10.1017/S0956796805005757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377460$8934DDAE-F546-40C2-B554-A4549AAEEC52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377460$5597B0E3-2D8D-42C3-8877-37F471756BD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b0fcdb7772aa9430d25813b6d3153f89c3c8a89","datavalue":{"value":{"time":"+2006-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3377460$56C64BE2-A0A8-4369-A204-5129E36FA068","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377460$9A766DC5-20E7-4438-A8E4-B96A250E04E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377460$D9770C9F-0BAB-4F25-A8E8-C841DB3D2F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377460$5B7A64A2-03EB-4885-BCE6-CD01257F3FD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"207e159f69c6945bdbd599dbff435ed1e8b3f7b9","datavalue":{"value":"5014422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377460$92C647CD-F931-4F2E-99E2-CBA13A88EC95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e9f129b1e9a3de82466b30bf1ba3d0a65eca87c","datavalue":{"value":"reFLect programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377460$E4AB8828-86D2-45D8-9BAF-13D6359B78A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377460$6855405F-AE4C-456F-8D3D-D506C4444C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f24032ff3cf9f3c17f8d1145a9d47bb4d132d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":34508,"id":"Q34508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377460$26867279-DF69-42B2-95C7-6268CBA13BE5","rank":"normal"},{"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":"Q3377460$A59BE5C2-7349-4672-BEE0-2F4F3F085E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377460$D7E5C694-088A-41CC-9354-D89E9E4422C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377460$F82C2FC9-5D7A-468E-B56D-609563249D88","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":"Q3377460$78361B47-A365-48CF-A472-A92FB044667A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcd34bb498d5a7074a2853aad6cd506d979d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3024916,"id":"Q3024916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d287ee60bee3d977bc7ad7a9f6c8b3299aea11e","datavalue":{"value":{"amount":"+0.7101364135742188","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":"Q3377460$EA70CA1A-7B81-4DFE-8446-48DAA437BF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a029d5b44105fea51e31e18b147c028c3f618a4","datavalue":{"value":{"entity-type":"item","numeric-id":2830051,"id":"Q2830051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f70c3275661c9a5230bbb10d230edd1c07203e","datavalue":{"value":{"amount":"+0.6958680748939514","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":"Q3377460$CC2A059A-D364-43B0-B587-57BFBE1E0C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8541bf6da5dfe2d892a457e36fc69dd6e29552","datavalue":{"value":{"entity-type":"item","numeric-id":4028134,"id":"Q4028134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b752ed8c48cf989293c102f10e147c352d21767","datavalue":{"value":{"amount":"+0.6912928223609924","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":"Q3377460$D9D09255-BDE0-42DB-82F0-9CB394783634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d13a29089e20fdf7f53e836eceaee5e13b4afeca","datavalue":{"value":{"entity-type":"item","numeric-id":4787232,"id":"Q4787232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b752ed8c48cf989293c102f10e147c352d21767","datavalue":{"value":{"amount":"+0.6912928223609924","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":"Q3377460$A3B87A27-8924-484B-9E29-3F649C3E11A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"476902758ff54ea98ff615cf6ac8dd2a96a70c71","datavalue":{"value":{"entity-type":"item","numeric-id":1799296,"id":"Q1799296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c3d1a84f25544b1d0a87e32d4be93eeda7b2750","datavalue":{"value":{"amount":"+0.6829559803009033","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":"Q3377460$8E2E6606-F1BF-43F2-81C0-D69DD1EB596D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3377460","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3377460"}}}}}