{"entities":{"Q3558858":{"pageid":5588762,"ns":120,"title":"Item:Q3558858","lastrevid":88376051,"modified":"2026-06-04T14:21:47Z","type":"item","id":"Q3558858","labels":{"en":{"language":"en","value":"A uniform proof-theoretic foundation for abstract paraconsistent logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5706176"}},"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":"Q3558858$4EB42CB1-6FAE-49EE-9264-5E06B1C92F0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c484820e8f89f148fc0df2d61f443b2dbc49f8ae","datavalue":{"value":"1214.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558858$2ED8192F-F801-4C03-A90F-D17D1D53EB8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558858$E8A99170-8ACB-4E34-BB18-9692291B5532","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4e1db7385ea3a6adf9e2f60c35e705761478f9b","datavalue":{"value":{"time":"+2010-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558858$7501BA96-6841-469B-97B9-8CDAF7CCBDDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71af7fc3cfc3290f2fe0043570993dabc298a707","datavalue":{"value":"http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2007/A2007-01/JFLP-A2007-01.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558858$07136F7C-792F-48B0-A84C-100AC75ED825","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558858$76165950-1D5C-4DBB-A526-B757BFAEDF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558858$B540B0C5-FCDA-466D-ABCB-964C82EFD623","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eb3058396429df0330f302bb26eb989d334c8e0","datavalue":{"value":"5706176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558858$D7D983C5-8D61-4608-A7A8-B3D5F83A7B86","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":"Q3558858$D6F8D9A5-0F92-4E1B-A491-CB52F3106CBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaff207f437e46bae6b209f849f9bd721c6565e2","datavalue":{"value":{"entity-type":"item","numeric-id":764309,"id":"Q764309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab32305165c5ba0870f0b518346c10732d115665","datavalue":{"value":{"amount":"+0.8303062915802002","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":"Q3558858$D9408C2F-EF98-4B49-902A-74DB0E6B7F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd38a941b1330cf785992d86f23b5dc4c376ee1","datavalue":{"value":{"entity-type":"item","numeric-id":4207887,"id":"Q4207887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e6dc55f058f13143abedeed99f7d60a2763b91","datavalue":{"value":{"amount":"+0.8111372590065002","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":"Q3558858$5601A219-7B08-4E78-882B-30A421DC85A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c16bc98d10521f1891cab4288d7fa65252522b","datavalue":{"value":{"entity-type":"item","numeric-id":5175691,"id":"Q5175691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f970515870db554807802ac4cdcfc2513c476349","datavalue":{"value":{"amount":"+0.7920984625816345","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":"Q3558858$86402066-9E0D-4F84-815E-932CEC67D7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8b6385421c27b133c98bac8a16b6e10a2077e4","datavalue":{"value":{"entity-type":"item","numeric-id":3359740,"id":"Q3359740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75bc49432caf1a6600194aedf7c6dacc1946302","datavalue":{"value":{"amount":"+0.785087525844574","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":"Q3558858$E063DF26-5B7B-4EDE-A818-FA741E0EB697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ae42a808b37199a642114f619618f8a831d761","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103bbb550325385aeec168e5ca30175cf6cd901b","datavalue":{"value":{"amount":"+0.778324544429779","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":"Q3558858$812EEB78-70F1-4E1A-88F9-CD84C62C36F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A uniform proof-theoretic foundation for abstract paraconsistent logic programming","badges":[]}}}}}