{"entities":{"Q1977920":{"pageid":1988662,"ns":120,"title":"Item:Q1977920","lastrevid":78059267,"modified":"2026-05-06T10:41:20Z","type":"item","id":"Q1977920","labels":{"en":{"language":"en","value":"Probabilistic verification of proofs in calculuses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1456186"}},"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":"Q1977920$D26EA4E0-9CF3-4B3F-8FB1-B7F02B5652CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f60994800dea282b1eb29c4556adcea9746602ef","datavalue":{"value":{"text":"Probabilistic verification of proofs in calculuses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1977920$DA341499-826F-45E7-A5AE-C74D49AE3F85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03e57f6f7f652b822355a7d5175c9cc00114b43c","datavalue":{"value":"0958.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977920$DAE6F6E0-2A8C-44F7-A7FF-36C17E69095D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cee60a8e703c8b112e13593daf438abd7466a77e","datavalue":{"value":"10.1007/BF02362268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977920$5A46903F-4BF6-45CE-9BCF-16C2B60C669C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1c49a03637267c4c409651b9049b6f014ea6ca","datavalue":{"value":{"entity-type":"item","numeric-id":234708,"id":"Q234708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977920$BBE4155D-2298-4DB4-B931-68CE66D876C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977920$EFE65905-C8E3-4A2B-A0F6-23DA387DEC5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"330307546afebc0730b467fd2dbc89557111953a","datavalue":{"value":{"time":"+2000-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1977920$674DCDEB-1BD2-416E-A683-C6C46E31CF13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977920$76483B6E-EF25-4507-97F1-047D19A5C5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977920$CA3754A6-2504-4F91-82E0-3D6D2512838A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a0c9e87d571970bb71f2c5c5c565020907da112","datavalue":{"value":"1456186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977920$53E0AA38-1B94-4EDD-A538-BBC08715F5D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e20ca4a54cd60be335e0ccc84e128680798fd7","datavalue":{"value":"probabilistically checkable proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977920$A76A4654-4DF4-4FAE-998E-A8ECFF7F0DB5","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":"Q1977920$34B67714-CFDF-4912-B5A9-98426CEC5FA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46904ca7712e5807737130ff54d9af7fbcef5eda","datavalue":{"value":{"entity-type":"item","numeric-id":4230321,"id":"Q4230321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977920$38E0F69E-E108-4130-BDBE-DF87246244F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4e761e2dd31ad399f2d06a27704f370a051497","datavalue":{"value":{"entity-type":"item","numeric-id":4324350,"id":"Q4324350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977920$7EA4DE79-F6D6-4F23-9FDA-346B03F5ED64","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":"Q1977920$09E8D268-5629-45F2-A122-B7430C1F1581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e94aa6335c599863f991af340d5b7fba9fb14c3","datavalue":{"value":{"entity-type":"item","numeric-id":1807460,"id":"Q1807460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977920$F494FB87-3757-445C-AC0C-BE551A067D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e987d128e1de8d5a989326cb511fcabb40fa82f6","datavalue":{"value":{"entity-type":"item","numeric-id":4359458,"id":"Q4359458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977920$FBA159C2-4BE4-4801-B6F9-134529068BFD","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":"Q1977920$DEB0F598-EDA4-4842-92F0-FECC71AD4F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685d4fe972603335a2433d392bcd78d8d907ed15","datavalue":{"value":{"entity-type":"item","numeric-id":5736317,"id":"Q5736317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977920$4DA9EB68-4D0E-4405-8ED9-C9E8992823F5","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":"Q1977920$05C8A1A9-5D0B-4F5A-98BC-2D45FC171C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977920$1FF954DE-C6B3-4684-8E87-5574553E48F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d268b2809bbcd70c788c93a5e38330e04b05334","datavalue":{"value":{"entity-type":"item","numeric-id":4302793,"id":"Q4302793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977920$82B17C53-1C45-4454-BBA4-7A3B30D55994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4ec1c219aaa5ecb98ce768196d2a3c93049825","datavalue":{"value":{"entity-type":"item","numeric-id":4302794,"id":"Q4302794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977920$BCDBDCA5-2B35-4730-8DF5-F93F2EC43914","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce018550eadd24e89fcf973622e2d181ee94dd9c","datavalue":{"value":{"entity-type":"item","numeric-id":1126840,"id":"Q1126840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83cfb1dac36928c44aac8dec33e7b15603241d7b","datavalue":{"value":{"amount":"+0.8032312989234924","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":"Q1977920$E8A13279-8137-4090-892D-666DA5BB095A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8462bfd2a5cf028620927480edde6e6d5ead70","datavalue":{"value":{"entity-type":"item","numeric-id":1881217,"id":"Q1881217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6591a848bb6d73b9e2a645fc319142dbd82399","datavalue":{"value":{"amount":"+0.7801191210746765","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":"Q1977920$45FA849E-2D5C-437A-9C56-5DCA2B401F05","rank":"normal"},{"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":"0e98ea96fad57601881db0c02cb13ee9d74b1df6","datavalue":{"value":{"amount":"+0.7692780494689941","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":"Q1977920$707B591A-C1E8-4F36-AF0D-585F9EC77102","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic verification of proofs in calculuses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_verification_of_proofs_in_calculuses"}}}}}