{"entities":{"Q3189822":{"pageid":3200530,"ns":120,"title":"Item:Q3189822","lastrevid":86073725,"modified":"2026-06-03T14:09:20Z","type":"item","id":"Q3189822","labels":{"en":{"language":"en","value":"Formal verification of translation validators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344212"}},"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":"Q3189822$E1F8AF23-6E78-4467-8024-D194A60C25F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2fa4d76b20f2415c612508640a35bc1ab2956c4","datavalue":{"value":{"text":"Formal verification of translation validators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189822$060FA380-18CF-431E-B2AC-586E95CD4D1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aafdfea3245e08fb7264ac3de4a47f746d891f7d","datavalue":{"value":"1295.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189822$AB4C4EFC-A0C7-4DF1-9995-DCDEEB9E15EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4cd5a213fff58906f9de2ac68d6b4e14ca7745a","datavalue":{"value":"10.1145/1328438.1328444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189822$21CCE9B0-722F-411E-81CB-255650593A05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9250204b9cc070dfff59ad6b7f18798a2ef6937d","datavalue":{"value":{"entity-type":"item","numeric-id":3189821,"id":"Q3189821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189822$B85F5E4B-1811-45AB-9ED8-9CD3F342B9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b1e35c1c4bff0a8e8e775e8600e2e952b118ae","datavalue":{"value":{"entity-type":"item","numeric-id":848738,"id":"Q848738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189822$DF9B9C06-0C5E-401B-9C63-8308AB36E32F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8fe873188e189663cac05fcfed6950f35ec1950","datavalue":{"value":{"entity-type":"item","numeric-id":3189819,"id":"Q3189819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189822$EAA3EE0F-2F9D-41EB-A270-1A87445A7BA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189822$F76065F3-E0ED-46E3-8462-CF6CF147B440","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189822$D347881E-96B3-4740-AF12-68CAB7E052B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189822$248E5E0B-B49E-4F99-B304-7BFB2BDF5672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189822$89744325-2EF2-4242-8A6F-8AC1F5CCB12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189822$85272A02-28A9-498D-878A-5EA7DB9D1060","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a34079dc33b95b6f927c1feb084b53f19c26bff","datavalue":{"value":"6344212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189822$E3123025-1FF2-4F36-ADEE-375026FCEBE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e0c1ced56ee65f798ade4a4456a547478ece22","datavalue":{"value":"scheduling optimizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189822$F266B947-935D-4D57-93E8-6026F53359B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c2d2a1a08df66fe5c39138de0b82bec648e2dc9","datavalue":{"value":"the Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189822$911D5FAD-F371-4A51-A5AC-C9D7F3C29FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0431edf0fb60c2a23ef932b3f3d1331939ae37ad","datavalue":{"value":"translation validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189822$FBB7377B-C8D7-45C0-834F-1F4BD3999F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a9c3430d5e5a5f5202d141e726acb974ca2a113","datavalue":{"value":"verified compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189822$CCC6961A-5B2D-4148-A4A2-47E47D0D83C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d24ec78a261f49887cfb0ce166351e47e3f1e89","datavalue":{"value":{"entity-type":"item","numeric-id":21931,"id":"Q21931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189822$DF6F7466-6FC6-4B25-A831-357E4A773726","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":"Q3189822$2886A9F5-0324-42DB-927D-3190087A0200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce63d9106f2c1c934cab3902cda6a895f70e9488","datavalue":{"value":{"entity-type":"item","numeric-id":15060,"id":"Q15060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189822$8E652E18-56E3-4389-ABC6-CB9E65EB0CED","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":"Q3189822$0AA2EC73-7211-4513-8782-62B52E4187CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1bee4b6afd2a9bdd661cf68a36cb56fb88ed2da","datavalue":{"value":"https://doi.org/10.1145/1328438.1328444","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189822$D6877F9B-749A-482B-9003-F07D621460B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17b3cff5326eed0f6510a5757578e56405b0a02e","datavalue":{"value":"W1981899763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189822$0C8C569E-00AB-42B2-8E0C-A8FD9A19DAA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942ceaa5eda66717426d7a216e16362634e072a3","datavalue":{"value":{"entity-type":"item","numeric-id":5747662,"id":"Q5747662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e9872c34c39d0b6075e4e6cdb33cf5d68f9bc3","datavalue":{"value":{"amount":"+0.8783914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189822$1FD7F67F-B0A4-4ED6-87E9-BF27B0E59950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b5b99b202273c22d99309871c4c484e279db9e","datavalue":{"value":{"entity-type":"item","numeric-id":2801764,"id":"Q2801764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecbf4445f45d9708539930e1323c639d84df6ac8","datavalue":{"value":{"amount":"+0.868688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189822$E17F64FF-D402-4BC7-92B9-2C2F378B6828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7a2be34ae3ea4bac90f21bd4f4bc1e9bbcf001","datavalue":{"value":{"entity-type":"item","numeric-id":5394193,"id":"Q5394193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a789cac917e349729de0275f45fdd1deb8639679","datavalue":{"value":{"amount":"+0.8665388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189822$95572F4C-6F5A-4DA2-920A-6482925FEAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10e85e7181590b50a29ad123b345e2886469d86","datavalue":{"value":{"entity-type":"item","numeric-id":2754092,"id":"Q2754092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"093937ca58eca91272cfc52750576638e5b8bd6b","datavalue":{"value":{"amount":"+0.8638428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189822$FCE57921-BC01-4C8F-A8D8-425BCFB96223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4416e7a2bfb53bba4bd8f14753ece40e47c88f5e","datavalue":{"value":{"entity-type":"item","numeric-id":2418653,"id":"Q2418653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3467264c8011307f2a86490e28715933af03497b","datavalue":{"value":{"amount":"+0.86374176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189822$7930B6A7-EDCA-4281-9EC3-439D6C2A7241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c2a19af9522df13b449816829a4fac89d9360f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551138,"id":"Q4551138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1abf9c81c7c1198f491d74201014ae523d53c91b","datavalue":{"value":{"amount":"+0.8545003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3189822$A3C21244-2441-44FA-B897-BFA0773870B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of translation validators","badges":[]}}}}}