{"entities":{"Q3086526":{"pageid":3097241,"ns":120,"title":"Item:Q3086526","lastrevid":51217130,"modified":"2026-01-17T07:17:18Z","type":"item","id":"Q3086526","labels":{"en":{"language":"en","value":"Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872047"}},"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":"Q3086526$5CCBE24E-EBF4-46C2-ADFC-ED2783AA1B04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7860b2be37c4803f76387c72ed633020947ec678","datavalue":{"value":"1244.03093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086526$49CC301B-3F5F-4D0A-A951-57F224BF02A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086526$7391065B-BDDF-43D7-A79A-904B75CAD16E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086526$18F688F9-76BF-40BA-861D-19425E9AA1D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086526$0FC4EEA0-8E4F-4687-A916-CAB756AF4F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086526$5335A011-7C2A-4FD0-9DD1-63652691A9DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ab21deff7792cf22ca75171a3a270701f8ac059","datavalue":{"value":"5872047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086526$D28F5632-E215-4937-A148-2FD082CE5348","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":"Q3086526$0792A8EE-EAA1-4C51-89AF-6F6FB81940F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaff207f437e46bae6b209f849f9bd721c6565e2","datavalue":{"value":{"entity-type":"item","numeric-id":764309,"id":"Q764309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf08c06b43d75a40ad02baec0c60a3b38b1bf1e","datavalue":{"value":{"amount":"+0.8042908906936646","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":"Q3086526$D342EA18-F8EB-49EE-9AC9-5850F62E0859","rank":"normal"},{"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":"47de1861abb395ec9c38337e68bc7d5b577fec25","datavalue":{"value":{"amount":"+0.7945349812507629","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":"Q3086526$93B948DC-8081-4CCE-A5A0-EE62C3FAA7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771fd7d6692d02018d8a865af99e63159bdaae2d","datavalue":{"value":{"entity-type":"item","numeric-id":3647236,"id":"Q3647236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a99294b782fc7fd2ebd9c1469c098d5ee36d26","datavalue":{"value":{"amount":"+0.7835848331451416","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":"Q3086526$E4FBA45C-E86D-46B4-B9D2-5D7F90777AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7b21e7a507e666380f33f4b16dd7d399c501d8","datavalue":{"value":{"entity-type":"item","numeric-id":2986784,"id":"Q2986784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4fe096620d53fd74fc793606141ed22b7245cc","datavalue":{"value":{"amount":"+0.7750985026359558","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":"Q3086526$931740FF-6190-4B6D-99CF-629AE9108A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790a3ad71280b315184e6431fb3f33b71d20a2ce","datavalue":{"value":{"entity-type":"item","numeric-id":2719629,"id":"Q2719629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a45cd7913056a51be8bb5d2480513d22390e93","datavalue":{"value":{"amount":"+0.768604040145874","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":"Q3086526$0292D9CB-A15D-4E21-B5CC-57447251E2AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086526"}}}}}