{"entities":{"Q5176676":{"pageid":7206248,"ns":120,"title":"Item:Q5176676","lastrevid":52212593,"modified":"2026-01-21T04:18:34Z","type":"item","id":"Q5176676","labels":{"en":{"language":"en","value":"Finitely many-valued logics and natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6409422"}},"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":"Q5176676$5109F4EB-A657-40DD-85BC-5952F14B486A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0f28d1cfc135c070216c078b5a759377c260948","datavalue":{"value":{"text":"Finitely many-valued logics and natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176676$D1A2B8F5-DA5C-4A86-A037-C9E0E9340E2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70ceec632e14e72aa92b56cbec061f0de0616db2","datavalue":{"value":"1328.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176676$61347512-A8CE-4179-A80F-541FF199A28E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db36abf52e8c90ceee4dc6bec9a68b63e8350846","datavalue":{"value":{"entity-type":"item","numeric-id":530852,"id":"Q530852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176676$67BF4BF1-3E65-447D-B3BA-10096E886E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176676$1CD59647-2593-4FEB-898F-91DFC064BC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01786917e5fc26c53da427413140e48f629a45b2","datavalue":{"value":{"entity-type":"item","numeric-id":2055763,"id":"Q2055763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176676$CAB95740-BE17-4DB4-BC94-3C877A4CD30C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b04cbc0bd9d6002d18ef325b8d307775df0871bf","datavalue":{"value":{"time":"+2015-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176676$A9BB6F0F-40FF-4378-8851-3D5BF0E0715C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176676$F685366B-CE4C-445F-878F-9E3D47619525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176676$2DE1236B-5D2D-441D-9FD8-96A89AD72A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176676$A96BE69C-C1E0-4FB9-A00D-F06FEF15F649","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24ff3dc22864c12a4892e23537d6ec97ba69ee74","datavalue":{"value":"6409422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176676$F51F593B-1160-4A54-B0AF-3C663EB47605","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2f9b44543b62df67fe71b1d205563214d5c6b1","datavalue":{"value":"general completeness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176676$34AFB454-C5AA-4958-987F-F6524FAFC467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bbeca918e822b834ce779c3c27892da853615f3","datavalue":{"value":"finite-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176676$E9AF45AD-819C-4B84-9142-A9F7BE4E2873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"701dd06b19cd7e169ec3eec15952cb714199d7ff","datavalue":{"value":"bivalent representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176676$93D23933-58F3-4430-9207-89EE2BE8D63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176676$26AEAFD3-BE04-4037-A654-B5DCEA2A217F","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":"Q5176676$3BAA0183-F42A-417B-B4DD-E9881D5B9103","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"312f682e0eeaed4143f4cd75f26808d393c52882","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzt032","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176676$3051D9D9-525A-42CF-BD9E-757FCD54AB29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3db2ff5dbf1fcbd1cb590bf4f0b472c70408875d","datavalue":{"value":"W2105309944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176676$C1E88EEE-A387-4B38-9852-1ABC9ADC9E12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e292d23b87aa84e1ff0f7f882837977c0fcbaa3e","datavalue":{"value":"10.1093/JIGPAL/JZT032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176676$8E31DECF-6085-4098-854A-AC1606924CB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176676$76673BA1-EE4E-40CA-B02F-8AEBFF27F967","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c015bb7062bd77c09695976dcef472b0b8232600","datavalue":{"value":{"entity-type":"item","numeric-id":5869601,"id":"Q5869601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3bf51bfd196db5c45abd1dbdecce8847eb04db","datavalue":{"value":{"amount":"+0.8418298363685608","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":"Q5176676$1D12C375-66D8-4E8C-8F16-C301C37C2457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d4d0239adb7b20b9a0eb5a66133f7be451f463","datavalue":{"value":{"entity-type":"item","numeric-id":3770497,"id":"Q3770497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970c26c17accfb7b1b187182a4add047872c8015","datavalue":{"value":{"amount":"+0.7636624574661255","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":"Q5176676$7F9CF74F-8F2F-4532-A9A2-8D8309055ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44475c9da2b0143871e70ab31d45b566b3181272","datavalue":{"value":{"entity-type":"item","numeric-id":1689568,"id":"Q1689568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af2f87fade6564a4723dd5eb5d958c1686b0e72b","datavalue":{"value":{"amount":"+0.7621166706085205","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":"Q5176676$3257D64B-4B39-478B-9938-EAD73615EE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbdfdfac758ed1d954834907a9396c2dda4607ec","datavalue":{"value":{"entity-type":"item","numeric-id":5240589,"id":"Q5240589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df53305f6dc8d7e9091239e570289aa6d8ad81f","datavalue":{"value":{"amount":"+0.7619448304176331","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":"Q5176676$A2144F6D-1888-488D-AF0E-2507C1287457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d27e0b5ebe5c33957f406d1c67a6d8c114a2db","datavalue":{"value":{"entity-type":"item","numeric-id":2228348,"id":"Q2228348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e387206e6b329913988305ec3a927ef3ab8a954","datavalue":{"value":{"amount":"+0.759705662727356","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":"Q5176676$C816CF3D-8CC7-4FBD-9A7C-E3B7BCA2574E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5176676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5176676"}}}}}