{"entities":{"Q4340929":{"pageid":6370528,"ns":120,"title":"Item:Q4340929","lastrevid":46556859,"modified":"2025-12-25T00:51:53Z","type":"item","id":"Q4340929","labels":{"en":{"language":"en","value":"Pretopology semantics for bimodal intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1021718"}},"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":"Q4340929$20BDEF63-EBA9-4589-8236-8D6BFBC845AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27b7c713945f7e141d5e8eb1c1d871b2e381d5b0","datavalue":{"value":{"text":"Pretopology semantics for bimodal intuitionistic linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4340929$87EE6F7E-CF2F-45F1-8447-E82716B2F8DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"495047d5c1f64b28bbf310bb3bc40dcbfdf6ff5a","datavalue":{"value":"0882.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340929$0B697195-5531-4CFD-8A66-76ADEAA63367","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3f5f12bc024c12f02a2e69ddb8c135c92315803","datavalue":{"value":{"entity-type":"item","numeric-id":456960,"id":"Q456960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340929$0C9D3DFD-301B-4CEB-8BD8-AE93EFFFA5E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dac4da21f0f275ab533dea6355d55966bb2f8eda","datavalue":{"value":{"time":"+1998-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4340929$47F6993B-58AF-4BC2-BAE4-84DA781D1B55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b1334cd415d042bd96f9a36bbaa686f31743e5a","datavalue":{"value":"https://semanticscholar.org/paper/7540f135a9a78164b6304050c08bd633e88f1e48","type":"string"},"datatype":"url"},"type":"statement","id":"Q4340929$B6599232-3975-445B-81FD-3D1742C13E4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340929$73BB0383-5EC0-4925-92C0-46C3CD5736CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340929$5AE7E931-9488-4597-86E8-5932BB0644C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06002861438dbf547a90747d328263fa88813d2f","datavalue":{"value":"1021718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340929$B00EB679-651B-48C4-B4EB-82C069BF5A0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340929$9BE7AE24-7801-466D-9579-5FDE2B2765F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340929$96A38DF0-A5A9-44AD-A0E4-7A10E9031ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340929$F4253D50-6A6F-4D9D-8292-3491B6776D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"612be38dc6332086efd6d593db6ed42740231e6f","datavalue":{"value":"weakening","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340929$60FE5BEC-23D1-4EA7-9678-A692C86EF5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42ab6f33505484d531d856d6a914fb164c8013e5","datavalue":{"value":"pretopology semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340929$4B841A73-2AD0-45B8-84ED-6F6F25929D54","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":"Q4340929$71FD9D3B-E5F6-4DD8-9A47-BA985AA4CABD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ca586600c3b841c998194f9e85c51d596f8883e","datavalue":{"value":"W2044008955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340929$4FD50BAA-C532-48F5-A115-7A0958C0BF68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1e30ef020e9126b88af887ad4d0afd48faa79eb","datavalue":{"value":"10.1093/JIGPAL/5.1.65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340929$334D6BF6-E9D6-42F0-8EC6-E61142D5FBC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340929$D35EFB3B-679D-43E6-9930-4195B41E0C91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35a404df8258c1140e7607ede813eaef1068d07","datavalue":{"value":{"entity-type":"item","numeric-id":3832536,"id":"Q3832536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a402bc80bcc5625071e1fa83f49ef798444a1b0b","datavalue":{"value":{"amount":"+0.7962920665740967","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":"Q4340929$1F40986C-461A-4688-A5A7-486A1CC3CF41","rank":"normal"},{"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":"349edbe229e9ca4ee63bd20cc421a60803337575","datavalue":{"value":{"amount":"+0.7958493828773499","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":"Q4340929$2A3709A2-E417-4688-8DB6-43711BA910D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65a7f3fdbf940e440593ae40b1bcfd8d1ab4918","datavalue":{"value":{"entity-type":"item","numeric-id":1337609,"id":"Q1337609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1daf11fc6d80f6ee34f6f5adbdf59e7e6a01756","datavalue":{"value":{"amount":"+0.788132905960083","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":"Q4340929$911B9725-7B6F-44AF-98A0-C09CA56A1E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab921b43519a27420ae2608eb09ba52857d2757","datavalue":{"value":{"entity-type":"item","numeric-id":3433179,"id":"Q3433179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a3ce0b8e4ce80dd85259c67c953801d17f2c42","datavalue":{"value":{"amount":"+0.7777613401412964","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":"Q4340929$B1B2E0FA-5376-4593-BC00-B0E2781AB29C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4340929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4340929"}}}}}