{"entities":{"Q3090874":{"pageid":3101589,"ns":120,"title":"Item:Q3090874","lastrevid":51324782,"modified":"2026-01-17T18:42:45Z","type":"item","id":"Q3090874","labels":{"en":{"language":"en","value":"Coalgebraic semantics for derivations in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945233"}},"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":"Q3090874$6F7D3FF8-B125-47D0-9B11-399801401389","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e64fbf596814f078dd451804bc20eb2c15d51676","datavalue":{"value":{"text":"Coalgebraic Semantics for Derivations in Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090874$3CC3E9AA-3993-48E5-B336-3FC9CD1121A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cfbb3f4c8c29b67430fb3d131dc7a04c85a7627","datavalue":{"value":"1344.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090874$54DDE797-E1A0-4C49-A0D0-0116E967A5A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"788dded6033e8aa5e1bc6419a0ff8b51dcac027a","datavalue":{"value":"10.1007/978-3-642-22944-2_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090874$A6ED621B-CE1F-41B0-86CA-4036E18033FB","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":"Q3090874$A9584E64-BC7D-4360-B894-1D34722D12D8","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":"Q3090874$6D7B2D7C-65D0-465E-9C6C-F50267C03104","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090874$158B2804-0F8D-420E-81AB-1E90C0EE143B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090874$E210D74B-A446-4A3C-8640-FBD209E55EF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c077ece36f6f557c92dad86d89430e54b50eadb","datavalue":{"value":"http://opus.bath.ac.uk/26422/1/Power_CALCO_2011_268.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090874$87C95D2F-641F-4B35-AFDE-45C651536A23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090874$8EC80814-7F9A-415A-AEC6-E6AB0541A4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090874$222B0759-B4FE-4488-AE55-B427D3E46223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090874$52924058-A06B-41F9-A660-8CA25AD4B75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090874$76EA8995-ACEA-443C-8CE7-F5034DDD2C94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21cac9cf637d956806d7b65474d8ac038bea552c","datavalue":{"value":"5945233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090874$B727D58E-AAD3-4D52-85E0-FCA4546E7969","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090874$8272F0F5-DFCF-4D75-AB58-67E8F58B844C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090874$FF265797-6B0B-4F43-BEFE-836F27076CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090874$423396C1-95EB-48EA-90A2-F18D77B1F63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74a5eddf897f4747e6697376f6f64fae4ee9eae2","datavalue":{"value":"Lawvere theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090874$01A33401-1D87-4811-B5CB-82909C204EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0d015e16eabc316afa7e98b6fb091238b6b230","datavalue":{"value":"lax natural transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090874$03C57D6A-5AB5-46E7-876D-4455C8BBA372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72feb6641e5a716fcdaf6f2316e1e2141df9e875","datavalue":{"value":"oplax maps of coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090874$00E798D1-A34F-4867-84D9-0C648A9608E8","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":"Q3090874$90C2DA2B-EFFD-4CBF-9145-66C9CE250DB6","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":"Q3090874$3EDB6DD7-4C1B-4662-9486-21FA2D7EDFAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ef9354ebbd214e467752a0f0c735d773cbb9fc6","datavalue":{"value":"W180563605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090874$BB812DA0-487B-4833-B249-83B1BEA53918","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":"02ff8f176134e1bb8ad977c02b6bc49c1b2999e9","datavalue":{"value":{"amount":"+0.8642539978027344","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":"Q3090874$B0523938-CD14-484D-8B3E-FC853E8138FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1f5b9cdd648c59f2641d043d6a1fe0bcb030ba","datavalue":{"value":{"entity-type":"item","numeric-id":2915694,"id":"Q2915694"},"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":"Q3090874$73546FF6-554E-4DCA-A349-D058F42C29E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2c32bd82fe251e429a199abbf2611841050d34","datavalue":{"value":{"entity-type":"item","numeric-id":1994355,"id":"Q1994355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70fda3a6c53ffd42df71db183a44108a2c86c725","datavalue":{"value":{"amount":"+0.8112128376960754","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":"Q3090874$3F531714-33D3-44B4-B9D3-42627DC7474C","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":"48501ede6f0a86e194261de52c202ac4c9c72972","datavalue":{"value":{"amount":"+0.7999111413955688","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":"Q3090874$D9E62663-56E5-42C7-B1BE-4FDE924D14E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd34b06bae608555feadebcfb6a3297c3cb09f6e","datavalue":{"value":{"entity-type":"item","numeric-id":5739451,"id":"Q5739451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a52aa928e047b9398b96db43459d7683d10bcd7","datavalue":{"value":{"amount":"+0.7834607362747192","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":"Q3090874$CED47CA8-B243-46FC-B1A0-130B91115D47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090874"}}}}}