{"entities":{"Q5477637":{"pageid":7507196,"ns":120,"title":"Item:Q5477637","lastrevid":49872802,"modified":"2026-01-11T12:07:57Z","type":"item","id":"Q5477637","labels":{"en":{"language":"en","value":"Completeness and Herbrand theorems for nominal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038901"}},"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":"Q5477637$9CFE49AA-446B-4EBB-A588-B838749F1A9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de35b1e613c578649aeb45b31312c2374f22081b","datavalue":{"value":{"text":"Completeness and Herbrand theorems for nominal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5477637$709EC232-A7C1-4127-8F94-923D0250C535","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31f1c84d8434f8be2a9477872e3f350bb50955f4","datavalue":{"value":"1100.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477637$B8886E18-4DB2-4E0B-A3B4-0BD6CDC0EDEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5395fd6215daedab9dca2942f104c17e46b5bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":616848,"id":"Q616848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$2ED14335-244E-40AF-AB3E-0EA35044D128","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a50f2cd6c4898065eaa272ea8bb874fb0fd3e518","datavalue":{"value":{"time":"+2006-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477637$C3B7DD78-6BBA-472C-9A05-E0B22EFFD597","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477637$F2A797E1-2005-4048-AF87-23F8AD778E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477637$2F488016-6B87-4F4D-904D-60CF32C2330E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a923f05f31ccb8da5e762dd6b8286a3a5d87486b","datavalue":{"value":"5038901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477637$B15BDB11-DEB1-48B8-99ED-B1BB6F0FC472","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a3b5ad7f9029874d9a42a061e308407c295c5ac","datavalue":{"value":"Nominal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477637$445DFD68-170A-4013-8D90-C828697FD052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c3b0d28d50231f783de1fd22a27b61e658c3d4d","datavalue":{"value":"equivariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477637$AE47921F-8B63-46D1-8541-13A8331EC91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9ce6fee52966a2b83b09f4142141938e0cd609b","datavalue":{"value":"name-swapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477637$27B89B6E-7F09-4000-A282-CCAD77CFDC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a9c2121c56854a39aea0f5a635d6cb568ef4f7","datavalue":{"value":"fresh name generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477637$3D40C289-8CAC-4242-9CA6-F17BF0D6FCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91698cb11032fea93901e7357dbc9418eefec3d8","datavalue":{"value":"abstract syntax trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477637$5784C9E6-8031-4E64-AB4F-25EC5D5C3BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04faa69e6c4ede153f54802e1e059b3315e5f92b","datavalue":{"value":"finite-support models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477637$DBC0DB76-98C9-47C2-B0F0-89786EC27B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542f7d754dca649a1ce4c82c0d31763d35ec94e6","datavalue":{"value":"ideal-supported models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477637$FFED0F87-3F7D-4570-87E3-841571367088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a0847940291c2ce11f86e4dda6fd57902be58d8","datavalue":{"value":"generalization of Herbrand models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477637$DF13146C-0CC2-444C-A733-EAF1B266A450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6472f0ed5e57fc5238d889a78cd3c3892455d74","datavalue":{"value":"nominal-universal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477637$2DDBBEFC-665A-4C31-8867-A5540A3927D8","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":"Q5477637$76003321-EE14-4389-831F-398B615321B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f8c528600d4263b1579eb611b142b616b67411d","datavalue":{"value":"https://doi.org/10.2178/jsl/1140641176","type":"string"},"datatype":"url"},"type":"statement","id":"Q5477637$46D0033E-1E88-4FB7-91A0-25CB14267B39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd50b3c9d6e5b5c720bce09b8a709de2db48aabf","datavalue":{"value":"W2161033077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477637$1C8316C1-E55C-4BCF-BCD9-EF966D4D9F03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bee697674c7551e76a7d180d41bbbf246a48ead","datavalue":{"value":{"entity-type":"item","numeric-id":4301150,"id":"Q4301150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$0197EB09-ACE8-4D38-B13A-C0D9327903A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$4AE400DF-EC82-470A-9348-93FBE56FD0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$22329750-BA5E-426C-9DD5-8B2F65302DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606fd070630bb1cb73b0655837c2616dd769a509","datavalue":{"value":{"entity-type":"item","numeric-id":672251,"id":"Q672251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$BAED6883-061E-4212-BAF9-69C10D59F5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a5e7f94427d670644e085b2be0d1c199024796","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$45408160-2FD0-47BF-8142-AFC4FDAE0F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$4C33BBD2-B980-43F3-9874-69E070A29FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$807CF32E-E779-4836-B6CE-72500A656479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$2249A2EB-1895-4A05-8571-97E7F7E91B46","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":"Q5477637$9A42A70D-99EE-4638-A372-C6A355852258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d1210df4ca2f7a9d1c0e50c280e46b223a4f48","datavalue":{"value":{"entity-type":"item","numeric-id":1401936,"id":"Q1401936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$EC2A81C5-7E72-4F25-9C54-3052858290C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4f6cb2d520e094401e2b9c919689c522d88ccc","datavalue":{"value":{"entity-type":"item","numeric-id":2748497,"id":"Q2748497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$DAF81AF5-6CEF-4C52-8771-CB0B85A1F311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$AAC35D3F-B497-403C-A452-C8FD90FC19E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509562d7fc2763f459538f26ff91c9605252e482","datavalue":{"value":{"entity-type":"item","numeric-id":1401932,"id":"Q1401932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$90F026E6-56A4-4ABD-8501-8C5ACAA9A87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$56050394-A9C2-4EC4-A328-99F51157CD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330852f9741c9fbb417bb1549959d4c17bd87de","datavalue":{"value":{"entity-type":"item","numeric-id":4671219,"id":"Q4671219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477637$F8326820-EDBC-49CE-BDA6-8FC891C0DD61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"474d1f1922a5ebccf0b32b3aa0b37ce51c1fa77e","datavalue":{"value":"10.2178/JSL/1140641176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477637$B442C944-FA33-4EF1-8EEA-3DE6C03CC06B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be81bd387a91311e2b04e8baf01169aec78c8cb4","datavalue":{"value":{"entity-type":"item","numeric-id":2915895,"id":"Q2915895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed87d39e4f46077d14a89b6e4fe395b0b8ca63ac","datavalue":{"value":{"amount":"+0.840491533279419","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":"Q5477637$7ABF2B2B-4481-4511-903C-A8A756FA3279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ca567f76c24a34e994763bae8bca1893723a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5739979,"id":"Q5739979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284827b5eba1e63df4692dffb27e22cc282834b4","datavalue":{"value":{"amount":"+0.8073276281356812","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":"Q5477637$C3365160-F74A-435C-8F18-029E242FE171","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":"89873d23e89949248dd19d1bead4c3b73269692d","datavalue":{"value":{"amount":"+0.8023842573165894","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":"Q5477637$CA4C94E7-DC6B-45CF-82A4-5FEE90A4047F","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":"34076118ad665eb13a9b4c49a29cf7fcb4625584","datavalue":{"value":{"amount":"+0.7981524467468262","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":"Q5477637$1CEFC599-DCC1-44D0-BB59-04DF2E55FDC3","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":"835e460c10a3a7828286fee56c34e3961ccbd1fa","datavalue":{"value":{"amount":"+0.7912114858627319","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":"Q5477637$A5442878-BC3D-4CE3-ACDD-CE7244F68881","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477637"}}}}}