{"entities":{"Q3138702":{"pageid":3149418,"ns":120,"title":"Item:Q3138702","lastrevid":47196682,"modified":"2025-12-31T23:41:31Z","type":"item","id":"Q3138702","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 431928"}},"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":"Q3138702$C0378850-427E-4983-B7D2-C53C085EE59F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d1913b48d2bc630a4d6d9c634ef9d1698d7490c","datavalue":{"value":"0794.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138702$5DC04C33-8017-4398-9775-BCBACC85E7B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138702$C504E66F-3E48-48C8-8493-AC14459ED3CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be385604d3b66e8d862a65c447d5af8aba333f6e","datavalue":{"value":{"time":"+1993-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138702$09A79C9A-39AB-40F5-9DFB-2D927D70F043","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138702$1AEAE29D-0312-4551-A622-5E96B7440B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138702$FE4DE027-9893-4256-A858-4C15C5A37451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138702$43E27BB7-4936-439C-B543-2C1A0F028B2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53523157aee64df83eae7aaa208db1496688a367","datavalue":{"value":"431928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138702$83A02526-C103-4C1B-98F7-B04EB33B2A91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138702$D412BB9E-9607-4DF8-ABD8-7B4E6B5A767B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07864078cf40ed5524112fcbbc9a818408c450bf","datavalue":{"value":"negation as failure rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138702$646FAF92-E3A3-4A7B-8FC2-973B93064E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138702$B7240A30-EF6E-4B13-809D-FA85F9397211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"174182a06c7d6c9a56e426fb531ba22f565c5d0e","datavalue":{"value":"semantic of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138702$15DD665F-2E0E-421E-9F57-19D804A78788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5773b7fa7e04f5226acf9e10c26f2bec46de70f","datavalue":{"value":"modal completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138702$2CBE82AA-A57C-41CA-BDA2-65743DD5C7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5155cd0bfe4ae50ee1fc9aae59abb5a92dd91149","datavalue":{"value":"modal logic K4","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138702$ACE954B5-4A1B-4CA4-8020-E584E7633B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812bcc0fcd3fd2d0cbacb2b0ab77949a7afab4be","datavalue":{"value":"SLDNF-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138702$2D70BCBB-559C-4088-8876-7AE7E6A50CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894d4cffe0e448b0a58004593401ea9dc815d128","datavalue":{"value":"modal logic of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138702$FD49E092-BA0E-4A90-9245-97FDA2438E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d71e576907ce939af27f3da1abc75e3ea584d","datavalue":{"value":"unprovability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138702$1D58153A-A05B-4067-BE95-9C03E60C94D7","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":"Q3138702$9AD45498-AB41-4B91-8D9F-DC5D48A3CF24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f39382dffd5cc7525d2a67c49a09fbfee9ade9","datavalue":{"value":{"entity-type":"item","numeric-id":5202996,"id":"Q5202996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694c25e9e46a55b9aecb2ef9224bff97a042ade5","datavalue":{"value":{"amount":"+0.8638879656791687","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":"Q3138702$9E77D492-2CF1-47A4-A6EA-B0F35A0B7AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e22cd2d78d09d0824c8107bdc6f39af2067cc3","datavalue":{"value":{"entity-type":"item","numeric-id":1924422,"id":"Q1924422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a114d763f669a3a1185c579e6c4d71a316be4f","datavalue":{"value":{"amount":"+0.8590855598449707","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":"Q3138702$13BE209F-9F14-4A74-A1E2-DD18BB306180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f029544e0554671c6b838467cd90a2f71e2605","datavalue":{"value":{"entity-type":"item","numeric-id":4035698,"id":"Q4035698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1990d220440505d59bc3cd778ea1e84d8bc2c1e9","datavalue":{"value":{"amount":"+0.8559910655021667","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":"Q3138702$B3B82A12-FDCD-4883-A3AE-60D4496F2A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51c90c970deaba0916d13f5725a284ff456bece","datavalue":{"value":{"entity-type":"item","numeric-id":4018068,"id":"Q4018068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1990d220440505d59bc3cd778ea1e84d8bc2c1e9","datavalue":{"value":{"amount":"+0.8559910655021667","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":"Q3138702$D2E1BEE2-A6DA-481F-B132-E3A3F66CB06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cdfd29698fb234778ba37516c09f58dcc1a7ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1924826,"id":"Q1924826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892a3f04475a3b938bc43b66d6d9bd1412ba2577","datavalue":{"value":{"amount":"+0.8451463580131531","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":"Q3138702$42D1AED5-1686-4B63-BB30-B51A5444856E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138702"}}}}}