{"entities":{"Q4222828":{"pageid":6252429,"ns":120,"title":"Item:Q4222828","lastrevid":46608813,"modified":"2025-12-25T05:01:18Z","type":"item","id":"Q4222828","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1231516"}},"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":"Q4222828$0251AFB2-51B2-465C-AC44-98BABEBC3AC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddae468b54760035aa1a4c48864a28777883bdbe","datavalue":{"value":"0908.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222828$45D8EFCA-1ACC-41E3-B16B-FBE33C5835D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222828$6A8A4C44-D3AA-491B-BB42-450A60265FE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14701bb5591a3900212a7a439a0ba9af8910872a","datavalue":{"value":{"time":"+1998-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222828$5A87AC89-3124-4715-80B9-70840AA1F605","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b72b70f5441d6e8ce61db18530d3242a042cb4c","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#girard1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222828$3CB2893E-9A97-49CE-80DC-A00CECC10465","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222828$E6D34289-A3E3-4EB5-A56B-548581A44809","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"108e764f5a2da6e03d1115b7a16e8e90624baf4f","datavalue":{"value":"1231516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222828$8B57B356-695B-4F57-982D-A21D3CC92656","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222828$382BDBCE-EC37-43D3-BF83-05846A67AC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222828$FD96DF4A-0752-4EDD-9DBB-53840439B991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222828$557BA6C9-FE31-472E-AD03-8F72B7B618F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bb9e0e5e2903f4afafce771bd623f3179d7299a","datavalue":{"value":"Par-monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222828$8F496007-3DD8-4D5E-8F7F-32BB11F3EC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34bb39310f855a49382a198ba298ed2004d7f20c","datavalue":{"value":"linear maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222828$9FC5280C-9E65-4E36-B010-69C6EFB68EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a153084f07a75cc56b26c617236589c3c4eb947","datavalue":{"value":"cliques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222828$BF156E24-24E4-4495-8F98-6DD25F29ABC6","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":"Q4222828$E2580C67-181E-480B-8BC8-6423C739DAE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67502025770fd36c18bb18fe3c960d68907b2e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1575869,"id":"Q1575869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f194301c861dc4b4bce729d743fcc44f5fc67d81","datavalue":{"value":{"amount":"+0.9894155859947203","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":"Q4222828$3689208C-D663-4E57-951C-05F5BFD1B5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4a13abeaeb5516e21700887cf0ba7c3d3890d3","datavalue":{"value":{"entity-type":"item","numeric-id":1971797,"id":"Q1971797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0d14cea718bb81272b7cb8a7351832faf3b63c","datavalue":{"value":{"amount":"+0.8062090873718262","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":"Q4222828$83F997F2-C3E6-4447-81BC-7ACDE138F328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24124c6549167154d9b05d6b50277121676fd4e","datavalue":{"value":{"entity-type":"item","numeric-id":4499219,"id":"Q4499219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e91d55a7500cd686ce442c672a5eb7b2c50f3067","datavalue":{"value":{"amount":"+0.8042897582054138","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":"Q4222828$BEB1FB79-3B99-4DF6-B974-B9FA4EFB584C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4222828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4222828"}}}}}