{"entities":{"Q4842976":{"pageid":6872556,"ns":120,"title":"Item:Q4842976","lastrevid":47342779,"modified":"2026-01-01T10:56:39Z","type":"item","id":"Q4842976","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 786495"}},"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":"Q4842976$A40FDFF5-FEB0-4BE0-9849-1261C2B9CDC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa27f4bc5bca41c7a3d9b1ecc3637e5cd73f039d","datavalue":{"value":"0830.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842976$5C5C3D94-6523-4E26-BA95-086B4AA50E76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651e04b9287b8d0ec0024aa20b22bd0b7aef55b","datavalue":{"value":{"entity-type":"item","numeric-id":973941,"id":"Q973941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842976$E9564DBE-1B86-4694-A3B2-4F383E482475","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e681a2d729895c1036e78fcc6aabc448cd04fcb","datavalue":{"value":{"time":"+1996-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842976$CBE64E17-8404-46E8-878B-CB63D5FFD95B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842976$70CD1B44-10ED-4AA9-96FF-827DC38A3940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842976$69FF4BE1-9D78-47F5-B8B0-CF48F54FC6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842976$90DB2C45-5ABF-4B4B-9265-B95F56A9AD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842976$4259E49F-8AFF-4A85-A93A-32EB976C584F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"187f481a223fc2abdf8a83aff220a0e4e5963928","datavalue":{"value":"786495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842976$E49EEB98-2660-4D88-AA6C-AF3BD84DE5D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842976$61CED980-65E1-4EC4-A8E2-7F7C996D5C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a766b6a3de0fa0f9f9cdc7b98e802e4d4db4","datavalue":{"value":"multiplicative-exponential fragment of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842976$7DA072FA-31A4-490A-A0CF-5AAFAD923CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb426102764fe1a8dfec9c3d52625fba40ea705f","datavalue":{"value":"sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842976$3F6BE9C3-0983-44E9-B3D6-1AA09DDF9D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"961e267ca3a22fe3d36c80f2a142ed97fb96bb73","datavalue":{"value":"Danos-Regnier correctness criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842976$1DB5D617-2C40-4692-B4A7-53D4BF6A6502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d3f33dba07f2ecf13943d6d4dff8b86dbe50f9","datavalue":{"value":"interaction nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842976$C3B75F31-ACE4-451B-9486-EDF6EF431D12","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":"Q4842976$732352C2-BD8D-4628-838E-98EDA427AFCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1748af548a2db5d7d245a0ebb4650561cd1670ee","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df03dc6816b8c60be6c179949d0a3aa671e1ef96","datavalue":{"value":{"amount":"+0.8376050591468811","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":"Q4842976$2BE146ED-0373-4057-A8D6-BADF15C3DC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47aec93c1d73dbbcbdc95dcaa7d8ac51a0fb3dd","datavalue":{"value":{"entity-type":"item","numeric-id":5014804,"id":"Q5014804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778e77476ce236e16d215dfb4bc02b84cae45605","datavalue":{"value":{"amount":"+0.8073717951774597","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":"Q4842976$4F35A906-2038-4D3F-A0ED-58700A3B2FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7254c70d5edb0c87e8a56c929375f69578ccbd95","datavalue":{"value":{"entity-type":"item","numeric-id":1325054,"id":"Q1325054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc7b98796554e164484de1cd50b7944b07d4284","datavalue":{"value":{"amount":"+0.8073262572288513","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":"Q4842976$6B758443-116E-4757-B67D-7C04C8AAD8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31060e3f577fb75f63334367614882164bb64a90","datavalue":{"value":{"entity-type":"item","numeric-id":5311252,"id":"Q5311252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad067ebe4e690e95131c75fe2846fe012c8a80d","datavalue":{"value":{"amount":"+0.806237518787384","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":"Q4842976$659FCD6D-E713-4CF2-A5C7-7080B70B3808","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842976"}}}}}