{"entities":{"Q4945228":{"pageid":6974810,"ns":120,"title":"Item:Q4945228","lastrevid":47471419,"modified":"2026-01-01T20:18:20Z","type":"item","id":"Q4945228","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424038"}},"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":"Q4945228$9BD85701-4E9A-4579-98B7-6D60B7D9D6FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d2f62176d6bf0328396d8aee8fdc21353d5c2ef","datavalue":{"value":"0944.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945228$B29DB2D5-A304-47E9-94DB-CD456CA13E50","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":"Q4945228$9AB0E0FB-0432-4250-BDA7-BFD20394D6EE","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":"Q4945228$B927A008-1E48-4B9D-888B-47A2AD1438A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a175ccc37a14b3ca79afe1248bd0b3c945a52ef8","datavalue":{"value":{"time":"+2000-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945228$2343BE48-F636-4C79-98FA-679AA6290526","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945228$E25416FC-17A4-454C-88B6-0F700BEC5C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945228$07EC96B8-E68C-4152-8A59-00098A495FBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d87570d0df14642b17b6b5cf5ccddbd3eff503eb","datavalue":{"value":"1424038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945228$A63B3CE9-8C07-4BA0-8EFA-9D2DF9078F85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1246babba657b570ddbe48c8b0668fb22923a84c","datavalue":{"value":"\\(\\lambda\\Lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945228$3C79BEB1-9FFC-4D19-9925-1130B58DB361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945228$CAEE722E-8EED-4274-ADAB-AD375E58DB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945228$D6D4E123-20AF-40FD-B723-38ADF8C7960E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffb9a61cf7197ea8f775060b75a2afdf5838ec6","datavalue":{"value":"logic of bunched implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945228$9EB0FC4F-138C-4936-A353-0C2942E22B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945228$279B2CB5-0580-40CF-B548-3C89D259401C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f4c35e7388f6c89c0a0559dfb659357e0da185","datavalue":{"value":"Kripke resource models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945228$96C062AB-854E-48E1-A286-521B8C62C438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd3ac1520877b376a20ec113028993130e619df","datavalue":{"value":"monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945228$7821820F-E6B7-4A58-B95B-B9D203B23515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b837191186e4fac5c517b2bf81b232fc32c47163","datavalue":{"value":"intuitionistic dependent function space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945228$D9E382AA-C482-4628-96FA-5D3AEF8B7AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0c77aae99b67e972fdbed9727081eb1eab0715","datavalue":{"value":"linear dependent function space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945228$50948AF4-5EB7-49E4-BE37-0CEFB0A7244A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f7b62ef9283ecd37b6bce9722b942501aa6c48","datavalue":{"value":"Day's tensor product","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945228$DD0FBA50-967A-4EA4-A369-4E2188697F87","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":"Q4945228$5E44068D-268C-41D5-A460-2D5F1F9631FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94682d531bb9634c9b15b2740259fb6aa3134ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4796463,"id":"Q4796463"},"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":"Q4945228$DDEC5517-B301-4F0D-9F5C-45918BD0B6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c30a30256a82f7806e53cff4056e3642afe460f","datavalue":{"value":{"entity-type":"item","numeric-id":4461769,"id":"Q4461769"},"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":"Q4945228$0822CD7D-0B1B-4F21-BEE9-23AE3D68C7CD","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":"c4248af7bb3f72b6a2365cad3666f62ee7d369b9","datavalue":{"value":{"amount":"+0.7783902287483215","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":"Q4945228$B5476123-DFD1-45B7-A230-CFF30D3E976A","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":"4eaef7f869d91965fd5617f01682edd6a590a0ed","datavalue":{"value":{"amount":"+0.7583388090133667","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":"Q4945228$D92F60D2-E300-4F02-B8BE-566293AAD372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ef887785c5871ea73ecf7d64bbe5f0a6456b66","datavalue":{"value":{"entity-type":"item","numeric-id":5300896,"id":"Q5300896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc79bef0b630e4bc5fd68177026939976d2ff028","datavalue":{"value":{"amount":"+0.7377350926399231","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":"Q4945228$CC70C3E8-619A-48B7-97D3-BB22EAB8AD0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945228"}}}}}