{"entities":{"Q2848941":{"pageid":2859661,"ns":120,"title":"Item:Q2848941","lastrevid":51823391,"modified":"2026-01-20T05:38:19Z","type":"item","id":"Q2848941","labels":{"en":{"language":"en","value":"Saturated semantics for coalgebraic logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208110"}},"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":"Q2848941$02F77F43-3A33-4C92-95D9-5EE9C567CB93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a297909169a72d925f5d9ef468de1b45ad20bd32","datavalue":{"value":{"text":"Saturated Semantics for Coalgebraic Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848941$1332407C-E4B1-4A4F-865C-3B56F33141E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5855bc7c03514d089465dfe339e343c454ba0e96","datavalue":{"value":"1394.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848941$11B26416-0448-4858-BCE4-3935EC78922E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfb4486e21139a6b389642f426f9d14f5da8f1a7","datavalue":{"value":"10.1007/978-3-642-40206-7_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848941$9F64FA4C-1466-42E4-AF55-27F814083BCC","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":"Q2848941$EABB24C2-21DB-4EE5-B419-635B35378396","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":"Q2848941$864EE536-FB14-4B19-80E9-C592940C5193","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":"Q2848941$6FE9DE6A-A05F-46BA-90CA-0031DBBC0B98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3756c0dd48f1ac2a2472fe44a850976017bd3fa9","datavalue":{"value":{"time":"+2013-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848941$EFEA05C0-ADAF-4B42-8F71-0DA7C67795E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848941$C3B09648-1197-4D56-8DDC-2EF4D66AD85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848941$E6ED2648-FE12-43B8-A8A6-AFC38DA53E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848941$59D6A631-FFC5-4F8D-9076-AD0535149062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848941$32F97BDF-1F05-4302-BA0B-CFD6DDAF9DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848941$AE9E17F0-A282-4FD5-BF94-45DEA04224D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2d4ebf68c6161bb3d5f54440513880f238f329c","datavalue":{"value":"6208110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848941$20EB1FE0-A359-4639-BB09-A283BA96454D","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":"Q2848941$CC2FCBB9-36E1-4FF3-843C-084A5B360194","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c83119ed8df804b1d3db1f7b5454bfb629cee2db","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40206-7_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848941$68E0AB47-5035-4C57-9CF4-3651D330416B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e175979e096e6fc58bb36972537e6ff90163fc2a","datavalue":{"value":"W19531118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848941$53A4D0DD-300A-4E94-A14B-657292E63EC8","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":"db8593c4721f84ed0a04de56ab9d69ff28302b21","datavalue":{"value":{"amount":"+0.8294520378112793","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":"Q2848941$7B8888ED-25BA-4840-AD10-0E8E225EFCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fdf5010a988549be77ddaccc79f64b6433e8c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5246719,"id":"Q5246719"},"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":"Q2848941$35D2B091-0F2D-41F3-989E-EB6E97F93442","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":"45501dbe3065c905f92c8ef465571887ba103cc8","datavalue":{"value":{"amount":"+0.7993675470352173","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":"Q2848941$FC4B7ED1-B790-434D-AB74-118F12B61A2E","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":"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":"Q2848941$0C5E9021-881B-441D-9E9B-8878B35C5B21","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":"12eb498a429bc1820529d6741764f73996991c9a","datavalue":{"value":{"amount":"+0.7797363996505737","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":"Q2848941$8FB38786-EF9F-4610-B362-62A71ACF3BB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848941"}}}}}