{"entities":{"Q276037":{"pageid":277804,"ns":120,"title":"Item:Q276037","lastrevid":52516478,"modified":"2026-01-22T20:49:29Z","type":"item","id":"Q276037","labels":{"en":{"language":"en","value":"J-Calc: a typed lambda calculus for intuitionistic justification logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6574071"}},"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":"Q276037$A2AA1D51-5AC1-4ED5-8596-B1023E6542CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4357fc26f640ae0a4307d96af41bd4d8bf1cea8","datavalue":{"value":{"text":"J-Calc: a typed lambda calculus for intuitionistic justification logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q276037$31AA5FC6-1EA4-48D5-A61A-DA548C0E39B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1aea386427b41cae329908f1a531ac3d29f34a97","datavalue":{"value":"1337.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276037$E7D335E5-0421-4A9A-9E73-231D409E93A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d48e6fd3d7785bd0d633d944df7d7d04604de3e","datavalue":{"value":{"entity-type":"item","numeric-id":276035,"id":"Q276035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$43E733E5-9D82-4CBC-885C-55E05000636E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bf97e0c0c7b6f4c2e43a75b6e05c2d4088de488","datavalue":{"value":{"entity-type":"item","numeric-id":276036,"id":"Q276036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$7190CEB1-7F4E-4386-9BD2-6269B890A841","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q276037$561583E9-3F8C-4650-BB40-74F44D6C1AD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276037$0885C304-9DF1-4944-9BC1-E475F04BC6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276037$607218E3-F634-43D0-9359-E874E5A2EBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276037$DA386D23-98A6-4A6E-A946-8BD716C5D870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276037$0CF913FF-2B26-4197-926E-C80CA145CAFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2690ad6321dbf5820272caff20c296b9287440b3","datavalue":{"value":"6574071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276037$3800584A-E049-4C8B-803C-B3AA6BAB87B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q276037$8DFC9274-08F2-43AC-8312-AEDE68D4FD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q276037$CC385344-B986-4650-BB38-E2A4B3827CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5aff76dae498ca62a08ba1049fa5a41cf30699c","datavalue":{"value":"modular programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q276037$10DD0AE6-E646-4580-AF9D-980705D647DC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$8B408731-9543-45BD-87EB-F6B8A199735B","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":"Q276037$F042B1EF-8B94-4542-AFD9-0DD3883EC10A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80015470965763a1f55b0e861cea3f90f0ff4936","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2013.12.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q276037$1FFC983F-DDDD-4D4B-96A9-E1FDF8748886","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0de8563efde5f927a0ecbd1b3fab5bf54c1ef97b","datavalue":{"value":"W2036565723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276037$E5BCD485-88B0-4D62-AC9B-088A328AF1BA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f021afa9b641cd297ba4002b41eddafe5bab2b46","datavalue":{"value":"Q113317925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276037$71CF20A2-C3D3-47B1-BDE3-A4877F04FF0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e66644560ff5d19bd637909a468277de233de6b0","datavalue":{"value":{"entity-type":"item","numeric-id":4436024,"id":"Q4436024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$5FB08576-6C9A-4856-BDEF-EC03421D8759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204b29a27f5014465bbf18a836ac1d7e769ef5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$9A2A2588-6625-4981-8306-107C4D9F02FB","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":"Q276037$DB1D89E2-BF3F-4675-8639-9723E8170A45","rank":"normal"},{"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":"Q276037$7C17508C-11D2-486A-925A-506FBE4119A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f734330c8f5394f8e9e9dcd4c009dbbb580298","datavalue":{"value":{"entity-type":"item","numeric-id":3532452,"id":"Q3532452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$0ABFF295-5099-4D40-B18C-BE30D5E27CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b811656f4ebb283e6c749d10483ecd50472fcb","datavalue":{"value":{"entity-type":"item","numeric-id":454364,"id":"Q454364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$8C260DA8-E260-4DFC-8DD7-33271BBC2D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5224c86e4b6d0df0925007d11afe2b2afa54d192","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$94B03F71-8AAC-4F3C-83F0-6C4964E7C354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b430b4a79f39ee5081bbbd36290f81e874e41a","datavalue":{"value":{"entity-type":"item","numeric-id":3637199,"id":"Q3637199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$94BD9C6C-D7E5-48B0-9EE6-D09467B6B1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ecd9393585d7c4c855659645376c13ab978e23","datavalue":{"value":{"entity-type":"item","numeric-id":4813221,"id":"Q4813221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$EF6C4FEB-6C74-4148-9155-5999DD890520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$471E6BF7-EBA2-4C53-B51C-91A2FE5DE332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c967ae4b0fba59ac6a0c72fafaafab5e42d0c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4215631,"id":"Q4215631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$CE561AAE-D925-4D1C-AE12-71DDA625AC28","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":"Q276037$5ABD5773-542F-4A05-90C8-04D61D8BAA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$1791ED5F-8806-4D3B-9718-5F1FBB188D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f467d01f5b627d73e84c60cd83839b4bc71430f","datavalue":{"value":{"entity-type":"item","numeric-id":3838112,"id":"Q3838112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$E508AA58-22F8-4941-A435-4AAA4E206F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee172cf1bbc62eabf7dd1b43feaebcac6a2fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3886868,"id":"Q3886868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$1113CBF5-4799-46DD-8DCF-37F53CC15E32","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":"Q276037$BC275476-82FF-4167-AEDA-9ADE178654A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$3B81A5FE-91FE-4D0E-8AE7-00AE6DF63A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$A0299266-CD8E-4546-A2F8-2B1E314A7516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$43A020DA-1B6E-4978-9674-E4184A31E5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$21272DB7-5428-4ABC-8E24-2A0916FD448F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$69130348-8967-47E7-B65F-C7C296F764D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$C97FE99F-9BBD-4D77-940B-511F48855A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8364f7aadd86e0b56483f1c6c6c711cc65823d97","datavalue":{"value":{"entity-type":"item","numeric-id":3503833,"id":"Q3503833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276037$154E51CA-D560-4F44-A5B7-19F30FD2B28B","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":"Q276037$E207EF5B-37B3-4867-B2B0-ED47B0B094DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6eae1cfb090d8798ea88f3e054a4efc932a2697c","datavalue":{"value":"10.1016/J.ENTCS.2013.12.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276037$B11D493A-4DA7-425B-A747-62BC8EF3C1C2","rank":"normal"}],"P1643":[{"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":"556c0fa9c344b392b22ad559973a5d85e4fc53c6","datavalue":{"value":{"amount":"+0.8097109794616699","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":"Q276037$27BEF910-8274-44FB-B3CA-F882E84D5140","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":"5e4e7ac9890fef9a5272a4609d8d14123ddd337a","datavalue":{"value":{"amount":"+0.7860885262489319","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":"Q276037$7815CA60-B562-47E7-855D-92AF6ACB4BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a405113a09685944bc3671e9cd9aa500a7e85a23","datavalue":{"value":{"amount":"+0.7848750948905945","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":"Q276037$218F743F-0CA4-478D-92DA-329572D674DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0fd494de96833099f662937937c854534bb5dee","datavalue":{"value":{"entity-type":"item","numeric-id":4436024,"id":"Q4436024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23bea15735001e516bfd63090e6e2ff10fac2103","datavalue":{"value":{"amount":"+0.7662304639816284","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":"Q276037$A9FCDFE9-1E1D-4034-8EE9-255D35B3B521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6329edf424aee4ec283bb9b74b8e8a8270f47417","datavalue":{"value":{"entity-type":"item","numeric-id":408548,"id":"Q408548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e923a06c60d01f27e875c3a1ee38c1bafa5b99","datavalue":{"value":{"amount":"+0.7591288089752197","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":"Q276037$A3E04000-E533-4B06-AFE2-C5F79D5B0593","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:276037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:276037"}}}}}