{"entities":{"Q1766921":{"pageid":1777663,"ns":120,"title":"Item:Q1766921","lastrevid":69236844,"modified":"2026-04-13T05:40:16Z","type":"item","id":"Q1766921","labels":{"en":{"language":"en","value":"Modularity of proof-nets. Generating the type of a module."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2140312"}},"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":"Q1766921$EFE00C19-E8D8-4C6A-A4A4-1ADB3A0A45B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da381b0585b4c67bcdb75755fcc11544e2ed2bbb","datavalue":{"value":{"text":"Modularity of proof-nets. Generating the type of a module.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1766921$87E77D1C-D39D-4BB7-A31F-6EA1EF7762C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d333a2c9eb58a9994b250f9c17d80770edc1b2be","datavalue":{"value":"1061.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766921$D6AE5A82-E3ED-456A-B8B6-06B031362A95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d657fdd2d9958dba10089337526015d3f6130c99","datavalue":{"value":{"entity-type":"item","numeric-id":1407587,"id":"Q1407587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766921$CAAC51E7-A88B-46B4-8331-1229CF56BC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3146caa99123f1f572190fed88039a98580c3477","datavalue":{"value":{"entity-type":"item","numeric-id":1003741,"id":"Q1003741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766921$2887EF7C-0484-4507-8770-BFE788977F1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766921$29030AF8-1F3E-41A0-AB2B-295E0AEBF1EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76a1c0b70526daf2b9a458bd5b057271ea98bbdf","datavalue":{"value":{"time":"+2005-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1766921$497CC620-801B-4374-AE65-4B33182344F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766921$929A5FA0-E3B5-47C8-9AAD-A927A2A0127C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c56b6cf4b7619a36f6f25340843fa934dbed5cb","datavalue":{"value":"2140312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766921$FA00C005-1678-4CB9-8BFD-6943D295B82A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766921$4EF7962F-AA98-461A-88DE-7BEDDFAD25C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a432c78bd993e0b9579ff480d0133ff4f5f5ec69","datavalue":{"value":"proof-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766921$D05606EE-B049-4FD4-896E-A1EE31A9050B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9b6344096dfbbfbc55cfa95e9e6f1e36700be3","datavalue":{"value":"modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766921$FA408D94-55B3-4129-918C-821C7B02B911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"750bb99fab796049331d05e0956eccda1a7e4586","datavalue":{"value":"linear distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766921$BB8B94AE-EFDC-47A4-A4A5-7B341CB7C9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d50fa735e7b0e3e39b2fedf8eaeefca0ab40b63","datavalue":{"value":"weak distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766921$7DE0D08E-B77E-4D94-B3C3-20E632278E33","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":"Q1766921$D958D29D-1C08-447A-BD95-51FF296A441F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81aa15d3a90656072c97be162efe0ebd985fd383","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0242-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1766921$D15E8CD7-9068-4FD3-92ED-5A1911D63FEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6437c0cb719580977d7a23fb4d27b6c794c5c3cc","datavalue":{"value":"W2097854407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766921$2341AEE2-2CB9-4444-AE07-541ACB654B5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74ab20e3f34d9d17b4095b9d6f5595f6d6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766921$8CD73A76-6166-40B4-AC5B-1865C20079BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b67f5a219f9a573fed96f7094a795ee643a656","datavalue":{"value":{"entity-type":"item","numeric-id":1964014,"id":"Q1964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766921$3EF9E4E3-08BE-4B6E-90E3-41C7D84B519A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766921$02D1DBB4-701C-4A02-AFFF-FAFA4B0E4749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b64ad0f54114cca4f6f8a057044ad2660606ba","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766921$F8D41DA8-2C31-4C94-9559-DA0F5D92F04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766921$7EE96A4A-CBC6-40A5-BE23-661ABBF0496D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766921$6E9CE8EE-7B2C-4D46-9896-FF4F37851109","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":"Q1766921$77CA1CC1-FD60-49AA-B351-4E9DA5B95723","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf250b07bfb641f311208a263978c458b02c86b9","datavalue":{"value":"10.1007/S00153-004-0242-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766921$A7B1C818-BD1E-45BF-894E-D97CD8F0ADC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e9f5917a62032fdb879349d06efbf4abe2bfff","datavalue":{"value":{"amount":"+0.8893888","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":"Q1766921$622ACD7B-1AD2-4713-AB2A-493176EDABBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424262529f81eeb155bdc89bc6d20c7b54b2fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4645803,"id":"Q4645803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18bcd764a0aea82570bd0bb22f3bd9a801cedd7d","datavalue":{"value":{"amount":"+0.8679958","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":"Q1766921$D50F569B-B7A4-4C52-B7F0-943432C0253B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9215f975e6afcecdebf0bff135d969e49fa3864f","datavalue":{"value":{"entity-type":"item","numeric-id":5014449,"id":"Q5014449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65952b03085a04d57fe25be00fd8bd096985c5e0","datavalue":{"value":{"amount":"+0.86587256","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":"Q1766921$57C7EE22-3FAA-4FD0-BD56-D7421B2D4DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71341020b9726328193b01d7725d977f2891642c","datavalue":{"value":{"entity-type":"item","numeric-id":5056429,"id":"Q5056429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b4945a63b42c74e6b39d588537ed9a4e71ce25","datavalue":{"value":{"amount":"+0.8655575","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":"Q1766921$E9BE832B-44C0-40D8-A972-D10211DE2D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df5dc867616332a2cc277571efedcd20437b347","datavalue":{"value":{"entity-type":"item","numeric-id":4451735,"id":"Q4451735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9456c7b2781a7ced73005e10458a2d9e465eab0a","datavalue":{"value":{"amount":"+0.86477697","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":"Q1766921$56E8B876-EE03-4AF7-872D-2D0347C135FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080a419b9b0dcff01a3438bc48e42697d75c5828","datavalue":{"value":{"entity-type":"item","numeric-id":4332423,"id":"Q4332423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4d3cd3fbc369e01034e463f07891c20a197004","datavalue":{"value":{"amount":"+0.85912424","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":"Q1766921$01C0AD9C-E881-4DBB-B813-627334E4D906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"240015730767281d4f70b3de5ef16036944afe55","datavalue":{"value":{"entity-type":"item","numeric-id":4349581,"id":"Q4349581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4d3cd3fbc369e01034e463f07891c20a197004","datavalue":{"value":{"amount":"+0.85912424","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":"Q1766921$FD41DF26-3F40-48B7-BF0F-88E4E6242F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8400280694217f7467aa7b38aa90d07462da14","datavalue":{"value":{"entity-type":"item","numeric-id":3003322,"id":"Q3003322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafb296a306d77da5bd86ecb830ba791135056f9","datavalue":{"value":{"amount":"+0.8563441","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":"Q1766921$692D749E-239E-4D97-8733-4CE5EEE11C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6171f0b09d240cdab1c5988ac08fee2e637217","datavalue":{"value":{"entity-type":"item","numeric-id":3637183,"id":"Q3637183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafb296a306d77da5bd86ecb830ba791135056f9","datavalue":{"value":{"amount":"+0.8563441","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":"Q1766921$A468E9C9-B98E-4B6F-A2CD-93745B447280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5fe89c802bf99e3b7d049a8d7c4d9ef2f2e9a0","datavalue":{"value":{"entity-type":"item","numeric-id":4503899,"id":"Q4503899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032e88b299c2a69945c77c8488eb04b9e65dafa5","datavalue":{"value":{"amount":"+0.8539517","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":"Q1766921$A0027948-BF4A-4874-9FF1-62A9522E1D16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modularity of proof-nets. Generating the type of a module.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modularity_of_proof-nets._Generating_the_type_of_a_module."}}}}}