{"entities":{"Q813084":{"pageid":814932,"ns":120,"title":"Item:Q813084","lastrevid":64530477,"modified":"2026-04-11T20:30:40Z","type":"item","id":"Q813084","labels":{"en":{"language":"en","value":"Gentzen-type methods for bilattice negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5002531"}},"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":"Q813084$DEDDA655-4A08-42F4-80B4-5E9751109E28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af218b7fcb31e71ecb580f94859272c7d34b4e51","datavalue":{"value":{"text":"Gentzen-type methods for bilattice negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q813084$0CFF9664-410C-4F00-BE0C-E785690EF001","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6e8141f6da7a02f2b78d473cb3ee62004bf2458","datavalue":{"value":"1086.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813084$B7ED5412-E594-4745-A44E-F01843245F8D","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":"Q813084$3C9E28D2-8067-4AAD-82E2-B218132C956A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$B267D6FD-E3A0-4A7A-A00C-01180A6A0728","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e85d50ed0268da19dacce71e99c4b69a3ef5199","datavalue":{"value":{"time":"+2006-01-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":"Q813084$82E46618-8091-4A65-8523-9594925FFD84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813084$95FFA15C-9F06-4C88-BF43-2DB30990835F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813084$D722DF75-614F-4B2D-8C01-CBCD56AECCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813084$4D80218D-2DC4-4ABA-816D-93468327BF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813084$8452A735-F81F-4E77-BBF6-0F3ABD11EF04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"968f6173db09fdc80c26ea748bb9315af9db50da","datavalue":{"value":"5002531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813084$A62EDE13-EE9B-41F7-973D-BC8E7D5088D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a42c2cb85e49930be3ac764ec2949739564c280a","datavalue":{"value":"Bilattice negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q813084$68E478C8-88D0-4CC2-865F-90B7E3174AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q813084$C37F15C8-7DE6-4B8A-9013-7CA36213ED52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q813084$85817056-BC7D-436A-A445-65D7ED47FD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q813084$DC4C4290-2B05-4F30-BB4A-EEAB4EAF93ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q813084$43A16270-E27C-4D9F-A39A-B2D3E0EFFC3D","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":"Q813084$034D34AB-8763-4E4A-AA7C-7B04D05424D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e39cf891b3a52ddb352ba9d2034341559eaaa39","datavalue":{"value":"https://doi.org/10.1007/s11225-005-8471-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q813084$84720B88-0554-468D-899A-ED0531305163","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eef1dbbfbf793ab547735bc2d8c24042dbb30022","datavalue":{"value":"W2087134464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813084$B0565FE7-F7E6-4DC7-8937-63F3139FC802","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$093017E3-B5E6-431C-9413-10A2F16D116D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce3671c1e58c5f8f5eb1f61752eb867b0a63344","datavalue":{"value":{"entity-type":"item","numeric-id":1274293,"id":"Q1274293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$A15DCC80-81A3-4A3C-A713-096A0556D06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$50CB1B94-75B8-4CF6-940F-A1B39667FB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832ff40593676eba7193bb1bb00a6eab86a173b0","datavalue":{"value":{"entity-type":"item","numeric-id":2715514,"id":"Q2715514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$0E0F0F92-B01F-413E-9F70-F3D51F73CC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$69665D15-EC36-4ADE-92E2-9AA391770EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e6baa3f2d1b108638e63f44444eb15fffd0961","datavalue":{"value":{"entity-type":"item","numeric-id":5940919,"id":"Q5940919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$2D4576E0-F63F-4FDD-89A2-21A2CEB50FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903f9f52eef04d94cfa524ca594f47f356bcbc56","datavalue":{"value":{"entity-type":"item","numeric-id":3983121,"id":"Q3983121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$6E131BA0-9A2A-48A5-B2CD-1CF4679DB6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d2c3cb496a4864585aa954615a702ee99d8adc","datavalue":{"value":{"entity-type":"item","numeric-id":4531578,"id":"Q4531578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$2D6805C0-6220-4D70-ADA2-73A58DDEF2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$854CA004-0F6F-4BEB-A022-1CE3BBA1BE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57bce1bc3d7062e953fecadd65d169c532a8f37d","datavalue":{"value":{"entity-type":"item","numeric-id":4796457,"id":"Q4796457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$1DC6B6CE-277B-42E5-B937-3173F4C22586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edda5a224b530e62be1226b0b9c50b75979e80d1","datavalue":{"value":{"entity-type":"item","numeric-id":4796512,"id":"Q4796512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$25927CC5-15A5-41E3-88F3-FE914652BB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1ac475f662fbc3b53cc4c21ce84c3c6dd1fa36","datavalue":{"value":{"entity-type":"item","numeric-id":1770594,"id":"Q1770594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$8B5B7970-7AEA-48BB-A522-E71C9AAD61C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7770a58101e410ba071273d7a78b00737555cef5","datavalue":{"value":{"entity-type":"item","numeric-id":4659503,"id":"Q4659503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$44E6932E-C0A0-4A66-BBCF-52D5CEDBAD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed3fe1dbe1143d534f7f4123f8a7049f69903dd","datavalue":{"value":{"entity-type":"item","numeric-id":4678356,"id":"Q4678356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$FB10D1C6-04F3-4FDB-AAE6-67A79D98293C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$E0F8CF45-97CF-4D37-A4C0-0DDB38E40B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b06659dcbfbceea13cc9b46d4e991d6efe3d6a","datavalue":{"value":{"entity-type":"item","numeric-id":3367330,"id":"Q3367330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$1224D5A0-27C5-40E3-90B6-9AA343858AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeade2cfdcfcd253e188a74e9e8eaa51de1f1876","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$D7BE6704-55B8-41B4-913B-CD4392185DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"210a89e221973209a20ca40a5ceface4b0421bc5","datavalue":{"value":{"entity-type":"item","numeric-id":4443421,"id":"Q4443421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$4F0940E2-4E21-47F2-9A48-BE80EBAB72A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed8cbdcdb2701f293ad2a2e05e829c8418428ba","datavalue":{"value":{"entity-type":"item","numeric-id":1063585,"id":"Q1063585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$52166B53-7EED-4AB7-B1EC-CA67EB96D0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5d5e5cb3e43e84823dd9f0303102ce6c25b1ce","datavalue":{"value":{"entity-type":"item","numeric-id":1919990,"id":"Q1919990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$1F08C08E-8ED8-4B00-9D55-309608EE49A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d2c48ffbe228657ef568ac2d7e18e0775b81ad","datavalue":{"value":{"entity-type":"item","numeric-id":4529486,"id":"Q4529486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$94A3EA3B-34F9-4C4C-838F-C19C347589F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c048ba9eda1ea036e5a67e736564f9a88964bf","datavalue":{"value":{"entity-type":"item","numeric-id":3988060,"id":"Q3988060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$74402BE1-079C-4662-9F23-F1EBC2FF0B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$8FF083DA-9F5F-4EE6-AF08-EA288846E3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e178c90d5d44c31a72eb3351acc4b7ff86fb7130","datavalue":{"value":{"entity-type":"item","numeric-id":4948528,"id":"Q4948528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q813084$74DA2A21-A3A2-415C-9247-DA7BC5AF5351","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"836b07a1c09961a77ec11d5930c1757ee6d2f4f4","datavalue":{"value":"10.1007/S11225-005-8471-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q813084$724ECB74-E507-4F60-A4A6-F64F7AC8118D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7374210e7325692c647c03b1b4cb7579a909c4","datavalue":{"value":{"entity-type":"item","numeric-id":2328914,"id":"Q2328914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbebfa99918e272ed4881061fa68f7955195ab19","datavalue":{"value":{"amount":"+0.7338740229606628","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":"Q813084$BC5E12FC-989D-4E11-9EC7-7FC67AB45DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf2838e336e05664c70e8f18b3280ef4e8cc0e5","datavalue":{"value":{"entity-type":"item","numeric-id":2236504,"id":"Q2236504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d4fb5c2ed69f2d35c4a931860d8d605eaf8c49","datavalue":{"value":{"amount":"+0.7257121205329895","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":"Q813084$4582D466-32B7-42B4-A73B-5B07E20F872D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f316a40dfe7d363402e96a353caa1be58096df7","datavalue":{"value":{"entity-type":"item","numeric-id":1906000,"id":"Q1906000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489e76d0ef56998418bf537f171ecddfc64a09ac","datavalue":{"value":{"amount":"+0.7144041061401367","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":"Q813084$56F96027-848D-44F7-B860-06F5D90B4D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d094c150bae8cb7efe5966fd31a6e7b3452618ea","datavalue":{"value":{"entity-type":"item","numeric-id":1679746,"id":"Q1679746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae710c1291a7beda64d0464d04cedcda0fe3f28d","datavalue":{"value":{"amount":"+0.7123451828956604","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":"Q813084$9C6A0EFE-2BF6-44E6-87B8-9368008DB53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9bb089927c5fa64721b74863ed8b7b387a3fe5","datavalue":{"value":{"entity-type":"item","numeric-id":639681,"id":"Q639681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d15f1c5f1ef3e220b773bab70bc54cc55887ee","datavalue":{"value":{"amount":"+0.7088340520858765","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":"Q813084$6F9A13F6-584C-4C7A-B5CE-1040293D0791","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gentzen-type methods for bilattice negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gentzen-type_methods_for_bilattice_negation"}}}}}