{"entities":{"Q3988060":{"pageid":6017918,"ns":120,"title":"Item:Q3988060","lastrevid":47055052,"modified":"2025-12-31T13:00:20Z","type":"item","id":"Q3988060","labels":{"en":{"language":"en","value":"Logic Programming with Strong Negation and Inexact Predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 32048"}},"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":"Q3988060$AB4C4FE4-8C97-41A3-BF6F-381B4F3C1488","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b1fa03ec5c84025d14364383f2ebaeb84bc6714","datavalue":{"value":{"text":"Logic Programming with Strong Negation and Inexact Predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3988060$6F6C0657-8028-42E6-B575-A49D3B69A871","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d04a7f568d5cbd8303c5bb78ffd5a5460c710fe6","datavalue":{"value":"0738.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988060$8E7B0562-4275-4405-B284-78D32677E017","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3988060$C11FEFAE-DA3A-409F-8257-F9A4358C73A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988060$025FC69F-CB31-4950-BB48-0EE673DD4F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988060$FED313AD-3363-4510-82D5-14234D752C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988060$F1190A01-C231-4CB9-A326-FD6FE2B39F16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bff9fa72925c9ee920df822b63bb1cbf20c4dd72","datavalue":{"value":"32048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988060$4CD165E7-A57D-45C6-BEE7-B9AF759014B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45597691dbc89aa433c30cec8cb3dac588efeb34","datavalue":{"value":"logic programs with strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988060$9C5C3985-021B-463C-8F34-E0E5EC4C7CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae79c1210c7c9538d43084b7d41d1ce6eec23b06","datavalue":{"value":"non-wellfounded programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988060$6183DB38-3B58-4270-B00A-FCB86F03E6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988060$20980521-1076-453E-A152-E130FFB1BF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988060$FE5E9BE6-BD50-4BB4-B8D5-AD9287BA99B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87dd55c46f28e025f7f537ba4ca1b1f3e1ba66f7","datavalue":{"value":"inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3988060$B5B46AE4-F781-40FF-8D1E-E5B76164DEC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b162ad956bf5591c865b5a25400ed6db87e86056","datavalue":{"value":{"entity-type":"item","numeric-id":1315516,"id":"Q1315516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988060$10523F54-539C-49DE-A00F-5CE8947085F4","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":"Q3988060$6993D6D6-085A-455E-A998-51F16A3306CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac6da438741e83213d3c4661bb934da28e28216e","datavalue":{"value":"https://doi.org/10.1093/logcom/1.6.835","type":"string"},"datatype":"url"},"type":"statement","id":"Q3988060$E35A64F3-DC46-4B94-9B8D-2BFFDB69F782","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f8eec627b23121b77297a3c9b92edae6ae3da02","datavalue":{"value":"W2015627330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988060$53350DD5-E17C-4738-8611-7045CA590979","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5a7ef605335f74042436f2ba4bb5ed2af9fa2b2","datavalue":{"value":"10.1093/LOGCOM/1.6.835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3988060$B7903C7F-52FE-420C-B633-C573B9952E78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3988060$B4D99080-F03D-4648-954D-1A503F277170","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb29b9dda9bf3ab779158f7f1e64bf7af145aac","datavalue":{"value":{"entity-type":"item","numeric-id":5053013,"id":"Q5053013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcb388fecbb5d5b11022311e86932b0d5cbf1d6","datavalue":{"value":{"amount":"+0.8857806921005249","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":"Q3988060$BAC36999-3373-4F49-8A41-25FE2EC1B9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df5f72d35755a970f4751be910cfc5aab7c3134","datavalue":{"value":{"entity-type":"item","numeric-id":4713273,"id":"Q4713273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b13775b920dc9ed2876d6bf8985bb12ed7ee1141","datavalue":{"value":{"amount":"+0.8314566612243652","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":"Q3988060$7B91AEA5-B417-474A-BBAF-BD09A3E6A0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a68ef1804f2d2c624b23f624627032b9a5c99ed","datavalue":{"value":{"entity-type":"item","numeric-id":4878771,"id":"Q4878771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5947fc5f7b71e65186159102204853919cc8df","datavalue":{"value":{"amount":"+0.8303708434104919","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":"Q3988060$A21F77B9-D1A6-4266-A91C-A14B3EEAE56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41c4a58b2be2c4e14cd223db74433f621985e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3745320,"id":"Q3745320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeda8b4d649807cb8686650af2448e3983793c8f","datavalue":{"value":{"amount":"+0.8009412884712219","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":"Q3988060$63A05768-A3EB-4A40-B8CA-A1D3EBE8A1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae991310c4eaa2d67c30ac0b2bc5888ba480b86b","datavalue":{"value":{"entity-type":"item","numeric-id":3204031,"id":"Q3204031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13e7212de29ab52f2af9f1230e4883a18249aab","datavalue":{"value":{"amount":"+0.7982984781265259","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":"Q3988060$B357DC4C-9855-4F4F-814E-52879CCA747C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3988060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3988060"}}}}}