{"entities":{"Q4580222":{"pageid":6609808,"ns":120,"title":"Item:Q4580222","lastrevid":58273950,"modified":"2026-04-04T12:48:03Z","type":"item","id":"Q4580222","labels":{"en":{"language":"en","value":"A type theory for probabilistic and Bayesian reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917241"}},"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":"Q4580222$19199688-DFFA-4E93-ADE4-BBC793D4C0F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e5acc186fccfbfde1f273a210abe82547a6975a","datavalue":{"value":"1433.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580222$CBEF0B71-5529-40E7-8B08-378E91BD4585","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cec371990f9003fbdabf64bcaf7487ca13372cd","datavalue":{"value":{"entity-type":"item","numeric-id":636366,"id":"Q636366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$83CFED5B-D505-48AF-B81B-D6E522B4F068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$D9CE275F-0046-4D04-8C67-9256276D8AB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580222$DA90F99F-16B5-453B-9BD6-94DCD31D77E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea64eae2a4232b70776b481b6eca1a6e1ca306e0","datavalue":{"value":"https://arxiv.org/abs/1511.09230","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580222$D46DF3A9-B56D-45CA-A3D4-0B0D4F5A4C73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580222$A67313D3-36D7-4088-8E6D-13C552941373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580222$E2D0F2D8-F44D-4BA0-BE60-6E17041C4C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2474c99ceba943e04dda4ddfffedfe45f5fdfd62","datavalue":{"value":"62F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580222$488EABD0-78F6-492B-B2C2-11472943F118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580222$BE5F071F-1C9C-4B53-8CFD-EE0B392FC7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580222$657DBD02-3CBC-46B4-9A9F-BD16FBA455DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b50d095a1ebf1e88708e6be9dad4ef7c2e148bc","datavalue":{"value":"6917241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580222$AC84051F-8BF8-4572-A40E-CE13FCA23649","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf78c9ff68381ba2adb2a75ba12d4f7a7246f85","datavalue":{"value":"probabilistic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580222$1C9EBA30-5DCB-4BC1-826F-3245A5E80176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39067a815709c092a11d330d2b17e40f9f205e81","datavalue":{"value":"probabilistic algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580222$9DF0EB8C-48C3-4DEF-BACC-E293FE2D4DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580222$F81552D1-3A01-48D9-8147-2537B323910C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c13909cfcecf85cafa953431c473c7a99921f768","datavalue":{"value":"effect module","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580222$D0E09877-0A01-4569-836F-F4BE4E97E9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e236b11c8a9c490325c303f271d8537adba6944","datavalue":{"value":"Bayesian reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580222$A526B170-4442-44C6-854B-19CA2057B12C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e2f07ed575afcef77d660fbd37caaadff0928c9","datavalue":{"value":{"entity-type":"item","numeric-id":54936,"id":"Q54936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$192807B7-2E30-4532-8BE1-B8C840C2BD91","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":"Q4580222$CB575550-B769-4176-BF82-EDCF030FBBA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bb2a95d8c9c301157aa881123a92458a27e4b3","datavalue":{"value":{"entity-type":"item","numeric-id":4997286,"id":"Q4997286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$6D36978E-DE20-48C4-983C-7835BC084DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$0C6FB036-C270-4AA3-8EBC-0DE8B982A807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc137520d8b2b4022d199f8b5a8b4522d9778c1","datavalue":{"value":{"entity-type":"item","numeric-id":5892490,"id":"Q5892490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$541F93AB-B847-4418-8199-18EB264C1FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc92e4b7814445059b889236a7b87423ee71b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5015192,"id":"Q5015192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$87759ACE-8DED-487E-AD3A-DC52558A13EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd0d2ebb53e08ca517374afc0f3b52beaef249e","datavalue":{"value":{"entity-type":"item","numeric-id":5971402,"id":"Q5971402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$9E82D831-59DF-46B1-BAEA-DFF5920E1BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a48f3eb0f5ac07b50c4fbbaa85f81c2addf6b4","datavalue":{"value":{"entity-type":"item","numeric-id":5015193,"id":"Q5015193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$5ABEE513-E244-4A16-866C-3DE5F9D9A17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36042f62929551fa96793f2ddc8e4ea6d35d16aa","datavalue":{"value":{"entity-type":"item","numeric-id":5271043,"id":"Q5271043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$C6BFA316-EC23-479E-8ACC-FFAF29833708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585bba7069131217415c506aed3dd7e29b69f6fa","datavalue":{"value":{"entity-type":"item","numeric-id":3196356,"id":"Q3196356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$7D25A10B-30A0-439F-A7E1-4A4EA15FECF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15797e85c9ae26af4d9d48bf3b6d8c450b308562","datavalue":{"value":{"entity-type":"item","numeric-id":1683710,"id":"Q1683710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$0553D383-97B8-4654-B925-08DA7952B19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ce92cc25ed43470f6c4fcdac53ed9bfb956f7c","datavalue":{"value":{"entity-type":"item","numeric-id":2948553,"id":"Q2948553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$DC865E9B-1141-4EE5-B595-140D043122F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8887fcece47a151017e0f29b68fe113c6901cc65","datavalue":{"value":{"entity-type":"item","numeric-id":1744386,"id":"Q1744386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$E1630CC4-BD97-48B3-BACA-AF084193BD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$14938378-49BF-4295-A2E6-3F87FF4A2A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43404ec2d41a8c402f2500bd778d3e2740e76c76","datavalue":{"value":{"entity-type":"item","numeric-id":2802489,"id":"Q2802489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$32D3F251-88B4-4C43-851F-15C2BB0943C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$4F4E66E1-795D-48C2-A6B9-BA36B000AEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$D390761F-6487-477F-8064-8B38ACBA1F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95aa2097ce94ee901314aa31979f824aa8a7a78","datavalue":{"value":{"entity-type":"item","numeric-id":5495145,"id":"Q5495145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$AD987363-F2CC-4F77-B1FE-8AA207284FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"868ec157a093ae1ddb017cffb03218396dbab176","datavalue":{"value":{"entity-type":"item","numeric-id":4370247,"id":"Q4370247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$7EBB5D9A-0229-4FFB-9992-31E99E13AB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683f90529f8a5594d9b7284a834cd4b1de56a60e","datavalue":{"value":{"entity-type":"item","numeric-id":4635928,"id":"Q4635928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$FAE0E66D-BB34-4F7F-A5EF-0652C607CA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b4c14406a61f28f8d6bf23209bb95e38f7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$CCFA2227-DB6B-4285-8318-6AC4B02C3C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4c5afa32682b6614ad0638bf10a2f4f1610081","datavalue":{"value":{"entity-type":"item","numeric-id":4635912,"id":"Q4635912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$C3C558E1-C79F-49AD-A9FF-E61E32876D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2c7ca13e70d3e8faf04a058e006d27ce9b92cb","datavalue":{"value":{"entity-type":"item","numeric-id":371259,"id":"Q371259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580222$1EE5F8CF-4A16-4FA8-B45C-175AC0E8F127","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90cc217ee58f450edaf810a6f5c0a1b197ce01b8","datavalue":{"value":"W2963712756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580222$45A2CDC6-EEB6-4C98-9C84-E59D1FA38455","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1137695237ee88ad32d3f6599f06d5707df9d172","datavalue":{"value":{"text":"A Type Theory for Probabilistic and Bayesian Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4580222$38BA70E6-6F5C-4098-AADA-6A9B94B12920","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dcaf68786aefc90493de63fd3c3fd7399217c72","datavalue":{"value":"10.4230/LIPICS.TYPES.2015.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580222$77F44A0D-5A4D-4F72-8DDF-8E78E685DB2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f91487e848a46619a5a140482842c9133ef19c","datavalue":{"value":{"entity-type":"item","numeric-id":1709701,"id":"Q1709701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c793c85108d16e3f232aaa84cd9a863c78117684","datavalue":{"value":{"amount":"+0.755803644657135","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":"Q4580222$BD7DC18B-BBC6-4E82-97FC-C34FE3164959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe241cc4f5bc300a1c2f7c0969236b632540481e","datavalue":{"value":{"entity-type":"item","numeric-id":1744386,"id":"Q1744386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b8c408b43e872601fb6bbe072b92d5cfca0334","datavalue":{"value":{"amount":"+0.755341112613678","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":"Q4580222$DDBC0963-DC8A-43EE-92FC-9EC1829C1DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afff89aed0cd32c368dc28ea9e160650d78eb55b","datavalue":{"value":{"entity-type":"item","numeric-id":3297838,"id":"Q3297838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf587077449a82842f8385907d1cd1f19dad9bb","datavalue":{"value":{"amount":"+0.7538143396377563","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":"Q4580222$19E12EAD-2EDF-4F4C-A87F-F20D6CA94F45","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":"b20feda06386a41d4c8a99f435d99025bf69641b","datavalue":{"value":{"amount":"+0.7474362850189209","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":"Q4580222$CA587706-3742-4D93-A331-920BD3EE687E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7407a79318151a9354ceed665afe56cab3441e","datavalue":{"value":{"entity-type":"item","numeric-id":1961866,"id":"Q1961866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713e0583d9072f4338e9c6572863197f2852c748","datavalue":{"value":{"amount":"+0.7300760746002197","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":"Q4580222$99571A9D-5651-4B13-B001-80A6731645D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580222"}}}}}