{"entities":{"Q4222771":{"pageid":6252372,"ns":120,"title":"Item:Q4222771","lastrevid":46594137,"modified":"2025-12-25T04:00:19Z","type":"item","id":"Q4222771","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231468"}},"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":"Q4222771$CB7A0C35-E7BA-4D00-B205-546141513729","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"def37a8f6a7b654d82ba5e91466f8ba3d461c18b","datavalue":{"value":"0908.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222771$4FA3D4B4-43C3-4EDB-9923-9A2D2F212185","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9f39cf9c18e5655ee2f9041b911f4adf84fbd3d","datavalue":{"value":{"entity-type":"item","numeric-id":1575881,"id":"Q1575881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222771$F34AB45B-82DA-4F1D-8AED-1F1C05946B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c501e7c966d4aaf8f262a94ba507af920c84926","datavalue":{"value":{"entity-type":"item","numeric-id":1004063,"id":"Q1004063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222771$8D8E95BD-2573-4F67-B7A6-66FEC8B9AC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36c49525711d5d21e1e6059bcda58a3a216bb3d0","datavalue":{"value":{"entity-type":"item","numeric-id":1575870,"id":"Q1575870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222771$30B1E308-3D5F-4B02-B753-BC9B7B617900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8fea356f84d37a924ceb58cfe03d1b4469ed36c","datavalue":{"value":{"entity-type":"item","numeric-id":879365,"id":"Q879365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222771$F12D7D39-75FF-453A-9305-B17BEB1C7875","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d54e0210f32623b7fe1b28b048e86bc18ae9da5c","datavalue":{"value":{"time":"+1998-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222771$7BAB4D50-5B2F-4461-BEFE-56D0DC9313DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45d8b59f7e0e9fd73ddbb2aef548300a69d1c126","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume1.htm#maraist","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222771$D885DE13-C1D7-426D-B3AF-B0D2CC08EBC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222771$1940A246-92A2-4782-8ECB-2B5029C70CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222771$1CCA30DD-F63A-41FC-91C0-59AE03725D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222771$81DB8BF4-84FE-4467-B3FF-127E8BC641CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f69ec7a9741cd4e0db9dc13cb0b303b74f387320","datavalue":{"value":"1231468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222771$9E61A0D2-A63F-4453-A238-8D4B901C668A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f6a309854f40b54f6d04c76dd4272d16d0b1aa6","datavalue":{"value":"translation of intuitionistic logic into linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222771$8B14949A-F22F-4A94-ADC7-11A1AF681A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5449286be9f1a133f2f29d1fa390a5e3e7749238","datavalue":{"value":"call-by-name","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222771$1CD7F303-1B39-4F0D-8D3B-3F538D644B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222771$38E85702-DDD1-46D8-B5EE-9EF582F286F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"306babe488cfa3a591cfd4ed12d529826135f187","datavalue":{"value":"call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222771$99CF5465-6E94-4043-9B36-3F12DD92899A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222771$A55952F2-8E38-4C84-BB3D-E1452DAA86DC","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":"Q4222771$84FE9F83-53EB-45DA-B71A-79F9EA56BFDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3990ddbb99bb2d44d04f9e4faa256d5f9dc307ec","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f2db0a698d9831cc19a4fbdd6f13282ad7939e","datavalue":{"value":{"amount":"+0.9960607886314392","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":"Q4222771$DA68F730-8582-4A8C-B58D-6228A24297BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb7522e68507b50e361e96f29d7c73bb4c21563","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0e24097ded5e6b343e69b67a69eff46db9619c","datavalue":{"value":{"amount":"+0.8157622218132019","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":"Q4222771$D0D6C51F-8DFE-405C-8E72-EA9B226A4F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c9c698094266160d032a9f9146d5f36e2dcf413","datavalue":{"value":{"entity-type":"item","numeric-id":4953356,"id":"Q4953356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ecc00e3dd55c693ba7f99c6aa1ceb0f74ed4413","datavalue":{"value":{"amount":"+0.8120163083076477","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":"Q4222771$337A6D68-9084-4864-A6E5-D2E066F2AC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eacd4289154c895bda270ec6d72d7e2b9daf323","datavalue":{"value":{"entity-type":"item","numeric-id":5018484,"id":"Q5018484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db93fa215eed1326801d947fff241d83c0623b93","datavalue":{"value":{"amount":"+0.8101863265037537","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":"Q4222771$1A18B113-F431-40EB-9FC7-6233F8A9D881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0010c7fd33e395df3d252e1b05141afb5821b8d3","datavalue":{"value":{"entity-type":"item","numeric-id":2802497,"id":"Q2802497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab97c26f00f297e8d32c20f2dc867e3e9b54939","datavalue":{"value":{"amount":"+0.8032480478286743","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":"Q4222771$D752E2F2-3E4F-402B-A51D-7E31A596B357","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4222771"}}}}}