{"entities":{"Q3656778":{"pageid":5686684,"ns":120,"title":"Item:Q3656778","lastrevid":80911250,"modified":"2026-05-06T17:17:05Z","type":"item","id":"Q3656778","labels":{"en":{"language":"en","value":"Nominal (universal) algebra: equational logic with names and binding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658017"}},"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":"Q3656778$DD0CB9CA-47D3-45E0-99D3-A0F4FC056FB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5268bda86d7e4cd11ff8cf57e41a4ca414583365","datavalue":{"value":{"text":"Nominal (Universal) Algebra: Equational Logic with Names and Binding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656778$4CAA0227-B909-4A67-A1CA-8297EBF503FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f280373bc79e2fc1c9e9a09e25016353de093c59","datavalue":{"value":"1191.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656778$6F69D2B6-6D2D-4960-815F-8D8C9E974862","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec975b458b6d3d436b4bd0ed89003e846a8651d","datavalue":{"value":{"entity-type":"item","numeric-id":939159,"id":"Q939159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656778$2EFE471D-24F6-4114-B72D-8BFE9621B219","rank":"normal"},{"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":"Q3656778$CB7D2CA0-1B6D-4909-9821-1F904860504E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656778$8E66AB7E-F355-4B56-9BEC-54A722E5638B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f7539f18e371e0705c728879a4275e645361de2","datavalue":{"value":"https://semanticscholar.org/paper/2cecfcfd89db6d6c046736719104e571f927288e","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656778$D51278FA-33EF-435D-A9AD-650C5BB8148B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656778$EF5F3BC5-6DC0-4EB5-9BF2-6E64C6A2CE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656778$0BEED7B4-2A86-43FF-9E11-2BEC54646DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656778$0F62FC45-5394-40B7-9389-15AF8687BF93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efc6be110d641987eda4d275dd2a956db8833ebd","datavalue":{"value":"5658017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656778$E49D272D-A935-4DB7-9181-8F79059F56AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656778$C3592910-1EAC-4934-8BB0-9D325E976945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656778$4EF9B6EF-04C7-4797-9AFF-5B8656059551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9182eabacc23c0edd734d66fc3f2fce427ef1e0b","datavalue":{"value":"nominal techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656778$98AF2544-0AE6-45D1-BB29-D18C3398EF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527015b819629f50d5bdba50abd49fc7ff5c544a","datavalue":{"value":"names","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656778$4CC7D5DE-5DE3-4003-B08D-76AF394194DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"825e6e134e758868dbf51f02f1ab06c9e0c070cb","datavalue":{"value":"binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656778$A2B5F663-5949-4794-BCDF-517C0B7EAFB8","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":"Q3656778$801BC7E8-544C-4650-A4F1-72D18147CA1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99cdcf7184a2a96f5e3fa651a419d9ed24c22f80","datavalue":{"value":"W2105683431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656778$F66F63CF-E112-4D83-8D34-CC8756F6FECA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30fe25f53acd8fd3138d343a46498732da33fc77","datavalue":{"value":"10.1093/LOGCOM/EXP033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656778$466843EF-67BE-42A7-BC87-FBE198DAC3D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656778$6D9FCC3C-E956-4086-89DD-34553D33F5E0","rank":"normal"}],"P1643":[{"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":"f75ba9abdebc96b8d45dedfd8b556164b7dd9122","datavalue":{"value":{"amount":"+0.8361276388168335","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":"Q3656778$328380C1-45A2-4CD2-B656-D3B249364A55","rank":"normal"},{"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":"0d975af515888a8c4d181ab0d28ea2b7324b49cb","datavalue":{"value":{"amount":"+0.8214418888092041","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":"Q3656778$FE22622B-6E8F-499C-9397-68513703AF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bf10d5ad78b7314c398ed94a0d07b67b9ef773","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1f159f6c9c573d0e35ac167f34f92962b0823e","datavalue":{"value":{"amount":"+0.814912736415863","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":"Q3656778$C1E23272-4BA1-4436-9B15-1C27DDCA356A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ae17d67872f9481233c1c936212871c28f0174","datavalue":{"value":{"entity-type":"item","numeric-id":420858,"id":"Q420858"},"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":"Q3656778$AD3420B4-C1D1-431E-94E5-A9297C5A9430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c0614774a8d72360fe70d1ebb162413770f7bd","datavalue":{"value":{"entity-type":"item","numeric-id":3178258,"id":"Q3178258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b38d4e3682e99ab0024e2c0b33d03bf0226204","datavalue":{"value":{"amount":"+0.8132810592651367","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":"Q3656778$F3F9BBAE-F621-456E-A501-8C018FFFA4F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nominal (universal) algebra: equational logic with names and binding","badges":[]}}}}}