{"entities":{"Q5236430":{"pageid":7265998,"ns":120,"title":"Item:Q5236430","lastrevid":36528319,"modified":"2024-07-20T13:22:18Z","type":"item","id":"Q5236430","labels":{"en":{"language":"en","value":"Strong and explicit negation in non-monotonic reasoning and logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114566"}},"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":"Q5236430$DBE397B3-A5B2-4F72-B339-CD849058AAA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c4aefda58043e5e2d18edd8db97483120f7e2a1","datavalue":{"value":{"text":"Strong and explicit negation in non-monotonic reasoning and logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5236430$A0F87F88-F75A-440B-86B2-2203F0FF3101","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb99d6cf84e9b412d9252af7a3fe3b0b1f7459cd","datavalue":{"value":"1426.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236430$DB9215A0-68E5-4D4D-83F4-FAD3DB1B968F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e8851f3c45188e74954f954dc47cf279338e333","datavalue":{"value":"10.1007/3-540-61630-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236430$8551C8DD-E620-4B3E-81C4-2DB51F33D4BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db80ec4965b40d9874ffef2a755df757b1d98c70","datavalue":{"value":{"entity-type":"item","numeric-id":646500,"id":"Q646500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$371A9402-8D3A-43B6-BF88-1E23AD1D84FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ed3d8ab05233f431dcdbad1e0687426441c617b","datavalue":{"value":{"entity-type":"item","numeric-id":421475,"id":"Q421475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$F781341E-5D26-43C7-BC38-87A074D26794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0063046879a465ee73c49bedfbe8edc6b62b6d","datavalue":{"value":{"entity-type":"item","numeric-id":1167444,"id":"Q1167444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$24971DD7-B803-4F23-8102-B787299CA1B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$E9E6AAA8-984C-4FBA-8681-CA0C2F8D763C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc07bda6ecc2d918e20f9b6c43dfffbc17943f9d","datavalue":{"value":{"time":"+2019-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5236430$45EC2B2F-00B8-4DF7-97D4-B80C4D482AB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236430$FE9E492E-69D5-48D4-8F2C-EECE97AF6EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236430$6091D437-0AC0-47BA-9BC4-E1F9F72B7053","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72e3d7f837e9f56735579beb250aa80d8da97507","datavalue":{"value":"7114566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236430$1D51CE19-6385-4329-9AAA-6338F28D6D21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236430$36F53234-1608-4E5A-BA83-041731ABD027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236430$F0E0D849-B8F7-472C-BB98-A7A162750AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33d503007c80b0ea5702688662a8a7cac72e2090","datavalue":{"value":"classical negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236430$3074A8D5-4583-4239-B6F6-E79A9934D0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5236430$2711ED60-5E2B-4FFC-83E6-447C0470D955","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":"Q5236430$B6306AEC-DA6D-440E-B5A1-A5ED6EB48399","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e27dd551e3fa1c42a063566a0cbc4a257fd5a68a","datavalue":{"value":"https://doi.org/10.1007/3-540-61630-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5236430$ADCFA5D6-E140-4EEE-9005-D34B2F1D8FA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a535177b070ff2f8751d191d1ba0437e42391800","datavalue":{"value":"W1564586270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236430$D715F364-48E0-4892-8008-96BAF7E5E1DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5db98d50e7848e56e2ac32e3f38b7546294ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":4332412,"id":"Q4332412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$B4C64A2C-FD72-4EE6-AF53-82089B6C5964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa82967e27978f4373ed793e310ad908e4e6786","datavalue":{"value":{"entity-type":"item","numeric-id":5101439,"id":"Q5101439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$0BCF0A88-4ABD-4C18-95BA-8F21A14F197F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f530131a4cb0754d2110e978c5f517f2ce20229","datavalue":{"value":{"entity-type":"item","numeric-id":4327612,"id":"Q4327612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$F910A8EC-57EF-4CF8-8473-37CE31AE2E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$C22905D6-C1EA-4717-9734-D6A29E655F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa0a2bddf39b3bbbdd84c5aeb5798f0749a2e33","datavalue":{"value":{"entity-type":"item","numeric-id":1924820,"id":"Q1924820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$C1B5A226-5511-4501-BFF7-E0DFD8B18E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222b186d1a5a394b7366c4c1b9dd69568303895d","datavalue":{"value":{"entity-type":"item","numeric-id":1115207,"id":"Q1115207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$82BFE1E8-A692-4278-B12A-10B3E76E13CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$B8D39121-6B54-4303-AA3E-CB66F76B3905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1aed9af0b115c501efcd1e09a55330fdc38c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3939270,"id":"Q3939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$7440D91F-32D1-44A3-B155-AAF9EAD3CAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$205A3A90-B6C6-4C78-9A4B-4792B23B7F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$AB9C3862-3962-4038-9A7A-1D0B536F597B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf81ce9053e1ce50176bdc6cf3139eed90f60ed4","datavalue":{"value":{"entity-type":"item","numeric-id":4713273,"id":"Q4713273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$AE8DF301-6934-4A4E-BD1D-7375D3468DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05859ec92b9a7c3468ecf06c9fbe3f25d53fa01","datavalue":{"value":{"entity-type":"item","numeric-id":4275259,"id":"Q4275259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$995A6E54-93A5-4D59-952E-36D9F34A9295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0857e8878bcf78132758435c76b6420a8b1c319","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$0A6FEDB6-04BB-4C27-9AE9-3C8B96C53B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb678fcfbbb428f6b5621e5f89f6a8cb37d8f8ba","datavalue":{"value":{"entity-type":"item","numeric-id":3983045,"id":"Q3983045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$1C9ED5B5-C264-4813-8792-8E8A91551CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af77981a43abcda1d261a05984537b43f03bc74d","datavalue":{"value":{"entity-type":"item","numeric-id":1924728,"id":"Q1924728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$2C2F8481-46E2-4CAC-AFDC-78A56D5166E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236430$F6C573C8-D939-4932-A51F-A30FB9ABEE13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5236430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5236430"}}}}}