{"entities":{"Q3638293":{"pageid":5668199,"ns":120,"title":"Item:Q3638293","lastrevid":50700053,"modified":"2026-01-14T20:43:55Z","type":"item","id":"Q3638293","labels":{"en":{"language":"en","value":"Deep Inference in Bi-intuitionistic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574385"}},"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":"Q3638293$4FA8F4C7-471F-4624-905C-81CCC41F1500","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea786e4e5c442eb47002ebea064ffbbb078d727f","datavalue":{"value":{"text":"Deep Inference in Bi-intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638293$E184C557-44C1-4758-89D3-1D3F332FA761","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62dbf035bd7083204ae7f2a5e4da9221f6c3013d","datavalue":{"value":"1246.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638293$223C5685-2959-4FF6-A223-8C65CFBFD56E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1528f48cb48bbe6d40f6861cb50334406e6dfbbe","datavalue":{"value":"10.1007/978-3-642-02261-6_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638293$C1B77C9B-DFA9-4FD1-9139-968BABF58CF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8379e444a374a0b4591c044a269fd6ffeb0f306","datavalue":{"value":{"entity-type":"item","numeric-id":2904052,"id":"Q2904052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$D420F134-7772-4042-84FE-E334133A0405","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$1D7C634F-1814-4C25-B209-20EB4EC521C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-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":"Q3638293$CF351721-A965-4C37-803C-8F64ADE28BD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638293$F7390FD0-27D3-4A59-81BD-9580FEC23087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638293$47ACB6E2-3CD6-417D-90A9-7D506C18D7B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18cfdd2bd071b9f9ac8c6f967e4172871c75cf79","datavalue":{"value":"5574385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638293$2974D201-2FE1-44D1-9BF9-DA57A610B2A0","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":"Q3638293$D6A42C1E-E94E-4765-B502-B7B2C1B71C55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"190755a8ef234a0c17445eb42ed926ca03a81883","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02261-6_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638293$4CE22727-E495-4D98-BEB1-1CC28DCABFC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3e60bf679fa1062a08229d273e9aabf583cd384","datavalue":{"value":"W1836554196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638293$07799778-A3E5-4AA6-B0B8-3EAC73E1F931","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee707ba4f8c74c7eb2387c084c4b8b7fcccf27e0","datavalue":{"value":{"entity-type":"item","numeric-id":1827401,"id":"Q1827401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$D3EABFD7-39D1-4227-96C0-C1292354F992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c29138920afdd872cf6e3791feb17594655142","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$5CCF2062-19A1-4B46-A58A-1750370AEBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4198ce3dabdf90b9900bb8805d1e27c3f47767df","datavalue":{"value":{"entity-type":"item","numeric-id":4823807,"id":"Q4823807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$7B1DCBBB-FB1C-4B98-BE2D-7F29BDE2D52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$58AA1032-2B5F-4685-8FCC-1C45F0A01948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9104aa40a7f458fa857fb1b5349531e2916c4993","datavalue":{"value":{"entity-type":"item","numeric-id":4392660,"id":"Q4392660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$4A48DD61-CC92-4D18-ABCB-3262E7277FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9636a73b754cd6072bad3d3f034217fb03c2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3406690,"id":"Q3406690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$69ECDBCF-71F4-494A-A2BC-C3FB944BF352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2aa060054fec0e7cdac3e2c6175d7edeeffa2b1","datavalue":{"value":{"entity-type":"item","numeric-id":3648731,"id":"Q3648731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$F15B817A-8DEB-4ABE-B4FA-48F337F220F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011fd0dc657f95a5f080525666aa54d66a669d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3086939,"id":"Q3086939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$1565161E-B55D-4FFB-AA31-51B9184C6E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff84a380859792f98a71b73007569735b0f24f","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$82B2C4BB-2E90-4924-A49E-C2F55326C32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840cdf0fd2fc7639009b50125648d2c88152a633","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$2BEAC835-3640-4656-93F0-2E25EDC14E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ac6744fd227e7126e0753fcf431afcfd7f97b","datavalue":{"value":{"entity-type":"item","numeric-id":3648737,"id":"Q3648737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$AA14F39B-C328-4AE0-8CBE-AAFADEE3F1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37959abe365ef80037a753de9cc6df3d3f8fa2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3884093,"id":"Q3884093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$91A1A7F6-6B56-403B-B2EF-1C41796D9D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4673138e41cdcc6fdba908fef9d352af43a81cb","datavalue":{"value":{"entity-type":"item","numeric-id":5387896,"id":"Q5387896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638293$441B3228-572D-47B6-BFF4-C8FA54E45F6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e57d5451a04a9b0d54ced53f9985b8973935e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b39b4096303fcc1ca32b44b33523d6d5510683b","datavalue":{"value":{"amount":"+0.8577344417572021","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":"Q3638293$0C5B53EA-137D-4CE8-B29C-FD5107DF19BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54400e226c42e05b9eacec803b7adbdadb9bd72c","datavalue":{"value":{"entity-type":"item","numeric-id":3086939,"id":"Q3086939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4309a936313c586471d08431236a52cfd569ffda","datavalue":{"value":{"amount":"+0.8571324944496155","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":"Q3638293$1D5FC665-1D09-4EE1-AD50-05644653A671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08ec7b34734d13056cce5b006cb11a937d7a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4684356,"id":"Q4684356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5958f11846f55434e1fb43d4696dadf0272295f","datavalue":{"value":{"amount":"+0.8571194410324097","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":"Q3638293$0559E4B2-BAD6-45A3-AA69-35EA175358EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc9daa157874e5b08af6ccfb4800f13c2735dac","datavalue":{"value":{"entity-type":"item","numeric-id":4964699,"id":"Q4964699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ff933487513f5887e7f6671577a693b95b8874","datavalue":{"value":{"amount":"+0.8542672395706177","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":"Q3638293$1C5A437C-0337-462D-A4CE-930D7E58B1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee71b9090ea73b7d9699f84230da8bf7ebd17b9","datavalue":{"value":{"entity-type":"item","numeric-id":2904053,"id":"Q2904053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d8dd5b7aae11ea55ee4af33d98ee1edf0d9124","datavalue":{"value":{"amount":"+0.8434731364250183","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":"Q3638293$72200FAB-355C-4EF6-8008-6A7506E1188F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3638293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3638293"}}}}}