{"entities":{"Q545151":{"pageid":546918,"ns":120,"title":"Item:Q545151","lastrevid":51274145,"modified":"2026-01-17T13:34:35Z","type":"item","id":"Q545151","labels":{"en":{"language":"en","value":"Reasoning about conditional probabilities in a higher-order-logic theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5911156"}},"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":"Q545151$658F52D0-8829-4539-880D-66B5D88CFE73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f655a418140d80fe0344351ceffc57fb13492837","datavalue":{"value":{"text":"Reasoning about conditional probabilities in a higher-order-logic theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q545151$433131B2-3205-45CF-9C17-EA8FCDD5C874","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34fbd1f57514b72ab8c66e665316f5a26c9ada6a","datavalue":{"value":"1216.68234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545151$66ADBA25-DB16-441D-92C5-0E04D6087E66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"393ef07e7673f4510d0e5689d2d44001b3ecc236","datavalue":{"value":{"entity-type":"item","numeric-id":246140,"id":"Q246140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$0F228AFE-2284-4745-93C1-32B6C261300F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$9258C9C4-2616-4E30-9A8E-DE209544B96C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$8C024FBE-3DCB-4C09-A169-A1A7660EA003","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac42a1c605d71bb96049969d8ffb67993ed74b9e","datavalue":{"value":{"time":"+2011-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q545151$0C2CBC89-76A8-4428-83A3-AD2104E75D9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c8abe056b92a661ef243ca1ec82b3de9b5fe10b","datavalue":{"value":"https://spectrum.library.concordia.ca/974505/1/reasoning_about_conditional_probabilities.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q545151$2FA99E39-97E2-4C94-B481-E55B1312442A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545151$64A90231-2274-42BB-B8F2-0A0D41562835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545151$7BE9F32F-B6CD-4D78-9B0E-E0E5EBA78F68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4e02c0825803a8d9dadfc89949c2c0dc87dd0d1","datavalue":{"value":"5911156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545151$1598FBD8-6B3F-4A7D-9767-3436F2491496","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e2db3f780ca8a75a2b618aac33b857868f35cf7","datavalue":{"value":"binary channel","type":"string"},"datatype":"string"},"type":"statement","id":"Q545151$B8C7B84D-A3A2-4B78-8C93-B3DE7E5B7A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff1f96749f600130bd691e73f7012ee7c2f7857b","datavalue":{"value":"Bayes theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q545151$DC8DAC8E-CF64-4252-9C3B-69F750816FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q545151$6AE5583C-53FB-4DA7-B6F2-BE2C8CCAF4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c2a9a0ee15dbb4bfd89047300f0dab1f2cb4127","datavalue":{"value":"HOL theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q545151$9AF63A92-367C-43AD-8B97-05AED60C909A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752b484d49c9a2b93e0a9e10ae2fe7e85c97cb7","datavalue":{"value":"probabilistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q545151$80361C43-5060-4130-81B4-9FA47A811769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e84c370a7b00cb19bcd1df8e128a81ac532ce36","datavalue":{"value":"total probability law","type":"string"},"datatype":"string"},"type":"statement","id":"Q545151$25A98FA4-B303-4742-9625-19DD623F5054","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$94201EE6-F03C-4D31-9E6E-B8AE3EC72473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$53B9543C-FAC6-4970-9EBD-21F59B3D8241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d9e3398f9a03c25d17ec7e1e092f704c058607e","datavalue":{"value":{"entity-type":"item","numeric-id":20434,"id":"Q20434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$DA183111-0399-4C91-9D38-D49D8E18703F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$EC5E58AE-DDA5-4B7D-9255-F874E78F27D4","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":"Q545151$C5262B8A-E182-47C2-BC2C-35D6C030D4A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e4159e873c31bd52dfd9ca3ae2efd57d38681ef","datavalue":{"value":"W1972387650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545151$5C55C202-4161-47B7-B338-1CAD2E946977","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcbfd76296100082bca0dcf7cbf3fe7bd904bd27","datavalue":{"value":{"entity-type":"item","numeric-id":3618814,"id":"Q3618814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$6A115A0C-83F2-4083-9632-C2D3405660C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23eb2407f5476ca1216e796189f27de1b8b868d0","datavalue":{"value":{"entity-type":"item","numeric-id":4813222,"id":"Q4813222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$413C7A8C-6F5D-48EB-B465-708C95E70C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13df58b8c772199395f7ca4c0e34f1cdb5b03d8b","datavalue":{"value":{"entity-type":"item","numeric-id":3998410,"id":"Q3998410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$3D2BF433-6637-4DB1-98FA-28078C385CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$332F4CAD-94FD-4C7C-9028-1B60886EAF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5162e20f525969f1bb86ad112e597268f40e51f6","datavalue":{"value":{"entity-type":"item","numeric-id":3723577,"id":"Q3723577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$3AB60E5D-8123-4C2C-883B-2EBBF8B86FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$2D3CB665-3705-4C56-B190-CFB5E11DB7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6496304f13783e82d12a275120aa4626825ea47b","datavalue":{"value":{"entity-type":"item","numeric-id":4231030,"id":"Q4231030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$CD9F937A-8AD6-40BF-8573-E12DC48A8A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7eccd59025ceba503cdbe2f4f93fd04c2921148","datavalue":{"value":{"entity-type":"item","numeric-id":3608759,"id":"Q3608759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$B8370B42-8934-4C82-85B1-BBF7DF593823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d84002c228353cd557a130622cd1ec8dc59490cb","datavalue":{"value":{"entity-type":"item","numeric-id":3523170,"id":"Q3523170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$D41843D7-2C01-4A00-83FD-F8EED8C1F02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9678f370eb0cb7acabd5e34d5a3cf0f0867420c5","datavalue":{"value":{"entity-type":"item","numeric-id":3608890,"id":"Q3608890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$D6668C8C-716C-48D1-B3A1-F3762E233629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecb6d1612774eebe79f32fa77ddfa1b7f3f4f03","datavalue":{"value":{"entity-type":"item","numeric-id":3608329,"id":"Q3608329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$87E2C61E-5F2A-4FDB-8335-060FA4B746AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ca0b7ac027330e19c7e2ecd69a6702294777364","datavalue":{"value":{"entity-type":"item","numeric-id":1040781,"id":"Q1040781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$90B9BDA6-302F-4138-B8AC-978917ED3015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59763b3fb25129051745803dae70f5cf79103f8","datavalue":{"value":{"entity-type":"item","numeric-id":4484343,"id":"Q4484343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$4D095DE4-1280-45B7-B184-8188D4F2B134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d24e6a9e943e72d1baefb87a22b92d663a60c1","datavalue":{"value":{"entity-type":"item","numeric-id":1400288,"id":"Q1400288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$35CC3DE1-93AA-4ED3-8338-F08EEB050B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"816033567eb7d0df67b35249fb59ad6de2e183dc","datavalue":{"value":{"entity-type":"item","numeric-id":4217794,"id":"Q4217794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$C5BCEF05-4140-4E67-97F6-472AF4649287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$EF1C2EE7-8734-4177-8AB5-07975D4019F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$5138E170-B611-42C6-99B6-6C2CB9B575D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$600B4A30-61AA-4AF1-9E64-EC2894A8F6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0013b511ea61f98a91c5d9a0683a8656f9dd75f5","datavalue":{"value":{"entity-type":"item","numeric-id":4821979,"id":"Q4821979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$2193BE02-3608-4B77-BAB0-B12CEBF2B8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3adb62c210607557d882d770ebdb539f51cc205c","datavalue":{"value":{"entity-type":"item","numeric-id":4664879,"id":"Q4664879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545151$FEB89CDA-231E-402B-8EE8-2B61136388BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82f73f7df76781b641851dd9fd81e6adc5ea7687","datavalue":{"value":"10.1016/J.JAL.2011.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545151$5DAAA9DA-F85F-40DC-BF87-7E7C863A6552","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aa1b6241cb85cf56e7ca7269a147361e1036c71","datavalue":{"value":{"entity-type":"item","numeric-id":5869611,"id":"Q5869611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31687a62830c3a27f8c60faf489d061c7f0f4387","datavalue":{"value":{"amount":"+0.7471041679382324","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":"Q545151$9F2C7C06-751A-4801-8CC7-C6B5494568CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a29a6aabaed4c931eebeffef7ee595826d2a8eb","datavalue":{"value":{"entity-type":"item","numeric-id":3608890,"id":"Q3608890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"febc769468dd20b22178fee4f843bab66346c63f","datavalue":{"value":{"amount":"+0.7407644391059875","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":"Q545151$14E85630-77CC-487B-8DD5-B6F1AE01E2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36771dc220ddf60909b37230830c74f27aa673cb","datavalue":{"value":{"entity-type":"item","numeric-id":3172906,"id":"Q3172906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957b3764ca31b046354bcd8a7edf194bb3bfd668","datavalue":{"value":{"amount":"+0.7192403078079224","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":"Q545151$8DC0632D-617B-4977-A2A4-B77FB5679BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72dd7f5a2636374a4da64f0d6697db46be92f995","datavalue":{"value":{"entity-type":"item","numeric-id":2390656,"id":"Q2390656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418e342bb89303c95c706a926f7d28719997b36a","datavalue":{"value":{"amount":"+0.7088824510574341","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":"Q545151$D89B20FD-8FD0-4913-941C-131B83A8D4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312b4c6001ad00eb7f145f069abe7b68afcac201","datavalue":{"value":{"entity-type":"item","numeric-id":5327351,"id":"Q5327351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4086d1d93ed6112f48a85fcedef4690a3b282a","datavalue":{"value":{"amount":"+0.7084851861000061","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":"Q545151$44F6CF01-493E-4366-8710-E2254125F11B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:545151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:545151"}}}}}