{"entities":{"Q4382470":{"pageid":6412069,"ns":120,"title":"Item:Q4382470","lastrevid":46538130,"modified":"2025-12-25T00:05:26Z","type":"item","id":"Q4382470","labels":{"en":{"language":"en","value":"The finite model property for various fragments of linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1130650"}},"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":"Q4382470$949183B3-5D02-478D-A39F-6AEA39A3D3BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b46a5d9d3c00b8d68fb51fda2ad63ee5e2dec99","datavalue":{"value":{"text":"The finite model property for various fragments of linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4382470$21AFD681-05E9-4FBB-A742-0BF4AB7F5990","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d1af5b6aebafac67b1ae5b13b1c9e202d786015","datavalue":{"value":"0897.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382470$F0412C8E-1EE2-4F1A-AFED-80F71FC060BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14453dc88e7eb59b26ae74f8ec7768b9d1ed163f","datavalue":{"value":"10.2307/2275637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382470$4596AE6C-F7C8-43E9-82B7-AF0C51112FC8","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":"Q4382470$5AC1A4D8-6330-44AF-8C79-A38420D51AF9","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":"Q4382470$EACF20DE-C8B7-4ADE-A802-E2D245150528","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da84256ba4cf59a5f1c2c150bb4ab85d06806895","datavalue":{"value":{"time":"+1998-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4382470$94E2D57A-C30A-40D4-A8FF-E2C3C9E5517A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382470$2631B1D4-2F8C-4B3B-9CBA-D36D411027EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382470$248A996E-0A48-4D8E-8773-D04F57114827","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4ad0b7725c0f6f52e8988d066a71c33d257495d","datavalue":{"value":"1130650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382470$C5AD0E08-83DF-4DA5-A533-7B4DF2087292","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382470$AB740A4C-88FB-44DE-A9F6-FC876B20879F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382470$0930388F-7802-4F35-96B2-BFA728BBE085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382470$B482FB13-0C78-41DF-8816-6594F32925FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a234e7ae2f77e6879f7e11317d0bc88cc33136e","datavalue":{"value":"fragments of propositional linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382470$654935CA-A3C6-4A96-B513-FE515908AE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0d343da7bd10832b2a481c7edcb745617a38378","datavalue":{"value":"finite phase models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382470$D85BDBDA-EEC3-4C22-A5C8-FD12F990C622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0330316506ca239cfff19d0e3df96793e84e6ecd","datavalue":{"value":"phase semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382470$3ED25F2D-6EF1-414C-9F35-CD5E9C081DA5","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":"Q4382470$941ED91D-BC8C-4BCE-A0A2-87558C0CCB1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f15212107aeb819273490ee1893b41465b6e45d1","datavalue":{"value":"https://doi.org/10.2307/2275637","type":"string"},"datatype":"url"},"type":"statement","id":"Q4382470$1A5BBF9C-FF57-4CBB-80D8-A557A7245793","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca1a7e1f872c7c482ac97ba2dc3e82ef250e12bb","datavalue":{"value":"W2098086155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382470$8538BADD-ABCA-40D6-B35B-882EF416E63A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382470$77A717FD-CDC8-46C0-94D2-9C1F31069081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb84102d559fd7a0d70d66cd908e0bdc3f41ec08","datavalue":{"value":{"entity-type":"item","numeric-id":1917079,"id":"Q1917079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382470$A1C14DD4-EC06-458D-8CA4-97A0F141507E","rank":"normal"},{"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":"Q4382470$CAD978B8-0F7C-45DF-AA3E-42B7D027E9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792b5729ccd751666a738991241637d65618b98","datavalue":{"value":{"entity-type":"item","numeric-id":3984416,"id":"Q3984416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382470$FBA382B6-DB97-4E83-8D31-1ACA49E15A5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838d7adbdc9eaef8c7f9491bab064308a3598e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"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":"Q4382470$4074213C-B45A-4755-8323-D2890BE1AC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2729c81453e092df4aa831ddcf38fbccc83b2aa6","datavalue":{"value":{"amount":"+0.8435856103897095","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":"Q4382470$41C165AC-16E6-4567-A199-29BABF473EB4","rank":"normal"},{"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":"08f022f6c47a8f0b7df9f2703006d30dd36aacce","datavalue":{"value":{"amount":"+0.8235369920730591","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":"Q4382470$B02C44BA-5CCA-4D70-8EAB-8B11BF46EC35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4382470","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4382470"}}}}}