{"entities":{"Q685120":{"pageid":686969,"ns":120,"title":"Item:Q685120","lastrevid":42640680,"modified":"2025-07-07T14:45:45Z","type":"item","id":"Q685120","labels":{"en":{"language":"en","value":"Probabilistic verification of Boolean functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417071"}},"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":"Q685120$51C755F5-25B2-458A-99F7-71A35ACF5861","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e41ec05e4dc526f838e3c1999381f5a6350c77bc","datavalue":{"value":{"text":"Probabilistic verification of Boolean functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685120$33360524-5F82-465D-A57D-05DD090E8366","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebdcab5f9890d1d5427d8d0a3b061c62d193ebde","datavalue":{"value":"0777.94021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685120$2F1B08EB-3DAD-482B-8082-4055B3FCC894","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55f1f8a0618483afad3db85ba3a20df16287e1c7","datavalue":{"value":"10.1007/BF00464357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685120$333F7996-05D6-489B-959F-A5698C36ADA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85ea4d300ae65ad1b522cf8654fbcb97fd2ceeea","datavalue":{"value":{"entity-type":"item","numeric-id":685116,"id":"Q685116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$8C8E7582-F5AD-46ED-857D-2C59E4C6B368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97346ca568957bf7c5a6464e2f971d2747a363f8","datavalue":{"value":{"entity-type":"item","numeric-id":685117,"id":"Q685117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$3D0A84D6-3E8F-4A3D-8124-6A3B882A4C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18497b56571cbb8acaaf01463edf6d21e46cae13","datavalue":{"value":{"entity-type":"item","numeric-id":685119,"id":"Q685119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$4F55C643-932D-400F-87E7-5E50A3E4B5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1993cf7dd86e45c5bef9998fe9b219ee196e28a","datavalue":{"value":{"entity-type":"item","numeric-id":1064061,"id":"Q1064061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$D8F5236E-A333-460D-8919-BBF6FE4EDB52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$EE8182EA-6DEB-4920-B418-AD49D92628F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45eae072dc2fde41ae8741e47d8a8d06eb2b2f63","datavalue":{"value":{"time":"+1993-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685120$1B8ED96A-A24C-45B2-BF15-52608F71EB0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685120$1F121074-1112-4753-9734-C6912D7BDCCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98aa7d4c8bee739ee9b9625e9fd49b40e4d28e3f","datavalue":{"value":"417071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685120$D6F94EF6-15D1-4C0C-A33E-783DB60F2A2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f7b890de0bb5e9d45d15d280bf18eeaefac20c","datavalue":{"value":"probabilistic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q685120$272BC636-7181-4A12-95D3-115C916361C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d96f940a7c1f7f5d5003a65e0c385b83e4a826a9","datavalue":{"value":"algebraic transforms","type":"string"},"datatype":"string"},"type":"statement","id":"Q685120$208A1593-0A46-4844-8F41-D58798E5BC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcca187771119f7133fa54b5df5e33ed766a999e","datavalue":{"value":"orthogonal partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q685120$BCFDC0AB-6FE8-4B5E-B1CF-ADAA3B6DB06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q685120$96F05EF1-625F-478B-A767-AB1ED0D9CCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a38d65cefc8920598d02f559652fee4a12a9c3","datavalue":{"value":"hash codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q685120$0B288B26-C122-4489-B104-48CD44925073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"053f82a47c8f40e3c0870312d0e726e9cbd73750","datavalue":{"value":"inequivalent functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q685120$A99665F4-F53C-4F14-8B5D-12BCEA777CAE","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":"Q685120$E42ABDC9-19A2-4C82-B170-F377511F42F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$CB03874A-23F6-4802-9FE7-0F3522F53835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bce9bac897f983fda4ecc0cf3bbfd3856074f","datavalue":{"value":{"entity-type":"item","numeric-id":1144943,"id":"Q1144943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$61608F44-20E8-432D-A060-1E1DF290FDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$7F6876AD-D018-4E32-8303-4789D5424B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$1810E127-3CC5-4D4F-B87B-32AE806F3E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67782435c81856906476d249cbb89a86efd5732","datavalue":{"value":{"entity-type":"item","numeric-id":4160379,"id":"Q4160379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$7DD26217-C76B-421E-B642-6CF2326236DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cdfb5536a521f63363e276a66d5cafa5c7f9ba","datavalue":{"value":{"entity-type":"item","numeric-id":5628016,"id":"Q5628016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$E3B48B01-612E-4612-B3E4-CD3B83CAD169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8074f3bc87dd5a5e80eadac646f8a1478d703585","datavalue":{"value":{"entity-type":"item","numeric-id":3896499,"id":"Q3896499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$5DBA2485-69E3-469B-89BE-1FF902D5E6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a808de03c76b2baf734cc4e75aa01d23520ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4071171,"id":"Q4071171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$A0CDF8C2-920C-4705-A7D9-ED7D73784FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeedbefa6b3c24418bbac12b9e7f52e66d9c29d0","datavalue":{"value":{"entity-type":"item","numeric-id":3912727,"id":"Q3912727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685120$A856B627-D276-4B11-AA0A-240E2E5AA61F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b00b734dc8161b7dd8e6afecdd5a65eaddd5467b","datavalue":{"value":"https://doi.org/10.1007/bf00464357","type":"string"},"datatype":"url"},"type":"statement","id":"Q685120$708FAC92-00E3-4B76-A50A-516B03470924","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30bbe7e6f8604a1e477b071bf17ef9a40a6b5fbf","datavalue":{"value":"W2069530808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685120$244D7D81-0E0C-4EDD-87D2-EE207C1CB9E0","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":"6b57f506b1b1d60da430658c55f67da61119a6b4","datavalue":{"value":{"amount":"+0.92740244","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":"Q685120$64AD52D7-112B-4301-9E73-025504ECB167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc5bbcca317ee7c4797c4aa77033fb46e5480b43","datavalue":{"value":{"entity-type":"item","numeric-id":1803654,"id":"Q1803654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"919cccc853b507392be0e01be345b5f927f4f7e2","datavalue":{"value":{"amount":"+0.926852","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":"Q685120$58A4639A-74E5-4651-9C92-444CE6E3B1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c2f2a7fc8474c0133780afda7d6c98adfa044d","datavalue":{"value":{"entity-type":"item","numeric-id":3316558,"id":"Q3316558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690978dd19315dc1ffe762b2a96f852375adf6c7","datavalue":{"value":{"amount":"+0.9246368","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":"Q685120$F5681A6F-EEED-4FEF-B531-96593885F19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a540b391114ecfc41681dcee8da785ecbfa0e800","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93430874a153a4202d48e5f48b3103aef6c720f3","datavalue":{"value":{"amount":"+0.9168223","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":"Q685120$23E42184-1766-4911-8931-A4BEF03B31E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11151f9884af4846a2c2083068fabda4e8fe0464","datavalue":{"value":{"entity-type":"item","numeric-id":2478551,"id":"Q2478551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa68b7829cecede2c07fb396552d157d3f0d47d","datavalue":{"value":{"amount":"+0.9164144","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":"Q685120$31DD0F6B-4AD4-462C-B3AE-5E341270B0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f4034399829c7be670eedad7e312c427b8bd41","datavalue":{"value":{"entity-type":"item","numeric-id":5465856,"id":"Q5465856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25169df2ce77dea7b1b7a00cbf25ee927ae7fa67","datavalue":{"value":{"amount":"+0.9146559","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":"Q685120$52BBE989-2B1A-481B-AF29-DB301D605D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c84c189b87948b49b5fa29ad23a9bdf925b1281d","datavalue":{"value":{"entity-type":"item","numeric-id":3144131,"id":"Q3144131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7da245b6c8fc28383ecaaae77f3f2d9bcad9cc5","datavalue":{"value":{"amount":"+0.90958756","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":"Q685120$2762DE51-6B7A-4520-AB8C-8B3229D280A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949dc6185729e487d5eddef1dfe3d84e5d8e1e00","datavalue":{"value":{"entity-type":"item","numeric-id":1977920,"id":"Q1977920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4cc17b47385eac158451cfe539fc4886323773","datavalue":{"value":{"amount":"+0.90388894","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":"Q685120$D3014043-B466-411B-96F1-BED45464F5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb78fb0ce6e11fbb4974fcf12abf053d1faa2f28","datavalue":{"value":{"entity-type":"item","numeric-id":4501575,"id":"Q4501575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9df8ceaa8f8e7dd9bec9f03c0e15330431109b","datavalue":{"value":{"amount":"+0.90144914","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":"Q685120$89EB14F1-B03B-4194-971E-704D7D81BD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069e430bb430cd217bb003a396d40fed1851271a","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f9df8ceaa8f8e7dd9bec9f03c0e15330431109b","datavalue":{"value":{"amount":"+0.90144914","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":"Q685120$98FF3416-9C18-4251-9B99-8C4079F06B6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685120","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685120"}}}}}