{"entities":{"Q3178258":{"pageid":3188967,"ns":120,"title":"Item:Q3178258","lastrevid":52573724,"modified":"2026-01-23T00:27:58Z","type":"item","id":"Q3178258","labels":{"en":{"language":"en","value":"Binding in nominal equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602815"}},"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":"Q3178258$06831B2B-8A03-471C-B56B-C7832C07268F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab73a55567f0e989e6018509d7937644786f8952","datavalue":{"value":{"text":"Binding in Nominal Equational Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178258$8CE13B17-88F5-4E0C-9F9B-08E2A596E551","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7985204aa1c578e4cdf7aab24ce06a7c0061d87b","datavalue":{"value":"1342.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178258$A5041089-8599-464B-9446-33D8E0A37C69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cc236d1b83c1da4faad787dc86785ac363afb66","datavalue":{"value":{"entity-type":"item","numeric-id":1652987,"id":"Q1652987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178258$2621B8FC-6154-4A48-B994-54C3585FE8D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178258$58032E73-DED7-4FBC-BF57-FCA62F350B82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3178258$2B10148C-A312-4F8C-BBA0-EBEA762CF15F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178258$79B90279-4936-403E-8296-6E939926EE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178258$9AAE1C6F-0E01-4DF3-A2C9-8A321CAE40B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0bca6a5ba02d7883b870b84298d65e338612d0a","datavalue":{"value":"6602815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178258$54636604-0FAF-4AAC-B589-B30699D259E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178258$BB9526D5-ED5A-45FA-AFD2-810AB1DEB226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178258$FEEC3976-2683-41B1-B9F8-49ECF5FC7FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e850fb7f45656688d269af923f9d994ca646799","datavalue":{"value":"name binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178258$711AB624-381E-40A3-92E3-0ED32C39511B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1f6a9eaa9f1cc3c6f301116167e32d2a85a046","datavalue":{"value":"alpha-conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178258$8B46BD93-166F-49C0-904F-6CB4C32AA01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11c34304965f84d4e207a540c8c0080dae2faec6","datavalue":{"value":"nominal signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178258$AC607679-DDC0-44F4-9830-802E51109BEF","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":"Q3178258$BB179A7F-A5F7-465C-A3E2-64EBC82B02A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c23bc9e32f3a8281ca993ad649a0f7225f1ad5df","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.08.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178258$106C8FEF-F74C-4FAF-86BA-A9072C58256E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d343cfb34d43343e5ade7fbd876237faba856d24","datavalue":{"value":"W2097175714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178258$C2F1331E-E043-4084-AAE0-C0151367D536","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":"Q3178258$4A55878E-9C88-4B56-8FC9-CF71CC6E689D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61284a58310ee0a10a78e82eb4533fb56e6bdb78","datavalue":{"value":{"entity-type":"item","numeric-id":2871859,"id":"Q2871859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178258$DE9C621D-40A5-4BA9-ABCF-7FF0DB4940A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40825552f0662d43cce900774b4688cc145a5a80","datavalue":{"value":{"entity-type":"item","numeric-id":3138859,"id":"Q3138859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178258$417EFE58-1BD3-45D0-B3DD-B2F4AD4592C9","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":"Q3178258$EB52793A-27BB-40B6-8207-F7751F9FF289","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":"Q3178258$920F4457-3531-4FB3-A548-1E78D1AD1272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e15321bcad6018106602b17bbf0b694e2917fd","datavalue":{"value":{"entity-type":"item","numeric-id":3202990,"id":"Q3202990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178258$54B23B6C-57BA-460F-9110-7C7E1471A112","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":"Q3178258$EDCB4157-D1F4-487D-B80F-9063CE3B05BB","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":"Q3178258$B982B9AA-BA42-485F-885F-C910DFF2B77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae532117f641c6cd3699efe68107bbec082a054","datavalue":{"value":{"entity-type":"item","numeric-id":4322433,"id":"Q4322433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178258$1FD523BC-A78F-429D-856F-B987CFBB9C47","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":"Q3178258$6D43BEEA-9009-472C-A8B8-CEC5F913D569","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":"Q3178258$B401DE35-8A55-480E-9D58-3BCA9E76ED5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba78a5f2bea4aaf770e00f1e74495a8724e78c3e","datavalue":{"value":{"entity-type":"item","numeric-id":5255070,"id":"Q5255070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178258$52D7C0C5-4712-4BB5-A371-94A342C5AE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c57a1c72c02e0da9d842a1c74f54162444fc9c0","datavalue":{"value":{"entity-type":"item","numeric-id":5292662,"id":"Q5292662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178258$AAA08CAD-CE70-4295-85EC-BE4FECA73208","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7456b16c4ecee598cc0ee1757b93ab228284f04b","datavalue":{"value":"10.1016/J.ENTCS.2010.08.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178258$F2EF5702-1CC8-40B5-9EFA-495EF5579677","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":"dc463153c1f787d893c311eca5d7a7b13edc1986","datavalue":{"value":{"amount":"+0.8542330265045166","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":"Q3178258$C3E2A7B9-40D9-48FD-B70A-EC2575B5E714","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":"ca2cf91f4ca8f211d96bce3ce2b1c304b0123e09","datavalue":{"value":{"amount":"+0.8149704933166504","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":"Q3178258$26FEC04A-E438-4CF4-9401-62970027B139","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":"2ac97c868549c60da4209b9fb83d2f8794123318","datavalue":{"value":{"amount":"+0.8142653107643127","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":"Q3178258$DB1067DD-6DE1-44DF-9197-AEF6EB5577CE","rank":"normal"},{"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":"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":"Q3178258$341B2239-D6EF-436F-B31C-6BF4368AE2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4319122e2170a2b8bd53f1d22d6f17284eb5a8","datavalue":{"value":{"entity-type":"item","numeric-id":2453579,"id":"Q2453579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f1e38570fb363c423cadceef202c5a84eb5bcc","datavalue":{"value":{"amount":"+0.7890229225158691","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":"Q3178258$CFCD11F3-1EF2-4B98-8C72-0208C599CEE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3178258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3178258"}}}}}