{"entities":{"Q4222841":{"pageid":6252442,"ns":120,"title":"Item:Q4222841","lastrevid":46608837,"modified":"2025-12-25T05:01:18Z","type":"item","id":"Q4222841","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231526"}},"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":"Q4222841$D4095FD2-ADF4-4E9C-BE44-A52A10B57488","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7fa6ae52f72b5d01db6bc54acc6eb511bd51060","datavalue":{"value":"0908.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222841$751922E6-DFAF-48C9-82E4-278E36F1198B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222841$1EBD4E05-90A7-4A95-964B-D10C21F47223","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d75c8972e3f2f65d76ef5c0db6d9fd21365ddf3b","datavalue":{"value":{"time":"+1998-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222841$5120C2B7-C1EE-40CF-A4CF-F7189D696883","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dcec55d109d992ed920612f85bd5c0955ae58e5","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#okada","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222841$8D9C6407-EB4B-4ACE-92C9-22BF4210B6DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222841$C13A3A7A-6C7A-44E0-8B84-B8EF0E15A626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222841$A2CAA9D0-DF04-459D-8D1D-7FF0C6208B01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b947b8a78ed2b45f444a58c2587e4f4e98a3ce54","datavalue":{"value":"1231526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222841$7DA3BD4A-BF14-46B4-85F7-C8B25F50B1A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e9bebe4c408fb79b146f4657bf2daf7002b5579","datavalue":{"value":"extension of Girard's phase semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222841$8D864070-26F7-4BA7-8EDF-A18A35FA19CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222841$E57E5312-27A0-4DCD-9778-D49BD9F90F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"598eab86382d0afc98d27d3c047be712a9895489","datavalue":{"value":"phase semantics for proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222841$B5BE4684-8D8D-413D-94A1-39D6F30211D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dbcde4f13af3a5823d9e16b3b72fc8c87548db9","datavalue":{"value":"proof-normalization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222841$9B4E5265-3DFE-48B0-90DD-650D7181D487","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":"Q4222841$92B850C2-DAEB-40FB-8CAD-12B936761B4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418f04edcf11ec662a481924a0aaf5060c05f5fa","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a867e01830763b124754665b6052c4e2256dfa6","datavalue":{"value":{"amount":"+0.941759467124939","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":"Q4222841$223249C2-4F79-4C00-8B40-D20EEA60062D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9802e8e091a110467094e11a81c45123341e4867","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab45e9f7077a64882c441d1a622c6dc492d1966e","datavalue":{"value":{"amount":"+0.9159523844718932","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":"Q4222841$A684DEA0-64CA-41F2-9520-278A57444525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf480500bb4778d1e843b13be18530fd94e2b3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2000674,"id":"Q2000674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79894b1c1a7744dc5799bcf4b610df555a26d9e3","datavalue":{"value":{"amount":"+0.8355789184570312","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":"Q4222841$E7F126BA-4921-4D90-B7E1-BDEACA6A1347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47adc29f5016c79fa420997aa20f4e099a89c304","datavalue":{"value":{"entity-type":"item","numeric-id":1901891,"id":"Q1901891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64eb22499caf60839b86626ebbef70e27c542c5c","datavalue":{"value":{"amount":"+0.773958146572113","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":"Q4222841$D1182F80-2F7B-44BE-BFBE-E584499902AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4222841"}}}}}