{"entities":{"Q5387896":{"pageid":7417470,"ns":120,"title":"Item:Q5387896","lastrevid":50366489,"modified":"2026-01-13T21:58:34Z","type":"item","id":"Q5387896","labels":{"en":{"language":"en","value":"A Local System for Intuitionistic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279578"}},"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":"Q5387896$CA9851A2-17FC-4A7C-9F17-D279E9EF8559","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ceda9c344256d52141056510d091804c296cf2a1","datavalue":{"value":{"text":"A Local System for Intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387896$E882B756-B6C2-48F9-91E5-28DA87036D18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"522f84678fc6f32cea471638feee1b6ea4b230c2","datavalue":{"value":"1165.03307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387896$6BF332D3-0342-4045-BA4A-B8CAC32B72F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"601b3add24f4da8de2864e62d38a1efedad00915","datavalue":{"value":"10.1007/11916277_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387896$9E9ED4ED-0402-4738-B480-6483320CA818","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387896$2A4C43D1-A65E-4ECA-BE7D-73AAEA272E84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387896$B1688A35-471D-4732-84F1-F65790EEABC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-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":"Q5387896$E7C220FA-34B6-4178-B9D6-22AD2488725B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387896$39A56327-7E9B-4408-935D-B96172A477CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387896$467279A8-AE95-42E4-A73A-D4A4DEABAE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387896$426D8F5F-0481-44D3-8DC5-4CC2C130109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387896$0D31E3CB-2D76-4F66-8265-CADC14CD2B10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f867585098b47d4d5a9b92ab995fcc5f26c58c53","datavalue":{"value":"5279578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387896$4C982AF5-30DA-4272-AE08-0DAF0C2F3B27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387896$5281D257-6B4D-40FA-92EF-D2DECDA36BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387896$9A39F2BD-CC05-4C99-95E9-3E8B72968375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387896$54612A98-6E72-4F3B-9427-597EF459BCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387896$C32DCCB9-D51A-404A-AFAA-1EFB879B5AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6bfc6cb4e944c3dea94e46f9c5f8b0ec2fcd1e5","datavalue":{"value":"calculus of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387896$A2DA03D4-9872-4126-8B24-DEE0388B3DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5b73a08163a09a75cd91878ee7b2e9cf204284","datavalue":{"value":"locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5387896$A58564F1-6CDE-4079-8064-E03DE6D0D23D","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":"Q5387896$197FA281-D467-4062-9EF7-6E3B590ED824","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f5135b20b6408b110317dea7b0fb7e19c7c474f","datavalue":{"value":"https://doi.org/10.1007/11916277_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387896$38B6D08D-AA1F-4F0E-87D5-1CCB1831F5D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba48a81d6f4d6e58503e551a248e23d9959d13a4","datavalue":{"value":"W1594146612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387896$AA417AE2-EC44-4DB4-B219-DFFB65BE9D80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547bd3c07c9c229b174593af10279334786a28a3","datavalue":{"value":{"entity-type":"item","numeric-id":4635630,"id":"Q4635630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09178036d99384ed732190d17ebf469efffbfab8","datavalue":{"value":{"amount":"+0.7986344695091248","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":"Q5387896$C451F4EA-B67D-4004-BEE4-5A72C8B883FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41725770004b580ee4adff1ea53c63dda435def","datavalue":{"value":{"entity-type":"item","numeric-id":2996175,"id":"Q2996175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52789e96483abde9261b327b375222101de5331","datavalue":{"value":{"amount":"+0.7952257990837097","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":"Q5387896$A21D6CE9-41F1-4E5A-AEE8-1C55182B243B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e66139f11c53cc4f568403fb1a5a6ea22abbb6e","datavalue":{"value":{"entity-type":"item","numeric-id":4428313,"id":"Q4428313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c2490da9596aa767d1e0455325272bad788bbb","datavalue":{"value":{"amount":"+0.792697012424469","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":"Q5387896$510D8719-FF53-4D89-B912-4791ED6C19DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22e19968fc2e3168ca66d9fcf782d32a34b128fe","datavalue":{"value":{"entity-type":"item","numeric-id":2372689,"id":"Q2372689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"432f461b4b9633c128a29d6a84dc2c7bebd2158d","datavalue":{"value":{"amount":"+0.7865561842918396","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":"Q5387896$197BE0F2-C53C-4DFB-A454-5F24CE609EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4dcf41db2d43dbf04194555c40e590673cb81c","datavalue":{"value":{"entity-type":"item","numeric-id":2710593,"id":"Q2710593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8263565d06ef5b7a0333cefa20219c35e44f10a","datavalue":{"value":{"amount":"+0.7824115753173828","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":"Q5387896$08D7174F-0FE5-4138-B4F0-CDBC3DB8D8AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387896"}}}}}