{"entities":{"Q3418085":{"pageid":3428788,"ns":120,"title":"Item:Q3418085","lastrevid":50014675,"modified":"2026-01-12T15:56:41Z","type":"item","id":"Q3418085","labels":{"en":{"language":"en","value":"A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5121217"}},"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":"Q3418085$49EED5D5-FA0D-4AA2-8FDF-E2454130DB8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a69ec71da4ec6368765416c485704b77a5b9428","datavalue":{"value":{"text":"A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3418085$C337CA44-146F-4BB6-8E08-ABFE99ACA46B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"629ae49be6a554b162f4f98ca575b5044477964d","datavalue":{"value":"1110.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418085$90C420A6-054E-4228-A595-796092B4E95D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdc592a8bf0af797b63612632cfd06a304792d28","datavalue":{"value":{"entity-type":"item","numeric-id":1590192,"id":"Q1590192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3418085$3D57C2FC-FC06-4B7C-9CD2-B764425E247B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3418085$7AB748C0-ED3B-407F-9C37-9F0A313D6A19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"539267c31a7d3bcf05b384ccb35bcc69e5255213","datavalue":{"value":{"time":"+2007-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3418085$3308C5F5-AF15-4A13-BEC9-BB99D3998A78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418085$EAC902DD-62CE-48AF-A097-B1B53E48DB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418085$1C8C4EA2-1AE5-4929-A59A-201CFC1BD55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418085$3043D693-756E-4D7F-A64B-229A78220A1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef90457365d5f6b37e2aeb469a428f754b4b9dc6","datavalue":{"value":"5121217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418085$2865882C-E1C2-49C7-B2CD-7670C3FDB3F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418085$83D776AF-29A4-413B-ABF2-DB8FD9EB25E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ac43bead00f4216ae7bf1903e76855762a9bbae","datavalue":{"value":"cut-free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418085$D740529A-571B-48E4-9AB5-1EDB149BA531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e90ddaa65f6143cd7da834aeb12339818a4abb","datavalue":{"value":"consistency proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418085$CEF3CBBF-96BC-4278-BF16-308775185014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418085$0A7EA301-BBFC-4DCD-BF88-9DC014A9E48E","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":"Q3418085$D87A5AA2-F7CF-4A59-99D5-EEB6A09C984B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c7cf03b37f9956c0b0819813be4da260b185a97","datavalue":{"value":"https://doi.org/10.1002/malq.200610013","type":"string"},"datatype":"url"},"type":"statement","id":"Q3418085$B6B4793D-954A-4A22-8A63-F4D484497F5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ec99d631728439a04547d4596cf256d174636ce","datavalue":{"value":"W2008493384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418085$E8AFCFB0-6653-47AA-8971-F2DC2FF686A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c8daa6328785b31defb51bfdffae223f36024a4","datavalue":{"value":"10.1002/MALQ.200610013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418085$882D8233-9AF7-402B-9886-2A250B9871B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f8b827b6b31e6e4a1e445ae682560512f92a9b","datavalue":{"value":{"entity-type":"item","numeric-id":420832,"id":"Q420832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395e9516194c06da7a0d833a6a8a4bce1cbb8634","datavalue":{"value":{"amount":"+0.7559884190559387","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":"Q3418085$42B02FB9-2F69-4574-99E9-28EC0D6E0721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c485fdb113d36fa885b54a069f3672f5be1d39f","datavalue":{"value":{"entity-type":"item","numeric-id":692184,"id":"Q692184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfcbe7de55bdf226f026cd6a8b7b8fab05dc633d","datavalue":{"value":{"amount":"+0.7442876696586609","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":"Q3418085$4D9FD1A6-12D4-492E-8CFD-9191B4692CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3611978b892fa24a17f5670e0dc08da7f46164dc","datavalue":{"value":{"entity-type":"item","numeric-id":4391177,"id":"Q4391177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e089c959830858f3f142554915d86782f5df2373","datavalue":{"value":{"amount":"+0.7429146766662598","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":"Q3418085$0137B645-8611-4A75-AA4D-CB9ED2AF627A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92597c4b8d6dc81871fe90ebfc7cee8d042b84d9","datavalue":{"value":{"entity-type":"item","numeric-id":1068814,"id":"Q1068814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9164f765f73ae709c246343bf5098f7c0ced38e2","datavalue":{"value":{"amount":"+0.7429144382476807","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":"Q3418085$22E21874-76D5-44E8-9AC1-8A50DA2BF2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dad18ac7dd46acbfeb5b819a59c60abee89da4d","datavalue":{"value":{"entity-type":"item","numeric-id":1590193,"id":"Q1590193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11054c46802562e0732891feea7408302233951","datavalue":{"value":{"amount":"+0.7389442324638367","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":"Q3418085$250641BB-0503-4D3D-BAA2-454FC441A29A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3418085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3418085"}}}}}