{"entities":{"Q1887151":{"pageid":1897893,"ns":120,"title":"Item:Q1887151","lastrevid":71064657,"modified":"2026-04-13T19:14:41Z","type":"item","id":"Q1887151","labels":{"en":{"language":"en","value":"Nominal logic, a first order theory of names and binding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118416"}},"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":"Q1887151$546E816D-6B4F-457C-901C-9E049B6CE515","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9f50bf29b3c7452dcc22500df37077e5f3fc4aa","datavalue":{"value":{"text":"Nominal logic, a first order theory of names and binding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887151$79C10F24-7C9D-413B-87A5-F07A5BA72EF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4203cad68a4d419c55e2be9e87e9d982bdd3d3ca","datavalue":{"value":"1056.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887151$14F83DE3-79A8-4E82-8F5A-A14D7E3CC099","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31054684f3a0086e5fcd8f8fd34243afb2386997","datavalue":{"value":"10.1016/S0890-5401(03)00138-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887151$9DBBE0EF-1D08-43AA-8B6B-AAA63DE95F4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$59C882EE-DF54-476C-9486-0B94F308A981","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$1212C3E6-8D71-45E3-BF5C-D82A266692B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887151$33F20DE1-ADD8-495F-AD18-E9A371FC0698","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887151$A0E679FC-38AE-40F8-B3BB-2C53586D8704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887151$E6D5F310-7AD6-492B-BE12-F576C60BAEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887151$61209C7C-DDDD-4EE8-9887-F5992E49F920","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b4d0d0b7b8779a8fc7b46d4311c82e91b5d808d","datavalue":{"value":"2118416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887151$90902953-7E1A-4962-8FE8-E68D8BAC515A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22a1a3fa50231d1caa6b46500381caaf3efbc107","datavalue":{"value":"Abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887151$A42F50AD-2E70-488F-9E41-28CB3C84005B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d55670886c0d5988605630710539c8408cbc57","datavalue":{"value":"Variable binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887151$420E93F3-1E94-40B0-A3FF-AA915EFB3C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"105e44590bb99e0d51338b673bfc0e61ea27ceac","datavalue":{"value":"Fresh names","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887151$A0678BE6-4274-45CC-AE1B-121D1F458C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e23215c511d979f5510389bb6c03047bd329daa0","datavalue":{"value":"first-order many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887151$BDCC035E-CA63-4968-ADD2-71780DCBD145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67ec4b0d25caa31ccc513cde5131f030b3a18907","datavalue":{"value":"permutation model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887151$CBC580A2-5F5C-40DC-8571-A7D26C0FE86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9ce6fee52966a2b83b09f4142141938e0cd609b","datavalue":{"value":"name-swapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887151$55C69F2B-1DA0-4975-B00D-880C1C46BFF0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ebe2d6da5a051a397e70547da6130717f07e5410","datavalue":{"value":"Q29393340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887151$29151626-1B21-4B7B-949F-2781693DE08F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$333A555D-55E2-4E39-BB79-D16054C62DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$C58EABCE-39BE-4107-AE8F-5FB0092E74FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$CB306BD8-EF32-4CA5-9BF5-4A9AD099B343","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":"Q1887151$F1A85EF4-5902-4286-B9A1-8B56BB51CD6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$0685C656-C203-4039-910F-FA6C52699197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$ABEDF56E-2E18-4187-9BF5-EC9ACFCBCD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cfe35b9599eb4737f70f7b21b49d7c03e204b7","datavalue":{"value":{"entity-type":"item","numeric-id":5714431,"id":"Q5714431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$08BA7211-1D21-4860-99E8-096D7DE985C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7319e933ba15aa6f8a1d39375a8d279be83de2","datavalue":{"value":{"entity-type":"item","numeric-id":4484489,"id":"Q4484489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$5DE14B1D-5A77-4C3C-ACF5-83CB0A483248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c0c813dd7e5d6c8b64e607641d3edca46e67208","datavalue":{"value":{"entity-type":"item","numeric-id":2778816,"id":"Q2778816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$95F3AC09-7BAC-4005-9916-7F05AC06E68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$E5EA5F9D-D1CB-4492-9A6D-CB1E4A3CFFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bbda4d5d2fa3599cf321b083730ba47f18179a2","datavalue":{"value":{"entity-type":"item","numeric-id":3024905,"id":"Q3024905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$68D85D36-9637-47A8-A41F-5C5BDB3D7480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a571653cb6ab1fa29a33b3cbc9d3383816e568e","datavalue":{"value":{"entity-type":"item","numeric-id":2713352,"id":"Q2713352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$9509A030-CB42-4899-AB64-71FB0BEB718B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf53c4406c0ae34a2078a3b4fd0b58da5333362f","datavalue":{"value":{"entity-type":"item","numeric-id":5904544,"id":"Q5904544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$62103DB0-19D7-4CB9-843E-37E907702FDF","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":"Q1887151$5FE89A76-58A8-44AA-941B-423A72B567E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$EDD794C3-52FE-4853-A13A-82EB09464C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bc6a217ec59b7ef117ee3f6ed2e2d3dfecc7e5","datavalue":{"value":{"entity-type":"item","numeric-id":1177153,"id":"Q1177153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$90E41974-751A-4E6E-BDA6-5DF4365EE8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec15b6bb7916d9e3ec2d2f7099c9bb308614ce1","datavalue":{"value":{"entity-type":"item","numeric-id":5714443,"id":"Q5714443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$D1E507ED-32D2-4B93-96DA-5E24BF41B588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32b938f6b5a5dfbdcc3d829d1de5824915fc8476","datavalue":{"value":{"entity-type":"item","numeric-id":4526151,"id":"Q4526151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$66C751CF-D105-4D4B-A30C-03439072880E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc09fba81e6a14082e7e439b4990f073f09d0006","datavalue":{"value":{"entity-type":"item","numeric-id":4535076,"id":"Q4535076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$95F84A63-F50D-4A1E-B109-C979B5B7426C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07db5d9d443b5d4b2edd7761e49422c74809a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5620726,"id":"Q5620726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$9AD4E4A5-A39B-44CB-89E8-0A295A6F61A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$9D5B5688-9909-49D0-8945-C9615EE11144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b1b6d321e9061de1263bc9768b7050048e21ec","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$FECDE317-1AD4-4457-A072-18D028905C8B","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":"Q1887151$2C420FE4-87DF-4773-AB56-08C18F522BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cfe8b6f36510ff68036f1eba14384ed55649e3","datavalue":{"value":{"entity-type":"item","numeric-id":2841233,"id":"Q2841233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$352AD0E2-4FB6-4BDC-B7D4-A46D45412D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$58598A34-C0A4-4BA0-A05D-7749237C3875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$713D369A-E0EC-4FF8-AF14-DE9C415E3E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acea76b85bc7bf26ae9cf4f5e9a5a8039faf820c","datavalue":{"value":{"entity-type":"item","numeric-id":1055409,"id":"Q1055409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$CC6FCE8B-CF86-4EFB-B413-399931F1CEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae1ae279a482446bb78d37be8963f369d811b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5714442,"id":"Q5714442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$F447014F-15D1-4C7D-A949-709DDFAA5889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c843ef94c4d0bb272dc208d73acf55569dec82b","datavalue":{"value":{"entity-type":"item","numeric-id":2721104,"id":"Q2721104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$4BB58976-9905-41BD-9627-DA4D01EC2BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$2DD634DB-8D5E-48AB-9988-9295674D5AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038fe3d523d25b19ee4156c3ba003d8763564740","datavalue":{"value":{"entity-type":"item","numeric-id":2778886,"id":"Q2778886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887151$BC57C140-82A8-41FE-AD79-9C962FE479A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede30ef70b5aef7ff3974e38e8c4d42817f62ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5714442,"id":"Q5714442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad6524af6e0779460a60fb12fdc379f27d9f1e5","datavalue":{"value":{"amount":"+0.9872080087661744","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":"Q1887151$56B8D76C-D7AE-4889-8A26-3E1E4295AA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3774073da3bfbd10184e3b3d7fa824e1ec3da4fd","datavalue":{"value":{"entity-type":"item","numeric-id":2864152,"id":"Q2864152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60585473fd065caf4acae24fd0ca98939299f89c","datavalue":{"value":{"amount":"+0.8359276056289673","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":"Q1887151$18F49C73-A2E9-4D9F-AC93-A66D41E86E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4113134afed939e639b8e14a7986816adbe42ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5449613,"id":"Q5449613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a84ae9bf258a2027447f04b318c12bbbec31559","datavalue":{"value":{"amount":"+0.8285703063011169","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":"Q1887151$3AA43242-DE91-4BB0-98FF-B237711CC23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d3b83dd46fa0389597007cc23b36ce6b7ac7c64","datavalue":{"value":{"entity-type":"item","numeric-id":2372191,"id":"Q2372191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24581242b2145c2ad3d5425734fc556fcd0681e7","datavalue":{"value":{"amount":"+0.8216880559921265","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":"Q1887151$D55F7A77-5875-42A5-8435-862402330AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8036515df7175ca55f4f8809570a56590f962a8","datavalue":{"value":{"entity-type":"item","numeric-id":2946669,"id":"Q2946669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7c796eb129420e34e365d136b615e12c5f7832","datavalue":{"value":{"amount":"+0.8150672316551208","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":"Q1887151$B93C406F-6D39-4C9F-BBA7-FEF8557B77FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nominal logic, a first order theory of names and binding","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nominal_logic,_a_first_order_theory_of_names_and_binding"}}}}}