{"entities":{"Q3433179":{"pageid":3443882,"ns":120,"title":"Item:Q3433179","lastrevid":80671904,"modified":"2026-05-06T16:44:16Z","type":"item","id":"Q3433179","labels":{"en":{"language":"en","value":"A simplified semantics for a fragment of intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5147178"}},"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":"Q3433179$BF1329DF-E227-4520-BBB8-0E80EAEA6EFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"047cd442f7b94d7e292d6af2863cd1bad747250a","datavalue":{"value":"1119.03326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433179$183F7969-3F51-4432-A5F2-EFFA160688FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3433179$9AA9B12B-DBE4-4623-AA39-DFE7F1A21013","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ea9ebbb0f7b5a33e878dda3a3b7da1c551bf932","datavalue":{"value":{"time":"+2007-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3433179$7D0F12E9-AD46-42AF-A8A0-950AA2B77A09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433179$5323F4E8-E8EB-4139-A415-A8BC62F3CA5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e763d6819c7bf981ef0ae4c819b5e6975d78ba4","datavalue":{"value":"5147178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3433179$DFB77969-0E7E-4CC9-987D-65BDE616E5B6","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":"Q3433179$E455AB40-2D4F-4FE9-A788-6CDFBBB7922A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a60c8f19468e9369989a28b53863c141607524","datavalue":{"value":{"amount":"+0.8075992465019226","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":"Q3433179$53E9FD02-A3A2-425D-87FC-CD7379BDC96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1048a47a90373bc7b5355c785e75695b5eb5afff","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7084f007f74680a992fe910684123946774107","datavalue":{"value":{"amount":"+0.803497314453125","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":"Q3433179$10D5ECC7-3BF0-484F-9F15-F40F497333CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881bd68086e292c713738bef1403838214e75b72","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30077fc743ef7827ff403498f10e927b01d19f9","datavalue":{"value":{"amount":"+0.8011701703071594","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":"Q3433179$CD6CC6B0-3837-4F9E-935E-CC79180EF813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47658fbde05d76bd9a05e291da30b133402539","datavalue":{"value":{"entity-type":"item","numeric-id":4699356,"id":"Q4699356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b6096d8a0090538c965caadd5d45e7bf600faf","datavalue":{"value":{"amount":"+0.8011696338653564","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":"Q3433179$ACD9CBAD-9097-48C5-AFC1-BD0593272BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7ce843292cf7ef202b8aaec9e40e63443ad4a04","datavalue":{"value":{"entity-type":"item","numeric-id":4323009,"id":"Q4323009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf32dc1cf43b97857b6c0f3684a002792f37a7c","datavalue":{"value":{"amount":"+0.7860428094863892","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":"Q3433179$906FE2DD-F6D1-4D53-B1A0-7010BC1DB7A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simplified semantics for a fragment of intuitionistic linear logic","badges":[]}}}}}