{"entities":{"Q5246719":{"pageid":7276287,"ns":120,"title":"Item:Q5246719","lastrevid":58500675,"modified":"2026-04-05T12:05:29Z","type":"item","id":"Q5246719","labels":{"en":{"language":"en","value":"Bialgebraic semantics for logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6428623"}},"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":"Q5246719$EBC60340-7F3D-4D62-8133-20F987ADFA30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3916d6df1df33aa9894475c910e49be3ed11ef67","datavalue":{"value":{"text":"Bialgebraic Semantics for Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5246719$5DDA0477-B3D9-4FB9-A5CA-69465F6C72EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9ecfc8b786fccea08bb3ab2f6e0ce025e969682","datavalue":{"value":"1347.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246719$6B246161-F1D2-4FFB-A6C9-0851D42A7380","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aec53543ac5a9c6e619c981b5b75ed6857f7dd06","datavalue":{"value":"10.2168/LMCS-11(1:14)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246719$A01EBD24-E35B-480C-AFC1-6241AEA9B19D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a68534f975dd295216ca3c8a9d82e5e3a57e3f17","datavalue":{"value":{"entity-type":"item","numeric-id":308153,"id":"Q308153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246719$00B23C77-DAE6-4993-B764-71061166B750","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":"Q5246719$6ECC6360-E6E9-4621-9853-81121EC0400D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5246719$C0EE2C70-767D-45DA-800B-691CDC5DC1BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ddb9fa8bd34fdf8ac927b9d1418db509264e54a","datavalue":{"value":{"time":"+2015-04-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":"Q5246719$A2F7ECBF-80E4-4A2C-A400-922443CA4F3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"135e8971ac6aaac61dcf3249199b4897922db256","datavalue":{"value":"https://arxiv.org/abs/1502.06095","type":"string"},"datatype":"url"},"type":"statement","id":"Q5246719$D49592FA-6E2A-490C-8B6B-D7E4E878D884","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246719$5D783E2A-823A-45DA-96C2-668C765BFABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246719$FC9CC73D-4BF8-4EEC-AC30-524550A91976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246719$5B90C157-1B62-4E04-A603-E2803BD4F1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246719$24100526-82B9-422F-BBD7-DF26F236302C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f812a29cd006a8385e03055df94d3162cd7b38c","datavalue":{"value":"6428623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246719$175BD301-DB80-4CB4-88F0-A4B4EA395D28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246719$2DD04D53-9EFA-4A50-AE83-2F8E47BCC2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f0801090e4fc307be0fdd8044ef957395b17920","datavalue":{"value":"coalgebrae on presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246719$BF924B8C-7BF9-4B26-A568-8282858BE9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc9090f53ccf4afd15ae67ea0d85c1a629d69d","datavalue":{"value":"bialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246719$E07A74D4-30CB-4E02-BA8A-38B69BFE4AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5246719$0FB3937C-A435-47CA-AB34-69FD1ED909FE","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":"Q5246719$BA6B0E86-12F9-4241-ABFD-CA5568042F7A","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":"Q5246719$5062C95F-C38D-4883-97D2-8C80FCBFB8DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"393785989ffbadd2cc22c583a6fce9ef8133a9be","datavalue":{"value":"W1817268752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5246719$68B2FE2E-2BC8-4708-94CC-7E85E474AB84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31a44a14351d643d4c82d195776c3efc2bf024c","datavalue":{"value":{"entity-type":"item","numeric-id":2866314,"id":"Q2866314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d500aa5c515d20582c2787e3b0fa34e427a6fd1","datavalue":{"value":{"amount":"+0.8076401352882385","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":"Q5246719$865E3647-F297-4307-9E84-4BB7212C0E11","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":"09f92545b9929e97a20e9328034339f29cb90557","datavalue":{"value":{"amount":"+0.8060441017150879","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":"Q5246719$CD0BA8F9-A267-4A5A-BA62-B559B51BC636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ab37994179f5b2ea9e7f01206201ba9f4c2e98","datavalue":{"value":{"entity-type":"item","numeric-id":1012126,"id":"Q1012126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1489eda76fe506a6e861ed869f64f20f0c8bb3bd","datavalue":{"value":{"amount":"+0.7848195433616638","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":"Q5246719$1C234EDB-8BAB-4505-92B9-622711169E03","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":"2799a631ce5af9f2b49fd095e032e4f796a2b8c4","datavalue":{"value":{"amount":"+0.7798215746879578","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":"Q5246719$3DBD50E4-2A9F-486E-96FB-B61CEF845126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e650a01a1b88ee92b2c8139203cdf06ef45a014","datavalue":{"value":{"entity-type":"item","numeric-id":4917044,"id":"Q4917044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbbd11a49ded9d7cf874ec994874875a9b416e0","datavalue":{"value":{"amount":"+0.7602388858795166","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":"Q5246719$BCD2E404-65E6-4A92-ADBA-EC6942BA6E3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5246719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5246719"}}}}}