{"entities":{"Q2915895":{"pageid":2926615,"ns":120,"title":"Item:Q2915895","lastrevid":79759388,"modified":"2026-05-06T14:38:52Z","type":"item","id":"Q2915895","labels":{"en":{"language":"en","value":"Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083955"}},"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":"Q2915895$B9BFCD9C-A76F-4948-8719-C347B236A207","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f9eb0b8d0284b05b9d504f0cfb3a96c2cbfddb9","datavalue":{"value":{"text":"Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915895$92B05B3F-6993-4683-A60A-96CEE6150ECD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"841e827fc9cc046ffb267a2284924cf10967904e","datavalue":{"value":"1251.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915895$BF1F2BAD-5A2D-4404-829E-D87D4A5AF433","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e152dd6d247137568b90f2b2f788eb084d247ca","datavalue":{"value":{"time":"+2012-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915895$35501875-7B02-44E1-B618-74FE8AC848AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1827cc3d766bfa91416c47233228dac3b2052f4","datavalue":{"value":"https://arxiv.org/abs/1112.0923","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915895$FB20FC27-A016-4FF8-9A40-9D772A2E0011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"38a2c31d3e47b135efd92885cd2f299367bba834","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1344862164","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915895$3E1735B3-2839-40FA-AEDF-E439E73A00E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915895$F0D49899-3750-4B49-A117-BE4856A0693D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915895$8021A1AA-563D-485B-86C1-28A1372AA513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915895$B152077B-0AD5-48E1-933E-3D5E9ACC7443","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bd2a2b109fa0cfb439561052c49462cac32de46","datavalue":{"value":"6083955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915895$A7751ED4-AC8B-42EB-8CD2-19DAE5CB7E69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16e1abea6da041971c8df0bffcd9a7a4e4054152","datavalue":{"value":"permissive-nominal techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915895$C9BEADEF-C74A-467C-A86B-D0E7B528E743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e24c41fc6a1a4a6de185fe474b747af486aded6","datavalue":{"value":"infinite support","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915895$937CBF08-F6DE-4422-88D9-7ABF6E37980F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42ba603abac6f6a878aa10268472380ec549cf90","datavalue":{"value":"finite support","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915895$7BA97E2A-BB02-4C46-B05F-673AC364E657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edb35af393665c20f1bab6d82a33753ad6a2493","datavalue":{"value":"nominal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915895$E3B51AB2-8522-4A42-A667-83AA6735E891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc1ef29d2cf46b3699d6171316c7234462c00792","datavalue":{"value":"permissive-nominal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915895$D149444C-EF01-4BBE-9367-229C3259B6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915895$DEC4B1A6-FCF7-481A-BB1D-A5AAF603248F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b767f58e0138694883c6adad9c4b9f56982821","datavalue":{"value":"infinite atoms-abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915895$81DA09C4-7D6E-4DAB-B90A-7394DB9AB4BD","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":"Q2915895$AEBAA2C7-345E-4121-A1C3-D4DD463C4ED4","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":"Q2915895$D4C5A0E1-E2AA-4B7A-AFD3-F7FAE30A014B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6efd5a76ddde051e9a7b0307b49aa9ef500d745","datavalue":{"value":"W2117028226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915895$9D743AA2-6EE3-4CD7-9555-1C9F24AE1F63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5d9fd92c048548663706afb0501fe422e367e4","datavalue":{"value":{"entity-type":"item","numeric-id":5477637,"id":"Q5477637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915895$5BA861B1-6761-4DB6-BE73-713D63718656","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":"Q2915895$401FFC92-031F-4D43-9C4E-CD505A5EE2A9","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":"Q2915895$E7C56A0D-2FA3-46B9-9506-C5F8EBF2E5D1","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":"Q2915895$928856E4-4FFB-4C7F-BABC-8E1736C3E9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12a4a52b5fe7dab4b8bf62476a19cc9dc1660874","datavalue":{"value":{"entity-type":"item","numeric-id":2373874,"id":"Q2373874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915895$6C7CD340-AA90-4823-BD13-E56546C907B7","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":"Q2915895$7A390412-6C5B-47F2-BC0E-391B6B1DA737","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":"Q2915895$DD1CF469-EE28-4E4C-AE88-B1CEA219A295","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":"Q2915895$FC9C96D4-D217-4DC2-94B4-3F06811A4B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91caceee0b25238468fd6cf8d4374b1d14cfc94a","datavalue":{"value":{"entity-type":"item","numeric-id":4913996,"id":"Q4913996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915895$E0EAB670-C952-4BF9-9EBD-0524378ED3BD","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":"Q2915895$8763DA26-253F-4D76-B61D-0BBD59970CDD","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":"Q2915895$CDF150A4-BA7A-41FE-B904-7E9D0E67374A","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":"Q2915895$9CB100AC-2B54-4E72-AD34-F664FF23D8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915895$8C8203D6-12A6-4F6E-955F-47E34919F234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915895$15D1031C-B8FA-4DDF-BDFB-63639A139E78","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":"Q2915895$41712E8E-5463-43C9-A62B-EA0E518A4D11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaee0ff6c6ef8f433326bec93d78552f71216d89","datavalue":{"value":"10.2178/JSL/1344862164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915895$7A32097A-7592-4AB8-8733-A3C012CDCBCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915895$C86738E3-3490-4B48-A00F-F5DAC06734A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8872e38cff400cdc6bd0f791c1a16c6d345e30dc","datavalue":{"value":{"entity-type":"item","numeric-id":5477637,"id":"Q5477637"},"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":"Q2915895$466CF5B1-85B1-4B16-A91F-CD4F00B481DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826365906e12f7cb103712a2964550263a100eb0","datavalue":{"value":{"entity-type":"item","numeric-id":3623222,"id":"Q3623222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5f5a57ff17e420cf050ac4fd1d0497b2a44bd0","datavalue":{"value":{"amount":"+0.7221593260765076","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":"Q2915895$D50C9834-6EC9-4136-8CDF-F12D7D80BD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63acd65acb60035b08a666339e0807b6e4498f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3061275,"id":"Q3061275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4be1a559180b154e3ce17a21d6be6756f44c9ad","datavalue":{"value":{"amount":"+0.713161051273346","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":"Q2915895$A5C73997-D74D-460D-BDEC-58D05324609D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b3a36ad7babe068b98786ec65a064b10a6a076","datavalue":{"value":{"entity-type":"item","numeric-id":4978171,"id":"Q4978171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b538767ec6cb40e169e738e2df419059eb39d84","datavalue":{"value":{"amount":"+0.7113108038902283","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":"Q2915895$10E6DF70-9728-4DBB-882A-D2DEB3894C3F","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":"c21be129a9f6b7e47f3c6bbd018ff04e60a4e17a","datavalue":{"value":{"amount":"+0.711057722568512","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":"Q2915895$738399D7-71B7-4B2D-9D41-0D5838F859F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_and_infinite_support_in_nominal_algebra_and_logic:_nominal_completeness_theorems_for_free"}}}}}