{"entities":{"Q5377701":{"pageid":7407275,"ns":120,"title":"Item:Q5377701","lastrevid":96275537,"modified":"2026-06-05T10:50:31Z","type":"item","id":"Q5377701","labels":{"en":{"language":"en","value":"Probabilistic logic over equations and domain restrictions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7059224"}},"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":"Q5377701$F9C7DC98-8974-4AB8-B4EF-B517E7078C13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a3742105cb0d85a9d53bfb898a29d84b486ff68","datavalue":{"value":{"text":"Probabilistic logic over equations and domain restrictions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5377701$5BC2689B-B6AF-4B22-B64B-B2597766615B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be1a755a6924a2af1962306c6d195c8e2ac4b8e2","datavalue":{"value":"1456.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377701$95F01552-9F6D-401E-9D97-3B7138A50634","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"617eeaa16468b64010983a0883d559aa68e6572c","datavalue":{"value":"10.1017/S096012951800035X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377701$45CC4641-16AA-4235-B321-53B1792DE770","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"313138ce8793b675f301c60a9d0989af3a7ea123","datavalue":{"value":{"entity-type":"item","numeric-id":1744441,"id":"Q1744441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$1DEFC3EB-3D26-4569-9188-6A8255836A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6394a9b799318dddd4fd045f70a89704e53a076","datavalue":{"value":{"entity-type":"item","numeric-id":549721,"id":"Q549721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$EBAE72B8-BCB2-4BF1-AE2E-D5FE7FDBCE06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$92568787-4B43-44DA-A9F0-0C5FCC149A4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca1af7ab0f0fb74ee727ac8a7c46d285cfffbb17","datavalue":{"value":{"time":"+2019-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5377701$B3779147-B609-4593-A2CE-85744C3B1656","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377701$64DA2946-BA96-441C-AF19-214F6D9C4669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377701$B296FD4F-D387-46A8-891E-2B7C78CE252E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377701$DB54F7F2-5597-41C2-8B25-EFBEF6D4B216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377701$E9ECC61D-6CC2-423A-9458-9F93C1E84EB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43926913a3031160b63c4b64682f799dd227bff1","datavalue":{"value":"7059224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377701$7C86A86E-A611-45B4-914D-D39CD5911B7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377701$E4CE666F-02F8-42D8-A421-AD9743C271F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377701$FB113594-8E33-4852-AC98-35D013628EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377701$C8023500-9DE4-40F4-A34A-A431C83E1109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1446a8fe3a32612bfa0c068dc9ec6806ae0a95a","datavalue":{"value":"offfline guessing attacks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377701$6FCE2DF9-1EC5-4CC7-82A2-7AC297623C72","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"50d946d9145f3178c9a299dc3d3af0478c3d017f","datavalue":{"value":{"entity-type":"item","numeric-id":33080,"id":"Q33080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$9D4BCBF4-3FC6-47F0-A085-D947F0BF235C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"923a89874ed46a1781b7cc0d3b7aa93a70403c6b","datavalue":{"value":{"entity-type":"item","numeric-id":35770,"id":"Q35770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$06A71EDE-A5C1-4315-9E35-F9F65BAF5972","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":"Q5377701$F0FD6739-430E-4106-ADA7-FD17AFB73E3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$06035838-23B0-4E00-9013-B1D7BC761660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$562FBE37-B6D3-44AE-A58C-09C436A40D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb6df109dcabea74649037e2888a8185c0f6302","datavalue":{"value":{"entity-type":"item","numeric-id":1744442,"id":"Q1744442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$8E2CA5F9-B3AE-49C2-B04E-B13947FD9BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766f3e64390acc4c220dfb9b10c7d0bad57454c8","datavalue":{"value":{"entity-type":"item","numeric-id":540683,"id":"Q540683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$060430B0-B5D7-4FB1-A45E-8AEF79B8F616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5985ede7bd580a3b6a10ed6c28ef50e7923f93","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$409585BD-953B-49EA-9A3A-05EBA648C6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$A73B8A3D-675C-43A0-9241-4B33A34E63A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$5AFAFF86-86AC-4759-8F75-7A12E0D25608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$3A861894-2425-42A5-AE06-66B7AC7DCC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635cc76bb032b05f486cbb05bce12e7227e678e5","datavalue":{"value":{"entity-type":"item","numeric-id":3527403,"id":"Q3527403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$0DF11807-9F14-4B7A-BEB7-E0A0CAB6FF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"010ebbf05cf6ba93f91dec5a13825e4fc4e17754","datavalue":{"value":{"entity-type":"item","numeric-id":5377701,"id":"Q5377701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$DD828D78-6880-4D67-B5A4-43F14EE2631D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a52772fbcf221c6ca51efa65eda2075839dc0ed","datavalue":{"value":{"entity-type":"item","numeric-id":2947458,"id":"Q2947458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$B86B90E5-9B1C-45AA-A3C9-DE284CB098C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$2B7AADB9-0784-44C2-9ECB-95397D9BA8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$8F320E33-F064-4B99-B019-51DAF8891A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f152f591979d4a4a6f18ac89decd280d8f01ea","datavalue":{"value":{"entity-type":"item","numeric-id":4636291,"id":"Q4636291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377701$04C58182-0513-45A3-965F-97CF90113C2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd0d0a68c513371f5d98bc42398a3dca5be91447","datavalue":{"value":"https://doi.org/10.1017/s096012951800035x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5377701$77E4A147-670E-4059-8D9A-3301D1719EEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a542327c333f751ef6597beba1ef087dd0c044d6","datavalue":{"value":"W2921659641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377701$8F43AEE6-7003-4E8D-AB39-2AF93E34FDE1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4e98570b9c3fd8b56c11a5a21387714aaa033325","datavalue":{"value":"Q128277239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377701$7D5531AC-3351-478A-8CC1-53D966341A31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28cc0d78d23507a3dac7f693b7dab1a2fc5f12b7","datavalue":{"value":{"entity-type":"item","numeric-id":2947458,"id":"Q2947458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be10d8582e2ce3df20021b1690635d92a799e087","datavalue":{"value":{"amount":"+0.8134181499481201","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":"Q5377701$BF913DFD-EE1C-44DC-B074-2A1510A371DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882ed5f9a0512b07936ab2c2362ea3395abc1961","datavalue":{"value":{"entity-type":"item","numeric-id":3123584,"id":"Q3123584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50838288900d87484b10e7beffaf57d80e073d05","datavalue":{"value":{"amount":"+0.771946907043457","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":"Q5377701$D155F597-DA46-4794-A66B-C8AAABC48602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d3f4275cbc944e20433913463cfe62b490e705","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f349fbce66b5cbf1e23751e0c3bcc99f03727562","datavalue":{"value":{"amount":"+0.7558138370513916","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":"Q5377701$15573CEE-6A9B-4AF7-A181-50B397024B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"720e89ea7fc167eae199dc0f1074e390ce242d50","datavalue":{"value":{"entity-type":"item","numeric-id":4419271,"id":"Q4419271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496a97f21484c8c2dc7ee1adc5b5384139f8bb1f","datavalue":{"value":{"amount":"+0.7538583874702454","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":"Q5377701$BE7644FB-582F-469A-9BFD-2B70C068F36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13413fbb13986f55bf276b47edc99ac3c9edd208","datavalue":{"value":{"entity-type":"item","numeric-id":3066090,"id":"Q3066090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a59c4852a570fc9c3d6a6707f9b53ebabb5d92ba","datavalue":{"value":{"amount":"+0.7450103163719177","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":"Q5377701$56AAFBD9-BB2D-4E83-B4C5-714356EB4AA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic logic over equations and domain restrictions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_logic_over_equations_and_domain_restrictions"}}}}}