{"entities":{"Q4262585":{"pageid":6292186,"ns":120,"title":"Item:Q4262585","lastrevid":46854036,"modified":"2025-12-25T17:40:56Z","type":"item","id":"Q4262585","labels":{"en":{"language":"en","value":"The finite model property for various fragments of intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1335208"}},"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":"Q4262585$B972904B-C8A0-4FA5-8678-3F34DF278B85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"986318dad14025f99f955dec6af0446538e6dd6e","datavalue":{"value":{"text":"The finite model property for various fragments of intuitionistic linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4262585$A21027CB-C62D-4D29-8EE7-74EC3A07A8D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"223690987b014fd3c40cfb8a658eb2cc27576322","datavalue":{"value":"0930.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262585$FE2319C0-2B4C-4F16-874F-32B6C5329751","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1ee4c7a59eca94e5d2b0948829bbeb139568ba3","datavalue":{"value":"10.2307/2586501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262585$79B26FD3-D3DD-4418-BE4D-A0EAB4B57364","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":"Q4262585$D5048054-C753-49BD-9A4C-0D55D5C5515A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02fd546ce8d461240920d62f3603cf121b4693c","datavalue":{"value":{"entity-type":"item","numeric-id":271691,"id":"Q271691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262585$2EEA0FFB-DA75-447E-A633-7670324664CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262585$F8812D87-A19C-46F4-A68F-C90BA9809454","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09a44795720544c6f367ce769f28cc2e9bf7cf0a","datavalue":{"value":{"time":"+2000-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4262585$3115A6E7-17C6-494B-B916-2EE0C45900F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262585$26F829BE-AF32-4393-AB9D-B203E8A71618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262585$04F87969-1E88-43AE-B332-3F137E79577D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262585$503D6583-CF92-4EC2-B94E-344DD37472D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77b80eace45c93b00194e2b7ee4a7aad4be45d4a","datavalue":{"value":"1335208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262585$4A4666B4-6BEE-4D2E-9696-BDDCFFDBF116","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4da74f60ba0817abb00e5471296a2644463001","datavalue":{"value":"fragments of intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262585$71A78F13-1EF1-4F57-B7B7-EA7EEE86B89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262585$0C9753B2-9A04-465A-AC37-48FCC0907B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8846b5b2faf0a824e50830d71a61a121aa50cd23","datavalue":{"value":"contractive linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262585$BA25DC92-C133-4C31-9AAC-6119B84384A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4262585$B36E456D-1E2B-477C-B1CF-741EAB09B162","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":"Q4262585$0870D375-2C29-4274-91AB-D45E46941910","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df0809aed074d74430b2c0ac518c58ed7cb7eb71","datavalue":{"value":"https://doi.org/10.2307/2586501","type":"string"},"datatype":"url"},"type":"statement","id":"Q4262585$28A9D8DD-25F4-42F5-9BA5-51D1206C2E63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e813aa9507507cfdd0c1aed6de391a03b3013ad","datavalue":{"value":"W1993244347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4262585$AC8A08A3-33A5-4CBA-AEAD-004A15D551CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262585$BF435D66-EF31-4A6F-BE88-D8BE9FCB3A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794e881a21233b5e71621321195089beb55f1a52","datavalue":{"value":{"entity-type":"item","numeric-id":2563452,"id":"Q2563452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262585$5E3D930C-ACE1-4AFF-B85E-8135584BAD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6f93665c2e557c57ca467a92e979922ef9ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262585$BA0E9802-D68B-463D-A504-EE25EECA3E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2263106b37d64b84ed219b754558e417daad9a8b","datavalue":{"value":{"entity-type":"item","numeric-id":1317904,"id":"Q1317904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262585$8F440DE3-AB7E-41FA-BCF5-38C389B5860F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5a92891dc05a0b1130c4f428cc2540c07d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4262585$3BDE9202-6029-45F7-A4A3-8F5A9E2C0268","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61465d6691f2125cb4531bf938e94b6535d35345","datavalue":{"value":{"entity-type":"item","numeric-id":2776810,"id":"Q2776810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157c9cb5182ae11ca5dd58962af3031bf0838ba6","datavalue":{"value":{"amount":"+0.8725980520248413","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":"Q4262585$678B7CA7-A089-400F-ACA8-805D431E836B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a2bba9cb1c5f07e34ee695748cd5efd172ade2","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e14138dca97d44afe50d38c55f4df4089fa08e2e","datavalue":{"value":{"amount":"+0.8571862578392029","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":"Q4262585$83E8C81D-732F-4896-B37C-5146F4994942","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":"feafd12664ca76310bb0f214e77d9b7c96f7c053","datavalue":{"value":{"amount":"+0.8008989095687866","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":"Q4262585$3AE4AC2F-EAC3-4B9E-AA7C-ABD132B4BDCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4262585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4262585"}}}}}