{"entities":{"Q2948550":{"pageid":2959270,"ns":120,"title":"Item:Q2948550","lastrevid":58061874,"modified":"2026-04-03T15:57:50Z","type":"item","id":"Q2948550","labels":{"en":{"language":"en","value":"An Infinitary Model of Linear Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487983"}},"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":"Q2948550$ED965DB9-D42B-4B39-A86B-737013C6D966","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0afa8d3b837229c5db926e81eb3907ab8c858f5","datavalue":{"value":{"text":"An Infinitary Model of Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2948550$1209F398-C48C-405A-B6A7-056189EBEAFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7f95d67759bb629dfbce6a7a76e214f5c974d46","datavalue":{"value":"1459.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948550$4426BF61-4843-44BE-882A-A0E01FC95DE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac99e83d3183b12bb388310c0317c6065d799d1f","datavalue":{"value":"10.1007/978-3-662-46678-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948550$D902EB82-0037-4B1F-A821-BBDE0677A975","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8585acf488394d94859dd8a321d9964f21e34279","datavalue":{"value":{"entity-type":"item","numeric-id":829825,"id":"Q829825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948550$8C5DB7E8-7508-4B52-BFCF-2103D97F11F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948550$5EE82EC6-5E1C-4956-A399-34E946A734AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948550$D1D6842A-870E-456B-9CB0-78A7A871CDB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9cc25a3f929f7dc4cd6afff1695aa56ef6a0364","datavalue":{"value":{"time":"+2015-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2948550$0795D0D7-2285-4671-BA37-6138F115FF10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f8e8d1750d843c9420d0ad8a4858ea3b173a3d8","datavalue":{"value":"https://arxiv.org/abs/1411.4380","type":"string"},"datatype":"url"},"type":"statement","id":"Q2948550$4EB9286A-5843-41B0-838A-B5667F423E79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948550$4D125FF2-17E5-48F6-8A24-8EC37CFA08BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948550$615C236A-BF02-48C3-868B-47AB140EC737","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a20d07162a55b0255191ac4e280200022c9bb74a","datavalue":{"value":"6487983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948550$49A11336-AEB2-4300-AC31-27B39DA373E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2948550$3767E7EE-F4B9-4086-A47D-0C6A7A2EADC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2948550$DD137003-399B-4709-9C70-3F31D08A3E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4c4a90b701d918479d0302103345f8d85ed8055","datavalue":{"value":"fixpoint operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2948550$CB1E96FF-765B-48F8-9A91-2755C9E1EBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992f67945f0369ef167a22b02d212597dfad5e56","datavalue":{"value":"induction and coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2948550$62E97C9D-C66F-4AB0-859A-7DD5B8DC959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efd6da8f67c124968965f5a632926cb66e6b20b9","datavalue":{"value":"parity conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2948550$6452DBC0-5395-4E15-B768-7BDAF9278124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac3cc7a75bf0ad5989ecefe46cd91f62465e070a","datavalue":{"value":"higher-order model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2948550$57CF0BA7-F399-4840-9AD9-C34ED5E7BAC8","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":"Q2948550$6844E4B5-F102-4883-A885-7B1838FE5F67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1d864247bb764ead71dd4c44ff29e8fe229c7ca","datavalue":{"value":"W1576144657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948550$91E8BAFF-4E8E-4BA8-A0A8-72961B9B518B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635c0a6a2c29f55b102b7aa78b6c3bbacb8ec9fd","datavalue":{"value":{"entity-type":"item","numeric-id":3984864,"id":"Q3984864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f424c8a725d6ee7b43e9f2fd6f2baea1c6ea5e","datavalue":{"value":{"amount":"+0.9561186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948550$682DFEF1-5953-440A-A262-EA1AEC133384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2adb8527405b6acea672597decfdc0220777d14","datavalue":{"value":{"entity-type":"item","numeric-id":4395613,"id":"Q4395613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"235882ad002c9cbaf361affcfc9cf59c8d8ea957","datavalue":{"value":{"amount":"+0.9305166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948550$30E44DF5-D01B-4BA1-ABDC-6D8E7E97B2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e12b81f56d7362bb166a37c0f0eda06991004c21","datavalue":{"value":{"entity-type":"item","numeric-id":1807458,"id":"Q1807458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d32be7cf37509956da36c50ab696410a5cd23ad","datavalue":{"value":{"amount":"+0.9180593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948550$F1DB38B8-D8ED-4EC7-BED8-1020E7D8D39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e259268085225e4b8182f77c0e0e854f0c60702e","datavalue":{"value":{"entity-type":"item","numeric-id":4314678,"id":"Q4314678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ada437827b36a050546389ab485a602fd21ffc4","datavalue":{"value":{"amount":"+0.91409016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948550$25038880-51FF-4CB6-A869-06E4C8676D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde2738f5d9d125f9199147e57a323b42288e94f","datavalue":{"value":{"entity-type":"item","numeric-id":3975037,"id":"Q3975037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7f7e6162aadffd9782f2a9b187f758bc65766f","datavalue":{"value":{"amount":"+0.91242677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948550$7D260BA0-F71A-48A1-AF19-ABA8807CE7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c57412e4ceda584c2b59e0c7dd0402364f63f7a","datavalue":{"value":{"entity-type":"item","numeric-id":915719,"id":"Q915719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259402bac3eb16075a5978c7bbd8e812d66d8c8b","datavalue":{"value":{"amount":"+0.9068996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948550$7BF2D63E-35EA-4BCD-BD81-13DAC824086B","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":"468a4b97185845f3a251e08c5155a0acd9f2dcaa","datavalue":{"value":{"amount":"+0.90341216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948550$E6EB0625-7010-404F-B1C7-227E4F53223F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"042bc40c436fef70a3cb87eafdab0e65537c9893","datavalue":{"value":{"entity-type":"item","numeric-id":4247808,"id":"Q4247808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8877b169ef86fef3400796ab5ff41fc0321bb9d5","datavalue":{"value":{"amount":"+0.8992877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948550$30A19146-432E-44D7-A894-BF295175F05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f2165ce857bc5b65fad7b4d24e48df2aadbf0c9","datavalue":{"value":{"entity-type":"item","numeric-id":4619876,"id":"Q4619876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220ace94d0036ca3f0ebad713f15b5d60d744b00","datavalue":{"value":{"amount":"+0.89906925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948550$4696C66F-180D-4121-825F-14B43FC42FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaf2aa6dfbd45412019c03011961f4a9ad602b0","datavalue":{"value":{"entity-type":"item","numeric-id":5300077,"id":"Q5300077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359292fc0d21616f58f8eee8a4b4295a1703403c","datavalue":{"value":{"amount":"+0.89824176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2948550$1C92B75B-5139-4208-9F39-33704D83F025","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2948550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2948550"}}}}}