{"entities":{"Q6941740":{"pageid":21154047,"ns":120,"title":"Item:Q6941740","lastrevid":84099848,"modified":"2026-05-10T01:41:13Z","type":"item","id":"Q6941740","labels":{"en":{"language":"en","value":"Closed nominal rewriting and efficiently computable nominal algebra equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8081382"}},"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":"Q6941740$87798C37-137E-417B-A63F-3175C26B9F60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8528b7d8d0cf36bf3c8416b663addf63ab47b576","datavalue":{"value":{"text":"Closed nominal rewriting and efficiently computable nominal algebra equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6941740$A52902DA-6427-42B8-BEB1-B8F457068737","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55b5419bc3e4b54ecd32aa98d6e233a6cb23a0f5","datavalue":{"value":"1570.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941740$BB9843C3-941A-43DE-9FA9-404FBBF26CC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"452e56261efc1bc6a1de467fcf1e2f21c5c630e2","datavalue":{"value":"10.4204/EPTCS.34.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941740$26E0EF69-6A13-486F-A6B1-06BCFE841ADD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941740$E8B47A6F-B46F-4DC8-A3FD-A115D0EF8AE4","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":"Q6941740$ADEE7BA1-0213-442A-92CD-1FB46C6B6C59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-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":"Q6941740$A40551EF-4000-4570-AC80-91046554AD4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941740$D5489F4C-7B4E-4A3B-BADE-559F3D9E0870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941740$C441C805-0DB3-486F-9BCB-4F0F8C5168AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e0cf484706a9832640997333ae1cc7c60455f06","datavalue":{"value":"8081382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941740$5B9FAF70-16C9-427C-B62B-5E3FC816267A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"55caab8c5bb050f39298bb24e71802196fa28463","datavalue":{"value":{"entity-type":"item","numeric-id":56978,"id":"Q56978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941740$1D9940D0-7DC9-4316-B571-2F0966877394","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":"Q6941740$88BFE304-CDF3-42EA-A9E2-00BC8DB18965","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941740$5C45529A-4B9C-44EF-8338-F7A3D906610A","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":"Q6941740$68837AE0-CF1B-4FD5-831B-2EAA34CF4498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1f8025396e644e74a6a9eac56c4f7c9989ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":5466474,"id":"Q5466474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941740$65C42E5C-653E-4D2B-B27F-9FB1E8B82596","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":"Q6941740$D46D3061-51CD-4AD9-85F8-4A74B4B24B2C","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":"Q6941740$50A9C89B-F16B-438C-B003-05DEFBB53000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bbda4d5d2fa3599cf321b083730ba47f18179a2","datavalue":{"value":{"entity-type":"item","numeric-id":3024905,"id":"Q3024905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941740$68BC415D-FE42-4E3F-8526-949DD45B0373","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":"Q6941740$F2B6C6CA-5FDA-4B66-BE35-E45CE349FAFB","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":"Q6941740$819309F5-BE93-4461-8AD3-4A99D516F8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a2df2259c09e0f412f90b6acafcb1a3a1672ba","datavalue":{"value":{"entity-type":"item","numeric-id":3086783,"id":"Q3086783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941740$B3AED5F6-D1C7-470A-9B17-8B188F9C126D","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":"Q6941740$BDAD8DC3-6713-4B89-92DC-BD53BB2A58BA","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":"Q6941740$7FB10DD9-0647-4DFB-A6F0-0F16FE2AC61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941740$F7C299D2-4705-4C11-B641-2DE7E739663D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941740$D0E63EF6-0AE3-4E9E-ADB5-C7F85CED2FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b15812056162e357c266974c72866bb4732fe135","datavalue":{"value":{"entity-type":"item","numeric-id":6829933,"id":"Q6829933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941740$E2A8C178-233E-4D24-B412-C64B3899092D","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":"Q6941740$A66487AA-0D49-40EE-8A6D-A6DAFD3F5E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941740$DC6CE807-C8F8-44FA-8464-AB6158D53D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941740$0FD3E4FB-AB03-493F-BA12-EAD1366354C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941740$87A9A5A9-1048-4B6B-9713-CFB2441A2919","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":"Q6941740$F369896E-2A3D-409B-80D8-BF9E1B8CECBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Closed nominal rewriting and efficiently computable nominal algebra equality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Closed_nominal_rewriting_and_efficiently_computable_nominal_algebra_equality"}}}}}