{"entities":{"Q3674619":{"pageid":5704525,"ns":120,"title":"Item:Q3674619","lastrevid":50010376,"modified":"2026-01-12T15:20:22Z","type":"item","id":"Q3674619","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3827829"}},"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":"Q3674619$3E4B55D7-0831-43FC-AB95-78A2CB091C15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e11a46eb91f19328b13708aad256548b47c2e5e","datavalue":{"value":"0523.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674619$A3B47DA0-6EA3-4B15-8B57-A8BCFC5CE49F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e62d60f2e17586005b7dc7743e95e67fb7e55a6c","datavalue":{"value":{"entity-type":"item","numeric-id":579233,"id":"Q579233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3674619$A8585DD5-7308-4933-ABD2-1331144D537B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3674619$4AD60E64-0D9C-4D61-A53B-194F5088BF55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674619$FC02CFAE-E4EF-48D4-93EC-2FB102A6AA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674619$C068461A-DF74-4AC9-9410-C0FE8C1B8429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674619$9800C991-4F8F-41CD-8E13-9B7545B24198","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14f30b463e632b6c6559ba131bf4f635ac07b0ec","datavalue":{"value":"3827829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3674619$77322047-D403-44F5-94F2-5C302FA0BC36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674619$AA5F3249-83CB-433C-8773-E6B99B3B78E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72398f9a28f182ef9fd00964c3b0378b770645a","datavalue":{"value":"contractionless logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674619$AABFC709-2C9A-4F6A-85E6-411FE26B412A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674619$44A3F2B2-2AC0-4B70-BB46-9C85C8868045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674619$C2563438-C2CA-48DA-82A4-6840298E13FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ae9cd06f8cb493648799f0776f350f5d3e6eba","datavalue":{"value":"semilattice logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674619$F6D42A86-11D2-42C6-9B4E-E5FAFC8105A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf50e81767295ee9013bf102588a950860da455a","datavalue":{"value":"paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674619$1825B137-C2E2-4662-926D-A52C5A96EE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674619$21BBB20C-AF37-461F-8534-728C5554EEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"417540ec4de557b4497b31cc31c20c412150ab0a","datavalue":{"value":"proof theoretic investigation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674619$E1CD4602-65A2-4764-9A7E-E1C3BD03F7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfa5e0247ac2f19e3c1526069cdf815e3cec2c0b","datavalue":{"value":"positive fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674619$6D5FD504-2273-4EB5-80DC-CCAB84BB2AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b17ee7b6a410da9d421a4193ce420ce02808ea99","datavalue":{"value":"Boolean extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674619$05AF2299-6787-4B73-AFCA-3654E37E8B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc90ada8ef26c7db4207b2025ce91d7eb166b77","datavalue":{"value":"contraction axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674619$7A9A04A5-ABF2-4AEA-B88C-F6B522195C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b9021aef6e444f348b3a1314d287fe686b01806","datavalue":{"value":"positive semilattice relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674619$9294D083-C3AA-441E-A2F1-069DC01CC870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7fc76de8995ecb3b2e5544644c68e8d10429b48","datavalue":{"value":"proof-theoretic decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3674619$BC25BD91-2713-4C16-A027-E046812D3FEC","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":"Q3674619$7D0A2992-A88D-4F4E-9910-ED9017DCD4A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3674619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3674619"}}}}}