{"entities":{"Q2915694":{"pageid":2926414,"ns":120,"title":"Item:Q2915694","lastrevid":84997418,"modified":"2026-06-03T05:29:20Z","type":"item","id":"Q2915694","labels":{"en":{"language":"en","value":"Coalgebraic derivations in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083550"}},"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":"Q2915694$65BE79B9-E2D5-4F96-B3DA-CA839D3C970F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28f8e9a4bf7d98f7017d018def6c79877589931a","datavalue":{"value":"1247.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915694$CDC31EA6-EF25-4C20-9E9E-9B03BB9AAAA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915694$3E290219-6A9E-48DF-B193-9CE344A06563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915694$0750E0B6-D410-4DBF-9281-DF617089B444","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915694$E051B53E-46C9-4A4C-B849-CB885D8CA131","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd249ca8068cd155709b4122a592472988fba6e3","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_e88d.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915694$BFFE2930-10DD-463E-BA02-A42729855659","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915694$4908B77E-305F-4F16-9835-C9C3C2E41EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915694$A91247B8-DE29-414A-9137-04FEBD83E9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915694$73029638-E2EC-4688-9304-7462070FA59D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"230c17107becd84368f046d6ca64c4509cd0199a","datavalue":{"value":"6083550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915694$EBBE559D-2C38-488F-87D1-5A84911586C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915694$272C6786-0D68-4038-8DEB-CE727C9B3997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915694$E2FF91B9-860F-472B-B228-77731E6D38B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915694$1724F542-39CF-472C-A2E1-48CEB4AA5170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915694$D489065A-A63A-4968-AB90-AE25873AA935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74a5eddf897f4747e6697376f6f64fae4ee9eae2","datavalue":{"value":"Lawvere theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915694$2432FAE7-C07F-4151-A96D-16346D73974C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f788a14932bbcbaec598167a5bad42ec060a7cfc","datavalue":{"value":"coinductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915694$7D7E7F59-6D22-4175-98B6-FC2BA47B3959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1308554ad3460b711fad75984ba405cfa4693683","datavalue":{"value":"concurrent logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915694$E2DA25BE-1260-47B9-BCE0-F619CB2458FD","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":"Q2915694$83588ADB-659E-4950-B5A8-E49B52B8E050","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":"Q2915694$9EFCF6FF-3C47-4AB3-B88D-0599FD946ADC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eba38e2ce37e781113dd86f101827eec1518beb5","datavalue":{"value":"W1593507982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915694$795045C1-8B7D-428F-B11D-1BFA9C1A5DCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b05e27ea481f173eedae99b73fb6433a3c15bc69","datavalue":{"value":"10.4230/LIPICS.CSL.2011.352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915694$78DF0D50-2623-4CD2-BFA4-D12086C505EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b5f5d4de0f748d6324f54b82ac7f4bc4ce0b1eb","datavalue":{"value":{"text":"Coalgebraic derivations in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915694$4CB7F39A-31E2-4731-AB7D-17BBFCA86F23","rank":"normal"}],"P1643":[{"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":"4f0c1e61b858d29439ead937cda5b4461dac46ce","datavalue":{"value":{"amount":"+0.8904998898506165","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":"Q2915694$99807362-B60B-4987-B21C-BD987EE8AC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1845376d4c8e5f42669d8d57b7ee2c2bf28ca6a","datavalue":{"value":{"entity-type":"item","numeric-id":5739982,"id":"Q5739982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26fde38f86126468af789a52213d3288dc719445","datavalue":{"value":{"amount":"+0.8581303954124451","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":"Q2915694$69484F29-90E0-417C-B934-58C976B36D6F","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":"3fbff6a98a47130f1dec1c16f6b07e8293dafeb2","datavalue":{"value":{"amount":"+0.8553531765937805","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":"Q2915694$BB161AA4-2EB8-423C-8AFA-2ECADBF39C4E","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":"738454608bd29b558e5432bfa666c8eb27abb7ef","datavalue":{"value":{"amount":"+0.791620135307312","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":"Q2915694$340F5155-AE2C-4EE3-9FDB-C33D9D44C73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d22df9a8ab886bf4b1c86ef9d38e4d46a30dcc0","datavalue":{"value":{"entity-type":"item","numeric-id":280198,"id":"Q280198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1b1247f22eb1cee9b6d87b0d28b34c455c13ef","datavalue":{"value":{"amount":"+0.7841944098472595","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":"Q2915694$FCE0F633-5C24-4EDC-88D0-0FB2553940D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic derivations in logic programming","badges":[]}}}}}