{"entities":{"Q3533140":{"pageid":5563044,"ns":120,"title":"Item:Q3533140","lastrevid":88482713,"modified":"2026-06-04T14:38:38Z","type":"item","id":"Q3533140","labels":{"en":{"language":"en","value":"On Herbrand\u2019s Theorem for Intuitionistic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5359309"}},"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":"Q3533140$AD6CDEF2-1E76-490D-9724-F4F4902E199B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1da9e16604d82e9721537d920cb28a67049b856","datavalue":{"value":{"text":"On Herbrand\u2019s Theorem for Intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3533140$A2A4239E-2B28-4DE4-B33B-EA3A52FE3764","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3712308ee7c76b610673fbc755aecfeacf131c2","datavalue":{"value":"1152.03310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533140$D47754F5-273D-40BE-9A58-47DFE5768FD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cc6dbb21aba136224e359123e68b8e504329198","datavalue":{"value":"10.1007/11853886_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533140$7EFE3C3F-D8D7-40D4-A802-4557EBBF57C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533140$682F1A23-72F4-4C4E-BB79-BA9674D5CB65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a314951617bacafcd051bc028a7f73602f45eed","datavalue":{"value":{"time":"+2008-10-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":"Q3533140$FD210B1A-6CAC-4270-BF8E-CE952C96B19D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533140$FEA7C8ED-D92A-4996-A3A0-D471F69E9B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533140$F2288EBA-CB50-4628-A70B-5CC238AAB8A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce2a72dcccfd59c406cee39e935cc7ed43326b00","datavalue":{"value":"5359309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533140$8F730359-1665-4B21-AA0D-39AAA8FB9D9A","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":"Q3533140$673B8A2C-E94E-44A2-AB9E-A502C6EA6B61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d2585a7e1e6455f7ada46a1a0bcd1ef88d499ef","datavalue":{"value":"https://doi.org/10.1007/11853886_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3533140$4ABABF4C-EEA1-4364-BFA2-E8D91AAFC77B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b08858e2901ddb81056be72cd18e74f7492f209d","datavalue":{"value":"W1519778457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533140$4013CDB0-8D72-4574-999D-A6FACE367F4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4127f3e1f388cfeeece982a5f0081edbff4ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2180528,"id":"Q2180528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5dcdcb34cae1a6f59dbe25de8deb788e7c733b0","datavalue":{"value":{"amount":"+0.7961817979812622","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":"Q3533140$CB9AD85E-CDA6-4FBD-936A-C55D35972E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a346cc7391b3124b47922db21bccc3493f530ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3483288,"id":"Q3483288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc448132e95b765665890ecc5825e7ee71a5279","datavalue":{"value":{"amount":"+0.7769613862037659","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":"Q3533140$7708E3B4-FB33-4987-B07B-5338BD6FC9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de7f191b3d0e2d385eb0a240cd7bc93e739246a","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda3a964fbf13b73cb399531c1799f73a3518a5a","datavalue":{"value":{"amount":"+0.7747958302497864","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":"Q3533140$3E8DF4E4-E246-4216-941E-076F136CE097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc88718a305d147397faaf7899d51ccdc2bb5ca","datavalue":{"value":{"entity-type":"item","numeric-id":4647496,"id":"Q4647496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c680b110369f47934d312a86be0f27b7e30ee4a","datavalue":{"value":{"amount":"+0.7712250351905823","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":"Q3533140$C0C972F1-D6BA-44C8-AE20-D7ABA4CB7E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f224617a51a1d4e4d508c109efa999bab49997","datavalue":{"value":{"entity-type":"item","numeric-id":4942001,"id":"Q4942001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad192dcff2581e73f8b57d93db2210f000ce6765","datavalue":{"value":{"amount":"+0.7708858251571655","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":"Q3533140$84D7B591-EEC9-4327-ACF6-4486640EFA66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Herbrand\u2019s Theorem for Intuitionistic Logic","badges":[]}}}}}