{"entities":{"Q265798":{"pageid":267565,"ns":120,"title":"Item:Q265798","lastrevid":60490935,"modified":"2026-04-10T17:19:40Z","type":"item","id":"Q265798","labels":{"en":{"language":"en","value":"Nominal lambda calculus: an internal language for FM-Cartesian closed categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6567556"}},"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":"Q265798$1C124262-FAC6-4039-8542-7387B7A82B25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"529d71d53da6eac853ed92b6609170387cd47ccd","datavalue":{"value":{"text":"Nominal lambda calculus: an internal language for FM-Cartesian closed categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q265798$5E5506BB-503C-4B6F-93C1-439C170C2A3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ae18a3f4a34e158217bf1ca7727b580443e0d0c","datavalue":{"value":"1334.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265798$F064E6BE-4130-4A99-81D3-43B91E4301DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a40fb8ae99741e91d6a63c85400bf5c0ece51d8","datavalue":{"value":{"entity-type":"item","numeric-id":265796,"id":"Q265796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$CAD1FF5D-720D-4C26-B1BB-895F525DA42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e625ac98a4ce86b6aa26a6980eca05495615d95c","datavalue":{"value":{"entity-type":"item","numeric-id":265797,"id":"Q265797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$B483A7EE-E796-4A81-85CA-5629AEAB6D51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b8ac6f04bf26e1f508d280fb4a7b266578e64c8","datavalue":{"value":{"time":"+2016-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q265798$A84D4B52-934B-42B5-8227-21B3F5CDD0C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265798$4B0BDB2A-1351-4160-9442-536DA099E04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265798$9A7EBAF2-325B-4D47-979D-BA5E9BAC6DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265798$242EA669-BEA6-425A-96A3-73B772B74D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265798$AACD22BE-DC1E-454E-A877-714189FD322D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26e36e42585c039ffd0fb7c6f3af808f46a125cc","datavalue":{"value":"6567556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265798$84DA52BF-7158-48AE-A2C7-2674D59CB954","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q265798$475E2524-6BB9-4C7C-86BE-614D4DD3023E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q265798$A920606B-FD26-4238-BA00-AA8A4FCA12FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2194158a36771d55d33490cb9f7913567d6fa8","datavalue":{"value":"FM-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q265798$792FCCAD-5CDE-4078-8906-CAF6FCBD930A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"255bf11bfbf6be15715104e097a1f210458b7a4c","datavalue":{"value":"internal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q265798$442A0DCC-F12E-4261-AB68-2E3BEF9B9712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78f667b6c625145d6218b1051d1ef814c946291","datavalue":{"value":"nominal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q265798$6CFD9563-837A-4AED-A4D2-3B2ED3A0D375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q265798$498E144F-5891-446B-BB06-4C09219338A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q265798$4E374B8C-2C5D-492D-8C95-F5F52914FA5B","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":"Q265798$BF53A1D5-37A2-4381-8825-7D53C21A0003","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9cf525020e5ae6065d75f52dd28fbbec171a1e3","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2013.09.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q265798$5499959E-2BBD-4416-8231-EF0B85261F6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a271345917abacc1f5f261adee783fb70c78795d","datavalue":{"value":"W1986464815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265798$64060392-DBDD-4565-95F2-232CAD7F2565","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8ce2bdfe8f93951246b4ede1af10e6671ff62295","datavalue":{"value":"Q113317967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265798$17A116D6-2590-4B78-B341-E768BCE6DB9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2de6efc072671fb56c64a584490d9b67bb597d","datavalue":{"value":{"entity-type":"item","numeric-id":456883,"id":"Q456883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$D24B51D9-2672-4BBF-8750-7F6CEB1AE3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b08198052b1656c808cc8d2347c21a890457c7","datavalue":{"value":{"entity-type":"item","numeric-id":2881075,"id":"Q2881075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$49EDBC89-71A5-477D-94C4-F8F4910B56E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa75cca882b02d53b82248fac35f8b22ac53455d","datavalue":{"value":{"entity-type":"item","numeric-id":3178258,"id":"Q3178258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$2C813A9D-D484-4F8A-9B19-BB57B28F8D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde312bad8685b2d5dcb73ab9f9b1b746e5f55dc","datavalue":{"value":{"entity-type":"item","numeric-id":3003347,"id":"Q3003347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$823FE05F-1FA0-4F71-A18D-112E0100EDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83cf587443c6c8b00d234efc3144ce67ad890e8","datavalue":{"value":{"entity-type":"item","numeric-id":2453579,"id":"Q2453579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$B4EAE914-26B5-4361-AADB-B58BD050D448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5adc47a96ca420bb12283570fe24dcdb71dd9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2864152,"id":"Q2864152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$70DBD306-07A0-457B-B717-9D6D804A46F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2a46e1b2591c8fb4cbc4525882c5424bdc35f7a","datavalue":{"value":{"entity-type":"item","numeric-id":1923803,"id":"Q1923803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$2C703DC3-E5D0-4DA2-B470-409DFB97DF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e572acf1abf4fe20481abacdea00bada28a4db","datavalue":{"value":{"entity-type":"item","numeric-id":4295775,"id":"Q4295775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$D5312173-74D0-48B2-BA0A-38E89162FDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4074d5f30e1358a82565fb53490daafcd456f08","datavalue":{"value":{"entity-type":"item","numeric-id":428860,"id":"Q428860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$B118C3F3-44B6-4F88-9341-75D24D617984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"937634dce68bdf0629d400bfcfa6da52474985d9","datavalue":{"value":{"entity-type":"item","numeric-id":265798,"id":"Q265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$37B27CB2-F162-4FEB-9D04-71E7185A6A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$0A724EA2-0271-4BE0-A11C-B265564145DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$78D9B01E-733E-4BF1-AA7E-81E978EC4684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e142ea160b3f096a8d7d9cd92f9c9ab65760eccf","datavalue":{"value":{"entity-type":"item","numeric-id":3011103,"id":"Q3011103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$F2BB081B-D51A-4868-8174-142F84AD969C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a1e2d1118091c3f76cf87566b6c9eaa67545a5","datavalue":{"value":{"entity-type":"item","numeric-id":3656778,"id":"Q3656778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$B9FAF967-C7AD-420E-A4EE-196811CC27EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$B57F1805-72EA-464F-B547-1C161E08BE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946b62dff16e0de007abc5492670d01807475a28","datavalue":{"value":{"entity-type":"item","numeric-id":2864158,"id":"Q2864158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$CBC0BD56-CE50-4858-A2B6-221E10DC2814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72edeaa8846784cc1a77d6a124b7af66aaeaf775","datavalue":{"value":{"entity-type":"item","numeric-id":2892742,"id":"Q2892742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$1D597F38-A02E-4DEE-A441-660B88F777CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$62221E6C-36DE-4A95-B5BE-3E8C7EC4942C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$AD74577D-D331-4544-AEE9-2DA48ACC710E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$96C3E068-3DFB-4132-BF04-B8FE9EFD02B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$E62D71BB-2ACC-49EE-B068-F8908FCDDF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$F6CA4010-A0B5-4F5A-900F-52D3D6DD6582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$19E8A537-45DA-4C0D-9FBC-35B11F688AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0579b60de0f7717ba53617c5fe836e9c1d8775f","datavalue":{"value":{"entity-type":"item","numeric-id":3016213,"id":"Q3016213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$F1D2D1DD-5E7D-40D5-9DEC-CD18D29672CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$8E4FF7FD-C927-4CB0-BB41-B4EE9774237D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cee6a174c1adf8837379adbe08378cf535222b","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$F9B7F098-7725-4910-A033-A51777503D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b1878c5271e496ef4fd85b4563b02801e9e73b","datavalue":{"value":{"entity-type":"item","numeric-id":5096258,"id":"Q5096258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$E64235F3-BE61-4251-A199-E7DC24EC029A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$A81E3A25-BB3A-4A9D-9B62-B86EA4D82D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55af79a7d8e96537b92caa31d1d02d057c9e22fc","datavalue":{"value":{"entity-type":"item","numeric-id":5176994,"id":"Q5176994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265798$C9215368-01B6-43D6-99CB-913C78D93EBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e582b63efd6d14001e211c7435b49c0e90d6bf1f","datavalue":{"value":"10.1016/J.ENTCS.2013.09.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265798$C011BE29-A6C8-45BC-93FF-134971A25FD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba734823adc944777046576f863268cf0a8a7f78","datavalue":{"value":{"entity-type":"item","numeric-id":3749213,"id":"Q3749213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f4474b3e594878db6627157a2b5178494bc1e7","datavalue":{"value":{"amount":"+0.91442597","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":"Q265798$C41EDC51-BF20-493D-B25E-8ADD1F2458EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b921691b4d2505e7a5c5ded47c65c86ae05c09a3","datavalue":{"value":{"entity-type":"item","numeric-id":3760508,"id":"Q3760508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b86849b440c3011452e3cce0b975a4001af96c","datavalue":{"value":{"amount":"+0.90283656","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":"Q265798$3B9B9425-3185-400E-83E6-FC7561AC536A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c561b53db804a457c959caf979b5f4184a83145","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a137d9ea74e5c9eb8d04c51d47f40302ccc7561","datavalue":{"value":{"amount":"+0.8936565","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":"Q265798$03270E9B-2482-4AA0-BD33-2F5ABB2A0D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4710ab823047963dca88071ab76a8a2caaf6530","datavalue":{"value":{"entity-type":"item","numeric-id":3553919,"id":"Q3553919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61c6199c555d5f126f18cfea73a3e4b95966628a","datavalue":{"value":{"amount":"+0.88924426","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":"Q265798$4ECB9EE6-2C30-4E4D-8CC5-60F2EAE876A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d114b68c8bdca87f93fe5ac469a6d3a03827b2","datavalue":{"value":{"entity-type":"item","numeric-id":687575,"id":"Q687575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5f8beed497f7eb0f0d261a6c596e7a6ec57487","datavalue":{"value":{"amount":"+0.88837993","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":"Q265798$8FC259D4-BBC5-4EBB-87A1-2277A69E3FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8183e2cf7c92527d06dc8bcff56a29a674d63f","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bccbba032b469b9ed60008e78793e647dd8e107","datavalue":{"value":{"amount":"+0.88828564","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":"Q265798$01B34112-9DB5-47E6-A4FA-D31D62556D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b23f757c9584f0eefb90ae44c1a588abdb4ab0","datavalue":{"value":{"entity-type":"item","numeric-id":4896529,"id":"Q4896529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131c3a1092f632bcfcb4950fecfcaf037050c997","datavalue":{"value":{"amount":"+0.887313","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":"Q265798$7494C016-09AE-4376-ACB2-41259FB0B1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c30fd1bea7797e83341384b414bf2071638480a5","datavalue":{"value":{"entity-type":"item","numeric-id":2724040,"id":"Q2724040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a8b5c68733c0d352d46441b8776c2917a9dfc0","datavalue":{"value":{"amount":"+0.88524604","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":"Q265798$6F440B0E-D8CF-4FC0-95C4-EC2170061059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656736a0c8119672175ff38c7b9d1d8d6ce696b2","datavalue":{"value":{"entity-type":"item","numeric-id":5150148,"id":"Q5150148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb13e9b46071a3f48aada4bcd47c65f199767819","datavalue":{"value":{"amount":"+0.8825937","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":"Q265798$0245C23E-46E5-442C-A431-24FA3130F347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41a8806235c720e03496a43a4cbd5126d7252eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4333469,"id":"Q4333469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80faa6ffd027ca9b1be32974fec93ce4441ec53","datavalue":{"value":{"amount":"+0.8825415","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":"Q265798$F422B376-5F92-4EBA-AA8F-2CCE0AED87BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nominal lambda calculus: an internal language for FM-Cartesian closed categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nominal_lambda_calculus:_an_internal_language_for_FM-Cartesian_closed_categories"}}}}}