{"entities":{"Q4796463":{"pageid":6826043,"ns":120,"title":"Item:Q4796463","lastrevid":74653929,"modified":"2026-04-14T23:46:32Z","type":"item","id":"Q4796463","labels":{"en":{"language":"en","value":"Kripke Resource Models of a Dependently-typed, Bunched \u00a0-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1876745"}},"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":"Q4796463$723E1CDD-E397-49C8-879A-3B5CA8F235FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"783e4a31b20b831d475cb9f9b02163979875c700","datavalue":{"value":{"text":"Kripke Resource Models of a Dependently-typed, Bunched \u00a0-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4796463$E59CCD93-FB0D-4E38-AA1B-2147D37B3F31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6d6571a80f5a0b4f674ad00805c754f583ad14f","datavalue":{"value":"1017.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796463$6BB646F6-654D-4D99-AB1C-951EF93E096A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83f75120a1136aa98d7d093610f39c90eef6c17b","datavalue":{"value":{"entity-type":"item","numeric-id":4228075,"id":"Q4228075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796463$5A6A5B09-A484-4997-96BA-66E31B2F8C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796463$4606AEF2-83F2-4051-B8D7-E107C61663C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fe9aea4d373947219ef3ba7097fb8e571c4ef50","datavalue":{"value":{"time":"+2003-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4796463$5F35DF72-7D0C-4CDB-BC9C-38918B3643CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796463$EDAD967F-96B5-4B31-BF39-0750D8E00E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796463$C32D9734-F779-44CC-902D-A08FEFFCEB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796463$59D257E1-8B04-4046-84E5-21BAC84BF1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796463$0BE242B6-C5C7-4742-B08D-550F89498A5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95d11aa9469e040eebc0c98e4ef5ef6fb84835cc","datavalue":{"value":"1876745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796463$A7C659BF-0F0B-4175-8E5D-44B91C859FE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796463$88263DFC-7C88-4851-B8D5-8BC86B7028FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796463$89FBA471-2B69-42BB-849F-1D3EB8675E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796463$0C0CB7EC-3E91-491F-86F4-B715C420F737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796463$8808E593-FE07-4E70-8485-2FDFE9E29575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744e14f5848fcf51b5826788182a8f23360fc8f3","datavalue":{"value":"\\(\\lambda \\Lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796463$BBAA3BBF-A881-4D9A-8B1B-4557A90456B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796463$3DD9FE97-6E7A-447A-9E71-04BBEDDE72DB","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":"Q4796463$00034BAB-5AEA-4352-9CD1-BAAC2793E222","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b16af6ab6252f231b8d62bab33c071eb9cc59f68","datavalue":{"value":"https://doi.org/10.1093/logcom/12.6.1061","type":"string"},"datatype":"url"},"type":"statement","id":"Q4796463$1FE68561-E025-4FBE-9F0B-138E9F174E47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5740ddb97d27c5058e1e1e6cb2aac85729ca0725","datavalue":{"value":"W2118814033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796463$D1DF10AC-5BFD-49EB-A1A0-C1DA094D55F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bb1ebee868e714a0fb0888652d4bb153bc24063","datavalue":{"value":"10.1093/LOGCOM/12.6.1061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796463$0714D0B3-4BD1-4B29-B4AF-96408FBD970C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796463$71676098-BF81-45BA-B4DC-46211051986B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501f3f8a6c4b0ef8997e9c56a003b6b2140c7bdd","datavalue":{"value":{"entity-type":"item","numeric-id":4945228,"id":"Q4945228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e582343ffb6bda6f26289186b542faafa2c7c7","datavalue":{"value":{"amount":"+0.9794467091560364","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":"Q4796463$AD859DD5-CFEB-452B-82FC-BC93D2428B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266dac9e52e917611cd496eb6787e17ef4562185","datavalue":{"value":{"entity-type":"item","numeric-id":4263875,"id":"Q4263875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4474f0485f5f6cbbda979172546c0c401027fb","datavalue":{"value":{"amount":"+0.7779629230499268","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":"Q4796463$2DB18FCA-4E42-4D12-9515-3F643C01315E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad2f97480a250a4f35c90d792203333973cefb2","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a591d890e2ab9e3634a2bf96d9b34ec13942c42e","datavalue":{"value":{"amount":"+0.7580313086509705","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":"Q4796463$CB603576-58EC-4855-BB26-A2F09E40432F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61f1043df0660b821c287adfab81436de44a8af","datavalue":{"value":{"entity-type":"item","numeric-id":4362931,"id":"Q4362931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a452dfb69efff9bbe5dfec0664aeee8ff69a639","datavalue":{"value":{"amount":"+0.7472770810127258","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":"Q4796463$69DC5851-BD4E-4280-AC64-E5AC948AA64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa989996ced01fe27d84d37ed342ebc72ac4f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661f504e73f66988df73f6ec38841bb293969fc1","datavalue":{"value":{"amount":"+0.7364033460617065","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":"Q4796463$26B728E0-3945-4697-AA5E-66B80193D765","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke Resource Models of a Dependently-typed, Bunched -calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kripke_Resource_Models_of_a_Dependently-typed,_Bunched_-calculus"}}}}}