{"entities":{"Q2151394":{"pageid":2162137,"ns":120,"title":"Item:Q2151394","lastrevid":73439145,"modified":"2026-04-14T15:59:30Z","type":"item","id":"Q2151394","labels":{"en":{"language":"en","value":"Justification logic and type theory as formalizations of intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7551710"}},"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":"Q2151394$989C3294-895A-41D1-9566-F4D082310973","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4810f49bad0f225c90290d2ca57c2e2556d617c","datavalue":{"value":{"text":"Justification logic and type theory as formalizations of intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2151394$6338A6F6-AAC4-4590-96DD-DA652721EA7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad6724eb145dfc0b18197f68eab7108a8ba441c9","datavalue":{"value":"10.1007/978-3-030-93100-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151394$25C89D6B-8D97-46AF-8AD1-386342D2FF86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05dbb098bb1a60b648453961023ad958ea749d8e","datavalue":{"value":{"entity-type":"item","numeric-id":2151393,"id":"Q2151393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151394$2CCCF0B8-4687-4024-9D1A-1597DF61C0B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-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":"Q2151394$C2711BCF-9A62-4E28-BEAA-1EA6BEF6FFD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151394$FEC96C2C-3CA3-4F32-80F0-222F01EA0245","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a628072ef8dbef844fb1d65ba16f0ae561113a3e","datavalue":{"value":"7551710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151394$6C03C6F2-761C-4F24-9485-E6B7CAD3D473","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151394$18215721-1D27-4382-B4F8-6D7EAFA29AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151394$B0A67F00-98B4-41DA-98F1-22CB5A024A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151394$12502910-1C1D-4461-A4AB-1A552C09FE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8ff0e2511afa37a692d3441be9cd045156c644c","datavalue":{"value":"\\( \\lambda\\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151394$6325A5B4-9A5D-4FC7-AD33-9863D39876B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d548489239f17c18355387425237da9002aeba","datavalue":{"value":"BHK interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2151394$30F9F3EC-0551-4F34-92F5-DC48721CC48B","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":"Q2151394$33C8F5B3-4FD6-4D2D-8D12-A303CDF20253","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18b9f38eaa6a40b5cdba8d91a59b0c5ea3c237fb","datavalue":{"value":"https://doi.org/10.1007/978-3-030-93100-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2151394$E7F022C5-FB06-4E1E-B148-0B120EF22BC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a22ece1ef762b79e8e5a2dc0776dfb58910f821f","datavalue":{"value":"W4200319172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2151394$5F4566C8-A55D-4EA8-8774-9687B4928339","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f182e8d068c4ffda3ffda36b3ed008e8979c149a","datavalue":{"value":{"entity-type":"item","numeric-id":5692429,"id":"Q5692429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151394$C738D56D-70F6-4258-8569-8715E11BC8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151394$823247CC-98B8-4F3D-A2A3-6B51064443D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b00ab191b866943c5176f743d50485259b50b8","datavalue":{"value":{"entity-type":"item","numeric-id":5376691,"id":"Q5376691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151394$578C4692-B158-42C9-9C7D-7E1A3482D0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151394$5A883F32-A59A-49F3-96C9-52974BB2C257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151394$0B14A48F-483A-4799-93B3-87A1E66FED1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d7510aab77c7b5ee1e68e954e229c8b45db575","datavalue":{"value":{"entity-type":"item","numeric-id":3172800,"id":"Q3172800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151394$581F85F6-0806-42BC-A73B-BE250BE01BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1458bfac42ad286313aff266819d8c1ef7aaaea","datavalue":{"value":{"entity-type":"item","numeric-id":5613908,"id":"Q5613908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151394$3BA7BD60-3451-492F-98E1-A257871595B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78529980a5954018f5a0a13cb9282bf059b803fb","datavalue":{"value":{"entity-type":"item","numeric-id":5525322,"id":"Q5525322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151394$E43A6563-361E-45B9-AE5C-4A88CFEA9B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b3b2827002bc8d3e5b4e924d1e5ea74c5a2eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5232011,"id":"Q5232011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151394$6DE73FD1-DD1F-49C1-9987-633E7FBD884D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151394$BE54C97E-2245-4C3B-9C91-F66D7D025D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2151394$309369F0-E904-4850-8514-2BE6E34A9427","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec01041d4567b5921f28b1c9d0045a7cd8ae3dc","datavalue":{"value":{"entity-type":"item","numeric-id":5872865,"id":"Q5872865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a823ebd6ef8911c37df0c11d71d649c8635e6fe","datavalue":{"value":{"amount":"+0.989117443561554","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":"Q2151394$6ABE252B-4271-468E-AE67-98550A1984A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fe426ac3289233ddb1f1c83610c8b4291fe80d","datavalue":{"value":{"entity-type":"item","numeric-id":276037,"id":"Q276037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62cb290c0ac4ff55e344f5753ae1bc69c170bf2b","datavalue":{"value":{"amount":"+0.8194497227668762","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":"Q2151394$66FFDC1D-21B6-4703-AC5B-4D2EFBC84885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f43234066c2ad9229abb500ae98f7bb3194051","datavalue":{"value":{"entity-type":"item","numeric-id":2820702,"id":"Q2820702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c8281f40dd2525f6a76722332896409ad966da","datavalue":{"value":{"amount":"+0.7981133460998535","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":"Q2151394$77800B05-704F-4578-8FAD-1F8181EC0547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5b3ae1a57e8f534489566e4ee89295ea15e9d0","datavalue":{"value":{"entity-type":"item","numeric-id":5039162,"id":"Q5039162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26924aced6898c5e15345d51130c40e9240586c0","datavalue":{"value":{"amount":"+0.7812135219573975","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":"Q2151394$E215C7B4-0636-414E-A8D2-88A70775A541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3669276cdd944464f4db9d1d6b46e5240e15764d","datavalue":{"value":{"entity-type":"item","numeric-id":4612429,"id":"Q4612429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97fe13946f9f6e7bc62002b10907bdc4b8af7815","datavalue":{"value":{"amount":"+0.7763891816139221","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":"Q2151394$AEF1DAE2-25B8-4777-820A-DFC4E232B7CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Justification logic and type theory as formalizations of intuitionistic propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Justification_logic_and_type_theory_as_formalizations_of_intuitionistic_propositional_logic"}}}}}