{"entities":{"Q3455771":{"pageid":5235171,"ns":120,"title":"Item:Q3455771","lastrevid":46518093,"modified":"2025-12-24T23:10:45Z","type":"item","id":"Q3455771","labels":{"en":{"language":"en","value":"The Proof Certifier Checkers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519943"}},"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":"Q3455771$52D4A860-5548-444C-B3AA-ED9952C77B8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e95536e28f7cb077699e7f71fa80a24e654c2f9a","datavalue":{"value":{"text":"The Proof Certifier Checkers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455771$DBE95332-CD1D-471A-86A8-1C4EC3540A8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1e84391ad355a18675571e86a09f1b88019cbf5","datavalue":{"value":"1471.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455771$9B004D0B-9191-4BA4-ABDD-4672593B568F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7716cd299de4391a0b3526a670911b29c83f077","datavalue":{"value":"10.1007/978-3-319-24312-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455771$C5268E42-8875-4A3D-AB72-90F804176017","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"495bd453d2d6e10cd3788ed67766c12e62edf4bb","datavalue":{"value":{"entity-type":"item","numeric-id":1701038,"id":"Q1701038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455771$4C0FA405-79EC-4EC7-9F6B-18B8B8AD932B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59f4b4605f2cb1b1aab15c5b5f5f6f54ccfea295","datavalue":{"value":{"entity-type":"item","numeric-id":2134935,"id":"Q2134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455771$652C0174-1990-46F7-AEBB-D6612AAE5A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17cdb0f2ca16c9cd1883b12b5d361fd27847e033","datavalue":{"value":{"entity-type":"item","numeric-id":402113,"id":"Q402113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455771$79F0D436-4A6C-45E7-A709-B15EB44BDE54","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":"Q3455771$D96F8FD1-4273-4B3F-8E39-CDB8F02810CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455771$7A090233-E46F-4D37-BD81-D24F9A59C592","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"444ef3a8fa02d31af71a26700d5d77c6c98c88e0","datavalue":{"value":"https://hal.inria.fr/hal-01208333/file/tableaux2015.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455771$B9864563-D467-4CC6-80CD-146016C12529","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455771$19D6BF3D-850D-4AA7-A8C3-D8D89A4AF7FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fab56f07e25e075425d5608c713e1f252309c750","datavalue":{"value":"6519943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455771$D64F38D7-74C4-42AA-9618-B8677F5DE1C4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455771$69CEFF23-CC6E-4E35-B60F-61E13B29D64C","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":"Q3455771$1E1E7CF9-A52E-49D5-A8EC-35891A2CD8A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7f5d1cf799b5c9f630e1eec9bea897e3343a279","datavalue":{"value":"W2246135666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455771$0E4C2898-8DF5-455D-99BF-63AB8528F6E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72ec4eed4985602e7824e9b3bf75884c0f15d45","datavalue":{"value":{"entity-type":"item","numeric-id":4928436,"id":"Q4928436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455771$F93AC452-75B5-4A46-B027-CFD2DB2C4714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455771$0CD34CCD-81B3-42C9-8097-D1BE1B62FE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455771$0EBC7FE5-06D4-47FD-84D0-BFF12A97230A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455771$D78F0326-C27B-479F-8DC8-D369C73A531B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455771$DC175174-7257-4556-8979-EED333AA2813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44b125cf3594b01960f6a5396e298346e4cfbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455771$54942DEC-77FA-47A6-9E6C-92CB55BC09B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef6f8cd8718f1d64bdad3d35d2a8750a28f6eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3759967,"id":"Q3759967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e9ed1094e2d5c8d231a83cb62b340a43508c60","datavalue":{"value":{"amount":"+0.8541398","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":"Q3455771$60F87461-65FA-4624-B4DF-C8ADF8B93984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4746ca39c177f75d286c4908e7e8aa8a6d1192","datavalue":{"value":{"entity-type":"item","numeric-id":1826468,"id":"Q1826468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492b1ec3f679b098072eb7050a156e308b2056dc","datavalue":{"value":{"amount":"+0.8349596","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":"Q3455771$A3A87D32-43B0-4806-B475-A440F16A25EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ad3bcac2eb462823232de5b8fdf66bee894219","datavalue":{"value":{"entity-type":"item","numeric-id":633302,"id":"Q633302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45abd47baebcd3b4ef3065231b681da5e1bcb13b","datavalue":{"value":{"amount":"+0.83443797","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":"Q3455771$E02018FE-B6A8-452D-966B-2B988008D155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93608f2b5ad00911e44a14bf6ad14ca928b6b79e","datavalue":{"value":{"entity-type":"item","numeric-id":2950035,"id":"Q2950035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5d0501f722002d62592e356ece2ed47d346037","datavalue":{"value":{"amount":"+0.8331584","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":"Q3455771$22F7D49F-F56E-436A-B7D5-C1BF0AA8244D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b652889f81b90623f503935cd6b8aac0b5fb7628","datavalue":{"value":{"entity-type":"item","numeric-id":2352500,"id":"Q2352500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c809328e8f07d7e673c4197645483985ed037849","datavalue":{"value":{"amount":"+0.82816887","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":"Q3455771$3B66E504-4733-401D-98A2-402070A33E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2193349921f727d97553a84af02c9cea8026d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2914748,"id":"Q2914748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9636c57b20065bccc46a9667a4bffe9fd8ae3b5b","datavalue":{"value":{"amount":"+0.82615244","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":"Q3455771$C806CBF3-4719-45BD-8CEE-B4512D0DB19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031b785b36fb4a3fa03f1c32da8f2ce73befc6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22eebca4aab9cdbfdaacda17d0b789085bb74e52","datavalue":{"value":{"amount":"+0.82380545","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":"Q3455771$A946269D-81DE-4A9A-8134-937D1D3A898F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455771"}}}}}