{"entities":{"Q4632300":{"pageid":6661881,"ns":120,"title":"Item:Q4632300","lastrevid":53409143,"modified":"2026-01-24T22:14:57Z","type":"item","id":"Q4632300","labels":{"en":{"language":"en","value":"An abductive proof procedure for conditional logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048473"}},"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":"Q4632300$54AAE146-440E-4757-82D3-3CD7D6A2AD0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fc70571d1cd4673b8c349f2355ea1a83eb0007d","datavalue":{"value":{"text":"An abductive proof procedure for conditional logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632300$0E4683D2-E2E0-46D9-A0A2-EF1CE83887B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce83b07e81ed46749d703aaff09c9b9bb88cc371","datavalue":{"value":"1419.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632300$9EAEA1F3-BE81-4B0B-B327-DEABB58D78DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c8660f3891e24d71980b0bac2f0fdf8ec4fcdc1","datavalue":{"value":"10.1007/3-540-61313-7_76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632300$1217DC1B-18A2-4860-8E62-A3FF1A55AFC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a95c81b1b983e32ebe3edd662c771481c22c0947","datavalue":{"value":{"entity-type":"item","numeric-id":596472,"id":"Q596472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632300$952849C1-ACD4-438B-B1C6-E1E021617F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a5271c72313c8fe579f5f68b40db7b075ac9c06","datavalue":{"value":{"entity-type":"item","numeric-id":1856241,"id":"Q1856241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632300$5674765F-2629-452B-B660-713F77273034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d256bccf6f801a12fb431d179f3dfdac24eba28","datavalue":{"value":{"entity-type":"item","numeric-id":596474,"id":"Q596474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632300$C81EC85C-D496-4CA6-BCFE-560D732ACB92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5469fc662fa74c1289879f047c5642914a1a5026","datavalue":{"value":{"entity-type":"item","numeric-id":4632284,"id":"Q4632284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632300$CE3533CA-E0F5-46E7-B462-AA1F189E9D02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632300$25BBFA0A-EE6C-4AFC-8E3B-032F1689973A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632300$6F3F5837-EF85-43F3-9B4B-38255632C9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632300$6D690B4B-988B-4532-8D5E-06B31D63F387","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94e5015f1a5d831f7a551e3449e0f4996cd7f973","datavalue":{"value":"7048473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632300$40A70637-D15C-46B0-B2C3-F7FA877F8822","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632300$E8429F57-64DB-452B-A0E3-9B3C48FA9715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632300$1D7D2BBE-1743-4287-B22F-80F539C005BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632300$C8A3A5E6-AF4B-4981-97CE-6E4CEAEC517E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e56e258df7ea54ed27faa08aaf1f5d1c650a0f5b","datavalue":{"value":"integrity constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632300$7358A9C6-707D-40BD-AC17-BF4BBFC52EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c02fdb6f073ca7744a4599133f46c54770ac11ec","datavalue":{"value":"admissible solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632300$D7DABF51-1901-4154-9707-F91574CF739E","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":"Q4632300$AFD73A0A-0977-4207-B562-CF18185392B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6af643b1c81031a63a7652a95b7c1fcd3fcf1b1f","datavalue":{"value":"https://doi.org/10.1007/3-540-61313-7_76","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632300$29828A6D-D2E3-4C07-A399-B1380A2335C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fcf682ff17b130d7dfc02bcb9ac3f0fba6f45a8","datavalue":{"value":"W1510047029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632300$714F1719-5495-4D66-BE31-4797698D1A89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5caae54559776415a2ad5202e81ba505f1f0765","datavalue":{"value":{"entity-type":"item","numeric-id":3696485,"id":"Q3696485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632300$B0519D24-1350-450D-80BF-3689C45CDA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83697a231d67b1b2cbc816bdf22365b562af9e5a","datavalue":{"value":{"entity-type":"item","numeric-id":4893673,"id":"Q4893673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632300$0EA29146-A5C0-48EF-98F8-FE2A397B35A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d0c4477de3989e04e99fb0395dd687cc131d96","datavalue":{"value":{"entity-type":"item","numeric-id":4286210,"id":"Q4286210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632300$938FD4D1-504F-4EA2-BE38-10F2BD88E54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d41765b192e8d4591e982eef9111b7a63042a19f","datavalue":{"value":{"entity-type":"item","numeric-id":5101465,"id":"Q5101465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632300$7A9EB242-977C-48C2-9969-8A37B205F5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c35621b2ed5ed557d15acc7529d8ec02f18cc9","datavalue":{"value":{"entity-type":"item","numeric-id":3995235,"id":"Q3995235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632300$1E771690-48BA-4F37-A52E-736DEBA4FD48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e123f468a9a05deaa22ecbf0cc8cebbfda0a433","datavalue":{"value":{"entity-type":"item","numeric-id":4484723,"id":"Q4484723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d20b36f52f272d7dbab012896875beb99ed961","datavalue":{"value":{"amount":"+0.8927825689315796","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":"Q4632300$DD21CDDF-779D-48B4-A853-F3E0569500FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92420b688ab9b468f19d3884c03eef77644234aa","datavalue":{"value":{"entity-type":"item","numeric-id":5101451,"id":"Q5101451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60dfd1b2c9f89ddebc78fa6c3a12fa32aed0fec9","datavalue":{"value":{"amount":"+0.8293631076812744","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":"Q4632300$02C459D3-C431-432D-ACF3-61F6D84C41C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10697a07e81ce397d1f7edb479eeaf2a69018fee","datavalue":{"value":{"entity-type":"item","numeric-id":4893673,"id":"Q4893673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e548173924aaec84d6c8ae8cb128181602f65d5a","datavalue":{"value":{"amount":"+0.8130335211753845","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":"Q4632300$57A321F2-1DFC-4114-8E2D-255EE70B599B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20fd1130cadea83ca162a4522396d31dc3c9c1c","datavalue":{"value":{"entity-type":"item","numeric-id":5394111,"id":"Q5394111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09bf6e45056e5a94691cb9aa8ebdbc325315a8ee","datavalue":{"value":{"amount":"+0.7978328466415405","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":"Q4632300$3E5BD389-F369-41C3-87BB-A5B4821AE925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd2b5d3fdd089d396e97df72139c1801d341855","datavalue":{"value":{"entity-type":"item","numeric-id":5475747,"id":"Q5475747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06641906c624b20c3b7a807ee5a2235aaf764e77","datavalue":{"value":{"amount":"+0.7924226522445679","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":"Q4632300$8C562CB7-FA5F-4F98-8DF7-F1EFC502C6FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4632300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4632300"}}}}}