{"entities":{"Q1577488":{"pageid":1588228,"ns":120,"title":"Item:Q1577488","lastrevid":72234636,"modified":"2026-04-14T03:31:29Z","type":"item","id":"Q1577488","labels":{"en":{"language":"en","value":"Interactive and probabilistic proof-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501511"}},"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":"Q1577488$1E700714-0E9F-405D-9904-964953653839","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1f47cdb0d380c67575a43239e72d93725d9f42e","datavalue":{"value":{"text":"Interactive and probabilistic proof-checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1577488$7893219E-2B04-45D7-9B4E-33D599B22469","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcfa3e304488e34517872de65237d023f69083b5","datavalue":{"value":"0959.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577488$2758C298-E0DD-43E7-A31A-2C4C7A49B0B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d4902ad8d6827a03604dad32046b08a181019ef","datavalue":{"value":"10.1016/S0168-0072(00)00017-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577488$D4F47BD1-27E2-4045-8C29-F782A1D83F91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$0B4CA810-90F8-4F1E-B5AB-AA350C527580","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ecffbcc861d67047b31e273d774ed7bc043622f","datavalue":{"value":{"time":"+2000-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1577488$01FC8833-C4FC-42AB-A2E2-1D1D0EFFC898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577488$BAC47E92-16C3-4B19-AC3A-A5E983D48F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577488$CEB0BF2F-E3BE-4E61-9C57-54B4F687790D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577488$E891C327-1C44-4CF8-8C76-25912C682D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577488$B9B98E90-C51E-47B0-AC02-49C8ACB1826A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb7fe29548149a20508bd786d82a629630b8700f","datavalue":{"value":"1501511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577488$0EBEA59B-6B84-489A-8E60-52FC4C9FD5FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ccc26668d3e68e096388784e3f135125ea70940","datavalue":{"value":"efficient proof-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577488$EFA1DA17-C66B-472F-ADEF-1EC9D8F7B0DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1983f394fcb7d4ca5dc4eeb99171e529ab181fb4","datavalue":{"value":{"entity-type":"item","numeric-id":190553,"id":"Q190553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$325E6FE8-E187-4F90-A213-EFD8715BF2EE","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":"Q1577488$A6A104CC-1650-4188-84B0-6F7644710908","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d4fb5cde811d6344089c826e86de340d1dd17c","datavalue":{"value":{"entity-type":"item","numeric-id":808692,"id":"Q808692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$386E5CA0-7656-4067-90EA-490CD2C49E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab0a31c8342d15107b05f872c31b91cebb8a651","datavalue":{"value":{"entity-type":"item","numeric-id":4542552,"id":"Q4542552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$9A632A1C-C373-4002-AB3E-54EFA3070F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85859d4bf1a3e88a94a43f3e1ce8b0cfd1f2c77b","datavalue":{"value":{"entity-type":"item","numeric-id":3002852,"id":"Q3002852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$E3535F83-6696-4421-A193-2D3754E28282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed97d9cb381fa44bbd6ac9207fd7e4aa47354791","datavalue":{"value":{"entity-type":"item","numeric-id":3158513,"id":"Q3158513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$D00ECA20-F16F-4CEE-8335-72203153BCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f3a5a6ef5b4dad2d6e7e841bea784191d0a73c","datavalue":{"value":{"entity-type":"item","numeric-id":3841041,"id":"Q3841041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$519FECF3-E282-47E0-917A-5BE96EC58D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5683f6f22cbb708c4dce0437045c5f9a810a9211","datavalue":{"value":{"entity-type":"item","numeric-id":4527016,"id":"Q4527016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$A822AD10-CB74-47BA-85BC-7AB4C8BBC8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5321cf483aab0fa6bee08b9510a1c268bf22de20","datavalue":{"value":{"entity-type":"item","numeric-id":685724,"id":"Q685724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$C19704CB-E236-4B49-ABE7-D105FB051129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9c0297ccc7943530d7e60dae41b7cff33d7166","datavalue":{"value":{"entity-type":"item","numeric-id":1106840,"id":"Q1106840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$DCE2FDF5-5904-453D-BD5D-7DCFAC444477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8452767e48792d351acf5067c416d60a7b2b74","datavalue":{"value":{"entity-type":"item","numeric-id":4388899,"id":"Q4388899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$D00D32AF-DFF8-4D78-8D99-8AB301DC03F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127ecfb8af7bef406c624e706903bb6e0473005e","datavalue":{"value":{"entity-type":"item","numeric-id":5248498,"id":"Q5248498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$CF1FC060-1351-47CD-B2F7-6E65524ABB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b805c507f6d8a7d93762d55b2650a00aa20f8a","datavalue":{"value":{"entity-type":"item","numeric-id":2817610,"id":"Q2817610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$95681EB8-EA4B-4D53-802C-42891D72BE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e888fb78ba97027224f202b9ce76c32dcc8f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5750398,"id":"Q5750398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$5D512018-6F5C-4CF0-9A90-EE916D62F3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4b8e7cf4034c184fb2852754739a22a4e70036","datavalue":{"value":{"entity-type":"item","numeric-id":1108004,"id":"Q1108004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$4C7E34B1-F803-4846-88D5-FB311357C055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bec361bfb9271fe629d4d29f5f6746fa8e0e8a4","datavalue":{"value":{"entity-type":"item","numeric-id":4542539,"id":"Q4542539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$A0216EFD-7491-460A-83D8-65B2DE3D794B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88452161b8005bc91cd7ee1780652a1162feac99","datavalue":{"value":{"entity-type":"item","numeric-id":1333397,"id":"Q1333397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$623F43C6-3A70-42FF-816E-4138FDB9482D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf1eb7482e53bfa6f03faecd3696c36f3b5728a","datavalue":{"value":{"entity-type":"item","numeric-id":2817609,"id":"Q2817609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$AC0B8A83-6B00-44FA-A558-7A43842D753D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfd00192dd30d513c242d1d547e159907bf8620","datavalue":{"value":{"entity-type":"item","numeric-id":1341733,"id":"Q1341733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$16B72E3C-056B-4458-9E7C-14CE5F840FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212cb9e82a13f5fba59b074b1d5d360f9e3452c7","datavalue":{"value":{"entity-type":"item","numeric-id":1118406,"id":"Q1118406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$4EDCCB1C-142C-4B43-A917-F1471115D08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd899f59a719cef310c9e38c1dbede5b2809f16","datavalue":{"value":{"entity-type":"item","numeric-id":3413440,"id":"Q3413440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$25F1D4B3-6AD6-4A2D-AAEA-94E1F5C07347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b9934e4330ebc62619a24483f8517d80241bf9","datavalue":{"value":{"entity-type":"item","numeric-id":1273742,"id":"Q1273742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$AB3FCF23-AD26-4936-BC75-0F79114C2FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505b48f00a5663350aa0151dd7cd74fd464c6284","datavalue":{"value":{"entity-type":"item","numeric-id":4542514,"id":"Q4542514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$BE0572A5-F31F-4F11-B409-D1E27C512BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4c62e6619c90e64a6184568783067da56015e6","datavalue":{"value":{"entity-type":"item","numeric-id":4302852,"id":"Q4302852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$1EC340C0-ABA2-4B05-AAFE-20D780C59A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae477ba2300400eec2908d55329cb4248dc074d4","datavalue":{"value":{"entity-type":"item","numeric-id":3833627,"id":"Q3833627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$BE3C2966-9B13-4601-B982-B3DFE627CF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c837d56e04962823c1d7c934cd015e72d540d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1588908,"id":"Q1588908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$D9C62034-2ADD-4B79-9CB2-14256B8BFC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f4f6417af3313b2a4f1959b9dee0bb7940ea475","datavalue":{"value":{"entity-type":"item","numeric-id":4526964,"id":"Q4526964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$2B7B643A-9BB5-4CF7-A780-06DEAE3BF313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a567a0bd5149009c58baa277d371437f0fed769","datavalue":{"value":{"entity-type":"item","numeric-id":1213733,"id":"Q1213733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$3C00F947-4C1E-4DAD-AEA9-8C9A48F105CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a8eac1ef1e109172ed7e67f3a2aa22904f96db","datavalue":{"value":{"entity-type":"item","numeric-id":2819595,"id":"Q2819595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$3826B1B8-5BC4-448F-BBCA-82DDAEDD519C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27ffa22b418ca0da03ded20d1823c95a516de98","datavalue":{"value":{"entity-type":"item","numeric-id":4871218,"id":"Q4871218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$117D7545-5377-41D8-9C28-FDD7AF2A888E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ddc25bc6ddeb4fef28927db93d392a886040f2","datavalue":{"value":{"entity-type":"item","numeric-id":4302792,"id":"Q4302792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$998D6EA4-BFCF-4723-9A42-605335081A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$42ABE072-608E-4AF5-9B45-816D87F72459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aecf25b2f41a4d7f0a74034c26fca90059a7281b","datavalue":{"value":{"entity-type":"item","numeric-id":4228522,"id":"Q4228522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$FF6E00BC-9FD9-46A0-BF36-BAEFB293C88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0e56df9db89377069ef2057d2ac5bcfceb74c1","datavalue":{"value":{"entity-type":"item","numeric-id":1069296,"id":"Q1069296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$D28FA49A-4947-455C-8B57-51676CDB303B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6133d293bb8bfa149948ffdc9b0f276ef45523","datavalue":{"value":{"entity-type":"item","numeric-id":1186548,"id":"Q1186548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$771ADDB0-3D53-4BF5-9554-9ABFD21DE136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d5cfedfe66a3b5d774d6c8fbd31b828323bdab","datavalue":{"value":{"entity-type":"item","numeric-id":4527015,"id":"Q4527015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$FEA01741-03B2-45F9-8C7F-1C923B649948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e49b33427bca7946a364a65e08166bb97ea864","datavalue":{"value":{"entity-type":"item","numeric-id":4224935,"id":"Q4224935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$506AB351-2677-4CC3-BB45-382790F015C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$8CE4AB9C-6867-409B-8C6C-BEFB2EA99795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ded31745aedd0459b4ec8b3d21e229c79d6850","datavalue":{"value":{"entity-type":"item","numeric-id":4542548,"id":"Q4542548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577488$7E249577-983E-42CF-844E-0B55A36382BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4114ee40109da066d56bc8607d1df11145fb3f43","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(00)00017-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1577488$626834B3-A9C4-462F-A390-4D05473AC60E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f2e2e31a89f3f0e15f5bd67a5c39350332b3b86","datavalue":{"value":"W1996183456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577488$12D272A1-69B5-4656-A28E-768307BB65A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ead862ec256b6fb8c11203dcef7ced9a88eefa7","datavalue":{"value":{"entity-type":"item","numeric-id":5694913,"id":"Q5694913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a21c943401b25d6a51057763a360861646fa922","datavalue":{"value":{"amount":"+0.8599270582199097","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":"Q1577488$A80FB734-D3E2-46E9-B345-A2F7AA70841B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb9138a8c9d7699fbd7ad1b6601cae906f6ccc8","datavalue":{"value":{"entity-type":"item","numeric-id":5048957,"id":"Q5048957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3399a55abd15ff2e194b41b5df5ac35f4600fe2","datavalue":{"value":{"amount":"+0.8454071879386902","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":"Q1577488$2D439F98-FB9F-4BBE-8CD4-7DE00C3A6A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d02669fdf51b16e1d5ef7cfdab3e5eb16deaaaf","datavalue":{"value":{"entity-type":"item","numeric-id":4011253,"id":"Q4011253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f23293bc553b9e6fc8c572e957024df20f3b425","datavalue":{"value":{"amount":"+0.8453068733215332","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":"Q1577488$E31E67B6-866F-4EDF-A09B-E2838B5E031C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb34017d2959acceb077203a2463c7286afa976","datavalue":{"value":{"entity-type":"item","numeric-id":3841041,"id":"Q3841041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1c831cdec89e1d05c28a1d10428c56988b5152","datavalue":{"value":{"amount":"+0.8393767476081848","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":"Q1577488$8A7C9FC1-2034-43A3-B03A-7BB1905DB805","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interactive and probabilistic proof-checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interactive_and_probabilistic_proof-checking"}}}}}