{"entities":{"Q2719629":{"pageid":2730368,"ns":120,"title":"Item:Q2719629","lastrevid":47626651,"modified":"2026-01-02T06:21:27Z","type":"item","id":"Q2719629","labels":{"en":{"language":"en","value":"Automatic reasoning in paraconsistent logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1609829"}},"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":"Q2719629$89A1E146-20AB-4691-BC74-964CC5C9976D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e71e33fa596cdf0d555a31bd0b000449da44f3b","datavalue":{"value":"0971.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2719629$5CC407DD-4363-4EF0-8900-2FDB6E52FE37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78888aeaf4c283c8527323ac1e8b942018023e83","datavalue":{"value":{"entity-type":"item","numeric-id":893738,"id":"Q893738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2719629$B047E676-489B-48DD-A93B-FC842CCBD187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"651f64056de359811244c57e271fa5ba44e9f44f","datavalue":{"value":{"entity-type":"item","numeric-id":361431,"id":"Q361431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2719629$90830A8F-841A-4164-B4CF-C687E6EE2888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e88155d2e208697d2642ff69db42b46188e1c20","datavalue":{"value":{"entity-type":"item","numeric-id":2719628,"id":"Q2719628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2719629$C9838D21-C514-4BBC-AF6F-FE29BEC285E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90979b81b018a348b1a5b71f174fe9ac84bc6b6d","datavalue":{"value":{"time":"+2001-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2719629$2A543B21-2640-4962-9B23-7F8F32689753","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2719629$D583B112-7F54-4AEB-BD23-78A305D8D170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2719629$AD8788E0-3CED-4CFE-B7AC-34B0EC9A9FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2719629$C1F4681A-342C-400D-AB5A-70CCD966D836","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d7db41470ddf307df4953b1da06f0a7ef412efd","datavalue":{"value":"1609829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2719629$889DEA96-9581-441C-B453-5660FFAB8F91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbff3603c39e4789adf245f9ebefc21c578ca270","datavalue":{"value":"paraconsistent refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2719629$778058D8-DFC8-40C5-9FC3-AC21FD9655CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc4acee32ecc9ee9dcdfa3d619c9377731aef5bc","datavalue":{"value":"linear resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2719629$1A6DC796-792E-4B81-8B58-5BB92DB7D01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93dacaf65a5ddc7840b70e8cbd5809de42c52744","datavalue":{"value":"annotated logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2719629$65E70419-D2B0-4E1D-9C53-9BA2DC9864A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2719629$50B14AF4-BCA5-4A57-9F5F-B364E9083F9D","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":"Q2719629$7A59CA0C-7CE1-4132-ABCF-C53138252FFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48ec3257d1cabecf1ca4cc6b7a7cbdcbc22d8f56","datavalue":{"value":{"text":"Automatic reasoning in paraconsistent logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2719629$9C164495-C32C-4831-80E3-FBE312AEEAB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0922088b5b35332cd2d8a834a72e1708d265c3a6","datavalue":{"value":{"entity-type":"item","numeric-id":6768664,"id":"Q6768664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2719629$42D35F37-D72E-4009-8640-8F08C1C91649","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1579a6b1e86a945b2f338192e04f1f3eda0b42","datavalue":{"value":{"entity-type":"item","numeric-id":3490992,"id":"Q3490992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce02b5fe2713522d3fa6fee7c344489d87b49245","datavalue":{"value":{"amount":"+0.8315684795379639","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":"Q2719629$662CB04E-B480-4F7A-BB16-807F6EF9B9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455dc3c61ba2eacddf023338317bf5e053474959","datavalue":{"value":{"entity-type":"item","numeric-id":6488523,"id":"Q6488523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be72ce222a18975fb6434080184e5019865a367","datavalue":{"value":{"amount":"+0.8253975510597229","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":"Q2719629$899D7C34-40DB-4710-9FDC-69B1B1D8B4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"765c68fc838ac21198d04c30f71b465255ee79bd","datavalue":{"value":{"entity-type":"item","numeric-id":3415244,"id":"Q3415244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9454b89eb5ef051ce0d356e82f7dd6f674d69abd","datavalue":{"value":{"amount":"+0.8136043548583984","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":"Q2719629$24FD2AAA-D9A5-48F8-B4BD-C8C1AE1DD4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ddb2543c4bbea9b44517698346d12891a8d913","datavalue":{"value":{"entity-type":"item","numeric-id":4013818,"id":"Q4013818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b965eacd3c523cc18766ffdf7279ac83bc0289d9","datavalue":{"value":{"amount":"+0.7990328073501587","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":"Q2719629$06706B59-F9A1-46A1-93C3-2846B5FAC400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf23ed5652572a30139af5779cee94ea55f41cb","datavalue":{"value":{"entity-type":"item","numeric-id":4918414,"id":"Q4918414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5caf6550a0ae52aae2a756fddacf11f5a8abd1b4","datavalue":{"value":{"amount":"+0.7984986305236816","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":"Q2719629$4B83DCBD-4889-4044-9CEE-1F85D34BB449","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2719629","badges":[]}}}}}