{"entities":{"Q4997922":{"pageid":7027499,"ns":120,"title":"Item:Q4997922","lastrevid":54033551,"modified":"2026-01-26T03:27:07Z","type":"item","id":"Q4997922","labels":{"en":{"language":"en","value":"Natural deduction for Yuriev's logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7365592"}},"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":"Q4997922$9715C250-793C-403C-A1A7-DD6E8585B37C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1e79d2f3f0a6776b800242585e16cb4e1b86071","datavalue":{"value":"1465.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997922$0EC87BDC-5C6A-4257-803B-925A0A90CC30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83639a41ab4cc674faa10488716e9851e7c732f8","datavalue":{"value":{"time":"+2021-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4997922$0FF742E9-0F5D-4AD4-9032-3564A6AA2AC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f9bb565c75578511dee91041a35243344812f05","datavalue":{"value":"http://mathnet.ru/eng/chfmj44","type":"string"},"datatype":"url"},"type":"statement","id":"Q4997922$74812481-0D3E-40AC-B8F6-7D38DCD68F1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997922$42E1F5EE-3EBF-4F09-B8D0-EE17A4C28BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"998e2315eb586146fa99a11c3609a6857593a7bd","datavalue":{"value":"92B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997922$1573441D-047B-4476-A8FE-24F85593C321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997922$B4F7482E-CF70-47B2-BA79-EC6F16D972C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e95587d8f882a0430626fe246537a39225d7f23f","datavalue":{"value":"7365592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997922$DC487943-1627-4341-BEB2-732036B50AF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4997922$E6857BF7-276B-4923-A277-EE7AD006EFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4997922$2BFB1DA7-86AC-4296-A576-F4EE73A9424F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af02ab6053895ab24c8f2cb46f0383c172cfbf57","datavalue":{"value":"Yuriev's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4997922$24911BDC-E230-450C-BFC1-6A3F7835D661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d932a008b999959cb79bc06613e1a8a0ea360433","datavalue":{"value":"logic of neuron network","type":"string"},"datatype":"string"},"type":"statement","id":"Q4997922$569496D5-3375-43A3-8FF6-1DD27F50D458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63376ffdf426b7841a6b99f5863f15a9fe8d7c6c","datavalue":{"value":"logic of biological neuron","type":"string"},"datatype":"string"},"type":"statement","id":"Q4997922$BFDC68AC-C66A-46C2-B94A-C1FDC6156B1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"669cdb901f5adc2391e652d6dfa8ffc64eb0addc","datavalue":{"value":{"entity-type":"item","numeric-id":1689567,"id":"Q1689567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997922$347401ED-56EE-493D-87D7-581D1DC9DD48","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":"Q4997922$3DCD52EC-C647-4060-B1C4-BDB39BDE7A57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a514c8740de8175f88357d7526e688ada72e2026","datavalue":{"value":{"entity-type":"item","numeric-id":4789160,"id":"Q4789160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997922$862E493C-73EC-4675-A9AC-C4200A48AACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c80a81b19d1f846ea699b244ba2c39b8d7f02c","datavalue":{"value":{"entity-type":"item","numeric-id":4475070,"id":"Q4475070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997922$6DBBFBBB-98AC-4B3F-B7BC-5AE884488FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997922$19CAE764-3453-4AE7-95DD-986BAD2EE506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997922$5F4421F9-ED26-4E67-858F-6F0963000602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0d34175ab9433f20323d1e5300e40935ba4cbae","datavalue":{"value":{"entity-type":"item","numeric-id":4789150,"id":"Q4789150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997922$317067D7-936E-4437-A863-C616235224ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b703c6e12f827b7f6fb070d9fc732bd811f5de28","datavalue":{"value":{"entity-type":"item","numeric-id":3268312,"id":"Q3268312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997922$F48DB277-90FF-4EBD-8167-55A5FD48D91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997922$1105E14C-13B0-45CF-9D7B-E7501F3B854E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed247cfaa9f806167217df5f2ac409bdf00e763","datavalue":{"value":{"entity-type":"item","numeric-id":4982110,"id":"Q4982110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997922$7D5BF62D-7192-4940-A2DC-614166B11859","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0231a3a1475fd182ae577034bcdc96911b71f8be","datavalue":{"value":{"entity-type":"item","numeric-id":4475070,"id":"Q4475070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b641ba621936c178781dcb64dd09d89326032b8","datavalue":{"value":{"amount":"+0.8193266987800598","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":"Q4997922$C499F38E-34A5-4D31-ADD2-C33D00B16094","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":"08fc679c100e18bd6010893838e30a0d438a86d0","datavalue":{"value":{"amount":"+0.7766197323799133","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":"Q4997922$1817A165-6B57-49AE-B57A-5FE7AE15F8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4860b701413033cfe1baf6d2679d3eefaffeea2e","datavalue":{"value":{"entity-type":"item","numeric-id":3981456,"id":"Q3981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611d93876636f28991ecb36135c531da8f1747ee","datavalue":{"value":{"amount":"+0.7526021003723145","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":"Q4997922$925819F8-BA24-4FFB-9C81-6D3F4EAB68E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58e15df1155baf6a188ffd4b79cb693403c3af0","datavalue":{"value":{"entity-type":"item","numeric-id":4683206,"id":"Q4683206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ed96c874f7fb52e2c6da4503527009a4c1e4fa","datavalue":{"value":{"amount":"+0.7483677864074707","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":"Q4997922$A4C808CE-A140-4F83-BD8D-B2155DD255C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d350257a57d0ee40dac836c92f22e92ca6d38f93","datavalue":{"value":{"amount":"+0.7433024048805237","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":"Q4997922$5514D277-AA80-49DA-B9C2-0ACDA29059CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4997922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4997922"}}}}}