{"entities":{"Q420858":{"pageid":422625,"ns":120,"title":"Item:Q420858","lastrevid":61712439,"modified":"2026-04-11T01:08:37Z","type":"item","id":"Q420858","labels":{"en":{"language":"en","value":"Unity in nominal equational reasoning: the algebra of equality on nominal sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6037812"}},"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":"Q420858$F3273977-D1EF-40CD-9C30-2CCB8A019B1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e20cb7c360dff4f41b66490ca11e28f702f7bfee","datavalue":{"value":{"text":"Unity in nominal equational reasoning: the algebra of equality on nominal sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q420858$26DD0A26-400D-4697-944D-F462C208A656","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64f8cc400cbcd24231ee1f0bce9eb113966cfd5a","datavalue":{"value":"1239.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420858$A5DED00D-F7C5-43E0-B802-DE37E00C63A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$6BA665E7-0142-47C4-87FB-F021E9DDECC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a791962b7bf8be6759d99d8d914e7c75a4b20fc2","datavalue":{"value":{"time":"+2012-05-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":"Q420858$9CA9A2A7-CCD7-498F-BA99-2D55C174FF48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420858$00F4CB74-356B-4B58-8B83-124E33B1731A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d70c964114c8267207849d5887128177c841bec","datavalue":{"value":"6037812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420858$A313D624-4B02-4A2D-B70D-B3B28B90CED3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d6794a6efe35571397acc6ff9f6acadf30893","datavalue":{"value":"survey paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q420858$552189FA-99C4-4ACA-831D-6775C3CD051C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edb35af393665c20f1bab6d82a33753ad6a2493","datavalue":{"value":"nominal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q420858$FDF04F42-54E6-445F-8ABC-1A3ECD975866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"285e55ed759031cb018f26b9d7bff755f20f21ac","datavalue":{"value":"nominal equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q420858$0735D808-016B-4D2A-B4B5-1C02608D06DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00623441959b027c50b9279aaa0154dd42b0650a","datavalue":{"value":"equality logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q420858$3CE1B881-75A6-4218-97A7-A83190E0D935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q420858$03D31E6F-5DFA-4826-9CFF-92B6C2B81E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f93889d04a81cf69646dccf2c513392aab7f4ed","datavalue":{"value":"permissive-nominal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q420858$BD90E9CF-CF6A-4367-B0B2-DD06F2EF1E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4496ac3f386bc7dd31451232240a3e0b569038f","datavalue":{"value":"semantic and syntactic freshness","type":"string"},"datatype":"string"},"type":"statement","id":"Q420858$0799327B-BAC1-4F58-A3D4-BD55E318A3F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db57da05f7a2528db77ce79579650b12005cc558","datavalue":{"value":{"entity-type":"item","numeric-id":1744403,"id":"Q1744403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$8020C112-9826-4453-AFB7-1E469625EDD0","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":"Q420858$058C6781-544F-42F0-A353-70F3E9D22518","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5cf109c64029727532ab4b26262b18ba4a76281","datavalue":{"value":"https://doi.org/10.1016/j.jal.2012.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q420858$C172E32F-D5EB-40B9-A1A4-2EAF196199D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb9ad287b0d41cb5e7a02fe7c3087ab7493fcc7a","datavalue":{"value":"W2142400104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420858$7B71A4BC-54E4-4CAD-9113-1630B0473F18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa8b352d372e9d4e0114079f16f6f352ffa6be1","datavalue":{"value":{"entity-type":"item","numeric-id":3409072,"id":"Q3409072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$101ED499-7BAD-41C0-AB9B-CDC247A49D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b060eb2c4f540d1363c927edad85c6ef4801fb","datavalue":{"value":{"entity-type":"item","numeric-id":3511452,"id":"Q3511452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$62837E9E-E8A4-4909-8AA6-9EEE7A3089D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5676b55ec708f7e32bd0e83c7cea03b63cbabf8","datavalue":{"value":{"entity-type":"item","numeric-id":944382,"id":"Q944382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$87734901-AEDD-4517-80EA-5D92F006AF18","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":"Q420858$34CBC111-51BC-4EC7-9AEF-691894DB02DA","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":"Q420858$A05E8C6E-D9BE-48CB-8220-13794828283D","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":"Q420858$1CEAD7D0-2B2B-4FA9-8282-AAA2CA8BA6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$EC8EB881-8637-4875-B402-F5F67583DEB5","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":"Q420858$EEC79ACD-308B-4697-BCF4-61E401C11FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe8bcfa94493af2c0bd297bf65f0d23f84fcf62","datavalue":{"value":{"entity-type":"item","numeric-id":2946669,"id":"Q2946669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$3543AF99-69B4-478B-A86B-184F0C319C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f27013eec79cfd83a0f9c6a5f63663dc1bf813","datavalue":{"value":{"entity-type":"item","numeric-id":3061275,"id":"Q3061275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$5E67CB7C-3AA6-41D2-B064-C5016355E013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461b8596f936b4acd4b9ccaf6444d9340797391","datavalue":{"value":{"entity-type":"item","numeric-id":2373703,"id":"Q2373703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$17EF077B-97F4-4259-B395-D924090AF9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a7265c2da33545499d3787209431c5a6686e122","datavalue":{"value":{"entity-type":"item","numeric-id":5415637,"id":"Q5415637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$5ADC9BEA-4F0E-4AA2-A753-FE1A01E325E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8c8a2ef9513f19190d3d1f78d3cc84718f578f","datavalue":{"value":{"entity-type":"item","numeric-id":3177798,"id":"Q3177798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$C7D4105C-B38D-4396-92DA-92B985711BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e26026922b8de1d8a19d7898e64e9a4a494f6b2","datavalue":{"value":{"entity-type":"item","numeric-id":3623222,"id":"Q3623222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$749BF685-1878-4E50-87AA-BB175E61204D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec818d2c5414c64eec84ae8c614f9a725f6a5dbe","datavalue":{"value":{"entity-type":"item","numeric-id":1006642,"id":"Q1006642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$9008E142-2436-43E2-8FF3-805F1CCF2E10","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":"Q420858$CE36EAE3-5711-4014-BDE9-CA0C559EE361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5aca4313912ab2f072ce1a3ce63a0da7ec08049","datavalue":{"value":{"entity-type":"item","numeric-id":3094165,"id":"Q3094165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$0C2B1351-B8E6-484B-92AD-3281A81AAA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e2bb6d64de402005cf05f7f361a4f5edfb1a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2915895,"id":"Q2915895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$9931ACB1-731F-4A76-B873-4D03727714DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92f6322024f57edd9f188e505e033d3c1f18710","datavalue":{"value":{"entity-type":"item","numeric-id":3525150,"id":"Q3525150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$3E5AE9B1-389A-45EB-B681-9211EF9212ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec577efbc071bb903e0b945b738db0f9a432c6d7","datavalue":{"value":{"entity-type":"item","numeric-id":5505550,"id":"Q5505550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$80ABCBF7-A51B-4964-8C92-2DBD948FFA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a53931a41ddf117fbfa9bb92317f3d9a51770b","datavalue":{"value":{"entity-type":"item","numeric-id":3520234,"id":"Q3520234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$F3E5308B-4F43-4089-9856-E1EFD9B59ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b77c76291788d67b5cc53456f4160970986e99","datavalue":{"value":{"entity-type":"item","numeric-id":3612660,"id":"Q3612660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$35AF1BA3-975A-4BE5-8C7C-319699A1BBEA","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":"Q420858$ABABE129-5D15-48D1-973D-64F7778DADFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a9b625fb4c3f50a227f17c342854acb59bc3a9","datavalue":{"value":{"entity-type":"item","numeric-id":3553919,"id":"Q3553919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$2C333C26-DD4A-40B9-9670-5EA0698C0F0F","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":"Q420858$40E7946E-89EE-4FE5-B051-6FF2CB8686FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$ADE1D00C-0024-4200-898A-53B1215FC09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$264C83AE-8464-488A-AEFD-A40913EC60D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5551b9d71468ff696129142d48bd721feaebb9","datavalue":{"value":{"entity-type":"item","numeric-id":3559973,"id":"Q3559973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$B5FDE1FC-9B85-4DF6-807D-DE56EC702D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9a9c0b836dd52deb4af6247573462295b48a90","datavalue":{"value":{"entity-type":"item","numeric-id":5389146,"id":"Q5389146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$6615B903-865B-4B94-B117-EE11D292CBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q420858$C8E07E94-CDC9-434F-B218-B807533B57EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57681a4627dfd8494dfab435b34dc1b5367dfcac","datavalue":{"value":"10.1016/J.JAL.2012.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q420858$F73E3A0E-E46E-4944-8A38-8A48791C9AA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d7616d5a36819cffb6051d9efbf91eb7f1f9756","datavalue":{"value":{"entity-type":"item","numeric-id":3656778,"id":"Q3656778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4a7560a4b065e2f4e33794d8ff2cbefe76f86b","datavalue":{"value":{"amount":"+0.8137277364730835","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":"Q420858$D57D62F4-1EDC-4310-BFFC-3EEB609CDF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc28a9e3a4e7a52a702c720bc1222d354eb5567","datavalue":{"value":{"entity-type":"item","numeric-id":3559973,"id":"Q3559973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb3a3b86a186f029400696d473c06da19daa7ab","datavalue":{"value":{"amount":"+0.7988954782485962","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":"Q420858$E1B65410-02FA-491D-9DAE-6EBA08103994","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":"41d0dd4b3bf0e22846a1fdcd8da27e8e18b9d2b1","datavalue":{"value":{"amount":"+0.7985062599182129","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":"Q420858$E93CEA55-3DAA-4BEE-9A93-2053EB360A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce183cd27a6e1584df0501451995a098cc7736da","datavalue":{"value":{"entity-type":"item","numeric-id":5415637,"id":"Q5415637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727ce146d30f8c343e0b3dd9639e653f7232c40e","datavalue":{"value":{"amount":"+0.7844119668006897","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":"Q420858$2225E48C-E8F8-4027-9DC3-A9DD9BC145C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4edd30ecd222b7f1d3b078cafe8207a9540d3359","datavalue":{"value":{"entity-type":"item","numeric-id":616849,"id":"Q616849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e159ca64531bfde07164d08b60552b443f8b86b","datavalue":{"value":{"amount":"+0.7724405527114868","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":"Q420858$A1478634-254C-45EA-A89A-27C2730EB3B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unity in nominal equational reasoning: the algebra of equality on nominal sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unity_in_nominal_equational_reasoning:_the_algebra_of_equality_on_nominal_sets"}}}}}