{"entities":{"Q4989395":{"pageid":7018972,"ns":120,"title":"Item:Q4989395","lastrevid":55385581,"modified":"2026-02-17T15:15:55Z","type":"item","id":"Q4989395","labels":{"en":{"language":"en","value":"Coalgebraic semantics for probabilistic logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350768"}},"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":"Q4989395$ACFAB08F-30D3-4239-B150-BC3560B425A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e10053fba83e6c01438d1ab68caf9b6d1859f841","datavalue":{"value":{"entity-type":"item","numeric-id":582134,"id":"Q582134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$33BF6CDB-73F7-42A4-8ABD-5322296A5DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dc922476b8762c0edeaa5934d7af7453851be77","datavalue":{"value":{"entity-type":"item","numeric-id":308155,"id":"Q308155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$82676AE1-B5FF-4246-A6B2-90351D9FF74E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ffa60ea309af725dad80fc9f6348e56a9ea74b","datavalue":{"value":{"time":"+2021-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989395$DA5D38EC-D1B8-41DB-B4FA-4FB00DA27CB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"feddd617d4a04dea90a1364af16ef5b2820979e4","datavalue":{"value":"https://arxiv.org/abs/2012.03916","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989395$43311A23-44D0-4775-8A28-D1ACFFE081AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4de79e00fa55499a1b63a434c3489282ea7130f7","datavalue":{"value":"https://lmcs.episciences.org/7365","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989395$4D29C5C2-DF26-4736-9F13-4F9C59650614","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989395$DE56E565-8E94-4E6B-BA4E-86FF660758C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989395$D7765E02-5B77-4CB8-AE52-DA4D22151D28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b62adf60aafdde5048b578473357adad1ce6328","datavalue":{"value":"7350768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989395$3C49B9FF-EA1E-4AC3-B6F3-3DE4FA6817C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2dbe179c2140a5b73fb632d0a3e25854089c7e5","datavalue":{"value":"probabilistic logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989395$0D1AACB3-894D-4BD3-9767-5E072CF7AA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1446fbfa71f0c635a549acf8d254ae8b29bfcafc","datavalue":{"value":"distribution semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989395$C70BA908-405B-4247-8AAA-62F4E1BD7205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ed2377e8e81f1c3bfed08fb67fb2232ec8fbfc","datavalue":{"value":"weighted logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989395$55445136-3C01-42ED-8E5F-93CF036BA8C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8510cde1c8aae0f11e7e3f07edb7c4c1b96dfe0","datavalue":{"value":{"entity-type":"item","numeric-id":27977,"id":"Q27977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$931D20E6-F423-4651-B51B-622F098C0898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae7c3da40ff2124bf1a8a2a7001ef7dc16ad267a","datavalue":{"value":{"entity-type":"item","numeric-id":19009,"id":"Q19009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$C3A0211D-8919-4714-B806-5EA1F4070F40","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":"Q4989395$38BCB057-EB77-4C26-8E3C-3A6CDBD322EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e876b856b3f5d6ef5102ec15c26c3cf32fa56c","datavalue":{"value":{"entity-type":"item","numeric-id":703518,"id":"Q703518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$FD9F6B11-FDB6-4142-B4EE-64198C11E0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da439f17d7e507ceb9157f985a1ba44df5fef74","datavalue":{"value":{"entity-type":"item","numeric-id":2848941,"id":"Q2848941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$0E8EBC1A-C667-4B0C-A236-BCAD50DE2058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc91bb92487adf57837eb6208c171f11c40be1f","datavalue":{"value":{"entity-type":"item","numeric-id":5246719,"id":"Q5246719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$2C280459-44B3-453C-919A-FD308B0AAC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153be82e3226432a8bfbc3b7780c63438bb1dc88","datavalue":{"value":{"entity-type":"item","numeric-id":5243152,"id":"Q5243152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$AFDF184B-6E9A-49B7-BC06-ED1DBD21002E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ec685939fb013b946f6a358a09ab6a8074f925","datavalue":{"value":{"entity-type":"item","numeric-id":2206456,"id":"Q2206456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$D3049288-827E-4DBC-8121-8E5AF00A881C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26548364e59339b5e28695850e17d9cb2b8d46b","datavalue":{"value":{"entity-type":"item","numeric-id":3008408,"id":"Q3008408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$EC4790DC-C11E-4C46-A533-A972E3069425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b67edb34c508a2f9add187bc31a05d962ebca78","datavalue":{"value":{"entity-type":"item","numeric-id":4608654,"id":"Q4608654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$209AE29F-6466-43A8-8006-B8F9304E866D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c7daef6bcfec4a523dde8517efb22e2b20b172","datavalue":{"value":{"entity-type":"item","numeric-id":4223050,"id":"Q4223050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$A023E183-8A28-48BE-9F0D-BC97391729A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb32a8ab00015f4cacfd6be5e6a4ee507e66e7d","datavalue":{"value":{"entity-type":"item","numeric-id":5426034,"id":"Q5426034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$2214D466-85CC-45F3-AA8D-D8EE7AB4820D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc08fd496d31a8fdc89f89e012ea9308949117d","datavalue":{"value":{"entity-type":"item","numeric-id":5875350,"id":"Q5875350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$096081D2-0EC6-4220-96DE-F0DB8DADE280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd33aeadec71427487f47505f9e43cd230388019","datavalue":{"value":{"entity-type":"item","numeric-id":2289083,"id":"Q2289083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$DCFF8678-12DD-47FC-A753-4F38B6289489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbeca715e64e2090aab82b23c75de32c2011e521","datavalue":{"value":{"entity-type":"item","numeric-id":5150953,"id":"Q5150953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$AA7ED15F-A8DE-4B2E-A56A-17973017EE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381d30406a5db177bd61df587b5b0cf10aa2d35b","datavalue":{"value":{"entity-type":"item","numeric-id":4592714,"id":"Q4592714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$08E75D1F-186B-43FD-9B5C-81C72D206964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84632367f0bc821d70fbb205d283f9db1d7e726","datavalue":{"value":{"entity-type":"item","numeric-id":3067470,"id":"Q3067470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$05885CB0-42FB-4AEE-95A8-74C31D862826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ada61c14aee50389693cc08b998bd5592a48d66","datavalue":{"value":{"entity-type":"item","numeric-id":3090874,"id":"Q3090874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$DF3C4E78-1D20-49FD-B2A8-51EC7E8628DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbc3382b8ae2f0acfdbe18d018eebda4a012992","datavalue":{"value":{"entity-type":"item","numeric-id":1994355,"id":"Q1994355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$F3E0D2D3-28AC-4A16-A88E-29F3B4246209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51d40ac128d3b8f56437d853da9c099079feae2","datavalue":{"value":{"entity-type":"item","numeric-id":5739982,"id":"Q5739982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$70B33087-0E11-4D6C-9A3E-2702D801C530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c5bda6b432a3442cab572a978e555ebe5f50a7","datavalue":{"value":{"entity-type":"item","numeric-id":280198,"id":"Q280198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$969AACA8-3379-4555-816E-FC6605445A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$52D68CAB-CB18-42E2-BE99-94D6412BB117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$ABF87ACF-BDBF-4960-9391-8A24DED35442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833e32a8a1a7377530f0354a56d69875753a5464","datavalue":{"value":{"entity-type":"item","numeric-id":1207942,"id":"Q1207942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$3B94A5F8-D173-4450-980C-6C1671D5C168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730673ab69aec4c14291c9dce9e11bd29a9b03ba","datavalue":{"value":{"entity-type":"item","numeric-id":5452027,"id":"Q5452027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$24C943F1-4E44-4F9A-951D-4B10A7CFD4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6ec4de517f24dc6d9482b26b580f06f9b2f633","datavalue":{"value":{"entity-type":"item","numeric-id":2946744,"id":"Q2946744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$04347F4D-6E3E-4148-B232-E4954F7E8046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186cc0ca6b50cc6e950dad6a36965f88110a3a21","datavalue":{"value":{"entity-type":"item","numeric-id":2763628,"id":"Q2763628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$CB897362-4A9C-41D4-9CCD-25682C00177B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4118243111efeb828f4d7d13d9c4d889c12f39e3","datavalue":{"value":{"entity-type":"item","numeric-id":3449483,"id":"Q3449483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$AFDABC5E-79C1-41C3-8150-95027137795F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd14956350606a4cb97c3e2a2e317ad14ee6c5d","datavalue":{"value":{"entity-type":"item","numeric-id":5713453,"id":"Q5713453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$3EE7BE60-8B6F-49AA-9F11-3CA94DDB5B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ec7d8fe15d36eb40752b72a6a0baaf7999a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4256309,"id":"Q4256309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989395$A70424A2-66C8-4225-A005-23DC5E323B58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7451a122c7d08ff3da3eda1ee984acc4b6f51066","datavalue":{"value":{"entity-type":"item","numeric-id":5875350,"id":"Q5875350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80c2c86d9376afbb4bf49a69e02b361825887c3","datavalue":{"value":{"amount":"+0.9616486430168152","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":"Q4989395$CF6C7C3E-9B75-4EC9-A434-CDD0E5F8A54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0853115477b595f9b6a6660623b60e1af9db680","datavalue":{"value":{"entity-type":"item","numeric-id":3067470,"id":"Q3067470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17124a08cf7dee7cc7c167994c283a7d3acc2698","datavalue":{"value":{"amount":"+0.7951704859733582","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":"Q4989395$5C67D687-DE61-49B3-82E8-DA3A31A95487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c822778caf4e2f61aeedc5fc08ba8defa17d8117","datavalue":{"value":{"entity-type":"item","numeric-id":1207942,"id":"Q1207942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7ddacd479de8e6f99ef49c6657a725ae2e630f","datavalue":{"value":{"amount":"+0.7603022456169128","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":"Q4989395$567F74BD-1733-46B2-829E-D5ABDE2CA90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662399e4cc13d497bbc41ccf76729bbdc43b66e0","datavalue":{"value":{"entity-type":"item","numeric-id":3090874,"id":"Q3090874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ea377d87a5bef103a9dec84dcb29a8ac61b62c","datavalue":{"value":{"amount":"+0.7587377429008484","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":"Q4989395$AED62B48-154E-4860-936D-0A5378182FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ef567ae3caa4523626ccbb32fa2c077018c262","datavalue":{"value":{"entity-type":"item","numeric-id":2848941,"id":"Q2848941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee2cb3f91bef07ff9c4362fd712694af21db75a","datavalue":{"value":{"amount":"+0.7586323022842407","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":"Q4989395$CF168DDC-F173-48B9-B2C3-B31D736C0972","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989395","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989395"}}}}}