{"entities":{"Q6629514":{"pageid":14240666,"ns":120,"title":"Item:Q6629514","lastrevid":57269133,"modified":"2026-03-27T18:26:49Z","type":"item","id":"Q6629514","labels":{"en":{"language":"en","value":"From rewrite rules to axioms in the \\(\\lambda \\varPi \\)-calculus modulo theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7935757"}},"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":"Q6629514$C02416F9-7E93-4705-9FCD-ABEAE3748831","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60a1678e825bfeff9e55a453aaec44fdb1ace2b9","datavalue":{"value":{"text":"From rewrite rules to axioms in the \\(\\lambda \\varPi \\)-calculus modulo theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6629514$390D943D-18B4-41F5-BB84-D0EC57DD5377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71d8774e308a70f7c90a89ce36d40a880c9a31b8","datavalue":{"value":"10.1007/978-3-031-57231-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629514$55D7096F-CCBC-4D0B-B3CA-7118272BEB0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a7c9fa9dc3fdeaa7fa6fbe2fe38f9449434b88","datavalue":{"value":{"entity-type":"item","numeric-id":345703,"id":"Q345703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629514$EBB9C891-8511-42ED-BCA8-5F3FE23543F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629514$9627D32D-64EF-43E0-8320-BC4E3DC5B9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10519608268b298eba15ba3754c634e354359cc0","datavalue":{"value":{"entity-type":"item","numeric-id":6629513,"id":"Q6629513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629514$9916A403-064C-4AA3-8413-41752E38932B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"782705f79a6a25f37d278cde3e4e69f417039f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2209541,"id":"Q2209541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629514$52749879-51EA-4C7A-AF44-887E6CE14262","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fbcb7acea0df8945200a3d2551e2bc51375e32","datavalue":{"value":{"time":"+2024-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6629514$8E43ABA7-E069-48BA-8123-948BCDC7F355","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629514$A5167633-BAB5-4DCB-A72B-B333C9763A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629514$838A112E-15FC-42EF-8D18-EE7C97C97B0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc598af15a4dc03c71d4b7f84af6f141a199bd95","datavalue":{"value":"7935757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6629514$FC48C0D8-BA89-47C8-8063-4525FE508555","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168a78ecc72716f6c4bac412ea5f930139f49bf","datavalue":{"value":"rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6629514$0D0C52F9-C04B-4D25-B405-A3C4F1EDEF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6629514$9B4BFD7D-F899-4F1F-94B6-ECB5A18584B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q6629514$DC27858B-09C6-42C6-A1C7-2604EE7C9BC2","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":"Q6629514$E29736A2-7200-4FB3-90A2-EBA9302DD7D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"590bafa3f5ab2539f54e87a74876e71f860845ef","datavalue":{"value":{"entity-type":"item","numeric-id":3377462,"id":"Q3377462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629514$09FD0520-D639-4CE3-8BF4-6794BF645FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23dfe1f5a7256dcdfce4b4f09ca6e1a62bbeb6b7","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629514$75390299-FDA8-4D06-8562-D695A7A75AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b87924f23be2e9cf6d7b6faa675b811f5a3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629514$064522CD-B436-4371-8B41-2084D0DED2B2","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":"Q6629514$029B0BD1-AD60-4EB6-8502-44D26AFE230D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d846dce50adc7b6741cb464e66a4207934b87faa","datavalue":{"value":{"entity-type":"item","numeric-id":4647577,"id":"Q4647577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629514$511D4BB4-9438-4D34-AAEB-BD103F74813E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb467bed52119c0876cb47453b6db6d9b6c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629514$32DB56EB-AC42-48EF-A102-15435BD2E9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"988b2bed64c184c9fc3c9abd7370d0340ab30d6b","datavalue":{"value":{"entity-type":"item","numeric-id":5477662,"id":"Q5477662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629514$7EC41D7E-68FC-4056-9EAB-DE0317A40F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1f1950a8e42401a44e8e63856d9b6d08e5d0c2","datavalue":{"value":{"entity-type":"item","numeric-id":6013475,"id":"Q6013475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629514$E6B5A59D-A005-423A-835C-0EFC85B58042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681f6b991823ef1eb2ae5a0dc4952d80f163b9df","datavalue":{"value":{"entity-type":"item","numeric-id":2844696,"id":"Q2844696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629514$3AF447A4-33C6-497B-B7C4-B62BD36E131A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6629514$E3F3D084-4DE7-4E0B-8EA5-37CABA483AB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6629514","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6629514"}}}}}